public interface ProtocolTransition extends Transition
From package UML::StateMachines.
The following features are supported:
UMLPackage.getProtocolTransition()
SEPARATOR
Modifier and Type | Method and Description |
---|---|
Constraint |
createPostCondition(java.lang.String name)
Creates a new
Constraint ,with the specified 'Name', and sets the 'Post Condition' reference |
Constraint |
createPostCondition(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new
Constraint , 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(java.lang.String name,
org.eclipse.emf.common.util.EList<java.lang.String> ownedParameterNames,
org.eclipse.emf.common.util.EList<Type> ownedParameterTypes)
Retrieves the first
Operation with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list |
Operation |
getReferred(java.lang.String name,
org.eclipse.emf.common.util.EList<java.lang.String> ownedParameterNames,
org.eclipse.emf.common.util.EList<Type> ownedParameterTypes,
boolean ignoreCase)
Retrieves the first
Operation with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list |
org.eclipse.emf.common.util.EList<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,
java.util.Map<java.lang.Object,java.lang.Object> context)
A ProtocolTransition never has associated Behaviors.
|
boolean |
validateBelongsToPsm(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A ProtocolTransition always belongs to a ProtocolStateMachine.
|
boolean |
validateRefersToOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
If a ProtocolTransition refers to an Operation (i.e., has a CallEvent trigger corresponding to an Operation), then that Operation should apply to the context Classifier of the StateMachine of the ProtocolTransition.
|
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, validateStateIsExternal, validateStateIsInternal, validateStateIsLocal
createElementImport, createElementImport, createOwnedRule, createOwnedRule, createPackageImport, createPackageImport, excludeCollisions, getElementImport, getElementImport, getElementImports, getImportedElements, getImportedMember, getImportedMember, getImportedMembers, getImportedPackages, getMember, getMember, getMembers, getNamesOfMember, getOwnedMember, getOwnedMember, getOwnedMembers, getOwnedRule, getOwnedRule, getOwnedRules, getPackageImport, getPackageImport, getPackageImports, importMembers, membersAreDistinguishable, validateCannotImportOwnedMembers, validateCannotImportSelf, validateMembersDistinguishable
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateNonLeafRedefinition, validateRedefinitionConsistent, validateRedefinitionContextValid
allNamespaces, allOwningPackages, createDependency, createNameExpression, createUsage, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership
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
getEAnnotation, getEAnnotations
Constraint getPostCondition()
This feature subsets the following features:
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.From package UML::StateMachines.
setPostCondition(Constraint)
,
UMLPackage.getProtocolTransition_PostCondition()
void setPostCondition(Constraint value)
Post Condition
' reference.
value
- the new value of the 'Post Condition' reference.getPostCondition()
Constraint createPostCondition(java.lang.String name, org.eclipse.emf.ecore.EClass eClass)
Constraint
, with the specified 'Name', and sets the 'Post Condition' reference.
name
- The 'Name' for the new Constraint
, or null
.eClass
- The Ecore class of the Constraint
to create.Constraint
.getPostCondition()
Constraint createPostCondition(java.lang.String name)
Constraint
,with the specified 'Name', and sets the 'Post Condition' reference.
name
- The 'Name' for the new Constraint
, or null
.Constraint
.getPostCondition()
org.eclipse.emf.common.util.EList<Operation> getReferreds()
Operation
.
This association refers to the associated Operation. It is derived from the Operation of the CallEvent Trigger when applicable.
From package UML::StateMachines.
UMLPackage.getProtocolTransition_Referred()
Operation getReferred(java.lang.String name, org.eclipse.emf.common.util.EList<java.lang.String> ownedParameterNames, org.eclipse.emf.common.util.EList<Type> ownedParameterTypes)
Operation
with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.
name
- The 'Name' of the Operation
to retrieve, or null
.ownedParameterNames
- The 'Owned Parameter Names' of the Operation
to retrieve, or null
.ownedParameterTypes
- The 'Owned Parameter Types' of the Operation
to retrieve, or null
.Operation
with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types', or null
.getReferreds()
Operation getReferred(java.lang.String name, org.eclipse.emf.common.util.EList<java.lang.String> ownedParameterNames, org.eclipse.emf.common.util.EList<Type> ownedParameterTypes, boolean ignoreCase)
Operation
with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types' from the 'Referred' reference list.
name
- The 'Name' of the Operation
to retrieve, or null
.ownedParameterNames
- The 'Owned Parameter Names' of the Operation
to retrieve, or null
.ownedParameterTypes
- The 'Owned Parameter Types' of the Operation
to retrieve, or null
.ignoreCase
- Whether to ignore case in String
comparisons.Operation
with the specified 'Name', 'Owned Parameter Names', and 'Owned Parameter Types', or null
.getReferreds()
Constraint getPreCondition()
This feature subsets the following features:
Guard
'From package UML::StateMachines.
setPreCondition(Constraint)
,
UMLPackage.getProtocolTransition_PreCondition()
void setPreCondition(Constraint value)
Pre Condition
' reference.
value
- the new value of the 'Pre Condition' reference.getPreCondition()
boolean validateBelongsToPsm(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateAssociatedActions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateRefersToOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.