Uses of Interface
org.ek9lang.compiler.phase5.flow.AbstractValue

Packages that use AbstractValue

Package	Description
org.ek9lang.compiler.phase5.flow

Uses of AbstractValue in org.ek9lang.compiler.phase5.flow

Classes in org.ek9lang.compiler.phase5.flow that implement AbstractValue

Modifier and Type	Class	Description
final record	BottomValue	Represents an unreachable program point — a contradiction in constraints.
final record	CollectionStateValue	Represents a variable known to be a collection or container type with both SET/UNSET and EMPTY/NON-EMPTY state tracked.
final record	ConstantValue	Represents a variable known to hold a specific constant value.
final record	ExcludesConstantValue	Represents a variable known to hold any value except a specific constant.
final record	LockIdentityValue	Tracks which physical MutexLock object(s) a variable may currently refer to at a given program point.
final record	RangeValue	Represents a variable known to be within a numeric range [lo, hi].
final record	SetStateValue	Represents a variable known to be either SET (has a meaningful value) or UNSET (declared but no value).
final record	SymbolicTermValue	A symbolic (named) term in the flow lattice — a fresh, unconstrained parameter or local carried as itself instead of collapsing to TopValue.
final record	TopValue	Represents an unknown value — no information available about the variable.

Classes in org.ek9lang.compiler.phase5.flow that implement interfaces with type arguments of type AbstractValue

Modifier and Type	Class	Description
(package private) final class	LatticeJoin	THE join of the value-tracking lattice: the least upper bound of two values at a branch convergence point.
(package private) final class	LatticeOrder	THE order of the value-tracking lattice: does one abstract value admit every run-time state another admits?
(package private) final class	LatticeOrder	THE order of the value-tracking lattice: does one abstract value admit every run-time state another admits?

Methods in org.ek9lang.compiler.phase5.flow that return AbstractValue

Modifier and Type	Method	Description
AbstractValue	LatticeJoin.apply(AbstractValue first, AbstractValue second)	THE join of two values; commutative for every pair of kinds.
AbstractValue	ConstraintState.get(ISymbol symbol)	Get the abstract value for a symbol.
AbstractValue	ValueTrackingAnalyzer.getValue(ISymbol symbol)
AbstractValue	AbstractValue.join(AbstractValue other)	Join this value with another at a branch convergence point.
AbstractValue	BottomValue.join(AbstractValue other)
AbstractValue	CollectionStateValue.join(AbstractValue other)
AbstractValue	ConstantValue.join(AbstractValue other)
AbstractValue	ExcludesConstantValue.join(AbstractValue other)
AbstractValue	LockIdentityValue.join(AbstractValue other)
AbstractValue	RangeValue.join(AbstractValue other)
AbstractValue	SetStateValue.join(AbstractValue other)
AbstractValue	SymbolicTermValue.join(AbstractValue other)
AbstractValue	TopValue.join(AbstractValue other)
AbstractValue	TrackedValues.knownValueOf(EK9Parser.ExpressionContext expr)	The value of the expression: its literal, else its symbol's tracked value but only if that is known, else TOP.
AbstractValue	TrackedValues.knownValueOf(ISymbol symbol)	The symbol's tracked value but only if that is known, else TOP - the symbol half of TrackedValues.knownValueOf(EK9Parser.ExpressionContext), for a name that is not an expression (a by step identifier).
AbstractValue	TrackedValues.trackedValueOf(EK9Parser.ExpressionContext expr)	The value of the expression: its literal, else its symbol's tracked value as it is, else TOP.
(package private) AbstractValue	LockIdentityValue.union(LockIdentityValue other)	The union of this lock's identities and another's - for deadlock detection every possibility must stay represented.

Methods in org.ek9lang.compiler.phase5.flow with parameters of type AbstractValue

Modifier and Type	Method	Description
AbstractValue	LatticeJoin.apply(AbstractValue first, AbstractValue second)	THE join of two values; commutative for every pair of kinds.
ConditionResult	AbstractValue.evaluateCondition(String operator, AbstractValue operand)	Evaluate whether this abstract value satisfies a comparison condition.
ConditionResult	BottomValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	CollectionStateValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	ConstantValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	ConstraintState.evaluateCondition(AbstractValue left, String operator, AbstractValue right)	Evaluate a condition given the current state of two symbols/values.
ConditionResult	ExcludesConstantValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	LockIdentityValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	RangeValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	SetStateValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	SymbolicTermValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	TopValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	ValueTrackingAnalyzer.evaluateCondition(AbstractValue left, String operator, AbstractValue right)	Evaluate a condition between two abstract values.
ConditionResult	ValueTrackingAnalyzer.evaluateDecidedCondition(AbstractValue left, String operator, AbstractValue right)	THE verdict a condition is REPORTED on (E08086/E08087): as ValueTrackingAnalyzer.evaluateCondition(AbstractValue, String, AbstractValue), but "always true" only when every operand is known SET (D66, Steve 2026-10-21, tri-state).
AbstractValue	AbstractValue.join(AbstractValue other)	Join this value with another at a branch convergence point.
AbstractValue	BottomValue.join(AbstractValue other)
AbstractValue	CollectionStateValue.join(AbstractValue other)
AbstractValue	ConstantValue.join(AbstractValue other)
AbstractValue	ExcludesConstantValue.join(AbstractValue other)
AbstractValue	LockIdentityValue.join(AbstractValue other)
AbstractValue	RangeValue.join(AbstractValue other)
AbstractValue	SetStateValue.join(AbstractValue other)
AbstractValue	SymbolicTermValue.join(AbstractValue other)
AbstractValue	TopValue.join(AbstractValue other)
void	ValueTrackingAnalyzer.recordAssignment(ISymbol symbol, AbstractValue abstractValue)	Record a variable assignment with a known constant value.
void	ValueTrackingAnalyzer.recordLiteralAssignment(ISymbol symbol, AbstractValue abstractValue)	As ValueTrackingAnalyzer.recordAssignment(ISymbol, AbstractValue), for a value that is exact on EVERY pass of an open loop - a literal, which no earlier pass can have changed (D48).
void	ValueTrackingAnalyzer.registerModuleConstant(ISymbol symbol, AbstractValue abstractValue)	Register a module-level constant (from defines constant blocks).
void	ConstraintState.set(ISymbol symbol, AbstractValue abstractValue)	Set the abstract value for a symbol (mutates this state).
boolean	LatticeOrder.test(AbstractValue upper, AbstractValue lower)	THE order: true if upper admits every run-time state that lower admits.