|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A representation of the model object 'Transition'. A transition is a directed relationship between a source vertex and a target vertex. It may be part of a compound transition, which takes the state machine from one state configuration to another, representing the complete response of the state machine to an occurrence of an event of a particular type.
The following features are supported:
UMLPackage.getTransition()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
Method Summary | |
StateMachine |
containingStateMachine()
The query containingStateMachine() returns the state machine that contains the transition either directly or transitively. |
Behavior |
createEffect(String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new Behavior , with the specified 'Name', and sets the 'Effect' containment reference |
Constraint |
createGuard(String name)
Creates a new Constraint ,with the specified 'Name', and sets the 'Guard' reference |
Constraint |
createGuard(String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new Constraint , with the specified 'Name', and sets the 'Guard' reference |
Trigger |
createTrigger(String name)
Creates a new Trigger , with the specified 'Name', and appends it to the 'Trigger' containment reference list |
Region |
getContainer()
Returns the value of the 'Container' container reference. |
Behavior |
getEffect()
Returns the value of the 'Effect' containment reference |
Constraint |
getGuard()
Returns the value of the 'Guard' reference |
TransitionKind |
getKind()
Returns the value of the 'Kind' attribute. |
Transition |
getRedefinedTransition()
Returns the value of the 'Redefined Transition' reference |
Vertex |
getSource()
Returns the value of the 'Source' reference. |
Vertex |
getTarget()
Returns the value of the 'Target' reference. |
Trigger |
getTrigger(String name)
Retrieves the first Trigger with the specified 'Name' from the 'Trigger' containment reference list |
Trigger |
getTrigger(String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first Trigger with the specified 'Name' from the 'Trigger' containment reference list |
org.eclipse.emf.common.util.EList |
getTriggers()
Returns the value of the 'Trigger' containment reference list. |
Classifier |
redefinitionContext()
The redefinition context of a transition is the nearest containing statemachine. |
void |
setContainer(Region value)
Sets the value of the ' Container ' container reference |
void |
setEffect(Behavior value)
Sets the value of the ' Effect ' containment reference |
void |
setGuard(Constraint value)
Sets the value of the ' Guard ' reference |
void |
setKind(TransitionKind value)
Sets the value of the ' Kind ' attribute |
void |
setRedefinedTransition(Transition value)
Sets the value of the ' Redefined Transition ' reference |
void |
setSource(Vertex value)
Sets the value of the ' Source ' reference |
void |
setTarget(Vertex value)
Sets the value of the ' Target ' reference |
boolean |
validateForkSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A fork segment must not have guards or triggers. |
boolean |
validateForkSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A fork segment must always target a state. |
boolean |
validateInitialTransition(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
An initial transition at the topmost level (region of a statemachine) either has no trigger or it has a trigger with the stereotype < |
boolean |
validateJoinSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A join segment must not have guards or triggers. |
boolean |
validateJoinSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A join segment must always originate from a state. |
boolean |
validateOutgoingPseudostates(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
Transitions outgoing pseudostates may not have a trigger. |
boolean |
validateSignaturesCompatible(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
In case of more than one trigger, the signatures of these must be compatible in case the parameters of the signal are assigned to local variables/attributes. |
Methods inherited from interface org.eclipse.uml2.uml.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 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 |
Method Detail |
public TransitionKind getKind()
"external"
.
The literals are from the enumeration TransitionKind
.
Indicates the precise type of the transition.
TransitionKind
,
setKind(TransitionKind)
,
UMLPackage.getTransition_Kind()
public void setKind(TransitionKind value)
Kind
' attribute.
value
- the new value of the 'Kind' attribute.TransitionKind
,
getKind()
public Region getContainer()
Transition
'.
Designates the region that owns this transition.
setContainer(Region)
,
UMLPackage.getTransition_Container()
,
Region.getTransitions()
public void setContainer(Region value)
Container
' container reference.
value
- the new value of the 'Container' container reference.getContainer()
public Vertex getTarget()
Incoming
'.
Designates the target vertex that is reached when the transition is taken.
setTarget(Vertex)
,
UMLPackage.getTransition_Target()
,
Vertex.getIncomings()
public void setTarget(Vertex value)
Target
' reference.
value
- the new value of the 'Target' reference.getTarget()
public Transition getRedefinedTransition()
setRedefinedTransition(Transition)
,
UMLPackage.getTransition_RedefinedTransition()
public void setRedefinedTransition(Transition value)
Redefined Transition
' reference.
value
- the new value of the 'Redefined Transition' reference.getRedefinedTransition()
public Constraint getGuard()
setGuard(Constraint)
,
UMLPackage.getTransition_Guard()
public void setGuard(Constraint value)
Guard
' reference.
value
- the new value of the 'Guard' reference.getGuard()
public Constraint createGuard(String name, org.eclipse.emf.ecore.EClass eClass)
Constraint
, with the specified 'Name', and sets the 'Guard' reference.
name
- The 'Name' for the new Constraint
, or null
.eClass
- The Ecore class of the Constraint
to create.
Constraint
.getGuard()
public Constraint createGuard(String name)
Constraint
,with the specified 'Name', and sets the 'Guard' reference.
name
- The 'Name' for the new Constraint
, or null
.
Constraint
.getGuard()
public Behavior getEffect()
setEffect(Behavior)
,
UMLPackage.getTransition_Effect()
public void setEffect(Behavior value)
Effect
' containment reference.
value
- the new value of the 'Effect' containment reference.getEffect()
public Behavior createEffect(String name, org.eclipse.emf.ecore.EClass eClass)
Behavior
, with the specified 'Name', and sets the 'Effect' containment reference.
name
- The 'Name' for the new Behavior
, or null
.eClass
- The Ecore class of the Behavior
to create.
Behavior
.getEffect()
public org.eclipse.emf.common.util.EList getTriggers()
Trigger
.
Specifies the triggers that may fire the transition.
UMLPackage.getTransition_Trigger()
public Trigger createTrigger(String name)
Trigger
, with the specified 'Name', and appends it to the 'Trigger' containment reference list.
name
- The 'Name' for the new Trigger
, or null
.
Trigger
.getTriggers()
public Trigger getTrigger(String name)
Trigger
with the specified 'Name' from the 'Trigger' containment reference list.
name
- The 'Name' of the Trigger
to retrieve, or null
.
Trigger
with the specified 'Name', or null
.getTriggers()
public Trigger getTrigger(String name, boolean ignoreCase, boolean createOnDemand)
Trigger
with the specified 'Name' from the 'Trigger' containment reference list.
name
- The 'Name' of the Trigger
to retrieve, or null
.ignoreCase
- Whether to ignore case in String
comparisons.createOnDemand
- Whether to create a Trigger
on demand if not found.
Trigger
with the specified 'Name', or null
.getTriggers()
public Vertex getSource()
Outgoing
'.
Designates the originating vertex (state or pseudostate) of the transition.
setSource(Vertex)
,
UMLPackage.getTransition_Source()
,
Vertex.getOutgoings()
public void setSource(Vertex value)
Source
' reference.
value
- the new value of the 'Source' reference.getSource()
public boolean validateForkSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateJoinSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateForkSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateJoinSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateOutgoingPseudostates(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateInitialTransition(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateSignaturesCompatible(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public Classifier redefinitionContext()
public StateMachine containingStateMachine()
|
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 |