Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g')
-rw-r--r--plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g4566
1 files changed, 2608 insertions, 1958 deletions
diff --git a/plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g b/plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g
index f56ec461a..e138707d6 100644
--- a/plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g
+++ b/plugins/org.eclipse.etrice.generator.fsmtest.ui/src-gen/org/eclipse/etrice/generator/ui/contentassist/antlr/internal/InternalFSMtest.g
@@ -1,1958 +1,2608 @@
-/*
-* generated by Xtext
-*/
-grammar InternalFSMtest;
-
-options {
- superClass=AbstractInternalContentAssistParser;
-
-}
-
-@lexer::header {
-package org.eclipse.etrice.generator.ui.contentassist.antlr.internal;
-
-// Hack: Use our own Lexer superclass by means of import.
-// Currently there is no other way to specify the superclass for the lexer.
-import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer;
-}
-
-@parser::header {
-package org.eclipse.etrice.generator.ui.contentassist.antlr.internal;
-
-import java.io.InputStream;
-import org.eclipse.xtext.*;
-import org.eclipse.xtext.parser.*;
-import org.eclipse.xtext.parser.impl.*;
-import org.eclipse.emf.ecore.util.EcoreUtil;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.xtext.parser.antlr.XtextTokenStream;
-import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens;
-import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;
-import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.DFA;
-import org.eclipse.etrice.generator.services.FSMtestGrammarAccess;
-
-}
-
-@parser::members {
-
- private FSMtestGrammarAccess grammarAccess;
-
- public void setGrammarAccess(FSMtestGrammarAccess grammarAccess) {
- this.grammarAccess = grammarAccess;
- }
-
- @Override
- protected Grammar getGrammar() {
- return grammarAccess.getGrammar();
- }
-
- @Override
- protected String getValueForTokenName(String tokenName) {
- return tokenName;
- }
-
-}
-
-
-
-
-// Entry rule entryRuleModel
-entryRuleModel
-:
-{ before(grammarAccess.getModelRule()); }
- ruleModel
-{ after(grammarAccess.getModelRule()); }
- EOF
-;
-
-// Rule Model
-ruleModel
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getModelAccess().getTestscriptsAssignment()); }
-(rule__Model__TestscriptsAssignment)*
-{ after(grammarAccess.getModelAccess().getTestscriptsAssignment()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleTestscript
-entryRuleTestscript
-:
-{ before(grammarAccess.getTestscriptRule()); }
- ruleTestscript
-{ after(grammarAccess.getTestscriptRule()); }
- EOF
-;
-
-// Rule Testscript
-ruleTestscript
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getTestscriptAccess().getGroup()); }
-(rule__Testscript__Group__0)
-{ after(grammarAccess.getTestscriptAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleState
-entryRuleState
-:
-{ before(grammarAccess.getStateRule()); }
- ruleState
-{ after(grammarAccess.getStateRule()); }
- EOF
-;
-
-// Rule State
-ruleState
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getStateAccess().getNameAssignment()); }
-(rule__State__NameAssignment)
-{ after(grammarAccess.getStateAccess().getNameAssignment()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleStateDeclaration
-entryRuleStateDeclaration
-:
-{ before(grammarAccess.getStateDeclarationRule()); }
- ruleStateDeclaration
-{ after(grammarAccess.getStateDeclarationRule()); }
- EOF
-;
-
-// Rule StateDeclaration
-ruleStateDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getStateDeclarationAccess().getGroup()); }
-(rule__StateDeclaration__Group__0)
-{ after(grammarAccess.getStateDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleInitialDeclaration
-entryRuleInitialDeclaration
-:
-{ before(grammarAccess.getInitialDeclarationRule()); }
- ruleInitialDeclaration
-{ after(grammarAccess.getInitialDeclarationRule()); }
- EOF
-;
-
-// Rule InitialDeclaration
-ruleInitialDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getInitialDeclarationAccess().getGroup()); }
-(rule__InitialDeclaration__Group__0)
-{ after(grammarAccess.getInitialDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleLoopsDeclaration
-entryRuleLoopsDeclaration
-:
-{ before(grammarAccess.getLoopsDeclarationRule()); }
- ruleLoopsDeclaration
-{ after(grammarAccess.getLoopsDeclarationRule()); }
- EOF
-;
-
-// Rule LoopsDeclaration
-ruleLoopsDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getLoopsDeclarationAccess().getGroup()); }
-(rule__LoopsDeclaration__Group__0)
-{ after(grammarAccess.getLoopsDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleSeedDeclaration
-entryRuleSeedDeclaration
-:
-{ before(grammarAccess.getSeedDeclarationRule()); }
- ruleSeedDeclaration
-{ after(grammarAccess.getSeedDeclarationRule()); }
- EOF
-;
-
-// Rule SeedDeclaration
-ruleSeedDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getSeedDeclarationAccess().getGroup()); }
-(rule__SeedDeclaration__Group__0)
-{ after(grammarAccess.getSeedDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleSignalDeclaration
-entryRuleSignalDeclaration
-:
-{ before(grammarAccess.getSignalDeclarationRule()); }
- ruleSignalDeclaration
-{ after(grammarAccess.getSignalDeclarationRule()); }
- EOF
-;
-
-// Rule SignalDeclaration
-ruleSignalDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getGroup()); }
-(rule__SignalDeclaration__Group__0)
-{ after(grammarAccess.getSignalDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleSourceDeclaration
-entryRuleSourceDeclaration
-:
-{ before(grammarAccess.getSourceDeclarationRule()); }
- ruleSourceDeclaration
-{ after(grammarAccess.getSourceDeclarationRule()); }
- EOF
-;
-
-// Rule SourceDeclaration
-ruleSourceDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getSourceDeclarationAccess().getGroup()); }
-(rule__SourceDeclaration__Group__0)
-{ after(grammarAccess.getSourceDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleDestinationDeclaration
-entryRuleDestinationDeclaration
-:
-{ before(grammarAccess.getDestinationDeclarationRule()); }
- ruleDestinationDeclaration
-{ after(grammarAccess.getDestinationDeclarationRule()); }
- EOF
-;
-
-// Rule DestinationDeclaration
-ruleDestinationDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getDestinationDeclarationAccess().getGroup()); }
-(rule__DestinationDeclaration__Group__0)
-{ after(grammarAccess.getDestinationDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-// Entry rule entryRuleTransitionDeclaration
-entryRuleTransitionDeclaration
-:
-{ before(grammarAccess.getTransitionDeclarationRule()); }
- ruleTransitionDeclaration
-{ after(grammarAccess.getTransitionDeclarationRule()); }
- EOF
-;
-
-// Rule TransitionDeclaration
-ruleTransitionDeclaration
- @init {
- int stackSize = keepStackSize();
- }
- :
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getGroup()); }
-(rule__TransitionDeclaration__Group__0)
-{ after(grammarAccess.getTransitionDeclarationAccess().getGroup()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-rule__SignalDeclaration__Alternatives_2
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getGroup_2_0()); }
-(rule__SignalDeclaration__Group_2_0__0)
-{ after(grammarAccess.getSignalDeclarationAccess().getGroup_2_0()); }
-)
-
- |(
-{ before(grammarAccess.getSignalDeclarationAccess().getGroup_2_1()); }
-(rule__SignalDeclaration__Group_2_1__0)
-{ after(grammarAccess.getSignalDeclarationAccess().getGroup_2_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-rule__Testscript__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__0__Impl
- rule__Testscript__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getFsmtestKeyword_0()); }
-
- 'fsmtest'
-
-{ after(grammarAccess.getTestscriptAccess().getFsmtestKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__1__Impl
- rule__Testscript__Group__2
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getNameAssignment_1()); }
-(rule__Testscript__NameAssignment_1)
-{ after(grammarAccess.getTestscriptAccess().getNameAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__2
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__2__Impl
- rule__Testscript__Group__3
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__2__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getStateDeclarationAssignment_2()); }
-(rule__Testscript__StateDeclarationAssignment_2)
-{ after(grammarAccess.getTestscriptAccess().getStateDeclarationAssignment_2()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__3
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__3__Impl
- rule__Testscript__Group__4
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__3__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getInitialDeclarationAssignment_3()); }
-(rule__Testscript__InitialDeclarationAssignment_3)
-{ after(grammarAccess.getTestscriptAccess().getInitialDeclarationAssignment_3()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__4
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__4__Impl
- rule__Testscript__Group__5
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__4__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getLoopsDeclarationAssignment_4()); }
-(rule__Testscript__LoopsDeclarationAssignment_4)
-{ after(grammarAccess.getTestscriptAccess().getLoopsDeclarationAssignment_4()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__5
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__5__Impl
- rule__Testscript__Group__6
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__5__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getSeedDeclarationAssignment_5()); }
-(rule__Testscript__SeedDeclarationAssignment_5)?
-{ after(grammarAccess.getTestscriptAccess().getSeedDeclarationAssignment_5()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__6
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__6__Impl
- rule__Testscript__Group__7
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__6__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getTransitionDeclarationsAssignment_6()); }
-(rule__Testscript__TransitionDeclarationsAssignment_6)*
-{ after(grammarAccess.getTestscriptAccess().getTransitionDeclarationsAssignment_6()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__Testscript__Group__7
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__Testscript__Group__7__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__Group__7__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getSemicolonKeyword_7()); }
-
- ';'
-
-{ after(grammarAccess.getTestscriptAccess().getSemicolonKeyword_7()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-rule__StateDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__StateDeclaration__Group__0__Impl
- rule__StateDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getStatesKeyword_0()); }
-
- 'states:'
-
-{ after(grammarAccess.getStateDeclarationAccess().getStatesKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__StateDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__StateDeclaration__Group__1__Impl
- rule__StateDeclaration__Group__2
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getStatesAssignment_1()); }
-(rule__StateDeclaration__StatesAssignment_1)
-{ after(grammarAccess.getStateDeclarationAccess().getStatesAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__StateDeclaration__Group__2
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__StateDeclaration__Group__2__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__Group__2__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getGroup_2()); }
-(rule__StateDeclaration__Group_2__0)*
-{ after(grammarAccess.getStateDeclarationAccess().getGroup_2()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-
-
-rule__StateDeclaration__Group_2__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__StateDeclaration__Group_2__0__Impl
- rule__StateDeclaration__Group_2__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__Group_2__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getCommaKeyword_2_0()); }
-
- ','
-
-{ after(grammarAccess.getStateDeclarationAccess().getCommaKeyword_2_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__StateDeclaration__Group_2__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__StateDeclaration__Group_2__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__Group_2__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getStatesAssignment_2_1()); }
-(rule__StateDeclaration__StatesAssignment_2_1)
-{ after(grammarAccess.getStateDeclarationAccess().getStatesAssignment_2_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__InitialDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__InitialDeclaration__Group__0__Impl
- rule__InitialDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__InitialDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getInitialDeclarationAccess().getInitialKeyword_0()); }
-
- 'initial:'
-
-{ after(grammarAccess.getInitialDeclarationAccess().getInitialKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__InitialDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__InitialDeclaration__Group__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__InitialDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getInitialDeclarationAccess().getInitialAssignment_1()); }
-(rule__InitialDeclaration__InitialAssignment_1)
-{ after(grammarAccess.getInitialDeclarationAccess().getInitialAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__LoopsDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__LoopsDeclaration__Group__0__Impl
- rule__LoopsDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__LoopsDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getLoopsDeclarationAccess().getLoopsKeyword_0()); }
-
- 'loops:'
-
-{ after(grammarAccess.getLoopsDeclarationAccess().getLoopsKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__LoopsDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__LoopsDeclaration__Group__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__LoopsDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getLoopsDeclarationAccess().getValAssignment_1()); }
-(rule__LoopsDeclaration__ValAssignment_1)
-{ after(grammarAccess.getLoopsDeclarationAccess().getValAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__SeedDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SeedDeclaration__Group__0__Impl
- rule__SeedDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SeedDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSeedDeclarationAccess().getRandseedKeyword_0()); }
-
- 'randseed:'
-
-{ after(grammarAccess.getSeedDeclarationAccess().getRandseedKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SeedDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SeedDeclaration__Group__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SeedDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSeedDeclarationAccess().getValAssignment_1()); }
-(rule__SeedDeclaration__ValAssignment_1)
-{ after(grammarAccess.getSeedDeclarationAccess().getValAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__SignalDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group__0__Impl
- rule__SignalDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getGroup_0()); }
-(rule__SignalDeclaration__Group_0__0)?
-{ after(grammarAccess.getSignalDeclarationAccess().getGroup_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SignalDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group__1__Impl
- rule__SignalDeclaration__Group__2
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getSignameAssignment_1()); }
-(rule__SignalDeclaration__SignameAssignment_1)
-{ after(grammarAccess.getSignalDeclarationAccess().getSignameAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SignalDeclaration__Group__2
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group__2__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group__2__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getAlternatives_2()); }
-(rule__SignalDeclaration__Alternatives_2)?
-{ after(grammarAccess.getSignalDeclarationAccess().getAlternatives_2()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-
-
-rule__SignalDeclaration__Group_0__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_0__0__Impl
- rule__SignalDeclaration__Group_0__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_0__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getPortAssignment_0_0()); }
-(rule__SignalDeclaration__PortAssignment_0_0)
-{ after(grammarAccess.getSignalDeclarationAccess().getPortAssignment_0_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SignalDeclaration__Group_0__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_0__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_0__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getFullStopKeyword_0_1()); }
-
- '.'
-
-{ after(grammarAccess.getSignalDeclarationAccess().getFullStopKeyword_0_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__SignalDeclaration__Group_2_0__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_2_0__0__Impl
- rule__SignalDeclaration__Group_2_0__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_2_0__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_0_0()); }
-
- '='
-
-{ after(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_0_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SignalDeclaration__Group_2_0__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_2_0__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_2_0__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getIntValAssignment_2_0_1()); }
-(rule__SignalDeclaration__IntValAssignment_2_0_1)
-{ after(grammarAccess.getSignalDeclarationAccess().getIntValAssignment_2_0_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__SignalDeclaration__Group_2_1__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_2_1__0__Impl
- rule__SignalDeclaration__Group_2_1__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_2_1__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_1_0()); }
-
- '='
-
-{ after(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SignalDeclaration__Group_2_1__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SignalDeclaration__Group_2_1__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__Group_2_1__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getStrValAssignment_2_1_1()); }
-(rule__SignalDeclaration__StrValAssignment_2_1_1)
-{ after(grammarAccess.getSignalDeclarationAccess().getStrValAssignment_2_1_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__SourceDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SourceDeclaration__Group__0__Impl
- rule__SourceDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SourceDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSourceDeclarationAccess().getRefAssignment_0()); }
-(rule__SourceDeclaration__RefAssignment_0)
-{ after(grammarAccess.getSourceDeclarationAccess().getRefAssignment_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__SourceDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__SourceDeclaration__Group__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SourceDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSourceDeclarationAccess().getColonKeyword_1()); }
-
- ':'
-
-{ after(grammarAccess.getSourceDeclarationAccess().getColonKeyword_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__DestinationDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__DestinationDeclaration__Group__0__Impl
- rule__DestinationDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__DestinationDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getDestinationDeclarationAccess().getHyphenMinusGreaterThanSignSpaceKeyword_0()); }
-
- '-> '
-
-{ after(grammarAccess.getDestinationDeclarationAccess().getHyphenMinusGreaterThanSignSpaceKeyword_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__DestinationDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__DestinationDeclaration__Group__1__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__DestinationDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getDestinationDeclarationAccess().getRefAssignment_1()); }
-(rule__DestinationDeclaration__RefAssignment_1)
-{ after(grammarAccess.getDestinationDeclarationAccess().getRefAssignment_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-rule__TransitionDeclaration__Group__0
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__0__Impl
- rule__TransitionDeclaration__Group__1
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__0__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getSourceAssignment_0()); }
-(rule__TransitionDeclaration__SourceAssignment_0)
-{ after(grammarAccess.getTransitionDeclarationAccess().getSourceAssignment_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__TransitionDeclaration__Group__1
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__1__Impl
- rule__TransitionDeclaration__Group__2
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__1__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getInKeyword_1()); }
-
- 'in:'
-
-{ after(grammarAccess.getTransitionDeclarationAccess().getInKeyword_1()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__TransitionDeclaration__Group__2
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__2__Impl
- rule__TransitionDeclaration__Group__3
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__2__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getInAssignment_2()); }
-(rule__TransitionDeclaration__InAssignment_2)*
-{ after(grammarAccess.getTransitionDeclarationAccess().getInAssignment_2()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__TransitionDeclaration__Group__3
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__3__Impl
- rule__TransitionDeclaration__Group__4
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__3__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getOutKeyword_3()); }
-
- 'out:'
-
-{ after(grammarAccess.getTransitionDeclarationAccess().getOutKeyword_3()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__TransitionDeclaration__Group__4
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__4__Impl
- rule__TransitionDeclaration__Group__5
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__4__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getOutAssignment_4()); }
-(rule__TransitionDeclaration__OutAssignment_4)*
-{ after(grammarAccess.getTransitionDeclarationAccess().getOutAssignment_4()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-rule__TransitionDeclaration__Group__5
- @init {
- int stackSize = keepStackSize();
- }
-:
- rule__TransitionDeclaration__Group__5__Impl
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__Group__5__Impl
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getDestinationAssignment_5()); }
-(rule__TransitionDeclaration__DestinationAssignment_5)
-{ after(grammarAccess.getTransitionDeclarationAccess().getDestinationAssignment_5()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-rule__Model__TestscriptsAssignment
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getModelAccess().getTestscriptsTestscriptParserRuleCall_0()); }
- ruleTestscript{ after(grammarAccess.getModelAccess().getTestscriptsTestscriptParserRuleCall_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__NameAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getNameIDTerminalRuleCall_1_0()); }
- RULE_ID{ after(grammarAccess.getTestscriptAccess().getNameIDTerminalRuleCall_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__StateDeclarationAssignment_2
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getStateDeclarationStateDeclarationParserRuleCall_2_0()); }
- ruleStateDeclaration{ after(grammarAccess.getTestscriptAccess().getStateDeclarationStateDeclarationParserRuleCall_2_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__InitialDeclarationAssignment_3
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getInitialDeclarationInitialDeclarationParserRuleCall_3_0()); }
- ruleInitialDeclaration{ after(grammarAccess.getTestscriptAccess().getInitialDeclarationInitialDeclarationParserRuleCall_3_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__LoopsDeclarationAssignment_4
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getLoopsDeclarationLoopsDeclarationParserRuleCall_4_0()); }
- ruleLoopsDeclaration{ after(grammarAccess.getTestscriptAccess().getLoopsDeclarationLoopsDeclarationParserRuleCall_4_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__SeedDeclarationAssignment_5
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getSeedDeclarationSeedDeclarationParserRuleCall_5_0()); }
- ruleSeedDeclaration{ after(grammarAccess.getTestscriptAccess().getSeedDeclarationSeedDeclarationParserRuleCall_5_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__Testscript__TransitionDeclarationsAssignment_6
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTestscriptAccess().getTransitionDeclarationsTransitionDeclarationParserRuleCall_6_0()); }
- ruleTransitionDeclaration{ after(grammarAccess.getTestscriptAccess().getTransitionDeclarationsTransitionDeclarationParserRuleCall_6_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__State__NameAssignment
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateAccess().getNameIDTerminalRuleCall_0()); }
- RULE_ID{ after(grammarAccess.getStateAccess().getNameIDTerminalRuleCall_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__StatesAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getStatesStateParserRuleCall_1_0()); }
- ruleState{ after(grammarAccess.getStateDeclarationAccess().getStatesStateParserRuleCall_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__StateDeclaration__StatesAssignment_2_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getStateDeclarationAccess().getStatesStateParserRuleCall_2_1_0()); }
- ruleState{ after(grammarAccess.getStateDeclarationAccess().getStatesStateParserRuleCall_2_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__InitialDeclaration__InitialAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getInitialDeclarationAccess().getInitialStateCrossReference_1_0()); }
-(
-{ before(grammarAccess.getInitialDeclarationAccess().getInitialStateIDTerminalRuleCall_1_0_1()); }
- RULE_ID{ after(grammarAccess.getInitialDeclarationAccess().getInitialStateIDTerminalRuleCall_1_0_1()); }
-)
-{ after(grammarAccess.getInitialDeclarationAccess().getInitialStateCrossReference_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__LoopsDeclaration__ValAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getLoopsDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
- RULE_INT{ after(grammarAccess.getLoopsDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SeedDeclaration__ValAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSeedDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
- RULE_INT{ after(grammarAccess.getSeedDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__PortAssignment_0_0
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getPortIDTerminalRuleCall_0_0_0()); }
- RULE_ID{ after(grammarAccess.getSignalDeclarationAccess().getPortIDTerminalRuleCall_0_0_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__SignameAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getSignameIDTerminalRuleCall_1_0()); }
- RULE_ID{ after(grammarAccess.getSignalDeclarationAccess().getSignameIDTerminalRuleCall_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__IntValAssignment_2_0_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getIntValINTTerminalRuleCall_2_0_1_0()); }
- RULE_INT{ after(grammarAccess.getSignalDeclarationAccess().getIntValINTTerminalRuleCall_2_0_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SignalDeclaration__StrValAssignment_2_1_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSignalDeclarationAccess().getStrValSTRINGTerminalRuleCall_2_1_1_0()); }
- RULE_STRING{ after(grammarAccess.getSignalDeclarationAccess().getStrValSTRINGTerminalRuleCall_2_1_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__SourceDeclaration__RefAssignment_0
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getSourceDeclarationAccess().getRefStateCrossReference_0_0()); }
-(
-{ before(grammarAccess.getSourceDeclarationAccess().getRefStateIDTerminalRuleCall_0_0_1()); }
- RULE_ID{ after(grammarAccess.getSourceDeclarationAccess().getRefStateIDTerminalRuleCall_0_0_1()); }
-)
-{ after(grammarAccess.getSourceDeclarationAccess().getRefStateCrossReference_0_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__DestinationDeclaration__RefAssignment_1
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getDestinationDeclarationAccess().getRefStateCrossReference_1_0()); }
-(
-{ before(grammarAccess.getDestinationDeclarationAccess().getRefStateIDTerminalRuleCall_1_0_1()); }
- RULE_ID{ after(grammarAccess.getDestinationDeclarationAccess().getRefStateIDTerminalRuleCall_1_0_1()); }
-)
-{ after(grammarAccess.getDestinationDeclarationAccess().getRefStateCrossReference_1_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__SourceAssignment_0
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getSourceSourceDeclarationParserRuleCall_0_0()); }
- ruleSourceDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getSourceSourceDeclarationParserRuleCall_0_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__InAssignment_2
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getInSignalDeclarationParserRuleCall_2_0()); }
- ruleSignalDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getInSignalDeclarationParserRuleCall_2_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__OutAssignment_4
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getOutSignalDeclarationParserRuleCall_4_0()); }
- ruleSignalDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getOutSignalDeclarationParserRuleCall_4_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-rule__TransitionDeclaration__DestinationAssignment_5
- @init {
- int stackSize = keepStackSize();
- }
-:
-(
-{ before(grammarAccess.getTransitionDeclarationAccess().getDestinationDestinationDeclarationParserRuleCall_5_0()); }
- ruleDestinationDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getDestinationDestinationDeclarationParserRuleCall_5_0()); }
-)
-
-;
-finally {
- restoreStackSize(stackSize);
-}
-
-
-RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
-
-RULE_INT : ('0'..'9')+;
-
-RULE_STRING : ('"' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'"')))* '"'|'\'' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'\'')))* '\'');
-
-RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
-
-RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;
-
-RULE_WS : (' '|'\t'|'\r'|'\n')+;
-
-RULE_ANY_OTHER : .;
-
-
+/*
+* generated by Xtext
+*/
+grammar InternalFSMtest;
+
+options {
+ superClass=AbstractInternalContentAssistParser;
+
+}
+
+@lexer::header {
+package org.eclipse.etrice.generator.ui.contentassist.antlr.internal;
+
+// Hack: Use our own Lexer superclass by means of import.
+// Currently there is no other way to specify the superclass for the lexer.
+import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer;
+}
+
+@parser::header {
+package org.eclipse.etrice.generator.ui.contentassist.antlr.internal;
+
+import java.io.InputStream;
+import org.eclipse.xtext.*;
+import org.eclipse.xtext.parser.*;
+import org.eclipse.xtext.parser.impl.*;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.xtext.parser.antlr.XtextTokenStream;
+import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens;
+import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;
+import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.DFA;
+import org.eclipse.etrice.generator.services.FSMtestGrammarAccess;
+
+}
+
+@parser::members {
+
+ private FSMtestGrammarAccess grammarAccess;
+
+ public void setGrammarAccess(FSMtestGrammarAccess grammarAccess) {
+ this.grammarAccess = grammarAccess;
+ }
+
+ @Override
+ protected Grammar getGrammar() {
+ return grammarAccess.getGrammar();
+ }
+
+ @Override
+ protected String getValueForTokenName(String tokenName) {
+ return tokenName;
+ }
+
+}
+
+
+
+
+// Entry rule entryRuleModel
+entryRuleModel
+:
+{ before(grammarAccess.getModelRule()); }
+ ruleModel
+{ after(grammarAccess.getModelRule()); }
+ EOF
+;
+
+// Rule Model
+ruleModel
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getModelAccess().getAlternatives()); }
+(rule__Model__Alternatives)*
+{ after(grammarAccess.getModelAccess().getAlternatives()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleFsmDefinition
+entryRuleFsmDefinition
+:
+{ before(grammarAccess.getFsmDefinitionRule()); }
+ ruleFsmDefinition
+{ after(grammarAccess.getFsmDefinitionRule()); }
+ EOF
+;
+
+// Rule FsmDefinition
+ruleFsmDefinition
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getGroup()); }
+(rule__FsmDefinition__Group__0)
+{ after(grammarAccess.getFsmDefinitionAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleRandomTest
+entryRuleRandomTest
+:
+{ before(grammarAccess.getRandomTestRule()); }
+ ruleRandomTest
+{ after(grammarAccess.getRandomTestRule()); }
+ EOF
+;
+
+// Rule RandomTest
+ruleRandomTest
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getRandomTestAccess().getGroup()); }
+(rule__RandomTest__Group__0)
+{ after(grammarAccess.getRandomTestAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleGuardDeclaration
+entryRuleGuardDeclaration
+:
+{ before(grammarAccess.getGuardDeclarationRule()); }
+ ruleGuardDeclaration
+{ after(grammarAccess.getGuardDeclarationRule()); }
+ EOF
+;
+
+// Rule GuardDeclaration
+ruleGuardDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getGuardDeclarationAccess().getSignalAssignment()); }
+(rule__GuardDeclaration__SignalAssignment)
+{ after(grammarAccess.getGuardDeclarationAccess().getSignalAssignment()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleTransitionDeclaration
+entryRuleTransitionDeclaration
+:
+{ before(grammarAccess.getTransitionDeclarationRule()); }
+ ruleTransitionDeclaration
+{ after(grammarAccess.getTransitionDeclarationRule()); }
+ EOF
+;
+
+// Rule TransitionDeclaration
+ruleTransitionDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getGroup()); }
+(rule__TransitionDeclaration__Group__0)
+{ after(grammarAccess.getTransitionDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleConditionDeclaration
+entryRuleConditionDeclaration
+:
+{ before(grammarAccess.getConditionDeclarationRule()); }
+ ruleConditionDeclaration
+{ after(grammarAccess.getConditionDeclarationRule()); }
+ EOF
+;
+
+// Rule ConditionDeclaration
+ruleConditionDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getConditionDeclarationAccess().getGroup()); }
+(rule__ConditionDeclaration__Group__0)
+{ after(grammarAccess.getConditionDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRulePreconditionDeclaration
+entryRulePreconditionDeclaration
+:
+{ before(grammarAccess.getPreconditionDeclarationRule()); }
+ rulePreconditionDeclaration
+{ after(grammarAccess.getPreconditionDeclarationRule()); }
+ EOF
+;
+
+// Rule PreconditionDeclaration
+rulePreconditionDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getPreconditionDeclarationAccess().getGroup()); }
+(rule__PreconditionDeclaration__Group__0)
+{ after(grammarAccess.getPreconditionDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRulePostconditionDeclaration
+entryRulePostconditionDeclaration
+:
+{ before(grammarAccess.getPostconditionDeclarationRule()); }
+ rulePostconditionDeclaration
+{ after(grammarAccess.getPostconditionDeclarationRule()); }
+ EOF
+;
+
+// Rule PostconditionDeclaration
+rulePostconditionDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getPostconditionDeclarationAccess().getGroup()); }
+(rule__PostconditionDeclaration__Group__0)
+{ after(grammarAccess.getPostconditionDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleStateDeclaration
+entryRuleStateDeclaration
+:
+{ before(grammarAccess.getStateDeclarationRule()); }
+ ruleStateDeclaration
+{ after(grammarAccess.getStateDeclarationRule()); }
+ EOF
+;
+
+// Rule StateDeclaration
+ruleStateDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getStateDeclarationAccess().getGroup()); }
+(rule__StateDeclaration__Group__0)
+{ after(grammarAccess.getStateDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleLoopsDeclaration
+entryRuleLoopsDeclaration
+:
+{ before(grammarAccess.getLoopsDeclarationRule()); }
+ ruleLoopsDeclaration
+{ after(grammarAccess.getLoopsDeclarationRule()); }
+ EOF
+;
+
+// Rule LoopsDeclaration
+ruleLoopsDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getLoopsDeclarationAccess().getGroup()); }
+(rule__LoopsDeclaration__Group__0)
+{ after(grammarAccess.getLoopsDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleSeedDeclaration
+entryRuleSeedDeclaration
+:
+{ before(grammarAccess.getSeedDeclarationRule()); }
+ ruleSeedDeclaration
+{ after(grammarAccess.getSeedDeclarationRule()); }
+ EOF
+;
+
+// Rule SeedDeclaration
+ruleSeedDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getSeedDeclarationAccess().getGroup()); }
+(rule__SeedDeclaration__Group__0)
+{ after(grammarAccess.getSeedDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+// Entry rule entryRuleSignalDeclaration
+entryRuleSignalDeclaration
+:
+{ before(grammarAccess.getSignalDeclarationRule()); }
+ ruleSignalDeclaration
+{ after(grammarAccess.getSignalDeclarationRule()); }
+ EOF
+;
+
+// Rule SignalDeclaration
+ruleSignalDeclaration
+ @init {
+ int stackSize = keepStackSize();
+ }
+ :
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getGroup()); }
+(rule__SignalDeclaration__Group__0)
+{ after(grammarAccess.getSignalDeclarationAccess().getGroup()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+rule__Model__Alternatives
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getModelAccess().getFsmDefinitionsAssignment_0()); }
+(rule__Model__FsmDefinitionsAssignment_0)
+{ after(grammarAccess.getModelAccess().getFsmDefinitionsAssignment_0()); }
+)
+
+ |(
+{ before(grammarAccess.getModelAccess().getRandomTestsAssignment_1()); }
+(rule__Model__RandomTestsAssignment_1)
+{ after(grammarAccess.getModelAccess().getRandomTestsAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Alternatives_6_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getPreconditionAssignment_6_1_0()); }
+(rule__TransitionDeclaration__PreconditionAssignment_6_1_0)
+{ after(grammarAccess.getTransitionDeclarationAccess().getPreconditionAssignment_6_1_0()); }
+)
+
+ |(
+{ before(grammarAccess.getTransitionDeclarationAccess().getPostconditionAssignment_6_1_1()); }
+(rule__TransitionDeclaration__PostconditionAssignment_6_1_1)
+{ after(grammarAccess.getTransitionDeclarationAccess().getPostconditionAssignment_6_1_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Alternatives_2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getGroup_2_0()); }
+(rule__SignalDeclaration__Group_2_0__0)
+{ after(grammarAccess.getSignalDeclarationAccess().getGroup_2_0()); }
+)
+
+ |(
+{ before(grammarAccess.getSignalDeclarationAccess().getGroup_2_1()); }
+(rule__SignalDeclaration__Group_2_1__0)
+{ after(grammarAccess.getSignalDeclarationAccess().getGroup_2_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+rule__FsmDefinition__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__0__Impl
+ rule__FsmDefinition__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getFsmdefinitionKeyword_0()); }
+
+ 'fsmdefinition'
+
+{ after(grammarAccess.getFsmDefinitionAccess().getFsmdefinitionKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__FsmDefinition__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__1__Impl
+ rule__FsmDefinition__Group__2
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getNameAssignment_1()); }
+(rule__FsmDefinition__NameAssignment_1)
+{ after(grammarAccess.getFsmDefinitionAccess().getNameAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__FsmDefinition__Group__2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__2__Impl
+ rule__FsmDefinition__Group__3
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__2__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getInitialKeyword_2()); }
+
+ 'initial'
+
+{ after(grammarAccess.getFsmDefinitionAccess().getInitialKeyword_2()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__FsmDefinition__Group__3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__3__Impl
+ rule__FsmDefinition__Group__4
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__3__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getStatesAssignment_3()); }
+(rule__FsmDefinition__StatesAssignment_3)
+{ after(grammarAccess.getFsmDefinitionAccess().getStatesAssignment_3()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__FsmDefinition__Group__4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__4__Impl
+ rule__FsmDefinition__Group__5
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__4__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getStatesAssignment_4()); }
+(rule__FsmDefinition__StatesAssignment_4)*
+{ after(grammarAccess.getFsmDefinitionAccess().getStatesAssignment_4()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__FsmDefinition__Group__5
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__FsmDefinition__Group__5__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__Group__5__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getSemicolonKeyword_5()); }
+
+ ';'
+
+{ after(grammarAccess.getFsmDefinitionAccess().getSemicolonKeyword_5()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+rule__RandomTest__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__0__Impl
+ rule__RandomTest__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getRandomtestKeyword_0()); }
+
+ 'randomtest'
+
+{ after(grammarAccess.getRandomTestAccess().getRandomtestKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__1__Impl
+ rule__RandomTest__Group__2
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getNameAssignment_1()); }
+(rule__RandomTest__NameAssignment_1)
+{ after(grammarAccess.getRandomTestAccess().getNameAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__2__Impl
+ rule__RandomTest__Group__3
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__2__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getFsmKeyword_2()); }
+
+ 'fsm:'
+
+{ after(grammarAccess.getRandomTestAccess().getFsmKeyword_2()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__3__Impl
+ rule__RandomTest__Group__4
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__3__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getFsmAssignment_3()); }
+(rule__RandomTest__FsmAssignment_3)
+{ after(grammarAccess.getRandomTestAccess().getFsmAssignment_3()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__4__Impl
+ rule__RandomTest__Group__5
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__4__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getLoopsDeclarationAssignment_4()); }
+(rule__RandomTest__LoopsDeclarationAssignment_4)
+{ after(grammarAccess.getRandomTestAccess().getLoopsDeclarationAssignment_4()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__5
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__5__Impl
+ rule__RandomTest__Group__6
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__5__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getSeedDeclarationAssignment_5()); }
+(rule__RandomTest__SeedDeclarationAssignment_5)?
+{ after(grammarAccess.getRandomTestAccess().getSeedDeclarationAssignment_5()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__RandomTest__Group__6
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__RandomTest__Group__6__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__Group__6__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getSemicolonKeyword_6()); }
+
+ ';'
+
+{ after(grammarAccess.getRandomTestAccess().getSemicolonKeyword_6()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+rule__TransitionDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__0__Impl
+ rule__TransitionDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTransitionKeyword_0()); }
+
+ 'transition'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getTransitionKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__1__Impl
+ rule__TransitionDeclaration__Group__2
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getNameAssignment_1()); }
+(rule__TransitionDeclaration__NameAssignment_1)
+{ after(grammarAccess.getTransitionDeclarationAccess().getNameAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__2__Impl
+ rule__TransitionDeclaration__Group__3
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__2__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getToKeyword_2()); }
+
+ 'to'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getToKeyword_2()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__3__Impl
+ rule__TransitionDeclaration__Group__4
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__3__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getDestinationAssignment_3()); }
+(rule__TransitionDeclaration__DestinationAssignment_3)
+{ after(grammarAccess.getTransitionDeclarationAccess().getDestinationAssignment_3()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__4__Impl
+ rule__TransitionDeclaration__Group__5
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__4__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getGroup_4()); }
+(rule__TransitionDeclaration__Group_4__0)?
+{ after(grammarAccess.getTransitionDeclarationAccess().getGroup_4()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__5
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__5__Impl
+ rule__TransitionDeclaration__Group__6
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__5__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getGroup_5()); }
+(rule__TransitionDeclaration__Group_5__0)?
+{ after(grammarAccess.getTransitionDeclarationAccess().getGroup_5()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__6
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__6__Impl
+ rule__TransitionDeclaration__Group__7
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__6__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getGroup_6()); }
+(rule__TransitionDeclaration__Group_6__0)?
+{ after(grammarAccess.getTransitionDeclarationAccess().getGroup_6()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group__7
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group__7__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group__7__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getSemicolonKeyword_7()); }
+
+ ';'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getSemicolonKeyword_7()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+rule__TransitionDeclaration__Group_4__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_4__0__Impl
+ rule__TransitionDeclaration__Group_4__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_4__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggerKeyword_4_0()); }
+
+ 'trigger:'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getTriggerKeyword_4_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group_4__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_4__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_4__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggerAssignment_4_1()); }
+(rule__TransitionDeclaration__TriggerAssignment_4_1)
+{ after(grammarAccess.getTransitionDeclarationAccess().getTriggerAssignment_4_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__TransitionDeclaration__Group_5__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_5__0__Impl
+ rule__TransitionDeclaration__Group_5__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_5__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getGuardsKeyword_5_0()); }
+
+ 'guards:'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getGuardsKeyword_5_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group_5__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_5__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_5__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggersAssignment_5_1()); }
+(rule__TransitionDeclaration__TriggersAssignment_5_1)
+{ after(grammarAccess.getTransitionDeclarationAccess().getTriggersAssignment_5_1()); }
+)
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggersAssignment_5_1()); }
+(rule__TransitionDeclaration__TriggersAssignment_5_1)*
+{ after(grammarAccess.getTransitionDeclarationAccess().getTriggersAssignment_5_1()); }
+)
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__TransitionDeclaration__Group_6__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_6__0__Impl
+ rule__TransitionDeclaration__Group_6__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_6__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getConstraintsKeyword_6_0()); }
+
+ 'constraints:'
+
+{ after(grammarAccess.getTransitionDeclarationAccess().getConstraintsKeyword_6_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__TransitionDeclaration__Group_6__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__TransitionDeclaration__Group_6__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__Group_6__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getAlternatives_6_1()); }
+(rule__TransitionDeclaration__Alternatives_6_1)
+{ after(grammarAccess.getTransitionDeclarationAccess().getAlternatives_6_1()); }
+)
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getAlternatives_6_1()); }
+(rule__TransitionDeclaration__Alternatives_6_1)*
+{ after(grammarAccess.getTransitionDeclarationAccess().getAlternatives_6_1()); }
+)
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__ConditionDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__ConditionDeclaration__Group__0__Impl
+ rule__ConditionDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__ConditionDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getConditionDeclarationAccess().getConditionKeyword_0()); }
+
+ 'condition'
+
+{ after(grammarAccess.getConditionDeclarationAccess().getConditionKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__ConditionDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__ConditionDeclaration__Group__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__ConditionDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getConditionDeclarationAccess().getSignalAssignment_1()); }
+(rule__ConditionDeclaration__SignalAssignment_1)
+{ after(grammarAccess.getConditionDeclarationAccess().getSignalAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__PreconditionDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__PreconditionDeclaration__Group__0__Impl
+ rule__PreconditionDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PreconditionDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPreconditionDeclarationAccess().getPreconditionKeyword_0()); }
+
+ 'precondition'
+
+{ after(grammarAccess.getPreconditionDeclarationAccess().getPreconditionKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__PreconditionDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__PreconditionDeclaration__Group__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PreconditionDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPreconditionDeclarationAccess().getSignalAssignment_1()); }
+(rule__PreconditionDeclaration__SignalAssignment_1)
+{ after(grammarAccess.getPreconditionDeclarationAccess().getSignalAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__PostconditionDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__PostconditionDeclaration__Group__0__Impl
+ rule__PostconditionDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PostconditionDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPostconditionDeclarationAccess().getPostconditionKeyword_0()); }
+
+ 'postcondition'
+
+{ after(grammarAccess.getPostconditionDeclarationAccess().getPostconditionKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__PostconditionDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__PostconditionDeclaration__Group__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PostconditionDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPostconditionDeclarationAccess().getSignalAssignment_1()); }
+(rule__PostconditionDeclaration__SignalAssignment_1)
+{ after(grammarAccess.getPostconditionDeclarationAccess().getSignalAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__StateDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group__0__Impl
+ rule__StateDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getStateKeyword_0()); }
+
+ 'state'
+
+{ after(grammarAccess.getStateDeclarationAccess().getStateKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__StateDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group__1__Impl
+ rule__StateDeclaration__Group__2
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getNameAssignment_1()); }
+(rule__StateDeclaration__NameAssignment_1)
+{ after(grammarAccess.getStateDeclarationAccess().getNameAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__StateDeclaration__Group__2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group__2__Impl
+ rule__StateDeclaration__Group__3
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group__2__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getGroup_2()); }
+(rule__StateDeclaration__Group_2__0)?
+{ after(grammarAccess.getStateDeclarationAccess().getGroup_2()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__StateDeclaration__Group__3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group__3__Impl
+ rule__StateDeclaration__Group__4
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group__3__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+(
+{ before(grammarAccess.getStateDeclarationAccess().getTransitionsAssignment_3()); }
+(rule__StateDeclaration__TransitionsAssignment_3)
+{ after(grammarAccess.getStateDeclarationAccess().getTransitionsAssignment_3()); }
+)
+(
+{ before(grammarAccess.getStateDeclarationAccess().getTransitionsAssignment_3()); }
+(rule__StateDeclaration__TransitionsAssignment_3)*
+{ after(grammarAccess.getStateDeclarationAccess().getTransitionsAssignment_3()); }
+)
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__StateDeclaration__Group__4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group__4__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group__4__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getSemicolonKeyword_4()); }
+
+ ';'
+
+{ after(grammarAccess.getStateDeclarationAccess().getSemicolonKeyword_4()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+
+
+
+
+
+rule__StateDeclaration__Group_2__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group_2__0__Impl
+ rule__StateDeclaration__Group_2__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group_2__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getConstraintsKeyword_2_0()); }
+
+ 'constraints:'
+
+{ after(grammarAccess.getStateDeclarationAccess().getConstraintsKeyword_2_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__StateDeclaration__Group_2__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__StateDeclaration__Group_2__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__Group_2__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+(
+{ before(grammarAccess.getStateDeclarationAccess().getConditionAssignment_2_1()); }
+(rule__StateDeclaration__ConditionAssignment_2_1)
+{ after(grammarAccess.getStateDeclarationAccess().getConditionAssignment_2_1()); }
+)
+(
+{ before(grammarAccess.getStateDeclarationAccess().getConditionAssignment_2_1()); }
+(rule__StateDeclaration__ConditionAssignment_2_1)*
+{ after(grammarAccess.getStateDeclarationAccess().getConditionAssignment_2_1()); }
+)
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__LoopsDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__LoopsDeclaration__Group__0__Impl
+ rule__LoopsDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__LoopsDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getLoopsDeclarationAccess().getLoopsKeyword_0()); }
+
+ 'loops:'
+
+{ after(grammarAccess.getLoopsDeclarationAccess().getLoopsKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__LoopsDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__LoopsDeclaration__Group__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__LoopsDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getLoopsDeclarationAccess().getValAssignment_1()); }
+(rule__LoopsDeclaration__ValAssignment_1)
+{ after(grammarAccess.getLoopsDeclarationAccess().getValAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__SeedDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SeedDeclaration__Group__0__Impl
+ rule__SeedDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SeedDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSeedDeclarationAccess().getRandseedKeyword_0()); }
+
+ 'randseed:'
+
+{ after(grammarAccess.getSeedDeclarationAccess().getRandseedKeyword_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SeedDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SeedDeclaration__Group__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SeedDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSeedDeclarationAccess().getValAssignment_1()); }
+(rule__SeedDeclaration__ValAssignment_1)
+{ after(grammarAccess.getSeedDeclarationAccess().getValAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__SignalDeclaration__Group__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group__0__Impl
+ rule__SignalDeclaration__Group__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getGroup_0()); }
+(rule__SignalDeclaration__Group_0__0)?
+{ after(grammarAccess.getSignalDeclarationAccess().getGroup_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SignalDeclaration__Group__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group__1__Impl
+ rule__SignalDeclaration__Group__2
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getSignameAssignment_1()); }
+(rule__SignalDeclaration__SignameAssignment_1)
+{ after(grammarAccess.getSignalDeclarationAccess().getSignameAssignment_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SignalDeclaration__Group__2
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group__2__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group__2__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getAlternatives_2()); }
+(rule__SignalDeclaration__Alternatives_2)?
+{ after(grammarAccess.getSignalDeclarationAccess().getAlternatives_2()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+
+rule__SignalDeclaration__Group_0__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_0__0__Impl
+ rule__SignalDeclaration__Group_0__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_0__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getPortAssignment_0_0()); }
+(rule__SignalDeclaration__PortAssignment_0_0)
+{ after(grammarAccess.getSignalDeclarationAccess().getPortAssignment_0_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SignalDeclaration__Group_0__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_0__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_0__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getFullStopKeyword_0_1()); }
+
+ '.'
+
+{ after(grammarAccess.getSignalDeclarationAccess().getFullStopKeyword_0_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__SignalDeclaration__Group_2_0__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_2_0__0__Impl
+ rule__SignalDeclaration__Group_2_0__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_2_0__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_0_0()); }
+
+ '='
+
+{ after(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_0_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SignalDeclaration__Group_2_0__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_2_0__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_2_0__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getIntValAssignment_2_0_1()); }
+(rule__SignalDeclaration__IntValAssignment_2_0_1)
+{ after(grammarAccess.getSignalDeclarationAccess().getIntValAssignment_2_0_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+rule__SignalDeclaration__Group_2_1__0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_2_1__0__Impl
+ rule__SignalDeclaration__Group_2_1__1
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_2_1__0__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_1_0()); }
+
+ '='
+
+{ after(grammarAccess.getSignalDeclarationAccess().getEqualsSignKeyword_2_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+rule__SignalDeclaration__Group_2_1__1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+ rule__SignalDeclaration__Group_2_1__1__Impl
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__Group_2_1__1__Impl
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getStrValAssignment_2_1_1()); }
+(rule__SignalDeclaration__StrValAssignment_2_1_1)
+{ after(grammarAccess.getSignalDeclarationAccess().getStrValAssignment_2_1_1()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+
+
+
+
+
+rule__Model__FsmDefinitionsAssignment_0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getModelAccess().getFsmDefinitionsFsmDefinitionParserRuleCall_0_0()); }
+ ruleFsmDefinition{ after(grammarAccess.getModelAccess().getFsmDefinitionsFsmDefinitionParserRuleCall_0_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__Model__RandomTestsAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getModelAccess().getRandomTestsRandomTestParserRuleCall_1_0()); }
+ ruleRandomTest{ after(grammarAccess.getModelAccess().getRandomTestsRandomTestParserRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__NameAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getNameIDTerminalRuleCall_1_0()); }
+ RULE_ID{ after(grammarAccess.getFsmDefinitionAccess().getNameIDTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__StatesAssignment_3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getStatesStateDeclarationParserRuleCall_3_0()); }
+ ruleStateDeclaration{ after(grammarAccess.getFsmDefinitionAccess().getStatesStateDeclarationParserRuleCall_3_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__FsmDefinition__StatesAssignment_4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getFsmDefinitionAccess().getStatesStateDeclarationParserRuleCall_4_0()); }
+ ruleStateDeclaration{ after(grammarAccess.getFsmDefinitionAccess().getStatesStateDeclarationParserRuleCall_4_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__NameAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getNameIDTerminalRuleCall_1_0()); }
+ RULE_ID{ after(grammarAccess.getRandomTestAccess().getNameIDTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__FsmAssignment_3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getFsmFsmDefinitionCrossReference_3_0()); }
+(
+{ before(grammarAccess.getRandomTestAccess().getFsmFsmDefinitionIDTerminalRuleCall_3_0_1()); }
+ RULE_ID{ after(grammarAccess.getRandomTestAccess().getFsmFsmDefinitionIDTerminalRuleCall_3_0_1()); }
+)
+{ after(grammarAccess.getRandomTestAccess().getFsmFsmDefinitionCrossReference_3_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__LoopsDeclarationAssignment_4
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getLoopsDeclarationLoopsDeclarationParserRuleCall_4_0()); }
+ ruleLoopsDeclaration{ after(grammarAccess.getRandomTestAccess().getLoopsDeclarationLoopsDeclarationParserRuleCall_4_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__RandomTest__SeedDeclarationAssignment_5
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getRandomTestAccess().getSeedDeclarationSeedDeclarationParserRuleCall_5_0()); }
+ ruleSeedDeclaration{ after(grammarAccess.getRandomTestAccess().getSeedDeclarationSeedDeclarationParserRuleCall_5_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__GuardDeclaration__SignalAssignment
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getGuardDeclarationAccess().getSignalSignalDeclarationParserRuleCall_0()); }
+ ruleSignalDeclaration{ after(grammarAccess.getGuardDeclarationAccess().getSignalSignalDeclarationParserRuleCall_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__NameAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getNameIDTerminalRuleCall_1_0()); }
+ RULE_ID{ after(grammarAccess.getTransitionDeclarationAccess().getNameIDTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__DestinationAssignment_3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getDestinationStateDeclarationCrossReference_3_0()); }
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getDestinationStateDeclarationIDTerminalRuleCall_3_0_1()); }
+ RULE_ID{ after(grammarAccess.getTransitionDeclarationAccess().getDestinationStateDeclarationIDTerminalRuleCall_3_0_1()); }
+)
+{ after(grammarAccess.getTransitionDeclarationAccess().getDestinationStateDeclarationCrossReference_3_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__TriggerAssignment_4_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggerSignalDeclarationParserRuleCall_4_1_0()); }
+ ruleSignalDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getTriggerSignalDeclarationParserRuleCall_4_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__TriggersAssignment_5_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getTriggersGuardDeclarationParserRuleCall_5_1_0()); }
+ ruleGuardDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getTriggersGuardDeclarationParserRuleCall_5_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__PreconditionAssignment_6_1_0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getPreconditionPreconditionDeclarationParserRuleCall_6_1_0_0()); }
+ rulePreconditionDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getPreconditionPreconditionDeclarationParserRuleCall_6_1_0_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__TransitionDeclaration__PostconditionAssignment_6_1_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getTransitionDeclarationAccess().getPostconditionPostconditionDeclarationParserRuleCall_6_1_1_0()); }
+ rulePostconditionDeclaration{ after(grammarAccess.getTransitionDeclarationAccess().getPostconditionPostconditionDeclarationParserRuleCall_6_1_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__ConditionDeclaration__SignalAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getConditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+ ruleSignalDeclaration{ after(grammarAccess.getConditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PreconditionDeclaration__SignalAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPreconditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+ ruleSignalDeclaration{ after(grammarAccess.getPreconditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__PostconditionDeclaration__SignalAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getPostconditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+ ruleSignalDeclaration{ after(grammarAccess.getPostconditionDeclarationAccess().getSignalSignalDeclarationParserRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__NameAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getNameIDTerminalRuleCall_1_0()); }
+ RULE_ID{ after(grammarAccess.getStateDeclarationAccess().getNameIDTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__ConditionAssignment_2_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getConditionConditionDeclarationParserRuleCall_2_1_0()); }
+ ruleConditionDeclaration{ after(grammarAccess.getStateDeclarationAccess().getConditionConditionDeclarationParserRuleCall_2_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__StateDeclaration__TransitionsAssignment_3
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getStateDeclarationAccess().getTransitionsTransitionDeclarationParserRuleCall_3_0()); }
+ ruleTransitionDeclaration{ after(grammarAccess.getStateDeclarationAccess().getTransitionsTransitionDeclarationParserRuleCall_3_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__LoopsDeclaration__ValAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getLoopsDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
+ RULE_INT{ after(grammarAccess.getLoopsDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SeedDeclaration__ValAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSeedDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
+ RULE_INT{ after(grammarAccess.getSeedDeclarationAccess().getValINTTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__PortAssignment_0_0
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getPortIDTerminalRuleCall_0_0_0()); }
+ RULE_ID{ after(grammarAccess.getSignalDeclarationAccess().getPortIDTerminalRuleCall_0_0_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__SignameAssignment_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getSignameIDTerminalRuleCall_1_0()); }
+ RULE_ID{ after(grammarAccess.getSignalDeclarationAccess().getSignameIDTerminalRuleCall_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__IntValAssignment_2_0_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getIntValINTTerminalRuleCall_2_0_1_0()); }
+ RULE_INT{ after(grammarAccess.getSignalDeclarationAccess().getIntValINTTerminalRuleCall_2_0_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+rule__SignalDeclaration__StrValAssignment_2_1_1
+ @init {
+ int stackSize = keepStackSize();
+ }
+:
+(
+{ before(grammarAccess.getSignalDeclarationAccess().getStrValSTRINGTerminalRuleCall_2_1_1_0()); }
+ RULE_STRING{ after(grammarAccess.getSignalDeclarationAccess().getStrValSTRINGTerminalRuleCall_2_1_1_0()); }
+)
+
+;
+finally {
+ restoreStackSize(stackSize);
+}
+
+
+RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
+
+RULE_INT : ('0'..'9')+;
+
+RULE_STRING : ('"' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'"')))* '"'|'\'' ('\\' ('b'|'t'|'n'|'f'|'r'|'u'|'"'|'\''|'\\')|~(('\\'|'\'')))* '\'');
+
+RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
+
+RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;
+
+RULE_WS : (' '|'\t'|'\r'|'\n')+;
+
+RULE_ANY_OTHER : .;
+
+

Back to the top