|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProtocolTransition
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:
UMLPackage.getProtocolTransition()
Field Summary |
---|
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
SEPARATOR |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
SEPARATOR |
Method Summary | |
---|---|
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 protocol transition never has associated actions. |
boolean |
validateBelongsToPsm(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A protocol transition always belongs to a protocol state machine. |
boolean |
validateRefersToOperation(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> 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. |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
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 |
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, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.uml2.uml.RedefinableElement |
---|
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
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 |
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, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Method Detail |
---|
Constraint getPostCondition()
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 call trigger when applicable.
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()
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.
|
Copyright 2003, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |