Class IAOperandHelper


  • public abstract class IAOperandHelper
    extends java.lang.Object
    An InteractionOperand is contained in a CombinedFragment. An InteractionOperand represents one operand of the expression given by the enclosing CombinedFragment. An InteractionOperand may be guarded by an InteractionConstraint. Only InteractionOperands with a guard that evaluate to true at this point in the interaction will be considered for the production of the traces for the enclosing CombinedFragment. InteractionOperands contain an ordered set of InteractionFragments.
    See Also:
    IAOperand