de.cau.cs.kieler.synccharts
Interface Transition

All Superinterfaces:
Action, Annotatable, EObject, Notifier
All Known Implementing Classes:
TransitionImpl

public interface Transition
extends Action

A representation of the model object 'Transition'. A Transition represents a connection between two States 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:

See Also:
SyncchartsPackage.getTransition()
Rating red
Generated:
This code was automatically generated.
Model element

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

copyright

static final String copyright

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Method Detail

getPriority

int getPriority()
Returns the value of the 'Priority' attribute.

If the meaning of the 'Priority' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Priority' attribute.
See Also:
setPriority(int), SyncchartsPackage.getTransition_Priority()
Generated:
This code was automatically generated.
Model element

setPriority

void setPriority(int value)
Sets the value of the 'Priority' attribute.

Parameters:
value - the new value of the 'Priority' attribute.
See Also:
getPriority()
Generated:
This code was automatically generated.

getType

TransitionType getType()
Returns the value of the 'Type' attribute. The literals are from the enumeration TransitionType.

If the meaning of the 'Type' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Type' attribute.
See Also:
TransitionType, setType(TransitionType), SyncchartsPackage.getTransition_Type()
Generated:
This code was automatically generated.
Model element:
required=true

setType

void setType(TransitionType value)
Sets the value of the 'Type' attribute.

Parameters:
value - the new value of the 'Type' attribute.
See Also:
TransitionType, getType()
Generated:
This code was automatically generated.

getTargetState

State getTargetState()
Returns the value of the 'Target State' reference. It is bidirectional and its opposite is 'Incoming Transitions'.

If the meaning of the 'Target State' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Target State' reference.
See Also:
setTargetState(State), SyncchartsPackage.getTransition_TargetState(), State.getIncomingTransitions()
Generated:
This code was automatically generated.
Model element:
opposite=incomingTransitions
required=true

setTargetState

void setTargetState(State value)
Sets the value of the 'Target State' reference.

Parameters:
value - the new value of the 'Target State' reference.
See Also:
getTargetState()
Generated:
This code was automatically generated.

isIsHistory

boolean isIsHistory()
Returns the value of the 'Is History' attribute.

If the meaning of the 'Is History' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Is History' attribute.
See Also:
setIsHistory(boolean), SyncchartsPackage.getTransition_IsHistory()
Generated:
This code was automatically generated.
Model element

setIsHistory

void setIsHistory(boolean value)
Sets the value of the 'Is History' attribute.

Parameters:
value - the new value of the 'Is History' attribute.
See Also:
isIsHistory()
Generated:
This code was automatically generated.

getSourceState

State getSourceState()
Returns the value of the 'Source State' container reference. It is bidirectional and its opposite is 'Outgoing Transitions'.

If the meaning of the 'Source State' container reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Source State' container reference.
See Also:
setSourceState(State), SyncchartsPackage.getTransition_SourceState(), State.getOutgoingTransitions()
Generated:
This code was automatically generated.
Model element:
opposite=outgoingTransitions
required=true
transient=false

setSourceState

void setSourceState(State value)
Sets the value of the 'Source State' container reference.

Parameters:
value - the new value of the 'Source State' container reference.
See Also:
getSourceState()
Generated:
This code was automatically generated.