Uses of Record Class
org.ek9lang.compiler.directives.DirectiveSpec

Packages that use DirectiveSpec

Package	Description
org.ek9lang.compiler.directives	The directives are really aimed at helping the creation of the EK9 language, but they maybe very useful in the early stages of adoption of EK9 (should there be any).

Uses of DirectiveSpec in org.ek9lang.compiler.directives

Classes in org.ek9lang.compiler.directives that implement interfaces with type arguments of type DirectiveSpec

Modifier and Type	Class	Description
class	DirectiveSpecExtractor	Extracts the 'spec' from the free format data in the directive.

Methods in org.ek9lang.compiler.directives that return DirectiveSpec

Modifier and Type	Method	Description
DirectiveSpec	DirectiveSpecExtractor.apply(EK9Parser.DirectiveContext ctx)

Constructors in org.ek9lang.compiler.directives with parameters of type DirectiveSpec

Modifier	Constructor	Description
	ByteCodeDirective(DirectiveSpec spec)	A new bytecode validation directive.
	ComplexityDirective(DirectiveSpec spec)	The Directive to test for complexity values in EK9 instrumented code.
	CounterexampleDirective(DirectiveSpec spec)	The Directive to test a squirrelled symbolic counterexample witness in EK9 instrumented code.
	GenusDirective(DirectiveSpec spec)	New directive for genus checking.
	ImplementsDirective(DirectiveSpec spec)	New directive checker for implements.
	InputVarietyDirective(DirectiveSpec spec)	The Directive to test for input-variation denominator values in EK9 instrumented code.
	IRDirective(DirectiveSpec spec)	New directive checker for implements.
	IRParameterisedDirective(DirectiveSpec spec)	New directive checker for parameterized type IR validation.
	NotResolvedDirective(DirectiveSpec spec)	Directive for ensuring a symbol is not resolved.
	ObligationsDirective(DirectiveSpec spec)	The Directive to test the squirrelled obligation-census tally in EK9 instrumented code.
(package private)	ResolutionDirective(DirectiveSpec spec)	A new resolution style directive.
	ResolvedDirective(DirectiveSpec spec)	Constructor of a directive for resolution.
	SquirrelledDirective(DirectiveSpec spec)
	VerifiedDirective(DirectiveSpec spec)	The Directive to test the squirrelled symbolic-verification verdict in EK9 instrumented code.