interface |
IAAlt |
The interactionOperator 'alt' designates that the CombinedFragment represents a choice of behavior.
|
interface |
IAAssert |
The interactionOperator 'assert' designates that the CombinedFragment represents an assertion.
|
interface |
IABreak |
The interactionOperator 'break' designates that the CombinedFragment represents a breaking scenario in the sense that the operand is a scenario that is performed instead of the remainder of the enclosing InteractionFragment.
|
interface |
IAConsider |
The interactionOperator 'consider' designates which messages should be considered within this combined fragment.
|
interface |
IACritical |
The interactionOperator 'critical' designates that the CombinedFragment represents a critical region.
|
interface |
IAIgnore |
The interacionOperator 'ignore' designates that there are some message types that are not shown within this combined fragment.
|
interface |
IALoop |
The interactionOperator 'loop' designates that the CombinedFragment represents a loop.
|
interface |
IANeg |
The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.
|
interface |
IAOpt |
The interactionOperator 'opt' designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens.
|
interface |
IAPar |
The interactionOperator 'par' designates that the CombinedFragment represents a parallel merge between the behaviors of the operands.
|
interface |
IASeq |
The interactionOperator 'seq' designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.
|
interface |
IAStrict |
The interactionOperator 'strict' designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands.
|