|
||||||||||
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 represents a connection between two State
s and the
shift from the source to the target State. In SyncCharts Transitions may
only be specified between States on the same Regions. Inter-level
Transitions are not allowed.
A Transition is an Action
and therefore may contain a trigger condition
which guards the Transition and effects that get executed when the transition
is taken.
Transitions have an integer priority. If there are multiple outgoing transitions of a States and multiple triggers are evaluated to true, then the transition with lowest priority is taken.
A history transition will enter its source state in its containing Regions at the states that it has left them before. So it does not start at the initial states in all circumstances but in the states that the source state was left in some earlier tick. Only when a State is entered for the first time (i.e. there is no history) then it is always entered in its initial States.
A transition has a type TransitionType
.
The following features are supported:
SyncchartsPackage.getTransition()
Field Summary | |
---|---|
static String |
copyright
|
Method Summary | |
---|---|
int |
getPriority()
Returns the value of the 'Priority' attribute. |
State |
getSourceState()
Returns the value of the 'Source State' container reference. |
State |
getTargetState()
Returns the value of the 'Target State' reference. |
TransitionType |
getType()
Returns the value of the 'Type' attribute. |
boolean |
isIsHistory()
Returns the value of the 'Is History' attribute. |
void |
setIsHistory(boolean value)
Sets the value of the ' Is History ' attribute. |
void |
setPriority(int value)
Sets the value of the ' Priority ' attribute. |
void |
setSourceState(State value)
Sets the value of the ' Source State ' container reference. |
void |
setTargetState(State value)
Sets the value of the ' Target State ' reference. |
void |
setType(TransitionType value)
Sets the value of the ' Type ' attribute. |
Methods inherited from interface de.cau.cs.kieler.synccharts.Action |
---|
getDelay, getEffects, getLabel, getTrigger, isIsImmediate, setDelay, setIsImmediate, setLabel, setTrigger |
Methods inherited from interface de.cau.cs.kieler.core.annotations.Annotatable |
---|
getAllAnnotations, getAnnotation, getAnnotations, removeAllAnnotations |
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 |
Field Detail |
---|
static final String copyright
Method Detail |
---|
int getPriority()
If the meaning of the 'Priority' attribute isn't clear, there really should be more of a description here...
setPriority(int)
,
SyncchartsPackage.getTransition_Priority()
void setPriority(int value)
Priority
' attribute.
value
- the new value of the 'Priority' attribute.getPriority()
TransitionType getType()
TransitionType
.
If the meaning of the 'Type' attribute isn't clear, there really should be more of a description here...
TransitionType
,
setType(TransitionType)
,
SyncchartsPackage.getTransition_Type()
required | = | true |
void setType(TransitionType value)
Type
' attribute.
value
- the new value of the 'Type' attribute.TransitionType
,
getType()
State getTargetState()
Incoming Transitions
'.
If the meaning of the 'Target State' reference isn't clear, there really should be more of a description here...
setTargetState(State)
,
SyncchartsPackage.getTransition_TargetState()
,
State.getIncomingTransitions()
opposite | = | incomingTransitions |
required | = | true |
void setTargetState(State value)
Target State
' reference.
value
- the new value of the 'Target State' reference.getTargetState()
boolean isIsHistory()
If the meaning of the 'Is History' attribute isn't clear, there really should be more of a description here...
setIsHistory(boolean)
,
SyncchartsPackage.getTransition_IsHistory()
void setIsHistory(boolean value)
Is History
' attribute.
value
- the new value of the 'Is History' attribute.isIsHistory()
State getSourceState()
Outgoing Transitions
'.
If the meaning of the 'Source State' container reference isn't clear, there really should be more of a description here...
setSourceState(State)
,
SyncchartsPackage.getTransition_SourceState()
,
State.getOutgoingTransitions()
opposite | = | outgoingTransitions |
required | = | true |
transient | = | false |
void setSourceState(State value)
Source State
' container reference.
value
- the new value of the 'Source State' container reference.getSourceState()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |