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.
    CharacterConstant
    The value of a Character constant: one Unicode code point (Steve, 2026-11-04), ordered as the runtime orders Characters.
    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.
    LatticeJoin
    THE join of the value-tracking lattice: the least upper bound of two values at a branch convergence point.
    LatticeOrder
    THE order of the value-tracking lattice: does one abstract value admit every run-time state another admits?
    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.
    LockStableIds
    THE shared encodings of lock-analysis stable ids - use this, never re-spell a source:line:col location key or the placeholder: prefix.
    LockTokenIdentity
    THE token-identity rule of a LockIdentityValue: two identity tokens are the same token when they are structurally equal PlaceholderTokens, and otherwise only when they are the same object (==) - an ISymbol's structural equals would merge two different locks.
    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.
    TrackedValues
    THE answer to "what value does this expression hold here?" for the phase-5 flow checks: a written literal first, else what the ValueTrackingAnalyzer tracks for the expression's symbol.
    ValueTrackingAnalyzer
    Tracks variable values through control flow for tautological condition detection.