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
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.
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.
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).
TopValue	Represents an unknown value — no information available about the variable.