Class DebugDirective

java.lang.Object

org.ek9lang.compiler.directives.ResolutionDirective

org.ek9lang.compiler.directives.DebugDirective

All Implemented Interfaces:

Directive

public class DebugDirective
extends ResolutionDirective

To be used in EK9 source code to assert that ONE slice of the generated debug information for a construct matches expectations. Finer-grained than @BYTECODE: it keeps a single javap section (a DebugAspect) rather than the whole class, so a debug-info defect is localised to the aspect that owns it.

@DEBUG: CODE_GENERATION_AGGREGATES: LOCALS: "some.module::Example": `
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0     122     1 stdout   Lorg/ek9/lang/Stdout;
`

Resolution is by NAME (like @BYTECODE) — the symbol category is irrelevant, so it is not asserted; the DirectiveSpec's category is a neutral placeholder. See docs/strategic/SPEC-agentic-debugger.md §9.2.

Constructor Summary

Constructors

Constructor	Description
DebugDirective(DirectiveSpec spec, DebugAspect aspect)	A new debug-info validation directive.

Method Summary

Modifier and Type	Method	Description
DebugAspect	getAspect()
String	toString()
DirectiveType	type()	What s the type of the directive.

Methods inherited from class ResolutionDirective

getAdditionalName, getAppliesToLineNumber, getDirectiveToken, getSymbolCategory, getSymbolName, getSymbolSearch, isForPhase, isForVariable

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

DebugDirective

public DebugDirective(DirectiveSpec spec,
 DebugAspect aspect)

A new debug-info validation directive. The symbol name identifies the construct; the additional name (from the spec) carries the expected normalised section content.

Method Details

getAspect

public DebugAspect getAspect()

type

public DirectiveType type()

Description copied from interface: Directive

What s the type of the directive.

toString

public String toString()

Overrides:

toString in class ResolutionDirective