public interface Transition extends Namespace
The following features are supported:
PivotPackage.getTransition()
Modifier and Type | Method and Description |
---|---|
TransitionKind |
getKind()
Returns the value of the 'Kind' attribute.
|
Behavior |
getOwnedEffect()
Returns the value of the 'Owned Effect' containment reference.
|
Constraint |
getOwnedGuard()
Returns the value of the 'Owned Guard' containment reference.
|
java.util.List<Trigger> |
getOwnedTriggers()
Returns the value of the 'Owned Triggers' containment reference list.
|
Region |
getOwningRegion()
Returns the value of the 'Owning Region' container reference.
|
Vertex |
getSource()
Returns the value of the 'Source' reference.
|
Vertex |
getTarget()
Returns the value of the 'Target' reference.
|
void |
setKind(TransitionKind value)
Sets the value of the '
Kind ' attribute. |
void |
setOwnedEffect(Behavior value)
Sets the value of the '
Owned Effect ' containment reference. |
void |
setOwnedGuard(Constraint value)
Sets the value of the '
Owned Guard ' containment reference. |
void |
setOwningRegion(Region value)
Sets the value of the '
Owning Region ' container reference. |
void |
setSource(Vertex value)
Sets the value of the '
Source ' reference. |
void |
setTarget(Vertex value)
Sets the value of the '
Target ' reference. |
getOwnedConstraints
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, 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()
Behavior getOwnedEffect()
Owning Transition
'.
Specifies an optional behavior to be performed when the Transition fires.
setOwnedEffect(Behavior)
,
PivotPackage.getTransition_OwnedEffect()
,
Behavior.getOwningTransition()
void setOwnedEffect(Behavior value)
Owned Effect
' containment reference.
value
- the new value of the 'Owned Effect' containment reference.getOwnedEffect()
Constraint getOwnedGuard()
Owning 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 StateMachine. 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.
setOwnedGuard(Constraint)
,
PivotPackage.getTransition_OwnedGuard()
,
Constraint.getOwningTransition()
void setOwnedGuard(Constraint value)
Owned Guard
' containment reference.
value
- the new value of the 'Owned Guard' containment reference.getOwnedGuard()
java.util.List<Trigger> getOwnedTriggers()
Trigger
.
It is bidirectional and its opposite is 'Owning Transition
'.
Specifies the Triggers that may fire the transition.
PivotPackage.getTransition_OwnedTriggers()
,
Trigger.getOwningTransition()
Region getOwningRegion()
Owned Transitions
'.
Designates the Region that owns this Transition.
setOwningRegion(Region)
,
PivotPackage.getTransition_OwningRegion()
,
Region.getOwnedTransitions()
void setOwningRegion(Region value)
Owning Region
' container reference.
value
- the new value of the 'Owning Region' container reference.getOwningRegion()
Vertex getSource()
Outgoing Transitions
'.
Designates the originating Vertex (State or Pseudostate) of the Transition.
setSource(Vertex)
,
PivotPackage.getTransition_Source()
,
Vertex.getOutgoingTransitions()
void setSource(Vertex value)
Source
' reference.
value
- the new value of the 'Source' reference.getSource()
Vertex getTarget()
Incoming Transitions
'.
Designates the target Vertex that is reached when the Transition is taken.
setTarget(Vertex)
,
PivotPackage.getTransition_Target()
,
Vertex.getIncomingTransitions()
void setTarget(Vertex value)
Target
' reference.
value
- the new value of the 'Target' reference.getTarget()