Class ReachingDefinitions

Index

Constructors

Properties

in out references segment

Methods

add join propagate updateProgramState

Constructors

constructor

new ReachingDefinitions(segment: CodePathSegment): ReachingDefinitions
Parameters
- segment: CodePathSegment
Returns ReachingDefinitions
- Defined in reaching-definitions.ts:50

Properties

in

in: Map<Variable, Values> = ...

out

out: Map<Variable, Values> = ...

references

references: Set<Reference> = ...

collects references in order they are evaluated, set in JS maintains insertion order

segment

segment: CodePathSegment

Methods

add

add(ref: Reference): void
Parameters
- ref: Reference
Returns void
- Defined in reaching-definitions.ts:65

join

join(previousOut: Map<Variable, Values>): void
Parameters
- previousOut: Map<Variable, Values>
Returns void
- Defined in reaching-definitions.ts:100

propagate

propagate(reachingDefinitionsMap: Map<string, ReachingDefinitions>): boolean
Parameters
- reachingDefinitionsMap: Map<string, ReachingDefinitions>
Returns boolean
- Defined in reaching-definitions.ts:72

updateProgramState

updateProgramState(ref: Reference, programState: Map<Variable, Values>): void
Parameters
- ref: Reference
- programState: Map<Variable, Values>
Returns void
- Defined in reaching-definitions.ts:87