Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi')
-rw-r--r--plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi214
1 files changed, 125 insertions, 89 deletions
diff --git a/plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi b/plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi
index 901b83b92..388b1dddb 100644
--- a/plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi
+++ b/plugins/org.eclipse.etrice.generator.fsmtest/src-gen/org/eclipse/etrice/generator/FSMtest.xmi
@@ -8,76 +8,165 @@
<type metamodel="/0/@metamodelDeclarations.0">
<classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//Model"/>
</type>
- <alternatives xsi:type="xtext:Assignment" cardinality="*" feature="Testscripts" operator="+=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.1"/>
+ <alternatives xsi:type="xtext:Alternatives" cardinality="*">
+ <elements xsi:type="xtext:Assignment" feature="FsmDefinitions" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.1"/>
+ </elements>
+ <elements xsi:type="xtext:Assignment" feature="RandomTests" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.2"/>
+ </elements>
</alternatives>
</rules>
- <rules xsi:type="xtext:ParserRule" name="Testscript">
+ <rules xsi:type="xtext:ParserRule" name="FsmDefinition">
<type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//Testscript"/>
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//FsmDefinition"/>
</type>
<alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Keyword" value="fsmtest"/>
+ <elements xsi:type="xtext:Keyword" value="fsmdefinition"/>
<elements xsi:type="xtext:Assignment" feature="name" operator="=">
<terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
</elements>
- <elements xsi:type="xtext:Assignment" feature="stateDeclaration" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.3"/>
+ <elements xsi:type="xtext:Keyword" value="initial"/>
+ <elements xsi:type="xtext:Assignment" feature="states" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.8"/>
+ </elements>
+ <elements xsi:type="xtext:Assignment" cardinality="*" feature="states" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.8"/>
</elements>
- <elements xsi:type="xtext:Assignment" feature="initialDeclaration" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.4"/>
+ <elements xsi:type="xtext:Keyword" value=";"/>
+ </alternatives>
+ </rules>
+ <rules xsi:type="xtext:ParserRule" name="RandomTest">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//RandomTest"/>
+ </type>
+ <alternatives xsi:type="xtext:Group">
+ <elements xsi:type="xtext:Keyword" value="randomtest"/>
+ <elements xsi:type="xtext:Assignment" feature="name" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
+ </elements>
+ <elements xsi:type="xtext:Keyword" value="fsm:"/>
+ <elements xsi:type="xtext:Assignment" feature="fsm" operator="=">
+ <terminal xsi:type="xtext:CrossReference">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//FsmDefinition"/>
+ </type>
+ <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
+ </terminal>
</elements>
<elements xsi:type="xtext:Assignment" feature="loopsDeclaration" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.5"/>
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.9"/>
</elements>
<elements xsi:type="xtext:Assignment" cardinality="?" feature="seedDeclaration" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.6"/>
- </elements>
- <elements xsi:type="xtext:Assignment" cardinality="*" feature="transitionDeclarations" operator="+=">
<terminal xsi:type="xtext:RuleCall" rule="/0/@rules.10"/>
</elements>
<elements xsi:type="xtext:Keyword" value=";"/>
</alternatives>
</rules>
- <rules xsi:type="xtext:ParserRule" name="State">
+ <rules xsi:type="xtext:ParserRule" name="GuardDeclaration">
<type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//State"/>
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//GuardDeclaration"/>
</type>
- <alternatives xsi:type="xtext:Assignment" feature="name" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
+ <alternatives xsi:type="xtext:Assignment" feature="signal" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.11"/>
</alternatives>
</rules>
- <rules xsi:type="xtext:ParserRule" name="StateDeclaration">
+ <rules xsi:type="xtext:ParserRule" name="TransitionDeclaration">
<type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//StateDeclaration"/>
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//TransitionDeclaration"/>
</type>
<alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Keyword" value="states:"/>
- <elements xsi:type="xtext:Assignment" feature="states" operator="+=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.2"/>
+ <elements xsi:type="xtext:Keyword" value="transition"/>
+ <elements xsi:type="xtext:Assignment" feature="name" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
</elements>
- <elements xsi:type="xtext:Group" cardinality="*">
- <elements xsi:type="xtext:Keyword" value=","/>
- <elements xsi:type="xtext:Assignment" feature="states" operator="+=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.2"/>
+ <elements xsi:type="xtext:Keyword" value="to"/>
+ <elements xsi:type="xtext:Assignment" feature="destination" operator="=">
+ <terminal xsi:type="xtext:CrossReference">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//StateDeclaration"/>
+ </type>
+ <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
+ </terminal>
+ </elements>
+ <elements xsi:type="xtext:Group" cardinality="?">
+ <elements xsi:type="xtext:Keyword" value="trigger:"/>
+ <elements xsi:type="xtext:Assignment" feature="trigger" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.11"/>
</elements>
</elements>
+ <elements xsi:type="xtext:Group" cardinality="?">
+ <elements xsi:type="xtext:Keyword" value="guards:"/>
+ <elements xsi:type="xtext:Assignment" cardinality="+" feature="triggers" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.3"/>
+ </elements>
+ </elements>
+ <elements xsi:type="xtext:Group" cardinality="?">
+ <elements xsi:type="xtext:Keyword" value="constraints:"/>
+ <elements xsi:type="xtext:Alternatives" cardinality="+">
+ <elements xsi:type="xtext:Assignment" feature="precondition" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.6"/>
+ </elements>
+ <elements xsi:type="xtext:Assignment" feature="postcondition" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.7"/>
+ </elements>
+ </elements>
+ </elements>
+ <elements xsi:type="xtext:Keyword" value=";"/>
</alternatives>
</rules>
- <rules xsi:type="xtext:ParserRule" name="InitialDeclaration">
+ <rules xsi:type="xtext:ParserRule" name="ConditionDeclaration">
<type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//InitialDeclaration"/>
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//ConditionDeclaration"/>
</type>
<alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Keyword" value="initial:"/>
- <elements xsi:type="xtext:Assignment" feature="initial" operator="=">
- <terminal xsi:type="xtext:CrossReference">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//State"/>
- </type>
- <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
- </terminal>
+ <elements xsi:type="xtext:Keyword" value="condition"/>
+ <elements xsi:type="xtext:Assignment" feature="signal" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.11"/>
+ </elements>
+ </alternatives>
+ </rules>
+ <rules xsi:type="xtext:ParserRule" name="PreconditionDeclaration">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//PreconditionDeclaration"/>
+ </type>
+ <alternatives xsi:type="xtext:Group">
+ <elements xsi:type="xtext:Keyword" value="precondition"/>
+ <elements xsi:type="xtext:Assignment" feature="signal" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.11"/>
+ </elements>
+ </alternatives>
+ </rules>
+ <rules xsi:type="xtext:ParserRule" name="PostconditionDeclaration">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//PostconditionDeclaration"/>
+ </type>
+ <alternatives xsi:type="xtext:Group">
+ <elements xsi:type="xtext:Keyword" value="postcondition"/>
+ <elements xsi:type="xtext:Assignment" feature="signal" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.11"/>
+ </elements>
+ </alternatives>
+ </rules>
+ <rules xsi:type="xtext:ParserRule" name="StateDeclaration">
+ <type metamodel="/0/@metamodelDeclarations.0">
+ <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//StateDeclaration"/>
+ </type>
+ <alternatives xsi:type="xtext:Group">
+ <elements xsi:type="xtext:Keyword" value="state"/>
+ <elements xsi:type="xtext:Assignment" feature="name" operator="=">
+ <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
+ </elements>
+ <elements xsi:type="xtext:Group" cardinality="?">
+ <elements xsi:type="xtext:Keyword" value="constraints:"/>
+ <elements xsi:type="xtext:Assignment" cardinality="+" feature="condition" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.5"/>
+ </elements>
+ </elements>
+ <elements xsi:type="xtext:Assignment" cardinality="+" feature="transitions" operator="+=">
+ <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.4"/>
</elements>
+ <elements xsi:type="xtext:Keyword" value=";"/>
</alternatives>
</rules>
<rules xsi:type="xtext:ParserRule" name="LoopsDeclaration">
@@ -132,59 +221,6 @@
</elements>
</alternatives>
</rules>
- <rules xsi:type="xtext:ParserRule" name="SourceDeclaration">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//SourceDeclaration"/>
- </type>
- <alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Assignment" feature="ref" operator="=">
- <terminal xsi:type="xtext:CrossReference">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//State"/>
- </type>
- <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
- </terminal>
- </elements>
- <elements xsi:type="xtext:Keyword" value=":"/>
- </alternatives>
- </rules>
- <rules xsi:type="xtext:ParserRule" name="DestinationDeclaration">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//DestinationDeclaration"/>
- </type>
- <alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Keyword" value="-> "/>
- <elements xsi:type="xtext:Assignment" feature="ref" operator="=">
- <terminal xsi:type="xtext:CrossReference">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//State"/>
- </type>
- <terminal xsi:type="xtext:RuleCall" rule="/1/@rules.0"/>
- </terminal>
- </elements>
- </alternatives>
- </rules>
- <rules xsi:type="xtext:ParserRule" name="TransitionDeclaration">
- <type metamodel="/0/@metamodelDeclarations.0">
- <classifier xsi:type="ecore:EClass" href="http://www.eclipse.org/etrice/generator/FSMtest#//TransitionDeclaration"/>
- </type>
- <alternatives xsi:type="xtext:Group">
- <elements xsi:type="xtext:Assignment" feature="source" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.8"/>
- </elements>
- <elements xsi:type="xtext:Keyword" value="in:"/>
- <elements xsi:type="xtext:Assignment" cardinality="*" feature="in" operator="+=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.7"/>
- </elements>
- <elements xsi:type="xtext:Keyword" value="out:"/>
- <elements xsi:type="xtext:Assignment" cardinality="*" feature="out" operator="+=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.7"/>
- </elements>
- <elements xsi:type="xtext:Assignment" feature="destination" operator="=">
- <terminal xsi:type="xtext:RuleCall" rule="/0/@rules.9"/>
- </elements>
- </alternatives>
- </rules>
</xtext:Grammar>
<xtext:Grammar name="org.eclipse.xtext.common.Terminals" definesHiddenTokens="true" hiddenTokens="/1/@rules.5 /1/@rules.3 /1/@rules.4">
<metamodelDeclarations xsi:type="xtext:ReferencedMetamodel" alias="ecore">

Back to the top