Package com.nomagic.uml2.ext.magicdraw.statemachines.mdprotocolstatemachines

Interface ProtocolTransition

All Superinterfaces:
BaseElement, Cloneable, 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:
Model:
annotation="MOF package='statemachines.mdprotocolstatemachines'"
Generated:

  • Method Details

    • getPostCondition

      @CheckForNull Constraint getPostCondition()
      Returns the value of the 'Post Condition' reference. It is bidirectional and its opposite is 'Owning Transition'. Specifies the post condition of the Transition which is the Condition that should be obtained once the Transition is triggered. This post condition is part of the post condition of the Operation connected to the Transition.
      Returns:
      the value of the 'Post Condition' reference.
      See Also:
      Model:
      opposite="owningTransition" ordered="false"
      Generated:

    • 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:
      Generated:

    • getReferred

      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:
      Model:
      opposite="_protocolTransitionOfReferred" transient="true" changeable="false" volatile="true" derived="true" ordered="false"
      Generated:

    • getPreCondition

      @CheckForNull Constraint getPreCondition()
      Returns the value of the 'Pre Condition' reference. It is bidirectional and its opposite is 'protocol Transition Of Pre Condition'. Specifies the precondition of the Transition. It specifies the Condition that should be verified before triggering the Transition. This guard condition added to the source State will be evaluated as part of the precondition of the Operation referred by the Transition if any.
      Returns:
      the value of the 'Pre Condition' reference.
      See Also:
      Model:
      opposite="_protocolTransitionOfPreCondition" 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:
      Generated:

    • hasReferred

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