Class ObligationsDirective

java.lang.Object

org.ek9lang.compiler.directives.ResolutionDirective

org.ek9lang.compiler.directives.ObligationsDirective

All Implemented Interfaces:

Directive

public class ObligationsDirective
extends ResolutionDirective

Compiler self-verification directive (NOT an end-user feature) asserting the obligation census (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §4) computed the expected tally for a construct. Lives only in the compiler's own .ek9 test fixtures, exactly like @Complexity / @InputVariety, to pin the census maths.

The asserted value is the quoted triple "total:discharged:undischarged" (quoted so its colons survive the colon-delimited directive grammar):

 @Obligations: PRE_IR_CHECKS: FUNCTION: "com.acme::unitPrice": "6:2:4" 

Constructor Summary

Constructors

Constructor	Description
ObligationsDirective(DirectiveSpec spec)	The Directive to test the squirrelled obligation-census tally in EK9 instrumented code.

Method Summary

Modifier and Type	Method	Description
DirectiveType	type()	What s the type of the directive.

Methods inherited from class ResolutionDirective

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

Methods inherited from class Object

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

Constructor Details

ObligationsDirective

public ObligationsDirective(DirectiveSpec spec)

The Directive to test the squirrelled obligation-census tally in EK9 instrumented code.

Method Details

type

public DirectiveType type()

Description copied from interface: Directive

What s the type of the directive.