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.
    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.
    ConstructorStateExtractor
    Extracts collection/container state information from constructor calls and literal expressions.
    ExcludesConstantValue
    Represents a variable known to hold any value except a specific constant.
    LiteralExtractor
    Extracts constant values from EK9 AST literal nodes.
    LockIdentityInference
    Primitives layer for slice-2 lock-identity tracking — mints opaque Object tokens for MutexLock allocation sites, returns the ISymbol reference as token for field/parameter/capture-rooted identities, and produces stable string IDs for cross-record / wire-format use.
    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.
    PlaceholderToken
    Symbolic identity for a MutexLock parameter whose underlying object is unknown until resolved at a specific call site.
    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
    The M3 symbolic dead-branch analyzer: seeds a function's parameters as SymbolicTermValue terms, reads the relational facts off its require/if nodes into a PathCondition, and reports a branch dead when its accumulated facts are unsatisfiable.
    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.
    ValueTrackingAnalyzer
    Tracks variable values through control flow for tautological condition detection.