Class MethodContext

java.lang.Object
org.ek9lang.compiler.backend.jvm.support.MethodContext
public final class MethodContext extends Object
Shared context for a method that must be coordinated across all generators.

This context tracks:

  • Variable to slot mappings
  • Temp variable source tracking
  • IR labels to JVM labels
  • Local variable debug metadata
  • Scope boundaries
  • Field type descriptors

  • Constructor Details

    • MethodContext

      public MethodContext()

  • Method Details

    • getVariableMap

      public Map<String,Integer> getVariableMap()
      Get the variable to slot mapping.

    • getTempSourceMap

      public Map<String, TempVariableSource> getTempSourceMap()
      Get the temp variable source tracking map.

    • getLabelMap

      public Map<String, org.objectweb.asm.Label> getLabelMap()
      Get the IR label to JVM label mapping.

    • getLocalVariableMetadata

      public Map<String, LocalVariableInfo> getLocalVariableMetadata()
      Get the local variable debug metadata map.

    • getScopeMap

      public Map<String, ScopeInfo> getScopeMap()
      Get the scope boundaries map.

    • getFieldDescriptorMap

      public Map<String,String> getFieldDescriptorMap()
      Get the field descriptor map (maps "this.fieldName" to JVM descriptor).

    • getVariableTypeMap

      public Map<String,String> getVariableTypeMap()
      Get the variable type map (maps variable name to primitive type or null for objects). Used to track whether a variable contains a primitive value (int, boolean) so the correct load/store opcode can be used.

    • allocateNextSlot

      public int allocateNextSlot()
      Allocate the next variable slot and increment the counter.

    • markOperationScopeIfAbsent

      public void markOperationScopeIfAbsent(String scopeId)
      Record the operation-level (method-wide) scope on the FIRST SCOPE_ENTER — the outermost scope, which spans the whole method and is where parameters are live from. Later (nested control-flow) SCOPE_ENTERs do not overwrite it. B.1: lets DebugInfoGenerator pick the real method-wide scope for parameters instead of an arbitrary findFirst() over the scope map.

    • getOperationScopeId

      public String getOperationScopeId()
      The operation-level (method-wide) scope id, or null if none was recorded.

    • getThisTypeDescriptor

      public String getThisTypeDescriptor()
      The receiver ('this') descriptor for an instance method (e.g. "Lfoo/Bar;"), or null for a static method. When set, DebugInfoGenerator emits the slot-0 this LocalVariableTable entry.

    • setThisTypeDescriptor

      public void setThisTypeDescriptor(String descriptor)
      Record the receiver descriptor for an instance method — enables the slot-0 this LocalVariableTable entry. Leave unset (null) for static methods.