Uses of Class
org.ek9lang.compiler.directives.ResolutionDirective

Packages that use ResolutionDirective

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 ResolutionDirective in org.ek9lang.compiler.directives

Subclasses of ResolutionDirective in org.ek9lang.compiler.directives

Modifier and Type	Class	Description
class	ByteCodeDirective	To be used in EK9 source code to assert that generated JVM bytecode matches expectations.
class	ComplexityDirective	To be used in EK9 source code to assert that a specific class or function has a particular level of complexity.
class	CounterexampleDirective	Compiler self-verification directive (NOT an end-user feature) asserting that the Layer-2 symbolic engine found a specific witnessing input for a construct (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §4).
class	GenusDirective	To be used in EK9 source code to assert that a type can or cannot be resolved.
class	ImplementsDirective	To be used in EK9 source code to assert that a type can or cannot be resolved as extending a type or function.
class	InputVarietyDirective	To be used in EK9 source code to assert that a specific class, function or method has a particular input-variation DENOMINATOR — the pairwise opportunity space its signature admits (design EK9_INPUT_VARIATION_METRIC_DESIGN.md §4.1, §11.5).
class	IRDirective	To be used in EK9 source code to check that the IR generated matches what is expected.
class	IRParameterisedDirective	To be used in EK9 source code to check that the IR generated for parameterized types (generic type wrappers) matches what is expected.
class	NotResolvedDirective	To be used in EK9 source code to assert that a type can or cannot be resolved.
class	ObligationsDirective	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.
class	ResolvedDirective	To be used in EK9 source code to assert that a type can or cannot be resolved.
class	SquirrelledDirective	To be used in EK9 source code to assert that a specific squirrelled-data key is set (to any non-null value) on a resolved symbol at the given compilation phase.
class	VerifiedDirective	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).

Methods in org.ek9lang.compiler.directives with parameters of type ResolutionDirective

Modifier and Type	Method	Description
protected void	NotResolvedDirectiveListener.noSymbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive)
protected abstract void	ResolutionDirectiveListener.noSymbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive)
protected void	ResolvedDirectiveListener.noSymbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive)
protected void	ByteCodeDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	ComplexityDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	CounterexampleDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	GenusDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	ImplementsDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	InputVarietyDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	IRDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	NotResolvedDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive, ISymbol symbol)
protected void	ObligationsDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected abstract void	ResolutionDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive, ISymbol symbol)
protected void	ResolvedDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective directive, ISymbol symbol)
protected void	SquirrelledDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)
protected void	VerifiedDirectiveListener.symbolMatch(CompilationEvent compilationEvent, ResolutionDirective resolutionDirective, ISymbol symbol)