Class InputVarietyReceiver

java.lang.Object

org.ek9lang.compiler.support.InputVarietyReceiver

public final class InputVarietyReceiver
extends Object

THE reading and marking of INPUT_VARIETY_RECEIVER: the input-variety FLOOR of this method counts its receiver as dimension p0 (coverage design section 4.5), so the phase-7 numerator probe emits a receiver cell. The denominator recorder decides it (phase5/InputVarietyDenominatorRecorder) and marks the symbol; the generic widener asks. Only TRUE_VALUE is ever written, so one truth test serves every reader (front-end rationalisation X-2). (CoverageProbePlacer, in phase 7, still reads it as != null.)

Method Summary

Modifier and Type	Method	Description
static boolean	isCounted(ISymbol method)	True when the method's input-variety floor counts its receiver.
static void	markCounted(ISymbol method)	Record that the floor counts the receiver of this method.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

isCounted

public static boolean isCounted(ISymbol method)

True when the method's input-variety floor counts its receiver.

markCounted

public static void markCounted(ISymbol method)

Record that the floor counts the receiver of this method.