Package org.ek9lang.compiler.phase5.flow

package 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.
    ExcludesConstantValue
    Represents a variable known to hold any value except a specific constant.
    LiteralExtractor
    Extracts constant values from EK9 AST literal nodes.
    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.
    ValueTrackingAnalyzer
    Tracks variable values through control flow for tautological condition detection.