AbstractEntryAction returns AbstractAction:
    EntryAction | ActionReference
;

AbstractExitAction returns AbstractAction:
    ExitAction | ActionReference
;

AbstractGuardAction returns AbstractAction:
	GuardAction | ActionReference
;

AbstractTransitionAction returns AbstractAction:
	TransitionAction | ActionReference
;

ActionReference returns ActionReference:
    {ActionReference}
    'actionref' (target=[AbstractAction|QualifiedName])?
;

EntryAction returns EntryAction:
    {EntryAction}
    source=EString
;

ExitAction returns ExitAction:
    {ExitAction}
    source=EString
;

GuardAction returns GuardAction:
	{GuardAction}
	source=EString	
;

TransitionAction returns TransitionAction:
    {TransitionAction}
    source=EString
;

OperationCode returns ActionCode:
	{ActionCode}
	source=EString
;

org.eclipse.e4.core.di.InjectionException: org.eclipse.xtext.validation.IConcreteSyntaxValidator$InvalidConcreteSyntaxException: These errors need to be fixed before the model can be serialized.
RTModel'PingPong'.entities[1]->Capsule'Pinger'.behaviour->StateMachine'Pinger_SM'.top->CompositeState'top'.substates[0]->SimpleState'Running'.entryAction->EntryAction'onEntry': An object of type ActionCode is needed instead of EntryAction for serialization with rule OperationCode.
RTModel'PingPong'.entities[1]->Capsule'Pinger'.behaviour->StateMachine'Pinger_SM'.top->CompositeState'top'.substates[0]->SimpleState'Running'.entryAction->EntryAction'onEntry': An object of type ActionReference or ExitAction is needed instead of EntryAction for serialization with rule AbstractExitAction.
RTModel'PingPong'.entities[1]->Capsule'Pinger'.behaviour->StateMachine'Pinger_SM'.top->CompositeState'top'.substates[0]->SimpleState'Running'.entryAction->EntryAction'onEntry': An object of type ActionReference or TransitionAction is needed instead of EntryAction for serialization with rule AbstractTransitionAction.
RTModel'PingPong'.entities[1]->Capsule'Pinger'.behaviour->StateMachine'Pinger_SM'.top->CompositeState'top'.substates[0]->SimpleState'Running'.entryAction->EntryAction'onEntry': An object of type GuardAction or ActionReference is needed instead of EntryAction for serialization with rule AbstractGuardAction.

for (ParserRule r : getValidRules()) {
  if (((EClass) r.getType().getClassifier()).isSuperTypeOf(cls)) {
    ISyntaxConstraint e = getConstraint(r);
    if (e != null)
      eles.add(e);
    else {
      eles.clear();
      break;
    }
  }
}
type2Elements.put(cls, eles);

State returns State:
    CompositeState | SimpleState;

fragment StateCommonFragment returns State:
        DescriptionFragment
        ('entry action' entryAction=AbstractEntryAction ';')?
        ('exit action' exitAction=AbstractExitAction ';')?
        ('exit points' '{' exitPoints+=ExitPoint ("," exitPoints+=ExitPoint)* '}')?
        ('entry points' '{' entryPoints+=EntryPoint ("," entryPoints+=EntryPoint)* '}')?
    ;

SimpleState returns SimpleState:
    {SimpleState}
    'simple'? 'state'
    name=EString
    RedefinitionFragment
    ( ('{' StateCommonFragment  '}') | ';' )
;

CompositeState:
    'composite state'
    name=EString
    RedefinitionFragment
    (CompositeStateBody | ';')
;

fragment CompositeStateBody returns CompositeState:
    '{'
        StateCommonFragment
        ('initial' initial=InitialPoint ';')?
        ('history' deepHistory=DeepHistory ';')?
        ('junction points' '{' junctionPoints+=JunctionPoint ("," junctionPoints+=JunctionPoint)* '}')?
        ('choice points' '{' choicePoints+=ChoicePoint ("," choicePoints+=ChoicePoint)* '}')?
        (substates+=State)*
        (transitions+=Transition)*
    '}'
;


Transition returns Transition:
    'transition'
    (name=EString)?
    'from' sourceVertex=[Vertex|QualifiedName]
    'to' targetVertex=[Vertex|QualifiedName]
    (
        'triggers'
        (
            triggers+=Trigger
        |
            '{' triggers+=Trigger ("," triggers+=Trigger)* '}'
        )
    )?
    (guard=Guard)?
    ('action' actionChain=TransitionActionChain)?
    RedefinitionFragment
    ';'
;

TransitionAction returns TransitionAction:
    {TransitionAction}
    source=EString
;

TransitionActionChain returns ActionChain:
    {ActionChain}
    actions+=AbstractTransitionAction
;

RTPassiveClass returns RTPassiveClass:
    {RTPassiveClass}
    'class'
    name=EString
    RedefinitionFragment
    DependencyFragment
    '{'
        DescriptionFragment
        StructuredTypeCommonCoreFragment
        BehaviourFragment
        AnnotationsFragment
    '}'
;

fragment StructuredTypeCommonCoreFragment returns StructuredType:
    (attributes+=Attribute)*
    (operations+=Operation)*
;

Operation returns Operation:
    (visibility=VisibilityKind)?
    (static?='static')?
    (abstract?='abstract')?
    (query?='query')?
    'operation'
    name=EString
    ('(' (parameters+=Parameter)* ')')?
    ':' returnType=TypedMultiplicityElement
    body=OperationCode
    ';'
;

OperationCode returns ActionCode:
	{ActionCode}
	source=EString
;