Uses of Package
org.ek9lang.compiler.phase5.flow

Packages that use org.ek9lang.compiler.phase5.flow

Package	Description
org.ek9lang.compiler.phase5	I - PRE Intermediate Representation generation checks.
org.ek9lang.compiler.phase5.flow

Classes in org.ek9lang.compiler.phase5.flow used by org.ek9lang.compiler.phase5

Class	Description
LiteralExtractor	Extracts constant values from EK9 AST literal nodes.
ValueTrackingAnalyzer	Tracks variable values through control flow for tautological condition detection.

Classes in org.ek9lang.compiler.phase5.flow used by org.ek9lang.compiler.phase5.flow

Class	Description
AbstractValue	Represents an abstract value in the value-tracking lattice for flow analysis.
BottomValue	Represents an unreachable program point — a contradiction in constraints.
CollectionStateValue	Represents a variable known to be a collection or container type with both SET/UNSET and EMPTY/NON-EMPTY state tracked.
ConditionResult	Result of evaluating a condition against abstract values.
ConstantValue	Represents a variable known to hold a specific constant value.
ConstraintState	Immutable constraint state mapping variables to their abstract values.
LockIdentityValue	Tracks which physical MutexLock object(s) a variable may currently refer to at a given program point.
PathCondition	The relational path condition accumulated along a control-flow path — an orthogonal structure that sits beside ConstraintState and records facts between symbolic term names (e.g.
PathCondition.Fact	A single relational fact between two term names, e.g.
RangeValue	Represents a variable known to be within a numeric range [lo, hi].
SetStateValue	Represents a variable known to be either SET (has a meaningful value) or UNSET (declared but no value).
SymbolicPathConditionWalker.AnalysisResult	The base (pre-branch) path condition and the verdict for the function's if branch.
SymbolicPathConditionWalker.BranchResult	Whether a branch is dead (unreachable for every input), and why.
SymbolicTermValue	A symbolic (named) term in the flow lattice — a fresh, unconstrained parameter or local carried as itself instead of collapsing to TopValue.
TopValue	Represents an unknown value — no information available about the variable.