|
||||||||||
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:
PivotPackage.getTransition()
Method Summary | |
---|---|
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' containment reference. |
TransitionKind |
getKind()
Returns the value of the 'Kind' attribute. |
Vertex |
getSource()
Returns the value of the 'Source' reference. |
Vertex |
getTarget()
Returns the value of the 'Target' reference. |
java.util.List<Trigger> |
getTrigger()
Returns the value of the 'Trigger' containment reference list. |
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 ' containment reference. |
void |
setKind(TransitionKind value)
Sets the value of the ' Kind ' attribute. |
void |
setSource(Vertex value)
Sets the value of the ' Source ' reference. |
void |
setTarget(Vertex value)
Sets the value of the ' Target ' reference. |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
getName, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, 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.ocl.examples.pivot.util.Visitable |
---|
accept, eClass |
Method Detail |
---|
TransitionKind getKind()
"external"
.
The literals are from the enumeration TransitionKind
.
Indicates the precise type of the transition.
TransitionKind
,
setKind(TransitionKind)
,
PivotPackage.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)
,
PivotPackage.getTransition_Container()
,
Region.getTransition()
void setContainer(Region value)
Container
' container reference.
value
- the new value of the 'Container' container reference.getContainer()
Vertex getSource()
Outgoing
'.
Designates the originating vertex (state or pseudostate) of the transition.
setSource(Vertex)
,
PivotPackage.getTransition_Source()
,
Vertex.getOutgoing()
void setSource(Vertex value)
Source
' reference.
value
- the new value of the 'Source' reference.getSource()
Vertex getTarget()
Incoming
'.
Designates the target vertex that is reached when the transition is taken.
setTarget(Vertex)
,
PivotPackage.getTransition_Target()
,
Vertex.getIncoming()
void setTarget(Vertex value)
Target
' reference.
value
- the new value of the 'Target' reference.getTarget()
Constraint getGuard()
Transition
'.
A guard is a constraint that provides a fine-grained control over the firing of the transition. The guard is evaluated when an event occurrence is dispatched by the state machine. If the guard is true at that time, the transition may be enabled, otherwise, it is disabled. Guards should be pure expressions without side effects. Guard expressions with side effects are ill formed.
setGuard(Constraint)
,
PivotPackage.getTransition_Guard()
,
Constraint.getTransition()
void setGuard(Constraint value)
Guard
' containment reference.
value
- the new value of the 'Guard' containment reference.getGuard()
Behavior getEffect()
Transition
'.
Specifies an optional behavior to be performed when the transition fires.
setEffect(Behavior)
,
PivotPackage.getTransition_Effect()
,
Behavior.getTransition()
void setEffect(Behavior value)
Effect
' containment reference.
value
- the new value of the 'Effect' containment reference.getEffect()
java.util.List<Trigger> getTrigger()
Trigger
.
It is bidirectional and its opposite is 'Transition
'.
Specifies the triggers that may fire the transition.
PivotPackage.getTransition_Trigger()
,
Trigger.getTransition()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |