|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Transition
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 |
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(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new Behavior , with the specified 'Name', and sets the 'Effect' containment reference |
Constraint |
createGuard(java.lang.String name)
Creates a new Constraint ,with the specified 'Name', and sets the 'Guard' reference |
Constraint |
createGuard(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new Constraint , with the specified 'Name', and sets the 'Guard' reference |
Trigger |
createTrigger(java.lang.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(java.lang.String name)
Retrieves the first Trigger with the specified 'Name' from the 'Trigger' containment reference list |
Trigger |
getTrigger(java.lang.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<Trigger> |
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,
java.util.Map<java.lang.Object,java.lang.Object> context)
A fork segment must not have guards or triggers. |
boolean |
validateForkSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A fork segment must always target a state. |
boolean |
validateInitialTransition(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> 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,
java.util.Map<java.lang.Object,java.lang.Object> context)
A join segment must not have guards or triggers. |
boolean |
validateJoinSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A join segment must always originate from a state. |
boolean |
validateOutgoingPseudostates(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Transitions outgoing pseudostates may not have a trigger. |
boolean |
validateSignaturesCompatible(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> 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, 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 |
---|
TransitionKind getKind()
"external"
.
The literals are from the enumeration TransitionKind
.
Indicates the precise type of the transition.
TransitionKind
,
setKind(TransitionKind)
,
UMLPackage.getTransition_Kind()
void setKind(TransitionKind value)
Kind
' attribute.
value
- the new value of the 'Kind' attribute.TransitionKind
,
getKind()
Region getContainer()
Transition
'.
Designates the region that owns this transition.
setContainer(Region)
,
UMLPackage.getTransition_Container()
,
Region.getTransitions()
void setContainer(Region value)
Container
' container reference.
value
- the new value of the 'Container' container reference.getContainer()
Vertex getTarget()
setTarget(Vertex)
,
UMLPackage.getTransition_Target()
void setTarget(Vertex value)
Target
' reference.
value
- the new value of the 'Target' reference.getTarget()
Transition getRedefinedTransition()
setRedefinedTransition(Transition)
,
UMLPackage.getTransition_RedefinedTransition()
void setRedefinedTransition(Transition value)
Redefined Transition
' reference.
value
- the new value of the 'Redefined Transition' reference.getRedefinedTransition()
Constraint getGuard()
setGuard(Constraint)
,
UMLPackage.getTransition_Guard()
void setGuard(Constraint value)
Guard
' reference.
value
- the new value of the 'Guard' reference.getGuard()
Constraint createGuard(java.lang.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()
Constraint createGuard(java.lang.String name)
Constraint
,with the specified 'Name', and sets the 'Guard' reference.
name
- The 'Name' for the new Constraint
, or null
.
Constraint
.getGuard()
Behavior getEffect()
setEffect(Behavior)
,
UMLPackage.getTransition_Effect()
void setEffect(Behavior value)
Effect
' containment reference.
value
- the new value of the 'Effect' containment reference.getEffect()
Behavior createEffect(java.lang.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()
org.eclipse.emf.common.util.EList<Trigger> getTriggers()
Trigger
.
Specifies the triggers that may fire the transition.
UMLPackage.getTransition_Trigger()
Trigger createTrigger(java.lang.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()
Trigger getTrigger(java.lang.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()
Trigger getTrigger(java.lang.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()
Vertex getSource()
setSource(Vertex)
,
UMLPackage.getTransition_Source()
void setSource(Vertex value)
Source
' reference.
value
- the new value of the 'Source' reference.getSource()
boolean validateForkSegmentGuards(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 validateJoinSegmentGuards(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 validateForkSegmentState(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 validateJoinSegmentState(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 validateOutgoingPseudostates(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 validateInitialTransition(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 validateSignaturesCompatible(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.
Classifier redefinitionContext()
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 |