Class 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.
    See Also:
    UMLPackage.getInteractionOperatorKind(), Serialized Form
    • 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
      • 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.