|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A representation of the model object 'Protocol Transition'. A protocol transition (transition as specialized in the ProtocolStateMachines package) 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 protocol transition specifies that the associated (referred) operation can be called for an instance in the origin state under the initial condition (guard), and that at the end of the transition, the destination state will be reached under the final condition (post).
The following features are supported:
UML2Package.getProtocolTransition()
Field Summary | |
static String |
copyright
|
Fields inherited from interface org.eclipse.uml2.NamedElement |
SEPARATOR |
Method Summary | |
Constraint |
createPostCondition(EClass eClass)
Creates a Constraint and sets the 'Post Condition' containment reference |
EList |
getOwnedElements()
|
Constraint |
getPostCondition()
Returns the value of the 'Post Condition' containment reference |
Constraint |
getPreCondition()
Returns the value of the 'Pre Condition' reference |
Operation |
getReferred(String unqualifiedName)
Retrieves the Operation with the specified name from the 'Referred' reference list |
EList |
getReferreds()
Returns the value of the 'Referred' reference list. |
void |
setGuard(Constraint value)
|
void |
setPostCondition(Constraint value)
Sets the value of the ' Post Condition ' containment reference |
void |
setPreCondition(Constraint value)
Sets the value of the ' Pre Condition ' reference |
Methods inherited from interface org.eclipse.uml2.Transition |
createEffect, createGuard, getContainer, getEffect, getGuard, getKind, getOwner, getRedefinedElements, getRedefinedTransition, getRedefinitionContexts, getSource, getTarget, getTrigger, getTriggers, setContainer, setEffect, setKind, setRedefinedTransition, setSource, setTarget |
Methods inherited from interface org.eclipse.uml2.RedefinableElement |
getRedefinitionContext, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid |
Methods inherited from interface org.eclipse.uml2.NamedElement |
allNamespaces, createNameExpression, getClientDependencies, getClientDependency, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, qualifiedName, separator, setName, setNameExpression, setVisibility, validateNoName, validateQualifiedName, validateVisibilityNeedsOwnership |
Methods inherited from interface org.eclipse.uml2.TemplateableElement |
createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBindings, parameterableElements, setOwnedTemplateSignature |
Methods inherited from interface org.eclipse.uml2.Element |
addKeyword, allOwnedElements, apply, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedVersion, getKeywords, getModel, getNearestPackage, getOwnedComments, getValue, hasKeyword, isApplied, isRequired, mustBeOwned, removeKeyword, setValue, unapply, 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, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
eAdapters, eDeliver, eNotify, eSetDeliver |
Field Detail |
public static final String copyright
Method Detail |
public Constraint getPostCondition()
If the meaning of the 'Post Condition' containment reference isn't clear, there really should be more of a description here...
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.
setPostCondition(Constraint)
,
UML2Package.getProtocolTransition_PostCondition()
public void setPostCondition(Constraint value)
Post Condition
' containment reference.
value
- the new value of the 'Post Condition' containment reference.getPostCondition()
public Constraint createPostCondition(EClass eClass)
Constraint
and sets the 'Post Condition' containment reference.
eClass
- The Ecore class of the Constraint
to create.
Constraint
.getPostCondition()
public EList getReferreds()
Operation
.
If the meaning of the 'Referred' reference list isn't clear, there really should be more of a description here...
UML2Package.getProtocolTransition_Referred()
public Operation getReferred(String unqualifiedName)
Operation
with the specified name from the 'Referred' reference list.
unqualifiedName
- The unqualified name of the Operation
to retrieve.
Operation
with the specified name, or null
.getReferreds()
public Constraint getPreCondition()
If the meaning of the 'Pre Condition' reference isn't clear, there really should be more of a description here...
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 refered by the transition if any.
setPreCondition(Constraint)
,
UML2Package.getProtocolTransition_PreCondition()
public void setPreCondition(Constraint value)
Pre Condition
' reference.
value
- the new value of the 'Pre Condition' reference.getPreCondition()
public EList getOwnedElements()
getOwnedElements
in interface Transition
public void setGuard(Constraint value)
setGuard
in interface Transition
value
- the new value of the 'Guard' containment reference.Transition.getGuard()
|
Copyright 2003, 2004 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |