Class VerifiedDirective

java.lang.Object

org.ek9lang.compiler.directives.ResolutionDirective

org.ek9lang.compiler.directives.VerifiedDirective

All Implemented Interfaces:

Directive

public class VerifiedDirective
extends ResolutionDirective

Compiler self-verification directive (NOT an end-user feature) asserting the Layer-2 symbolic verdict for a construct (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §4). Lives only in the compiler's own .ek9 test fixtures, exactly like @Obligations, to pin the bounded-model solver. Checked at the SYMBOLIC_ANALYSIS phase, which only runs under -Xverify.

The asserted value is the quoted verified flag ("true" / "false"):

 @Verified: SYMBOLIC_ANALYSIS: FUNCTION: "com.acme::safeAverage": "false" 

Constructor Summary

Constructors

Constructor	Description
VerifiedDirective(DirectiveSpec spec)	The Directive to test the squirrelled symbolic-verification verdict 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

VerifiedDirective

public VerifiedDirective(DirectiveSpec spec)

The Directive to test the squirrelled symbolic-verification verdict in EK9 instrumented code.

Method Details

type

public DirectiveType type()

Description copied from interface: Directive

What s the type of the directive.