public interface Automaton
extends org.eclipse.emf.ecore.EObject
The following features are supported:
AutomatonPackage.getAutomaton()
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getEventPatternId()
Returns the value of the 'Event Pattern Id' attribute.
|
org.eclipse.emf.common.util.EList<EventToken> |
getEventTokens()
Returns the value of the 'Event Tokens' containment reference list.
|
org.eclipse.emf.common.util.EList<FinalState> |
getFinalStates()
Returns the value of the 'Final States' reference list.
|
InitState |
getInitialState()
Returns the value of the 'Initial State' reference.
|
org.eclipse.emf.common.util.EList<State> |
getStates()
Returns the value of the 'States' containment reference list.
|
org.eclipse.emf.common.util.EList<TimedZone> |
getTimedZones()
Returns the value of the 'Timed Zones' containment reference list.
|
TrapState |
getTrapState()
Returns the value of the 'Trap State' reference.
|
void |
setEventPatternId(java.lang.String value)
Sets the value of the '
Event Pattern Id ' attribute. |
org.eclipse.emf.common.util.EList<State> getStates()
State
.
If the meaning of the 'States' containment reference list isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_States()
java.lang.String getEventPatternId()
If the meaning of the 'Event Pattern Id' attribute isn't clear, there really should be more of a description here...
setEventPatternId(String)
,
AutomatonPackage.getAutomaton_EventPatternId()
void setEventPatternId(java.lang.String value)
Event Pattern Id
' attribute.
value
- the new value of the 'Event Pattern Id' attribute.getEventPatternId()
org.eclipse.emf.common.util.EList<EventToken> getEventTokens()
EventToken
.
If the meaning of the 'Event Tokens' containment reference list isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_EventTokens()
org.eclipse.emf.common.util.EList<TimedZone> getTimedZones()
TimedZone
.
If the meaning of the 'Timed Zones' containment reference list isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_TimedZones()
InitState getInitialState()
If the meaning of the 'Initial State' reference isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_InitialState()
org.eclipse.emf.common.util.EList<FinalState> getFinalStates()
FinalState
.
If the meaning of the 'Final States' reference list isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_FinalStates()
TrapState getTrapState()
If the meaning of the 'Trap State' reference isn't clear, there really should be more of a description here...
AutomatonPackage.getAutomaton_TrapState()