|
||||||||||
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 | |
---|---|
Behavior |
createEffect()
Creates a new StateMachine and sets the 'Effect' containment reference. |
Behavior |
createEffect(org.eclipse.emf.ecore.EClass eClass)
Creates a new Behavior and sets the 'Effect' containment reference. |
Constraint |
createGuard()
Creates a new Constraint and sets the 'Guard' containment reference. |
Trigger |
createTrigger()
Creates a new Trigger 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' 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 |
---|
createOwnedRule, getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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()
setGuard(Constraint)
,
PivotPackage.getTransition_Guard()
void setGuard(Constraint value)
Guard
' containment reference.
value
- the new value of the 'Guard' containment reference.getGuard()
Constraint createGuard()
Constraint
and sets the 'Guard' containment reference.
Constraint
.getGuard()
Behavior getEffect()
setEffect(Behavior)
,
PivotPackage.getTransition_Effect()
void setEffect(Behavior value)
Effect
' containment reference.
value
- the new value of the 'Effect' containment reference.getEffect()
Behavior createEffect(org.eclipse.emf.ecore.EClass eClass)
Behavior
and sets the 'Effect' containment reference.
eClass
- The Ecore class of the Behavior
to create.
Behavior
.getEffect()
Behavior createEffect()
StateMachine
and sets the 'Effect' containment reference.
StateMachine
.getEffect()
java.util.List<Trigger> getTrigger()
Trigger
.
Specifies the triggers that may fire the transition.
PivotPackage.getTransition_Trigger()
Trigger createTrigger()
Trigger
and appends it to the 'Trigger' containment reference list.
Trigger
.getTrigger()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |