Package com.sodius.mdw.metamodel.uml21
Interface ProtocolTransition
-
- All Superinterfaces:
Comparable<Object>
,Element
,org.eclipse.emf.ecore.EModelElement
,org.eclipse.emf.ecore.EObject
,MDWEObject
,MDWObject
,NamedElement
,Namespace
,org.eclipse.emf.common.notify.Notifier
,RedefinableElement
,Transition
public interface ProtocolTransition extends Transition
A representation of the model object 'Protocol Transition'. A protocol transition specifies a legal transition for an operation. Transitions of protocol state machines have the following information: a pre condition (guard), on trigger, and a post condition. Every protocol transition is associated to zero or one operation (referred BehavioralFeature) that belongs to the context classifier of the protocol state machine.The following features are supported:
- See Also:
UMLPackage.getProtocolTransition()
-
-
Field Summary
-
Fields inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement
SEPARATOR
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Constraint
createPostCondition(String name)
Creates a newConstraint
,with the specified 'Name', and sets the ' Post Condition' reference.Constraint
createPostCondition(String name, org.eclipse.emf.ecore.EClass eClass)
Creates a newConstraint
, with the specified 'Name', and sets the ' Post Condition' reference.Constraint
getPostCondition()
Returns the value of the 'Post Condition' reference.Constraint
getPreCondition()
Returns the value of the 'Pre Condition' reference.Operation
getReferred(String name, MDWEList<String> ownedParameterNames, MDWEList<? extends Type> ownedParameterTypes)
Retrieves the firstOperation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.Operation
getReferred(String name, MDWEList<String> ownedParameterNames, MDWEList<? extends Type> ownedParameterTypes, boolean ignoreCase)
Retrieves the firstOperation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.MDWEList<Operation>
getReferreds()
Returns the value of the 'Referred' reference list.void
setPostCondition(Constraint value)
Sets the value of the 'Post Condition
' reference.void
setPreCondition(Constraint value)
Sets the value of the 'Pre Condition
' reference.boolean
validateAssociatedActions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A protocol transition never has associated actions.boolean
validateBelongsToPsm(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A protocol transition always belongs to a protocol state machine.boolean
validateRefersToOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
If a protocol transition refers to an operation (i.-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.Element
addKeyword, allOwnedElements, applyStereotype, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedSubstereotype, getAppliedSubstereotypes, getKeywords, getModel, getNearestPackage, getOwnedComments, getOwnedElements, getOwner, getRelationships, getRelationships, getRequiredStereotype, getRequiredStereotypes, getSourceDirectedRelationships, getSourceDirectedRelationships, getStereotypeApplication, getStereotypeApplications, getTargetDirectedRelationships, getTargetDirectedRelationships, getValue, hasKeyword, hasValue, isStereotypeApplicable, isStereotypeApplied, isStereotypeRequired, mustBeOwned, removeKeyword, setValue, unapplyStereotype, validateHasOwner, validateNotOwnSelf
-
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations
-
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.sodius.mdw.core.model.MDWObject
compareTo, eExtendedClass, eIsInstanceOf, eIsInstanceOf, eIsProfiled, eIsRemoved, eMetamodel, eMetaTypeName, eModel, eRemove, eSetUniqueID, eUniqueID, superScript, superScript, toBoolean, toBoolean, toByte, toByte, toChar, toChar, toDouble, toDouble, toFloat, toFloat, toInt, toInt, toList, toList, toList, toList, toList, toLong, toLong, toObject, toObject, toSet, toSet, toShort, toShort, toString, toString
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement
allNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.Namespace
createElementImport, createElementImport, createOwnedDiagram, createOwnedRule, createOwnedRule, createPackageImport, createPackageImport, excludeCollisions, getElementImport, getElementImport, getElementImports, getImportedElements, getImportedMember, getImportedMember, getImportedMembers, getImportedPackages, getMember, getMember, getMembers, getNamesOfMember, getOwnedDiagrams, getOwnedDiagrams, getOwnedMember, getOwnedMember, getOwnedMembers, getOwnedRule, getOwnedRule, getOwnedRules, getPackageImport, getPackageImport, getPackageImports, importMembers, membersAreDistinguishable, validateMembersDistinguishable
-
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.RedefinableElement
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.Transition
containingStateMachine, createEffect, createGuard, createGuard, createTrigger, getContainer, getEffect, getGuard, getKind, getRedefinedTransition, getSource, getTarget, getTrigger, getTrigger, getTriggers, redefinitionContext, setContainer, setEffect, setGuard, setKind, setRedefinedTransition, setSource, setTarget, validateForkSegmentGuards, validateForkSegmentState, validateInitialTransition, validateJoinSegmentGuards, validateJoinSegmentState, validateOutgoingPseudostates, validateSignaturesCompatible
-
-
-
-
Method Detail
-
getPostCondition
Constraint getPostCondition()
Returns the value of the 'Post Condition' reference. 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()
-
setPostCondition
void setPostCondition(Constraint value)
Sets the value of the 'Post Condition
' reference.- Parameters:
value
- the new value of the 'Post Condition' reference.- See Also:
getPostCondition()
-
createPostCondition
Constraint createPostCondition(String name, org.eclipse.emf.ecore.EClass eClass)
Creates a newConstraint
, with the specified 'Name', and sets the ' Post Condition' reference.- Parameters:
name
- The 'Name' for the newConstraint
, ornull
.eClass
- The Ecore class of theConstraint
to create.- Returns:
- The new
Constraint
. - See Also:
getPostCondition()
-
createPostCondition
Constraint createPostCondition(String name)
Creates a newConstraint
,with the specified 'Name', and sets the ' Post Condition' reference.- Parameters:
name
- The 'Name' for the newConstraint
, ornull
.- Returns:
- The new
Constraint
. - See Also:
getPostCondition()
-
getReferreds
MDWEList<Operation> getReferreds()
Returns the value of the 'Referred' reference list. The list contents are of typeOperation
. This association refers to the associated operation. It is derived from the operation of the call trigger when applicable.- Returns:
- the value of the 'Referred' reference list.
- See Also:
UMLPackage.getProtocolTransition_Referred()
-
getReferred
Operation getReferred(String name, MDWEList<String> ownedParameterNames, MDWEList<? extends Type> ownedParameterTypes)
Retrieves the firstOperation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.- Parameters:
name
- The 'Name' of theOperation
to retrieve, ornull
.ownedParameterNames
- The 'Owned Parameter Names' of theOperation
to retrieve, ornull
.ownedParameterTypes
- The 'Owned Parameter Types' of theOperation
to retrieve, ornull
.- Returns:
- The first
Operation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types', ornull
. - See Also:
getReferreds()
-
getReferred
Operation getReferred(String name, MDWEList<String> ownedParameterNames, MDWEList<? extends Type> ownedParameterTypes, boolean ignoreCase)
Retrieves the firstOperation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.- Parameters:
name
- The 'Name' of theOperation
to retrieve, ornull
.ownedParameterNames
- The 'Owned Parameter Names' of theOperation
to retrieve, ornull
.ownedParameterTypes
- The 'Owned Parameter Types' of theOperation
to retrieve, ornull
.ignoreCase
- Whether to ignore case inString
comparisons.- Returns:
- The first
Operation
with the specified 'Name', ' Owned Parameter Names', and 'Owned Parameter Types', ornull
. - See Also:
getReferreds()
-
getPreCondition
Constraint getPreCondition()
Returns the value of the 'Pre Condition' reference. 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()
-
setPreCondition
void setPreCondition(Constraint value)
Sets the value of the 'Pre Condition
' reference.- Parameters:
value
- the new value of the 'Pre Condition' reference.- See Also:
getPreCondition()
-
validateBelongsToPsm
boolean validateBelongsToPsm(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A protocol transition always belongs to a protocol state machine. container.belongsToPSM()
-
validateAssociatedActions
boolean validateAssociatedActions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A protocol transition never has associated actions. effect->isEmpty()
-
validateRefersToOperation
boolean validateRefersToOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
If a protocol transition refers to an operation (i. e. has a call trigger corresponding to an operation), then that operation should apply to the context classifier of the state machine of the protocol transition. true
-
-