Uses of Package
org.ek9lang.compiler.phase9

Packages that use org.ek9lang.compiler.phase9
Package
Description
org.ek9lang.compiler.phase9
M - Intermediate Representation Analysis and Optimization.
  • Classes in org.ek9lang.compiler.phase9 used by org.ek9lang.compiler.phase9
    Class
    Description
    PublishedValues
    THE rule of which values an instruction publishes (EK9_NATIVE_CYCLE_COLLECTOR_DESIGN.md ยง13.11, S2 and S2b) - what PublishPlacement places and PublishVerifier (V-P) demands exactly: a STATIC_FIELD_ASSIGN into _Application - an application's _prepare storing a registration runtime threads can reach, a [registered] type (REGISTRY; S2c - one only the program's own thread uses stays mortal); any other static store - an enumeration's values, a cycle-guard owner, all in a _c_init (CONSTANT); a call that hands values to runtime threads (HandsValuesToRuntimeThreads, HANDLER); the store barrier (STORE, naming the holder the value goes into): a FIELD_ASSIGN into a field declared by a type a published value may reach, or a SLOT_ASSIGN this.<property> in an operation of a [registered] construct - except into this while it is being constructed (a constructor, _i_init, _c_init: E08250 keeps this from escaping, so nothing published holds it yet); and an argument a call may KEEP in its receiver or in another argument (KeptArgumentHolders, from the callee's RETAINS) when that holder's type is one a published value may reach - items += line on a registered component's List (review 2026-11-02, M2) - as well as the operand of a :=:, :~: or :^: into such a receiver, which shares the operand's contents. "A type a published value may reach" is the [registered] fact by name, failing closed: a type the program does not know to be unreached is reached.
    PublishedValues.Where
    Where an instruction is: in an operation of a registered construct or not, and while its object is still being constructed or not (a constructor, _i_init, _c_init).
    ReferenceEdges.Edge
    A reference to value stored into holder: a variable, IRConstants.THIS, or null for a static.
    RetainReleaseBalanceVerifier.Finding
    A single balance finding for one construct/operation.