Class InputClassProbeInstr

java.lang.Object

org.ek9lang.compiler.ir.instructions.IRInstr

org.ek9lang.compiler.ir.instructions.InputClassProbeInstr

All Implemented Interfaces:

INode

public final class InputClassProbeInstr
extends IRInstr

Specialised IR instruction for the input-variation numerator (INPUT_CLASS_PROBE).

Inserted at a public construct's entry when input-variety measurement is enabled (which rides the coverage-instrumented -t run). Unlike CoverageProbeInstr / ProfilingEntryInstr — which push only a long id — this probe carries the construct's fully-qualified name plus each argument's local-variable name, so the backend can load the live argument objects and pass them to the runtime classifier. Each value is then placed into its ValueClassId leaf cell for the dynamic numerator (design EK9_INPUT_VARIATION_METRIC_DESIGN.md §5).

Measurement-only: emits no gate/error. The receiver rides as implicit p0 and a record contributes one dimension per field leaf (§4.5) — but the decomposition is emitted as ordinary LOAD_FIELD instructions before this probe, so every dimension here is simply a named local and no backend needs record-specific handling.

The same opcode also carries the §5.3 assert window markers, emitted around an assert statement's condition evaluation so a probe firing inside it commits an asserted cell as well as a driven one. They ride here rather than as their own opcode deliberately: one IR concept for the whole input-variety feature means one place per backend to implement, and a marker carries no payload to decode — it selects a no-arg runtime entry point.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	InputClassProbeInstr.Kind	What this instruction is: an entry probe, or one edge of a §5.3 assert window.

Method Summary

Modifier and Type	Method	Description
void	accept(INodeVisitor visitor)
static InputClassProbeInstr	assertWindowEnter(DebugInfo debugInfo)	Open the §5.3 assert window — emitted immediately before an assert condition is evaluated.
static InputClassProbeInstr	assertWindowExit(DebugInfo debugInfo)	Close the §5.3 assert window opened by assertWindowEnter(DebugInfo).
List<InputClassProbeArg>	getArgs()
String	getConstructFullyQualifiedName()
String	getConstructName()
InputClassProbeInstr.Kind	getKind()
static InputClassProbeInstr	probe(String constructFullyQualifiedName, String constructName, List<InputClassProbeArg> args, DebugInfo debugInfo)	Create an input-class probe instruction.
String	toString()

Methods inherited from class IRInstr

addOperand, addOperands, equals, getDebugInfo, getEscapeMetaData, getOpcode, getOperands, getResult, hasEscapeMetaData, hashCode, hasResult, isControlFlow, isLabel, isMemoryManagement, isMethodCall, setEscapeMetaData

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

probe

public static InputClassProbeInstr probe(String constructFullyQualifiedName,
 String constructName,
 List<InputClassProbeArg> args,
 DebugInfo debugInfo)

Create an input-class probe instruction.

Parameters:

constructFullyQualifiedName - the callable's FQN (join key with the static denominator)

constructName - human-readable display name

args - the argument dimensions to classify at entry

debugInfo - optional source location debug info

assertWindowEnter

public static InputClassProbeInstr assertWindowEnter(DebugInfo debugInfo)

Open the §5.3 assert window — emitted immediately before an assert condition is evaluated.

assertWindowExit

public static InputClassProbeInstr assertWindowExit(DebugInfo debugInfo)

Close the §5.3 assert window opened by assertWindowEnter(DebugInfo).

getKind

public InputClassProbeInstr.Kind getKind()

getConstructFullyQualifiedName

public String getConstructFullyQualifiedName()

getConstructName

public String getConstructName()

getArgs

public List<InputClassProbeArg> getArgs()

accept

public void accept(INodeVisitor visitor)

Specified by:

accept in interface INode

Overrides:

accept in class IRInstr

toString

public String toString()

Overrides:

toString in class IRInstr