public interface AutomatonPackage
extends org.eclipse.emf.ecore.EPackage
AutomatonFactory
Modifier and Type | Interface and Description |
---|---|
static interface |
AutomatonPackage.Literals
Defines literals for the meta objects that represent
each class,
each feature of each class,
each operation of each class,
each enum,
and each data type
|
Modifier and Type | Field and Description |
---|---|
static int |
AUTOMATON
The meta object id for the '
Automaton ' class. |
static int |
AUTOMATON__EVENT_PATTERN_ID
The feature id for the 'Event Pattern Id' attribute.
|
static int |
AUTOMATON__EVENT_TOKENS
The feature id for the 'Event Tokens' containment reference list.
|
static int |
AUTOMATON__FINAL_STATES
The feature id for the 'Final States' reference list.
|
static int |
AUTOMATON__INITIAL_STATE
The feature id for the 'Initial State' reference.
|
static int |
AUTOMATON__STATES
The feature id for the 'States' containment reference list.
|
static int |
AUTOMATON__TIMED_ZONES
The feature id for the 'Timed Zones' containment reference list.
|
static int |
AUTOMATON__TRAP_STATE
The feature id for the 'Trap State' reference.
|
static int |
AUTOMATON_FEATURE_COUNT
The number of structural features of the 'Automaton' class.
|
static int |
AUTOMATON_OPERATION_COUNT
The number of operations of the 'Automaton' class.
|
static AutomatonPackage |
eINSTANCE
The singleton instance of the package.
|
static java.lang.String |
eNAME
The package name.
|
static java.lang.String |
eNS_PREFIX
The package namespace name.
|
static java.lang.String |
eNS_URI
The package namespace URI.
|
static int |
EPSILON_TRANSITION
The meta object id for the '
Epsilon Transition ' class. |
static int |
EPSILON_TRANSITION__POST_STATE
The feature id for the 'Post State' reference.
|
static int |
EPSILON_TRANSITION__PRE_STATE
The feature id for the 'Pre State' container reference.
|
static int |
EPSILON_TRANSITION_FEATURE_COUNT
The number of structural features of the 'Epsilon Transition' class.
|
static int |
EPSILON_TRANSITION_OPERATION_COUNT
The number of operations of the 'Epsilon Transition' class.
|
static int |
EVENT_CONTEXT
The meta object id for the '
Event Context ' enum. |
static int |
EVENT_TOKEN
The meta object id for the '
Event Token ' class. |
static int |
EVENT_TOKEN__CURRENT_STATE
The feature id for the 'Current State' reference.
|
static int |
EVENT_TOKEN__LAST_PROCESSED
The feature id for the 'Last Processed' reference.
|
static int |
EVENT_TOKEN__PARAMETER_TABLE
The feature id for the 'Parameter Table' containment reference.
|
static int |
EVENT_TOKEN__RECORDED_EVENTS
The feature id for the 'Recorded Events' reference list.
|
static int |
EVENT_TOKEN__TIMED_ZONES
The feature id for the 'Timed Zones' reference list.
|
static int |
EVENT_TOKEN_FEATURE_COUNT
The number of structural features of the 'Event Token' class.
|
static int |
EVENT_TOKEN_OPERATION_COUNT
The number of operations of the 'Event Token' class.
|
static int |
FINAL_STATE
The meta object id for the '
Final State ' class. |
static int |
FINAL_STATE__EVENT_TOKENS
The feature id for the 'Event Tokens' reference list.
|
static int |
FINAL_STATE__IN_STATE_OF
The feature id for the 'In State Of' reference list.
|
static int |
FINAL_STATE__IN_TRANSITIONS
The feature id for the 'In Transitions' reference list.
|
static int |
FINAL_STATE__LABEL
The feature id for the 'Label' attribute.
|
static int |
FINAL_STATE__LAST_PROCESSED_EVENT
The feature id for the 'Last Processed Event' reference.
|
static int |
FINAL_STATE__OUT_STATE_OF
The feature id for the 'Out State Of' reference list.
|
static int |
FINAL_STATE__OUT_TRANSITIONS
The feature id for the 'Out Transitions' containment reference list.
|
static int |
FINAL_STATE_FEATURE_COUNT
The number of structural features of the 'Final State' class.
|
static int |
FINAL_STATE_OPERATION_COUNT
The number of operations of the 'Final State' class.
|
static int |
GUARD
The meta object id for the '
Guard ' class. |
static int |
GUARD__EVENT_TYPE
The feature id for the 'Event Type' reference.
|
static int |
GUARD__TRANSITION
The feature id for the 'Transition' container reference.
|
static int |
GUARD_FEATURE_COUNT
The number of structural features of the 'Guard' class.
|
static int |
GUARD_OPERATION_COUNT
The number of operations of the 'Guard' class.
|
static int |
HOLDS_FOR
The meta object id for the '
Holds For ' class. |
static int |
HOLDS_FOR__IN_STATE
The feature id for the 'In State' reference.
|
static int |
HOLDS_FOR__OUT_STATE
The feature id for the 'Out State' reference.
|
static int |
HOLDS_FOR__TIME
The feature id for the 'Time' attribute.
|
static int |
HOLDS_FOR_FEATURE_COUNT
The number of structural features of the 'Holds For' class.
|
static int |
HOLDS_FOR_OPERATION_COUNT
The number of operations of the 'Holds For' class.
|
static int |
INIT_STATE
The meta object id for the '
Init State ' class. |
static int |
INIT_STATE__EVENT_TOKENS
The feature id for the 'Event Tokens' reference list.
|
static int |
INIT_STATE__IN_STATE_OF
The feature id for the 'In State Of' reference list.
|
static int |
INIT_STATE__IN_TRANSITIONS
The feature id for the 'In Transitions' reference list.
|
static int |
INIT_STATE__LABEL
The feature id for the 'Label' attribute.
|
static int |
INIT_STATE__LAST_PROCESSED_EVENT
The feature id for the 'Last Processed Event' reference.
|
static int |
INIT_STATE__OUT_STATE_OF
The feature id for the 'Out State Of' reference list.
|
static int |
INIT_STATE__OUT_TRANSITIONS
The feature id for the 'Out Transitions' containment reference list.
|
static int |
INIT_STATE_FEATURE_COUNT
The number of structural features of the 'Init State' class.
|
static int |
INIT_STATE_OPERATION_COUNT
The number of operations of the 'Init State' class.
|
static int |
INTERNAL_MODEL
The meta object id for the '
Internal Model ' class. |
static int |
INTERNAL_MODEL__AUTOMATA
The feature id for the 'Automata' containment reference list.
|
static int |
INTERNAL_MODEL__ENABLED_FOR_THE_LATEST_EVENT
The feature id for the 'Enabled For The Latest Event' reference list.
|
static int |
INTERNAL_MODEL__EVENT_TOKENS_IN_MODEL
The feature id for the 'Event Tokens In Model' reference list.
|
static int |
INTERNAL_MODEL__LATEST_EVENT
The feature id for the 'Latest Event' containment reference.
|
static int |
INTERNAL_MODEL_FEATURE_COUNT
The number of structural features of the 'Internal Model' class.
|
static int |
INTERNAL_MODEL_OPERATION_COUNT
The number of operations of the 'Internal Model' class.
|
static int |
NEGATIVE_TRANSITION
The meta object id for the '
Negative Transition ' class. |
static int |
NEGATIVE_TRANSITION__GUARDS
The feature id for the 'Guards' containment reference list.
|
static int |
NEGATIVE_TRANSITION__PARAMETERS
The feature id for the 'Parameters' containment reference list.
|
static int |
NEGATIVE_TRANSITION__POST_STATE
The feature id for the 'Post State' reference.
|
static int |
NEGATIVE_TRANSITION__PRE_STATE
The feature id for the 'Pre State' container reference.
|
static int |
NEGATIVE_TRANSITION_FEATURE_COUNT
The number of structural features of the 'Negative Transition' class.
|
static int |
NEGATIVE_TRANSITION_OPERATION_COUNT
The number of operations of the 'Negative Transition' class.
|
static int |
PARAMETER
The meta object id for the '
Parameter ' class. |
static int |
PARAMETER__POSITION
The feature id for the 'Position' attribute.
|
static int |
PARAMETER__SYMBOLIC_NAME
The feature id for the 'Symbolic Name' attribute.
|
static int |
PARAMETER__TRANSITION
The feature id for the 'Transition' container reference.
|
static int |
PARAMETER_BINDING
The meta object id for the '
Parameter Binding ' class. |
static int |
PARAMETER_BINDING__PARAMETER_TABLE
The feature id for the 'Parameter Table' container reference.
|
static int |
PARAMETER_BINDING__SYMBOLIC_NAME
The feature id for the 'Symbolic Name' attribute.
|
static int |
PARAMETER_BINDING__VALUE
The feature id for the 'Value' attribute.
|
static int |
PARAMETER_BINDING_FEATURE_COUNT
The number of structural features of the 'Parameter Binding' class.
|
static int |
PARAMETER_BINDING_OPERATION_COUNT
The number of operations of the 'Parameter Binding' class.
|
static int |
PARAMETER_FEATURE_COUNT
The number of structural features of the 'Parameter' class.
|
static int |
PARAMETER_OPERATION_COUNT
The number of operations of the 'Parameter' class.
|
static int |
PARAMETER_TABLE
The meta object id for the '
Parameter Table ' class. |
static int |
PARAMETER_TABLE__EVENT_TOKEN
The feature id for the 'Event Token' container reference.
|
static int |
PARAMETER_TABLE__PARAMETER_BINDINGS
The feature id for the 'Parameter Bindings' containment reference list.
|
static int |
PARAMETER_TABLE_FEATURE_COUNT
The number of structural features of the 'Parameter Table' class.
|
static int |
PARAMETER_TABLE_OPERATION_COUNT
The number of operations of the 'Parameter Table' class.
|
static int |
STATE
The meta object id for the '
State ' class. |
static int |
STATE__EVENT_TOKENS
The feature id for the 'Event Tokens' reference list.
|
static int |
STATE__IN_STATE_OF
The feature id for the 'In State Of' reference list.
|
static int |
STATE__IN_TRANSITIONS
The feature id for the 'In Transitions' reference list.
|
static int |
STATE__LABEL
The feature id for the 'Label' attribute.
|
static int |
STATE__LAST_PROCESSED_EVENT
The feature id for the 'Last Processed Event' reference.
|
static int |
STATE__OUT_STATE_OF
The feature id for the 'Out State Of' reference list.
|
static int |
STATE__OUT_TRANSITIONS
The feature id for the 'Out Transitions' containment reference list.
|
static int |
STATE_FEATURE_COUNT
The number of structural features of the 'State' class.
|
static int |
STATE_OPERATION_COUNT
The number of operations of the 'State' class.
|
static int |
TIMED_ZONE
The meta object id for the '
Timed Zone ' class. |
static int |
TIMED_ZONE__IN_STATE
The feature id for the 'In State' reference.
|
static int |
TIMED_ZONE__OUT_STATE
The feature id for the 'Out State' reference.
|
static int |
TIMED_ZONE__TIME
The feature id for the 'Time' attribute.
|
static int |
TIMED_ZONE_FEATURE_COUNT
The number of structural features of the 'Timed Zone' class.
|
static int |
TIMED_ZONE_OPERATION_COUNT
The number of operations of the 'Timed Zone' class.
|
static int |
TRANSITION
The meta object id for the '
Transition ' class. |
static int |
TRANSITION__POST_STATE
The feature id for the 'Post State' reference.
|
static int |
TRANSITION__PRE_STATE
The feature id for the 'Pre State' container reference.
|
static int |
TRANSITION_FEATURE_COUNT
The number of structural features of the 'Transition' class.
|
static int |
TRANSITION_OPERATION_COUNT
The number of operations of the 'Transition' class.
|
static int |
TRAP_STATE
The meta object id for the '
Trap State ' class. |
static int |
TRAP_STATE__EVENT_TOKENS
The feature id for the 'Event Tokens' reference list.
|
static int |
TRAP_STATE__IN_STATE_OF
The feature id for the 'In State Of' reference list.
|
static int |
TRAP_STATE__IN_TRANSITIONS
The feature id for the 'In Transitions' reference list.
|
static int |
TRAP_STATE__LABEL
The feature id for the 'Label' attribute.
|
static int |
TRAP_STATE__LAST_PROCESSED_EVENT
The feature id for the 'Last Processed Event' reference.
|
static int |
TRAP_STATE__OUT_STATE_OF
The feature id for the 'Out State Of' reference list.
|
static int |
TRAP_STATE__OUT_TRANSITIONS
The feature id for the 'Out Transitions' containment reference list.
|
static int |
TRAP_STATE_FEATURE_COUNT
The number of structural features of the 'Trap State' class.
|
static int |
TRAP_STATE_OPERATION_COUNT
The number of operations of the 'Trap State' class.
|
static int |
TYPED_TRANSITION
The meta object id for the '
Typed Transition ' class. |
static int |
TYPED_TRANSITION__GUARDS
The feature id for the 'Guards' containment reference list.
|
static int |
TYPED_TRANSITION__PARAMETERS
The feature id for the 'Parameters' containment reference list.
|
static int |
TYPED_TRANSITION__POST_STATE
The feature id for the 'Post State' reference.
|
static int |
TYPED_TRANSITION__PRE_STATE
The feature id for the 'Pre State' container reference.
|
static int |
TYPED_TRANSITION_FEATURE_COUNT
The number of structural features of the 'Typed Transition' class.
|
static int |
TYPED_TRANSITION_OPERATION_COUNT
The number of operations of the 'Typed Transition' class.
|
static int |
WITHIN
The meta object id for the '
Within ' class. |
static int |
WITHIN__IN_STATE
The feature id for the 'In State' reference.
|
static int |
WITHIN__OUT_STATE
The feature id for the 'Out State' reference.
|
static int |
WITHIN__TIME
The feature id for the 'Time' attribute.
|
static int |
WITHIN_FEATURE_COUNT
The number of structural features of the 'Within' class.
|
static int |
WITHIN_OPERATION_COUNT
The number of operations of the 'Within' class.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EAttribute |
getAutomaton_EventPatternId()
Returns the meta object for the attribute '
Event Pattern Id '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_EventTokens()
Returns the meta object for the containment reference list '
Event Tokens '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_FinalStates()
Returns the meta object for the reference list '
Final States '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_InitialState()
Returns the meta object for the reference '
Initial State '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_States()
Returns the meta object for the containment reference list '
States '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_TimedZones()
Returns the meta object for the containment reference list '
Timed Zones '. |
org.eclipse.emf.ecore.EReference |
getAutomaton_TrapState()
Returns the meta object for the reference '
Trap State '. |
org.eclipse.emf.ecore.EClass |
getAutomaton()
Returns the meta object for class '
Automaton '. |
AutomatonFactory |
getAutomatonFactory()
Returns the factory that creates the instances of the model.
|
org.eclipse.emf.ecore.EClass |
getEpsilonTransition()
Returns the meta object for class '
Epsilon Transition '. |
org.eclipse.emf.ecore.EEnum |
getEventContext()
Returns the meta object for enum '
Event Context '. |
org.eclipse.emf.ecore.EReference |
getEventToken_CurrentState()
Returns the meta object for the reference '
Current State '. |
org.eclipse.emf.ecore.EReference |
getEventToken_LastProcessed()
Returns the meta object for the reference '
Last Processed '. |
org.eclipse.emf.ecore.EReference |
getEventToken_ParameterTable()
Returns the meta object for the containment reference '
Parameter Table '. |
org.eclipse.emf.ecore.EReference |
getEventToken_RecordedEvents()
Returns the meta object for the reference list '
Recorded Events '. |
org.eclipse.emf.ecore.EReference |
getEventToken_TimedZones()
Returns the meta object for the reference list '
Timed Zones '. |
org.eclipse.emf.ecore.EClass |
getEventToken()
Returns the meta object for class '
Event Token '. |
org.eclipse.emf.ecore.EClass |
getFinalState()
Returns the meta object for class '
Final State '. |
org.eclipse.emf.ecore.EReference |
getGuard_EventType()
Returns the meta object for the reference '
Event Type '. |
org.eclipse.emf.ecore.EReference |
getGuard_Transition()
Returns the meta object for the container reference '
Transition '. |
org.eclipse.emf.ecore.EClass |
getGuard()
Returns the meta object for class '
Guard '. |
org.eclipse.emf.ecore.EClass |
getHoldsFor()
Returns the meta object for class '
Holds For '. |
org.eclipse.emf.ecore.EClass |
getInitState()
Returns the meta object for class '
Init State '. |
org.eclipse.emf.ecore.EReference |
getInternalModel_Automata()
Returns the meta object for the containment reference list '
Automata '. |
org.eclipse.emf.ecore.EReference |
getInternalModel_EnabledForTheLatestEvent()
Returns the meta object for the reference list '
Enabled For The Latest Event '. |
org.eclipse.emf.ecore.EReference |
getInternalModel_EventTokensInModel()
Returns the meta object for the reference list '
Event Tokens In Model '. |
org.eclipse.emf.ecore.EReference |
getInternalModel_LatestEvent()
Returns the meta object for the containment reference '
Latest Event '. |
org.eclipse.emf.ecore.EClass |
getInternalModel()
Returns the meta object for class '
Internal Model '. |
org.eclipse.emf.ecore.EClass |
getNegativeTransition()
Returns the meta object for class '
Negative Transition '. |
org.eclipse.emf.ecore.EAttribute |
getParameter_Position()
Returns the meta object for the attribute '
Position '. |
org.eclipse.emf.ecore.EAttribute |
getParameter_SymbolicName()
Returns the meta object for the attribute '
Symbolic Name '. |
org.eclipse.emf.ecore.EReference |
getParameter_Transition()
Returns the meta object for the container reference '
Transition '. |
org.eclipse.emf.ecore.EClass |
getParameter()
Returns the meta object for class '
Parameter '. |
org.eclipse.emf.ecore.EReference |
getParameterBinding_ParameterTable()
Returns the meta object for the container reference '
Parameter Table '. |
org.eclipse.emf.ecore.EAttribute |
getParameterBinding_SymbolicName()
Returns the meta object for the attribute '
Symbolic Name '. |
org.eclipse.emf.ecore.EAttribute |
getParameterBinding_Value()
Returns the meta object for the attribute '
Value '. |
org.eclipse.emf.ecore.EClass |
getParameterBinding()
Returns the meta object for class '
Parameter Binding '. |
org.eclipse.emf.ecore.EReference |
getParameterTable_EventToken()
Returns the meta object for the container reference '
Event Token '. |
org.eclipse.emf.ecore.EReference |
getParameterTable_ParameterBindings()
Returns the meta object for the containment reference list '
Parameter Bindings '. |
org.eclipse.emf.ecore.EClass |
getParameterTable()
Returns the meta object for class '
Parameter Table '. |
org.eclipse.emf.ecore.EReference |
getState_EventTokens()
Returns the meta object for the reference list '
Event Tokens '. |
org.eclipse.emf.ecore.EReference |
getState_InStateOf()
Returns the meta object for the reference list '
In State Of '. |
org.eclipse.emf.ecore.EReference |
getState_InTransitions()
Returns the meta object for the reference list '
In Transitions '. |
org.eclipse.emf.ecore.EAttribute |
getState_Label()
Returns the meta object for the attribute '
Label '. |
org.eclipse.emf.ecore.EReference |
getState_LastProcessedEvent()
Returns the meta object for the reference '
Last Processed Event '. |
org.eclipse.emf.ecore.EReference |
getState_OutStateOf()
Returns the meta object for the reference list '
Out State Of '. |
org.eclipse.emf.ecore.EReference |
getState_OutTransitions()
Returns the meta object for the containment reference list '
Out Transitions '. |
org.eclipse.emf.ecore.EClass |
getState()
Returns the meta object for class '
State '. |
org.eclipse.emf.ecore.EReference |
getTimedZone_InState()
Returns the meta object for the reference '
In State '. |
org.eclipse.emf.ecore.EReference |
getTimedZone_OutState()
Returns the meta object for the reference '
Out State '. |
org.eclipse.emf.ecore.EAttribute |
getTimedZone_Time()
Returns the meta object for the attribute '
Time '. |
org.eclipse.emf.ecore.EClass |
getTimedZone()
Returns the meta object for class '
Timed Zone '. |
org.eclipse.emf.ecore.EReference |
getTransition_PostState()
Returns the meta object for the reference '
Post State '. |
org.eclipse.emf.ecore.EReference |
getTransition_PreState()
Returns the meta object for the container reference '
Pre State '. |
org.eclipse.emf.ecore.EClass |
getTransition()
Returns the meta object for class '
Transition '. |
org.eclipse.emf.ecore.EClass |
getTrapState()
Returns the meta object for class '
Trap State '. |
org.eclipse.emf.ecore.EReference |
getTypedTransition_Guards()
Returns the meta object for the containment reference list '
Guards '. |
org.eclipse.emf.ecore.EReference |
getTypedTransition_Parameters()
Returns the meta object for the containment reference list '
Parameters '. |
org.eclipse.emf.ecore.EClass |
getTypedTransition()
Returns the meta object for class '
Typed Transition '. |
org.eclipse.emf.ecore.EClass |
getWithin()
Returns the meta object for class '
Within '. |
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
getEAnnotation, getEAnnotations
static final java.lang.String eNAME
static final java.lang.String eNS_URI
static final java.lang.String eNS_PREFIX
static final AutomatonPackage eINSTANCE
static final int INTERNAL_MODEL
Internal Model
' class.
InternalModelImpl
,
AutomatonPackageImpl.getInternalModel()
,
Constant Field Valuesstatic final int INTERNAL_MODEL__AUTOMATA
static final int INTERNAL_MODEL__LATEST_EVENT
static final int INTERNAL_MODEL__ENABLED_FOR_THE_LATEST_EVENT
static final int INTERNAL_MODEL__EVENT_TOKENS_IN_MODEL
static final int INTERNAL_MODEL_FEATURE_COUNT
static final int INTERNAL_MODEL_OPERATION_COUNT
static final int AUTOMATON
Automaton
' class.
AutomatonImpl
,
AutomatonPackageImpl.getAutomaton()
,
Constant Field Valuesstatic final int AUTOMATON__STATES
static final int AUTOMATON__EVENT_PATTERN_ID
static final int AUTOMATON__EVENT_TOKENS
static final int AUTOMATON__TIMED_ZONES
static final int AUTOMATON__INITIAL_STATE
static final int AUTOMATON__FINAL_STATES
static final int AUTOMATON__TRAP_STATE
static final int AUTOMATON_FEATURE_COUNT
static final int AUTOMATON_OPERATION_COUNT
static final int EVENT_TOKEN
Event Token
' class.
EventTokenImpl
,
AutomatonPackageImpl.getEventToken()
,
Constant Field Valuesstatic final int EVENT_TOKEN__CURRENT_STATE
static final int EVENT_TOKEN__RECORDED_EVENTS
static final int EVENT_TOKEN__LAST_PROCESSED
static final int EVENT_TOKEN__TIMED_ZONES
static final int EVENT_TOKEN__PARAMETER_TABLE
static final int EVENT_TOKEN_FEATURE_COUNT
static final int EVENT_TOKEN_OPERATION_COUNT
static final int STATE
State
' class.
StateImpl
,
AutomatonPackageImpl.getState()
,
Constant Field Valuesstatic final int STATE__IN_TRANSITIONS
static final int STATE__OUT_TRANSITIONS
static final int STATE__LABEL
static final int STATE__EVENT_TOKENS
static final int STATE__LAST_PROCESSED_EVENT
static final int STATE__IN_STATE_OF
static final int STATE__OUT_STATE_OF
static final int STATE_FEATURE_COUNT
static final int STATE_OPERATION_COUNT
static final int INIT_STATE
Init State
' class.
InitStateImpl
,
AutomatonPackageImpl.getInitState()
,
Constant Field Valuesstatic final int INIT_STATE__IN_TRANSITIONS
static final int INIT_STATE__OUT_TRANSITIONS
static final int INIT_STATE__LABEL
static final int INIT_STATE__EVENT_TOKENS
static final int INIT_STATE__LAST_PROCESSED_EVENT
static final int INIT_STATE__IN_STATE_OF
static final int INIT_STATE__OUT_STATE_OF
static final int INIT_STATE_FEATURE_COUNT
static final int INIT_STATE_OPERATION_COUNT
static final int FINAL_STATE
Final State
' class.
FinalStateImpl
,
AutomatonPackageImpl.getFinalState()
,
Constant Field Valuesstatic final int FINAL_STATE__IN_TRANSITIONS
static final int FINAL_STATE__OUT_TRANSITIONS
static final int FINAL_STATE__LABEL
static final int FINAL_STATE__EVENT_TOKENS
static final int FINAL_STATE__LAST_PROCESSED_EVENT
static final int FINAL_STATE__IN_STATE_OF
static final int FINAL_STATE__OUT_STATE_OF
static final int FINAL_STATE_FEATURE_COUNT
static final int FINAL_STATE_OPERATION_COUNT
static final int TRAP_STATE
Trap State
' class.
TrapStateImpl
,
AutomatonPackageImpl.getTrapState()
,
Constant Field Valuesstatic final int TRAP_STATE__IN_TRANSITIONS
static final int TRAP_STATE__OUT_TRANSITIONS
static final int TRAP_STATE__LABEL
static final int TRAP_STATE__EVENT_TOKENS
static final int TRAP_STATE__LAST_PROCESSED_EVENT
static final int TRAP_STATE__IN_STATE_OF
static final int TRAP_STATE__OUT_STATE_OF
static final int TRAP_STATE_FEATURE_COUNT
static final int TRAP_STATE_OPERATION_COUNT
static final int TRANSITION
Transition
' class.
TransitionImpl
,
AutomatonPackageImpl.getTransition()
,
Constant Field Valuesstatic final int TRANSITION__PRE_STATE
static final int TRANSITION__POST_STATE
static final int TRANSITION_FEATURE_COUNT
static final int TRANSITION_OPERATION_COUNT
static final int TYPED_TRANSITION
Typed Transition
' class.
TypedTransitionImpl
,
AutomatonPackageImpl.getTypedTransition()
,
Constant Field Valuesstatic final int TYPED_TRANSITION__PRE_STATE
static final int TYPED_TRANSITION__POST_STATE
static final int TYPED_TRANSITION__GUARDS
static final int TYPED_TRANSITION__PARAMETERS
static final int TYPED_TRANSITION_FEATURE_COUNT
static final int TYPED_TRANSITION_OPERATION_COUNT
static final int NEGATIVE_TRANSITION
Negative Transition
' class.
NegativeTransitionImpl
,
AutomatonPackageImpl.getNegativeTransition()
,
Constant Field Valuesstatic final int NEGATIVE_TRANSITION__PRE_STATE
static final int NEGATIVE_TRANSITION__POST_STATE
static final int NEGATIVE_TRANSITION__GUARDS
static final int NEGATIVE_TRANSITION__PARAMETERS
static final int NEGATIVE_TRANSITION_FEATURE_COUNT
static final int NEGATIVE_TRANSITION_OPERATION_COUNT
static final int EPSILON_TRANSITION
Epsilon Transition
' class.
EpsilonTransitionImpl
,
AutomatonPackageImpl.getEpsilonTransition()
,
Constant Field Valuesstatic final int EPSILON_TRANSITION__PRE_STATE
static final int EPSILON_TRANSITION__POST_STATE
static final int EPSILON_TRANSITION_FEATURE_COUNT
static final int EPSILON_TRANSITION_OPERATION_COUNT
static final int GUARD
Guard
' class.
GuardImpl
,
AutomatonPackageImpl.getGuard()
,
Constant Field Valuesstatic final int GUARD__EVENT_TYPE
static final int GUARD__TRANSITION
static final int GUARD_FEATURE_COUNT
static final int GUARD_OPERATION_COUNT
static final int TIMED_ZONE
Timed Zone
' class.
TimedZoneImpl
,
AutomatonPackageImpl.getTimedZone()
,
Constant Field Valuesstatic final int TIMED_ZONE__IN_STATE
static final int TIMED_ZONE__OUT_STATE
static final int TIMED_ZONE__TIME
static final int TIMED_ZONE_FEATURE_COUNT
static final int TIMED_ZONE_OPERATION_COUNT
static final int WITHIN
Within
' class.
WithinImpl
,
AutomatonPackageImpl.getWithin()
,
Constant Field Valuesstatic final int WITHIN__IN_STATE
static final int WITHIN__OUT_STATE
static final int WITHIN__TIME
static final int WITHIN_FEATURE_COUNT
static final int WITHIN_OPERATION_COUNT
static final int HOLDS_FOR
Holds For
' class.
HoldsForImpl
,
AutomatonPackageImpl.getHoldsFor()
,
Constant Field Valuesstatic final int HOLDS_FOR__IN_STATE
static final int HOLDS_FOR__OUT_STATE
static final int HOLDS_FOR__TIME
static final int HOLDS_FOR_FEATURE_COUNT
static final int HOLDS_FOR_OPERATION_COUNT
static final int PARAMETER
Parameter
' class.
ParameterImpl
,
AutomatonPackageImpl.getParameter()
,
Constant Field Valuesstatic final int PARAMETER__POSITION
static final int PARAMETER__SYMBOLIC_NAME
static final int PARAMETER__TRANSITION
static final int PARAMETER_FEATURE_COUNT
static final int PARAMETER_OPERATION_COUNT
static final int PARAMETER_TABLE
Parameter Table
' class.
ParameterTableImpl
,
AutomatonPackageImpl.getParameterTable()
,
Constant Field Valuesstatic final int PARAMETER_TABLE__PARAMETER_BINDINGS
static final int PARAMETER_TABLE__EVENT_TOKEN
static final int PARAMETER_TABLE_FEATURE_COUNT
static final int PARAMETER_TABLE_OPERATION_COUNT
static final int PARAMETER_BINDING
Parameter Binding
' class.
ParameterBindingImpl
,
AutomatonPackageImpl.getParameterBinding()
,
Constant Field Valuesstatic final int PARAMETER_BINDING__SYMBOLIC_NAME
static final int PARAMETER_BINDING__VALUE
static final int PARAMETER_BINDING__PARAMETER_TABLE
static final int PARAMETER_BINDING_FEATURE_COUNT
static final int PARAMETER_BINDING_OPERATION_COUNT
static final int EVENT_CONTEXT
Event Context
' enum.
EventContext
,
AutomatonPackageImpl.getEventContext()
,
Constant Field Valuesorg.eclipse.emf.ecore.EClass getInternalModel()
Internal Model
'.
InternalModel
org.eclipse.emf.ecore.EReference getInternalModel_Automata()
Automata
'.
InternalModel.getAutomata()
,
getInternalModel()
org.eclipse.emf.ecore.EReference getInternalModel_LatestEvent()
Latest Event
'.
InternalModel.getLatestEvent()
,
getInternalModel()
org.eclipse.emf.ecore.EReference getInternalModel_EnabledForTheLatestEvent()
Enabled For The Latest Event
'.
InternalModel.getEnabledForTheLatestEvent()
,
getInternalModel()
org.eclipse.emf.ecore.EReference getInternalModel_EventTokensInModel()
Event Tokens In Model
'.
InternalModel.getEventTokensInModel()
,
getInternalModel()
org.eclipse.emf.ecore.EClass getAutomaton()
Automaton
'.
Automaton
org.eclipse.emf.ecore.EReference getAutomaton_States()
States
'.
Automaton.getStates()
,
getAutomaton()
org.eclipse.emf.ecore.EAttribute getAutomaton_EventPatternId()
Event Pattern Id
'.
Automaton.getEventPatternId()
,
getAutomaton()
org.eclipse.emf.ecore.EReference getAutomaton_EventTokens()
Event Tokens
'.
Automaton.getEventTokens()
,
getAutomaton()
org.eclipse.emf.ecore.EReference getAutomaton_TimedZones()
Timed Zones
'.
Automaton.getTimedZones()
,
getAutomaton()
org.eclipse.emf.ecore.EReference getAutomaton_InitialState()
Initial State
'.
Automaton.getInitialState()
,
getAutomaton()
org.eclipse.emf.ecore.EReference getAutomaton_FinalStates()
Final States
'.
Automaton.getFinalStates()
,
getAutomaton()
org.eclipse.emf.ecore.EReference getAutomaton_TrapState()
Trap State
'.
Automaton.getTrapState()
,
getAutomaton()
org.eclipse.emf.ecore.EClass getEventToken()
Event Token
'.
EventToken
org.eclipse.emf.ecore.EReference getEventToken_CurrentState()
Current State
'.
EventToken.getCurrentState()
,
getEventToken()
org.eclipse.emf.ecore.EReference getEventToken_RecordedEvents()
Recorded Events
'.
EventToken.getRecordedEvents()
,
getEventToken()
org.eclipse.emf.ecore.EReference getEventToken_LastProcessed()
Last Processed
'.
EventToken.getLastProcessed()
,
getEventToken()
org.eclipse.emf.ecore.EReference getEventToken_TimedZones()
Timed Zones
'.
EventToken.getTimedZones()
,
getEventToken()
org.eclipse.emf.ecore.EReference getEventToken_ParameterTable()
Parameter Table
'.
EventToken.getParameterTable()
,
getEventToken()
org.eclipse.emf.ecore.EClass getState()
State
'.
State
org.eclipse.emf.ecore.EReference getState_InTransitions()
In Transitions
'.
State.getInTransitions()
,
getState()
org.eclipse.emf.ecore.EReference getState_OutTransitions()
Out Transitions
'.
State.getOutTransitions()
,
getState()
org.eclipse.emf.ecore.EAttribute getState_Label()
Label
'.
State.getLabel()
,
getState()
org.eclipse.emf.ecore.EReference getState_EventTokens()
Event Tokens
'.
State.getEventTokens()
,
getState()
org.eclipse.emf.ecore.EReference getState_LastProcessedEvent()
Last Processed Event
'.
State.getLastProcessedEvent()
,
getState()
org.eclipse.emf.ecore.EReference getState_InStateOf()
In State Of
'.
State.getInStateOf()
,
getState()
org.eclipse.emf.ecore.EReference getState_OutStateOf()
Out State Of
'.
State.getOutStateOf()
,
getState()
org.eclipse.emf.ecore.EClass getInitState()
Init State
'.
InitState
org.eclipse.emf.ecore.EClass getFinalState()
Final State
'.
FinalState
org.eclipse.emf.ecore.EClass getTrapState()
Trap State
'.
TrapState
org.eclipse.emf.ecore.EClass getTransition()
Transition
'.
Transition
org.eclipse.emf.ecore.EReference getTransition_PreState()
Pre State
'.
Transition.getPreState()
,
getTransition()
org.eclipse.emf.ecore.EReference getTransition_PostState()
Post State
'.
Transition.getPostState()
,
getTransition()
org.eclipse.emf.ecore.EClass getTypedTransition()
Typed Transition
'.
TypedTransition
org.eclipse.emf.ecore.EReference getTypedTransition_Guards()
Guards
'.
TypedTransition.getGuards()
,
getTypedTransition()
org.eclipse.emf.ecore.EReference getTypedTransition_Parameters()
Parameters
'.
TypedTransition.getParameters()
,
getTypedTransition()
org.eclipse.emf.ecore.EClass getNegativeTransition()
Negative Transition
'.
NegativeTransition
org.eclipse.emf.ecore.EClass getEpsilonTransition()
Epsilon Transition
'.
EpsilonTransition
org.eclipse.emf.ecore.EClass getGuard()
Guard
'.
Guard
org.eclipse.emf.ecore.EReference getGuard_EventType()
Event Type
'.
Guard.getEventType()
,
getGuard()
org.eclipse.emf.ecore.EReference getGuard_Transition()
Transition
'.
Guard.getTransition()
,
getGuard()
org.eclipse.emf.ecore.EClass getTimedZone()
Timed Zone
'.
TimedZone
org.eclipse.emf.ecore.EReference getTimedZone_InState()
In State
'.
TimedZone.getInState()
,
getTimedZone()
org.eclipse.emf.ecore.EReference getTimedZone_OutState()
Out State
'.
TimedZone.getOutState()
,
getTimedZone()
org.eclipse.emf.ecore.EAttribute getTimedZone_Time()
Time
'.
TimedZone.getTime()
,
getTimedZone()
org.eclipse.emf.ecore.EClass getWithin()
Within
'.
Within
org.eclipse.emf.ecore.EClass getHoldsFor()
Holds For
'.
HoldsFor
org.eclipse.emf.ecore.EClass getParameter()
Parameter
'.
Parameter
org.eclipse.emf.ecore.EAttribute getParameter_Position()
Position
'.
Parameter.getPosition()
,
getParameter()
org.eclipse.emf.ecore.EAttribute getParameter_SymbolicName()
Symbolic Name
'.
Parameter.getSymbolicName()
,
getParameter()
org.eclipse.emf.ecore.EReference getParameter_Transition()
Transition
'.
Parameter.getTransition()
,
getParameter()
org.eclipse.emf.ecore.EClass getParameterTable()
Parameter Table
'.
ParameterTable
org.eclipse.emf.ecore.EReference getParameterTable_ParameterBindings()
Parameter Bindings
'.
ParameterTable.getParameterBindings()
,
getParameterTable()
org.eclipse.emf.ecore.EReference getParameterTable_EventToken()
Event Token
'.
ParameterTable.getEventToken()
,
getParameterTable()
org.eclipse.emf.ecore.EClass getParameterBinding()
Parameter Binding
'.
ParameterBinding
org.eclipse.emf.ecore.EAttribute getParameterBinding_SymbolicName()
Symbolic Name
'.
ParameterBinding.getSymbolicName()
,
getParameterBinding()
org.eclipse.emf.ecore.EAttribute getParameterBinding_Value()
Value
'.
ParameterBinding.getValue()
,
getParameterBinding()
org.eclipse.emf.ecore.EReference getParameterBinding_ParameterTable()
Parameter Table
'.
ParameterBinding.getParameterTable()
,
getParameterBinding()
org.eclipse.emf.ecore.EEnum getEventContext()
Event Context
'.
EventContext
AutomatonFactory getAutomatonFactory()