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

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

Modifier and Type	Method	Description
AbstractValue	ConstraintState.get(ISymbol symbol)	Get the abstract value for a symbol.
AbstractValue	ValueTrackingAnalyzer.getValue(ISymbol symbol)	Get the current abstract value for a variable.
AbstractValue	AbstractValue.join(AbstractValue other)	Join this value with another at a branch convergence point.
AbstractValue	BottomValue.join(AbstractValue other)
AbstractValue	ConstantValue.join(AbstractValue other)
AbstractValue	ExcludesConstantValue.join(AbstractValue other)
AbstractValue	RangeValue.join(AbstractValue other)
AbstractValue	SetStateValue.join(AbstractValue other)
AbstractValue	TopValue.join(AbstractValue other)

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

Modifier and Type	Method	Description
ConditionResult	AbstractValue.evaluateCondition(String operator, AbstractValue operand)	Evaluate whether this abstract value satisfies a comparison condition.
ConditionResult	BottomValue.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	RangeValue.evaluateCondition(String operator, AbstractValue operand)
ConditionResult	SetStateValue.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.
AbstractValue	AbstractValue.join(AbstractValue other)	Join this value with another at a branch convergence point.
AbstractValue	BottomValue.join(AbstractValue other)
AbstractValue	ConstantValue.join(AbstractValue other)
AbstractValue	ExcludesConstantValue.join(AbstractValue other)
AbstractValue	RangeValue.join(AbstractValue other)
AbstractValue	SetStateValue.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.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).