Class InputVarietyDirective

java.lang.Object

org.ek9lang.compiler.directives.ResolutionDirective

org.ek9lang.compiler.directives.InputVarietyDirective

All Implemented Interfaces:

Directive

public class InputVarietyDirective
extends ResolutionDirective

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). Mainly used to check that the denominator calculation in the compiler (phase 5, squirrelled as CommonValues.INPUT_VARIETY_DENOMINATOR) is working correctly on real EK9 source — the sibling of ComplexityDirective for the input-variation metric.

 @InputVariety: PRE_IR_CHECKS: FUNCTION: "multiply": 81 

Constructor Summary

Constructors

Constructor	Description
InputVarietyDirective(DirectiveSpec spec)	The Directive to test for input-variation denominator values 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

InputVarietyDirective

public InputVarietyDirective(DirectiveSpec spec)

The Directive to test for input-variation denominator values in EK9 instrumented code.

Method Details

type

public DirectiveType type()

Description copied from interface: Directive

What s the type of the directive.