|
||||||||||
| 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 | |||||||||