Class IRConstruct

java.lang.Object
org.ek9lang.compiler.ir.instructions.IRConstruct
All Implemented Interfaces:
INode
public final class IRConstruct extends Object implements INode
In EK9 every construct becomes one of these nodes. So that means class, trait, component, program, function - everything.

In the case of functions there is a single 'call' method, this has all the parameters that would be supplied when other constructs use the function.

So this is more like a Function in Java - that is really just an object. The reason for this is that in EK9 it is possible for functions to 'capture' variables as properties (dynamic functions). But this whole mechanism makes sense even for normal fixed named functions. It also means it is very easy to pass functions around as data.

  • Constructor Details

    • IRConstruct

      public IRConstruct(ISymbol symbol, String sourceFileName)

  • Method Details

    • isForSymbol

      public boolean isForSymbol(ISymbol toCheck)

    • getFullyQualifiedName

      public String getFullyQualifiedName()

    • getDisplayName

      public Optional<String> getDisplayName()
      The construct's DISPLAY name (module::Holder of String), present only where it differs from getFullyQualifiedName() - a monomorphised generic, whose identity is a digest. Each back end stores it as data on the type (JVM: a static constant; native: beside vtable->type_name) for the run-time helper typeNameOf. Never an identity (Contract 21, ConstructDisplayName).
      Returns:
      the display name, or empty when the identity already reads correctly

    • getSourceFileName

      public String getSourceFileName()
      Returns the source file name where this construct was defined. This is used for JVM debug information (SourceFile attribute) to enable debuggers to map bytecode back to the original .ek9 source file.
      Returns:
      Source file name, typically a relative path like "introduction/HelloWorld.ek9"

    • getNormalizedSourceFileName

      public String getNormalizedSourceFileName()
      Returns the normalized source file name for JVM debug information. Strips the "./" prefix if present, as jdb and other debuggers interpret "./" literally and fail to find source files like "./workarea.ek9".

      This normalized form is required for: - JVM SourceFile attribute in .class files - JSR-45 SMAP (Source Map) generation - Debugger source file resolution (jdb, IDE debuggers)

      Returns:
      Normalized source file name without "./" prefix (e.g., "workarea.ek9" instead of "./workarea.ek9")

    • getSignatureQualifiedName

      public String getSignatureQualifiedName()
      Returns signature-qualified name including parameter types and return type. For functions and methods, this includes the complete signature to enable method overloading resolution and target code generation.

      Format: "module::construct(org.ek9.lang::ParamType1,org.ek9.lang::ParamType2)->org.ek9.lang::ReturnType"

      Returns:
      Signature-qualified name for overload resolution.

    • isFunction

      public boolean isFunction()
      Assess if this construct is a function or a general aggregate symbol type.
      Returns:
      true if the construct is just a function - otherwise false and it is an aggregate.

    • isProgram

      public boolean isProgram()

    • addField

      public void addField(Field field, Ek9Types ek9Types)

    • getTraceableFields

      public List<Field> getTraceableFields()

    • addImplementedTrait

      public void addImplementedTrait(ISymbol traitSymbol)

    • getImplementedTraits

      public List<ISymbol> getImplementedTraits()

    • inheritsValueSemanticsFromTrait

      public boolean inheritsValueSemanticsFromTrait()
      True when an implemented trait (its own, a super's or a trait's trait) declares value semantics - an == or <=> taking one argument, or a #?. A concrete implementer that inherits its sameness from a trait body declares none itself, yet still needs Java equals/hashCode so hash containers (Set, Dict keys) honour it: a JVM interface cannot default those two. Carried here, from the traits the construct already records, so a back end never searches the symbol table for it (B18 prerequisite P1; Contract 6).
      Returns:
      whether sameness reaches this construct from a trait

    • getSuperType

      public Optional<ISymbol> getSuperType()
      The single nominal super type this construct extends, resolved from the symbol's declared super (function super-chain, Scenario-2 wrapper base, or aggregate super). Empty means it extends Object (no usable super, or the super is Any for a function). Backends read this instead of re-deriving the super, keeping code generation mechanical and consistent.
      Returns:
      the resolved super type symbol, or empty

    • add

      public void add(OperationInstr operation)

    • getSymbol

      public ISymbol getSymbol()

    • getFields

      public List<Field> getFields()

    • getOperations

      public List<OperationInstr> getOperations()

    • setProgramEntryPoint

      public void setProgramEntryPoint(ProgramEntryPointInstr programEntryPoint)

    • getProgramEntryPoint

      public Optional<ProgramEntryPointInstr> getProgramEntryPoint()

    • setServiceRouteDetails

      public void setServiceRouteDetails(ServiceRouteDetails serviceRouteDetails)

    • getServiceRouteDetails

      public Optional<ServiceRouteDetails> getServiceRouteDetails()

    • setTextVariantTable

      public void setTextVariantTable(TextVariantTable textVariantTable)

    • getTextVariantTable

      public Optional<TextVariantTable> getTextVariantTable()
      The locale variants of a text's abstract base - present only on such a base. See TextVariantTable.

    • hasCoverageProbes

      public boolean hasCoverageProbes()
      Check if this construct has coverage instrumentation.

      Returns true if any operation in this construct contains a COVERAGE_PROBE instruction. When true, bytecode generation should add a $ek9_coverage field to hold the module's shared probe array.

      Returns:
      true if coverage probes are present in this construct

    • getCoverageModuleId

      public Optional<Long> getCoverageModuleId()
      Get the coverage module ID for this construct.

      Extracts the moduleId from the COVERAGE_REGISTER instruction which has the authoritative module ID computed from the module name.

      Returns:
      Optional containing the module ID, or empty if no coverage registration

    • getCoverageProbeCount

      public int getCoverageProbeCount()
      Count the total number of coverage probes in this construct.
      Returns:
      The number of COVERAGE_PROBE instructions in all operations

    • allBodyInstructions

      public List<IRInstr> allBodyInstructions()
      THE single IR-tree traversal for this construct: every instruction in every operation body, flattened depth-first through every nested instruction list the back-end executes. The coverage has/find/count queries above are one-liners over it - do NOT re-derive another walker; use this or allInstructionsOf(OperationInstr).

      Consolidated three previously-divergent walkers. Completed 2026-09-24: it had omitted a chain's condition-case conditionEvaluation and guardUpdates (where a while-loop's hasNext() and a guard's _isSet() live) and a for-range loop's initialisation and direction/condition/setup/increment lists - all executed by the back-end, so an IR reader using the old walk silently missed calls. A chain's evaluation_variable_setup and return_variable_setup are deliberately NOT walked: they are rendered in the textual IR but no back-end reads them, so they are not executed code.

    • allInstructionsOf

      public static List<IRInstr> allInstructionsOf(OperationInstr operation)
      Every executed instruction of one operation (one callable), flattened as allBodyInstructions() describes. The per-callable unit an IR analysis reads.

    • allInstructionsIn

      public static List<IRInstr> allInstructionsIn(List<IRInstr> instructions)
      Every executed instruction in instructions, flattened as allBodyInstructions() describes - for a reader holding a list of instructions that is not yet part of an operation (IR generation itself).

    • accept

      public void accept(INodeVisitor visitor)
      Specified by:
      accept in interface INode

    • toString

      public String toString()
      Overrides:
      toString in class Object