diff options
author | 2019-11-24 07:51:31 -0500 | |
---|---|---|
committer | 2019-11-24 07:51:31 -0500 | |
commit | 4d8fdbc05c280b965e0b5bb11a7bbe329633f5ee (patch) | |
tree | 5ceb7debf64d671404f60b265acd3db93e342f29 /Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore | |
parent | VAMPIRE: post-submission push (diff) | |
download | VIATRA-Generator-4d8fdbc05c280b965e0b5bb11a7bbe329633f5ee.tar.gz VIATRA-Generator-4d8fdbc05c280b965e0b5bb11a7bbe329633f5ee.tar.zst VIATRA-Generator-4d8fdbc05c280b965e0b5bb11a7bbe329633f5ee.zip |
VAMPIRE: Further Post-submission updates
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore new file mode 100644 index 00000000..02b57252 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore | |||
@@ -0,0 +1,39 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="yakindumm" nsURI="hu.bme.mit.inf.yakindumm" nsPrefix="ca.mcgill.ecse.yakindumm"> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="#//Vertex"/> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false" | ||
7 | upperBound="-1" eType="#//Transition" eOpposite="#//Transition/target"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false" | ||
9 | upperBound="-1" eType="#//Transition" containment="true" eOpposite="#//Transition/source"/> | ||
10 | </eClassifiers> | ||
11 | <eClassifiers xsi:type="ecore:EClass" name="Region"> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false" | ||
13 | upperBound="-1" eType="#//Vertex" containment="true"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="Transition"> | ||
16 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false" | ||
17 | lowerBound="1" eType="#//Vertex" eOpposite="#//Vertex/incomingTransitions"/> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false" | ||
19 | eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/> | ||
20 | </eClassifiers> | ||
21 | <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/> | ||
22 | <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"> | ||
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="Type" lowerBound="1" eType="#//EntryType"/> | ||
24 | </eClassifiers> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1" | ||
29 | eType="#//Region" containment="true"/> | ||
30 | </eClassifiers> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate"/> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/> | ||
33 | <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/> | ||
34 | <eClassifiers xsi:type="ecore:EEnum" name="EntryType"> | ||
35 | <eLiterals name="Normal"/> | ||
36 | <eLiterals name="History"/> | ||
37 | <eLiterals name="DeepHistory"/> | ||
38 | </eClassifiers> | ||
39 | </ecore:EPackage> | ||