Package com.nomagic.uml2.ext.magicdraw.interactions.mdfragments

Class InteractionOperatorKindEnum

  • All Implemented Interfaces:
    InteractionOperatorKind, java.io.Serializable, javax.jmi.reflect.RefEnum, org.eclipse.emf.common.util.Enumerator
    public final class InteractionOperatorKindEnum
extends org.eclipse.emf.common.util.AbstractEnumerator
implements InteractionOperatorKind
    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 CombinedFragments. The InteractionOperand defines the type of operator of a CombinedFragment.
    See Also:
    com.nomagic.uml2.ext.magicdraw.metadata.UMLPackage#getInteractionOperatorKindEnum(), Serialized Form
    Model:
    annotation="MOF package='interactions.mdfragments'"
    Generated:

    • Field Detail

      • SEQ_VALUE

        public static final int SEQ_VALUE
        The 'Seq' literal value. The InteractionOperatorKind seq designates that the CombinedFragment represents a weak sequencing between the behaviors of the operands.
        See Also:
        SEQ, Constant Field Values
        Model:
        name="seq"
        Generated:

      • ALT_VALUE

        public static final int ALT_VALUE
        The 'Alt' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="alt"
        Generated:

      • OPT_VALUE

        public static final int OPT_VALUE
        The 'Opt' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="opt"
        Generated:

      • BREAK_VALUE

        public static final int BREAK_VALUE
        The 'Break' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="break"
        Generated:

      • PAR_VALUE

        public static final int PAR_VALUE
        The 'Par' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="par"
        Generated:

      • STRICT_VALUE

        public static final int STRICT_VALUE
        The 'Strict' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="strict"
        Generated:

      • LOOP_VALUE

        public static final int LOOP_VALUE
        The 'Loop' literal value. The InteractionOperatorKind loop designates that the CombinedFragment represents a loop. The loop operand will be repeated a number of times.
        See Also:
        LOOP, Constant Field Values
        Model:
        name="loop"
        Generated:

      • CRITICAL_VALUE

        public static final int CRITICAL_VALUE
        The 'Critical' literal value. The InteractionOperatorKind 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 with par-operator, this is prevented by defining a region.
        See Also:
        CRITICAL, Constant Field Values
        Model:
        name="critical"
        Generated:

      • NEG_VALUE

        public static final int NEG_VALUE
        The 'Neg' literal value. The InteractionOperatorKind neg designates that the CombinedFragment represents traces that are defined to be invalid.
        See Also:
        NEG, Constant Field Values
        Model:
        name="neg"
        Generated:

      • ASSERT_VALUE

        public static final int ASSERT_VALUE
        The 'Assert' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="assert"
        Generated:

      • IGNORE_VALUE

        public static final int IGNORE_VALUE
        The 'Ignore' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="ignore"
        Generated:

      • CONSIDER_VALUE

        public static final int CONSIDER_VALUE
        The 'Consider' literal value. The InteractionOperatorKind 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, Constant Field Values
        Model:
        name="consider"
        Generated:

      • typeName

        private static final java.util.List<java.lang.String> typeName
        Generated:

      • VALUES_ARRAY

        private static final InteractionOperatorKindEnum[] VALUES_ARRAY
        An array of all the 'Interaction Operator Kind' enumerators.
        Generated:

      • VALUES

        public static final java.util.List VALUES
        A public read-only list of all the 'Interaction Operator Kind' enumerators.
        Generated:

    • Constructor Detail

      • InteractionOperatorKindEnum

        private InteractionOperatorKindEnum​(int value,
                                    java.lang.String name,
                                    java.lang.String literal)
        Only this class can construct instances.
        Generated:

    • Method Detail

      • initTypeName

        private static java.util.List<java.lang.String> initTypeName()
        Generated:

      • refTypeName

        public java.util.List refTypeName()
        Specified by:
        refTypeName in interface javax.jmi.reflect.RefEnum

      • get

        public static InteractionOperatorKindEnum get​(java.lang.String literal)
        Returns the 'Interaction Operator Kind' literal with the specified literal value.
        Generated:

      • getByName

        public static InteractionOperatorKindEnum getByName​(java.lang.String name)
        Returns the 'Interaction Operator Kind' literal with the specified name.
        Generated:

      • get

        public static InteractionOperatorKindEnum get​(int value)
        Returns the 'Interaction Operator Kind' literal with the specified integer value.
        Generated: