aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/model
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-14 10:34:59 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-14 10:34:59 -0500
commitdc931c24870432efcd3c3fca4fb6fbd401c70420 (patch)
tree60e417e047ac712be38058a5b358d5ea2f24c3fe /Domains/crossingScenario/model
parentdeactivate the constraints used for debugging (diff)
downloadVIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.gz
VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.zst
VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.zip
refactor simpleScenario->crossingScenario
Diffstat (limited to 'Domains/crossingScenario/model')
-rw-r--r--Domains/crossingScenario/model/crossingScenario.ecore78
-rw-r--r--Domains/crossingScenario/model/crossingScenario.genmodel66
2 files changed, 144 insertions, 0 deletions
diff --git a/Domains/crossingScenario/model/crossingScenario.ecore b/Domains/crossingScenario/model/crossingScenario.ecore
new file mode 100644
index 00000000..a0797672
--- /dev/null
+++ b/Domains/crossingScenario/model/crossingScenario.ecore
@@ -0,0 +1,78 @@
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="crossingScenario" nsURI="http://www.example.com/crossingScenario"
4 nsPrefix="crossingScenario">
5 <eClassifiers xsi:type="ecore:EClass" name="CrossingScenario">
6 <eStructuralFeatures xsi:type="ecore:EAttribute" name="xSize" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
7 <eStructuralFeatures xsi:type="ecore:EAttribute" name="ySize" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
8 <eStructuralFeatures xsi:type="ecore:EReference" name="actors" upperBound="-1"
9 eType="#//Actor" containment="true"/>
10 <eStructuralFeatures xsi:type="ecore:EReference" name="lanes" upperBound="-1"
11 eType="#//Lane" containment="true"/>
12 <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxTime" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
13 </eClassifiers>
14 <eClassifiers xsi:type="ecore:EClass" name="Lane">
15 <eStructuralFeatures xsi:type="ecore:EAttribute" name="orientation" lowerBound="1"
16 eType="#//Orientation"/>
17 <eStructuralFeatures xsi:type="ecore:EAttribute" name="width" lowerBound="1" eType="#//Size"/>
18 <eStructuralFeatures xsi:type="ecore:EAttribute" name="referenceCoord" lowerBound="1"
19 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
20 <eStructuralFeatures xsi:type="ecore:EReference" name="prevLane" eType="#//Lane"/>
21 <eStructuralFeatures xsi:type="ecore:EReference" name="actors" upperBound="-1"
22 eType="#//Actor" eOpposite="#//Actor/placedOn"/>
23 <eStructuralFeatures xsi:type="ecore:EAttribute" name="numWidth" lowerBound="1"
24 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" defaultValueLiteral="0.0"/>
25 </eClassifiers>
26 <eClassifiers xsi:type="ecore:EEnum" name="Orientation">
27 <eLiterals name="Vertical"/>
28 <eLiterals name="Horizontal" value="1"/>
29 </eClassifiers>
30 <eClassifiers xsi:type="ecore:EEnum" name="Size">
31 <eLiterals name="Small"/>
32 <eLiterals name="Medium" value="1"/>
33 <eLiterals name="Large" value="2"/>
34 </eClassifiers>
35 <eClassifiers xsi:type="ecore:EClass" name="Actor" abstract="true">
36 <eStructuralFeatures xsi:type="ecore:EAttribute" name="xPos" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
37 <eStructuralFeatures xsi:type="ecore:EAttribute" name="yPos" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
38 <eStructuralFeatures xsi:type="ecore:EAttribute" name="length" lowerBound="1"
39 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" defaultValueLiteral="0.0"
40 derived="true"/>
41 <eStructuralFeatures xsi:type="ecore:EAttribute" name="width" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
42 derived="true"/>
43 <eStructuralFeatures xsi:type="ecore:EAttribute" name="xSpeed" lowerBound="1"
44 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" defaultValueLiteral="0.0"/>
45 <eStructuralFeatures xsi:type="ecore:EReference" name="relations" upperBound="-1"
46 eType="#//Relation" containment="true"/>
47 <eStructuralFeatures xsi:type="ecore:EReference" name="placedOn" lowerBound="1"
48 eType="#//Lane" eOpposite="#//Lane/actors"/>
49 <eStructuralFeatures xsi:type="ecore:EAttribute" name="ySpeed" lowerBound="1"
50 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
51 </eClassifiers>
52 <eClassifiers xsi:type="ecore:EClass" name="Relation" abstract="true">
53 <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
54 eType="#//Actor"/>
55 </eClassifiers>
56 <eClassifiers xsi:type="ecore:EClass" name="SpatialRelation" abstract="true" eSuperTypes="#//Relation"/>
57 <eClassifiers xsi:type="ecore:EClass" name="TemporalRelation" abstract="true" eSuperTypes="#//Relation"/>
58 <eClassifiers xsi:type="ecore:EClass" name="VisionBlocked" eSuperTypes="#//SpatialRelation">
59 <eStructuralFeatures xsi:type="ecore:EReference" name="blockedBy" lowerBound="1"
60 eType="#//Actor"/>
61 </eClassifiers>
62 <eClassifiers xsi:type="ecore:EClass" name="SeparationDistance" eSuperTypes="#//SpatialRelation">
63 <eStructuralFeatures xsi:type="ecore:EAttribute" name="distance" lowerBound="1"
64 eType="#//Distance"/>
65 </eClassifiers>
66 <eClassifiers xsi:type="ecore:EClass" name="CollisionExists" eSuperTypes="#//TemporalRelation">
67 <eStructuralFeatures xsi:type="ecore:EAttribute" name="collisionTime" lowerBound="1"
68 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
69 </eClassifiers>
70 <eClassifiers xsi:type="ecore:EClass" name="CollisionDoesNotExist" eSuperTypes="#//TemporalRelation"/>
71 <eClassifiers xsi:type="ecore:EEnum" name="Distance">
72 <eLiterals name="Near"/>
73 <eLiterals name="Medium" value="1"/>
74 <eLiterals name="Far" value="2"/>
75 </eClassifiers>
76 <eClassifiers xsi:type="ecore:EClass" name="Pedestrian" eSuperTypes="#//Actor"/>
77 <eClassifiers xsi:type="ecore:EClass" name="Vehicle" eSuperTypes="#//Actor"/>
78</ecore:EPackage>
diff --git a/Domains/crossingScenario/model/crossingScenario.genmodel b/Domains/crossingScenario/model/crossingScenario.genmodel
new file mode 100644
index 00000000..53117561
--- /dev/null
+++ b/Domains/crossingScenario/model/crossingScenario.genmodel
@@ -0,0 +1,66 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/crossingScenario/ecore-gen" modelPluginID="crossingScenario"
4 modelName="CrossingScenario" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
5 importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
6 operationReflection="true" importOrganizing="true">
7 <foreignModel>crossingScenario.ecore</foreignModel>
8 <genPackages prefix="CrossingScenario" disposableProviderFactory="true" ecorePackage="crossingScenario.ecore#/">
9 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Orientation">
10 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Orientation/Vertical"/>
11 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Orientation/Horizontal"/>
12 </genEnums>
13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Size">
14 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Small"/>
15 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Medium"/>
16 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Large"/>
17 </genEnums>
18 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Distance">
19 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Near"/>
20 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Medium"/>
21 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Far"/>
22 </genEnums>
23 <genClasses ecoreClass="crossingScenario.ecore#//CrossingScenario">
24 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CrossingScenario/xSize"/>
25 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CrossingScenario/ySize"/>
26 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//CrossingScenario/actors"/>
27 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//CrossingScenario/lanes"/>
28 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CrossingScenario/maxTime"/>
29 </genClasses>
30 <genClasses ecoreClass="crossingScenario.ecore#//Lane">
31 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Lane/orientation"/>
32 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Lane/width"/>
33 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Lane/referenceCoord"/>
34 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//Lane/prevLane"/>
35 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//Lane/actors"/>
36 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Lane/numWidth"/>
37 </genClasses>
38 <genClasses image="false" ecoreClass="crossingScenario.ecore#//Actor">
39 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/xPos"/>
40 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/yPos"/>
41 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/length"/>
42 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/width"/>
43 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/xSpeed"/>
44 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//Actor/relations"/>
45 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//Actor/placedOn"/>
46 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//Actor/ySpeed"/>
47 </genClasses>
48 <genClasses image="false" ecoreClass="crossingScenario.ecore#//Relation">
49 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//Relation/target"/>
50 </genClasses>
51 <genClasses image="false" ecoreClass="crossingScenario.ecore#//SpatialRelation"/>
52 <genClasses image="false" ecoreClass="crossingScenario.ecore#//TemporalRelation"/>
53 <genClasses ecoreClass="crossingScenario.ecore#//VisionBlocked">
54 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference crossingScenario.ecore#//VisionBlocked/blockedBy"/>
55 </genClasses>
56 <genClasses ecoreClass="crossingScenario.ecore#//SeparationDistance">
57 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//SeparationDistance/distance"/>
58 </genClasses>
59 <genClasses ecoreClass="crossingScenario.ecore#//CollisionExists">
60 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CollisionExists/collisionTime"/>
61 </genClasses>
62 <genClasses ecoreClass="crossingScenario.ecore#//CollisionDoesNotExist"/>
63 <genClasses ecoreClass="crossingScenario.ecore#//Pedestrian"/>
64 <genClasses ecoreClass="crossingScenario.ecore#//Vehicle"/>
65 </genPackages>
66</genmodel:GenModel>