Package com.sodius.mdw.metamodel.uml21
Class InteractionOperatorKind
- java.lang.Object
-
- org.eclipse.emf.common.util.AbstractEnumerator
-
- com.sodius.mdw.metamodel.uml21.InteractionOperatorKind
-
- All Implemented Interfaces:
Serializable
,org.eclipse.emf.common.util.Enumerator
public final class InteractionOperatorKind extends org.eclipse.emf.common.util.AbstractEnumerator
A representation of the literals of the enumeration 'Interaction Operator Kind', and utility methods for working with them. InteractionOperatorKind is an enumeration designating the different kinds of operators of combined fragments. The interaction operand defines the type of operator of a combined fragment.
-
-
Field Summary
Fields Modifier and Type Field Description static int
ALT
The 'Alt' literal value.static InteractionOperatorKind
ALT_LITERAL
The 'Alt' literal object.static int
ASSERT
The 'Assert' literal value.static InteractionOperatorKind
ASSERT_LITERAL
The 'Assert' literal object.static int
BREAK
The 'Break' literal value.static InteractionOperatorKind
BREAK_LITERAL
The 'Break' literal object.static int
CONSIDER
The 'Consider' literal value.static InteractionOperatorKind
CONSIDER_LITERAL
The 'Consider' literal object.static int
CRITICAL
The 'Critical' literal value.static InteractionOperatorKind
CRITICAL_LITERAL
The 'Critical' literal object.static int
IGNORE
The 'Ignore' literal value.static InteractionOperatorKind
IGNORE_LITERAL
The 'Ignore' literal object.static int
LOOP
The 'Loop' literal value.static InteractionOperatorKind
LOOP_LITERAL
The 'Loop' literal object.static int
NEG
The 'Neg' literal value.static InteractionOperatorKind
NEG_LITERAL
The 'Neg' literal object.static int
OPT
The 'Opt' literal value.static InteractionOperatorKind
OPT_LITERAL
The 'Opt' literal object.static int
PAR
The 'Par' literal value.static InteractionOperatorKind
PAR_LITERAL
The 'Par' literal object.static int
SEQ
The 'Seq' literal value.static InteractionOperatorKind
SEQ_LITERAL
The 'Seq' literal object.static int
STRICT
The 'Strict' literal value.static InteractionOperatorKind
STRICT_LITERAL
The 'Strict' literal object.static List
VALUES
A public read-only list of all the 'Interaction Operator Kind' enumerators.
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static InteractionOperatorKind
get(int value)
Returns the 'Interaction Operator Kind' literal with the specified integer value.static InteractionOperatorKind
get(String literal)
Returns the 'Interaction Operator Kind' literal with the specified literal value.static InteractionOperatorKind
getByName(String name)
Returns the 'Interaction Operator Kind' literal with the specified name.
-
-
-
Field Detail
-
SEQ
public static final int SEQ
The 'Seq' literal value. The interactionOperator seq designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.- See Also:
SEQ_LITERAL
, Constant Field Values
-
ALT
public static final int ALT
The 'Alt' literal value. The interactionOperator alt designates that the CombinedFragment represents a choice of behavior. At most one of the operands will be chosen. The chosen operand must have an explicit or implicit guard expression that evaluates to true at this point in the interaction. An implicit true guard is implied if the operand has no guard.- See Also:
ALT_LITERAL
, Constant Field Values
-
OPT
public static final int OPT
The 'Opt' literal value. The interactionOperator opt designates that the CombinedFragment represents a choice of behavior where either the (sole) operand happens or nothing happens. An option is semantically equivalent to an alternative CombinedFragment where there is one operand with non-empty content and the second operand is empty.- See Also:
OPT_LITERAL
, Constant Field Values
-
BREAK
public static final int BREAK
The 'Break' literal value. 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. A break operator with a guard is chosen when the guard is true and the rest of the enclosing Interaction Fragment is ignored. When the guard of the break operand is false, the break operand is ignored and the rest of the enclosing InteractionFragment is chosen. The choice between a break operand without a guard and the rest of the enclosing InteractionFragment is done non-deterministically.- See Also:
BREAK_LITERAL
, Constant Field Values
-
PAR
public static final int PAR
The 'Par' literal value. The interactionOperator par designates that the CombinedFragment represents a parallel merge between the behaviors of the operands. The OccurrenceSpecifications of the different operands can be interleaved in any way as long as the ordering imposed by each operand as such is preserved.- See Also:
PAR_LITERAL
, Constant Field Values
-
STRICT
public static final int STRICT
The 'Strict' literal value. The interactionOperator strict designates that the CombinedFragment represents a strict sequencing between the behaviors of the operands. The semantics of strict sequencing defines a strict ordering of the operands on the first level within the CombinedFragment with interactionOperator strict. Therefore OccurrenceSpecifications within contained CombinedFragment will not directly be compared with other OccurrenceSpecifications of the enclosing CombinedFragment.- See Also:
STRICT_LITERAL
, Constant Field Values
-
LOOP
public static final int LOOP
The 'Loop' literal value. The interactionOperator loop designates that the CombinedFragment represents a loop. The loop operand will be repeated a number of times.- See Also:
LOOP_LITERAL
, Constant Field Values
-
CRITICAL
public static final int CRITICAL
The 'Critical' literal value. The interactionOperator critical designates that the CombinedFragment represents a critical region. A critical region means that the traces of the region cannot be interleaved by other OccurrenceSpecifications (on those Lifelines covered by the region). This means that the region is treated atomically by the enclosing fragment when determining the set of valid traces. Even though enclosing CombinedFragments may imply that some OccurrenceSpecifications may interleave into the region, such as e.g. with par-operator, this is prevented by defining a region.- See Also:
CRITICAL_LITERAL
, Constant Field Values
-
NEG
public static final int NEG
The 'Neg' literal value. The interactionOperator neg designates that the CombinedFragment represents traces that are defined to be invalid.- See Also:
NEG_LITERAL
, Constant Field Values
-
ASSERT
public static final int ASSERT
The 'Assert' literal value. The interactionOperator assert designates that the CombinedFragment represents an assertion. The sequences of the operand of the assertion are the only valid continuations. All other continuations result in an invalid trace.- See Also:
ASSERT_LITERAL
, Constant Field Values
-
IGNORE
public static final int IGNORE
The 'Ignore' literal value. The interacionOperator ignore designates that there are some message types that are not shown within this combined fragment. These message types can be considered insignificant and are implicitly ignored if they appear in a corresponding execution. Alternatively, one can understand ignore to mean that the message types that are ignored can appear anywhere in the traces.- See Also:
IGNORE_LITERAL
, Constant Field Values
-
CONSIDER
public static final int CONSIDER
The 'Consider' literal value. The interactionOperator consider designates which messages should be considered within this combined fragment. This is equivalent to defining every other message to be ignored.- See Also:
CONSIDER_LITERAL
, Constant Field Values
-
SEQ_LITERAL
public static final InteractionOperatorKind SEQ_LITERAL
The 'Seq' literal object.- See Also:
SEQ
-
ALT_LITERAL
public static final InteractionOperatorKind ALT_LITERAL
The 'Alt' literal object.- See Also:
ALT
-
OPT_LITERAL
public static final InteractionOperatorKind OPT_LITERAL
The 'Opt' literal object.- See Also:
OPT
-
BREAK_LITERAL
public static final InteractionOperatorKind BREAK_LITERAL
The 'Break' literal object.- See Also:
BREAK
-
PAR_LITERAL
public static final InteractionOperatorKind PAR_LITERAL
The 'Par' literal object.- See Also:
PAR
-
STRICT_LITERAL
public static final InteractionOperatorKind STRICT_LITERAL
The 'Strict' literal object.- See Also:
STRICT
-
LOOP_LITERAL
public static final InteractionOperatorKind LOOP_LITERAL
The 'Loop' literal object.- See Also:
LOOP
-
CRITICAL_LITERAL
public static final InteractionOperatorKind CRITICAL_LITERAL
The 'Critical' literal object.- See Also:
CRITICAL
-
NEG_LITERAL
public static final InteractionOperatorKind NEG_LITERAL
The 'Neg' literal object.- See Also:
NEG
-
ASSERT_LITERAL
public static final InteractionOperatorKind ASSERT_LITERAL
The 'Assert' literal object.- See Also:
ASSERT
-
IGNORE_LITERAL
public static final InteractionOperatorKind IGNORE_LITERAL
The 'Ignore' literal object.- See Also:
IGNORE
-
CONSIDER_LITERAL
public static final InteractionOperatorKind CONSIDER_LITERAL
The 'Consider' literal object.- See Also:
CONSIDER
-
VALUES
public static final List VALUES
A public read-only list of all the 'Interaction Operator Kind' enumerators.
-
-
Method Detail
-
get
public static InteractionOperatorKind get(String literal)
Returns the 'Interaction Operator Kind' literal with the specified literal value.
-
getByName
public static InteractionOperatorKind getByName(String name)
Returns the 'Interaction Operator Kind' literal with the specified name.
-
get
public static InteractionOperatorKind get(int value)
Returns the 'Interaction Operator Kind' literal with the specified integer value.
-
-