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

Interface ProtocolTransition

All Superinterfaces:

BaseElement, java.lang.Cloneable, java.lang.Comparable, Element, org.eclipse.emf.ecore.EObject, MDObject, 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:

• Pre Condition
• Referred
• Post Condition

See Also:

UMLPackage.getProtocolTransition()

Model:

annotation="MOF package='statemachines.mdprotocolstatemachines'"

Generated:

Method Summary

Modifier and Type	Method	Description
Constraint	getPostCondition()	Returns the value of the 'Post Condition' reference.
Constraint	getPreCondition()	Returns the value of the 'Pre Condition' reference.
java.util.Collection<Operation>	getReferred()	Returns the value of the 'Referred' reference list.
boolean	hasReferred()
void	setPostCondition(Constraint value)	Sets the value of the 'Post Condition' reference.
void	setPreCondition(Constraint value)	Sets the value of the 'Pre Condition' reference.

Methods inherited from interface com.nomagic.magicdraw.uml.BaseElement

accept, addPropertyChangeListener, canAdd, canAdd, canAddChild, canBeDeleted, firePropertyChange, getClassType, getHumanName, getHumanType, getObjectParent, isEditable, removePropertyChangeListener, sGetID

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.Element

get_activityPartitionOfRepresents, get_commentOfAnnotatedElement, get_constraintOfConstrainedElement, get_diagramOfContext, get_directedRelationshipOfSource, get_directedRelationshipOfTarget, get_elementOfSyncElement, get_elementTaggedValue, get_elementValueOfElement, get_relationshipOfRelatedElement, getAppliedStereotype, getOwnedComment, getOwnedElement, getOwner, getSyncElement, getTaggedValue, has_activityPartitionOfRepresents, has_commentOfAnnotatedElement, has_constraintOfConstrainedElement, has_diagramOfContext, has_directedRelationshipOfSource, has_directedRelationshipOfTarget, has_elementOfSyncElement, has_elementValueOfElement, has_relationshipOfRelatedElement, hasAppliedStereotype, hasElementTaggedValue, hasOwnedComment, hasOwnedElement, hasTaggedValue, setOwner, setSyncElement

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface com.nomagic.magicdraw.foundation.MDObject

getID, getMDExtension, getMdExtensions, setID

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.base.ModelObject

get_representationText, getLocalID, ignoringRefGetValue, ignoringRefGetValue, isInvalid, isSet, refGetValue, refGetValue, refSetValue, refSetValue, set_representationText, setLocalID, sGetLocalID

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.NamedElement

get_considerIgnoreFragmentOfMessage, get_durationObservationOfEvent, get_informationFlowOfInformationSource, get_informationFlowOfInformationTarget, get_messageOfSignature, get_namespaceOfMember, get_timeObservationOfEvent, getClientDependency, getName, getNameExpression, getNamespace, getQualifiedName, getSupplierDependency, getVisibility, has_considerIgnoreFragmentOfMessage, has_durationObservationOfEvent, has_informationFlowOfInformationSource, has_informationFlowOfInformationTarget, has_messageOfSignature, has_namespaceOfMember, has_timeObservationOfEvent, hasClientDependency, hasSupplierDependency, setName, setNameExpression, setNamespace, setVisibility

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.Namespace

getElementImport, getImportedMember, getMember, getOwnedDiagram, getOwnedMember, getOwnedRule, getPackageImport, hasElementImport, hasImportedMember, hasMember, hasOwnedDiagram, hasOwnedMember, hasOwnedRule, hasPackageImport

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.classes.mdkernel.RedefinableElement

get_redefinableElementOfRedefinedElement, getRedefinedElement, has_redefinableElementOfRedefinedElement, hasRedefinedElement, hasRedefinitionContext, isLeaf, setLeaf

Methods inherited from interface javax.jmi.reflect.RefBaseObject

equals, hashCode, refImmediatePackage, refMetaObject, refMofId, refOutermostPackage, refVerifyConstraints

Methods inherited from interface javax.jmi.reflect.RefFeatured

refGetValue, refInvokeOperation, refInvokeOperation, refSetValue

Methods inherited from interface javax.jmi.reflect.RefObject

refClass, refDelete, refImmediateComposite, refIsInstanceOf, refOutermostComposite

Methods inherited from interface com.nomagic.uml2.ext.magicdraw.statemachines.mdbehaviorstatemachines.Transition

get_transitionOfRedefinedTransition, getContainer, getEffect, getGuard, getKind, getRedefinedTransition, getRedefinitionContext, getSource, getTarget, getTrigger, has_transitionOfRedefinedTransition, hasTrigger, setContainer, setEffect, setGuard, setKind, setRedefinedTransition, setSource, setTarget

Method Detail

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:

setPostCondition(Constraint), UMLPackage.getProtocolTransition_PostCondition(), Constraint.getOwningTransition()

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:

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:

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:

setPreCondition(Constraint), UMLPackage.getProtocolTransition_PreCondition(), Constraint.get_protocolTransitionOfPreCondition()

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:

getPreCondition()

Generated:

hasReferred

boolean hasReferred()
             throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

Generated: