public interface Transition extends Namespace
The following features are supported:
PivotPackage.getTransition()
Modifier and Type | Method and Description |
---|---|
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. |
createOwnedRule, getOwnedRule
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
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()