Interface ProtocolTransition

  • All Superinterfaces:
    BaseElement, java.lang.Cloneable, java.lang.Comparable, Element, org.eclipse.emf.ecore.EObject, MDObject, com.dassault_systemes.modeler.foundation.model.ModelElement, ModelObject, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, RedefinableElement, javax.jmi.reflect.RefBaseObject, javax.jmi.reflect.RefFeatured, javax.jmi.reflect.RefObject, Transition

    public interface ProtocolTransition
    extends Transition
    A representation of the model object 'Protocol Transition'.

    A ProtocolTransition specifies a legal Transition for an Operation. Transitions of ProtocolStateMachines have the following information: a pre-condition (guard), a Trigger, and a post-condition. Every ProtocolTransition is associated with at most one BehavioralFeature belonging to the context Classifier of the ProtocolStateMachine.

    The following features are supported:

    See Also:
    UMLPackage.getProtocolTransition()
    Model:
    annotation="MOF package='statemachines.mdprotocolstatemachines'"
    Generated:
    • Method Detail

      • setPostCondition

        void setPostCondition​(@CheckForNull
                              Constraint value)
        Sets the value of the 'Post Condition' reference.
        Parameters:
        value - the new value of the 'Post Condition' reference.
        See Also:
        getPostCondition()
        Generated:
      • getReferred

        java.util.Collection<Operation> getReferred()
        Returns the value of the 'Referred' reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'protocol Transition Of Referred'. This association refers to the associated Operation. It is derived from the Operation of the CallEvent Trigger when applicable.
        Returns:
        the value of the 'Referred' reference list.
        See Also:
        UMLPackage.getProtocolTransition_Referred(), com.nomagic.uml2.ext.magicdraw.classes.mdkernel.Operation#get_protocolTransitionOfReferred
        Model:
        opposite="_protocolTransitionOfReferred" transient="true" changeable="false" volatile="true" derived="true" ordered="false"
        Generated:
      • setPreCondition

        void setPreCondition​(@CheckForNull
                             Constraint value)
        Sets the value of the 'Pre Condition' reference.
        Parameters:
        value - the new value of the 'Pre Condition' reference.
        See Also:
        getPreCondition()
        Generated:
      • hasReferred

        boolean hasReferred()
                     throws javax.jmi.reflect.JmiException
        Throws:
        javax.jmi.reflect.JmiException
        Generated: