Skip to content

Commit bf04860

Browse files
committed
Updated trace metamodel
1 parent 5a1dac4 commit bf04860

File tree

85 files changed

+13330
-811
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

85 files changed

+13330
-811
lines changed

trace/commons/plugins/fr.inria.diverse.trace.commons.model/model/GenericTrace.aird

Lines changed: 2860 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 130 additions & 67 deletions
Original file line numberDiff line numberDiff line change
@@ -1,104 +1,167 @@
11
<?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" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="trace" nsURI="http://www.gemoc.org/generic_trace" nsPrefix="trace">
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="trace" nsURI="http://www.gemoc.org/generic_trace" nsPrefix="trace">
34
<eClassifiers xsi:type="ecore:EDataType" name="ISerializable" instanceClassName="byte[]"/>
45
<eClassifiers xsi:type="ecore:EClass" name="MSEOccurrence">
5-
<eStructuralFeatures xsi:type="ecore:EReference" name="mse" lowerBound="1" eType="//MSE"/>
6-
<eStructuralFeatures xsi:type="ecore:EAttribute" name="parameters" upperBound="-1">
7-
<eType xsi:type="ecore:EDataType" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EJavaObject"/>
8-
</eStructuralFeatures>
9-
<eStructuralFeatures xsi:type="ecore:EAttribute" name="result" upperBound="-1">
10-
<eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"/>
11-
</eStructuralFeatures>
6+
<eStructuralFeatures xsi:type="ecore:EReference" name="mse" lowerBound="1" eType="#//MSE"/>
7+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="parameters" upperBound="-1"
8+
eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EJavaObject"/>
9+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="result" upperBound="-1"
10+
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"/>
1211
</eClassifiers>
13-
<eClassifiers xsi:type="ecore:EClass" name="MSE" abstract="true">
14-
<eSuperTypes href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/>
15-
<eOperations name="getCaller">
16-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
17-
</eOperations>
18-
<eOperations name="getAction">
19-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
20-
</eOperations>
12+
<eClassifiers xsi:type="ecore:EClass" name="MSE" abstract="true" eSuperTypes="../../org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement">
13+
<eOperations name="getCaller" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
14+
<eOperations name="getAction" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
2115
</eClassifiers>
2216
<eClassifiers xsi:type="ecore:EClass" name="MSEModel">
23-
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedMSEs" upperBound="-1" eType="//MSE" containment="true"/>
24-
</eClassifiers>
25-
<eClassifiers xsi:type="ecore:EClass" name="GenericMSE" eSuperTypes="//MSE">
26-
<eOperations name="getCaller">
27-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
28-
</eOperations>
29-
<eOperations name="getAction">
30-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
31-
</eOperations>
32-
<eStructuralFeatures xsi:type="ecore:EReference" name="callerReference">
33-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
34-
</eStructuralFeatures>
35-
<eStructuralFeatures xsi:type="ecore:EReference" name="actionReference">
36-
<eType xsi:type="ecore:EClass" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
37-
</eStructuralFeatures>
17+
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedMSEs" upperBound="-1"
18+
eType="#//MSE" containment="true"/>
19+
</eClassifiers>
20+
<eClassifiers xsi:type="ecore:EClass" name="GenericMSE" eSuperTypes="#//MSE">
21+
<eOperations name="getCaller" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
22+
<eOperations name="getAction" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
23+
<eStructuralFeatures xsi:type="ecore:EReference" name="callerReference" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EObject"/>
24+
<eStructuralFeatures xsi:type="ecore:EReference" name="actionReference" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EOperation"/>
3825
</eClassifiers>
3926
<eClassifiers xsi:type="ecore:EClass" name="Step" abstract="true">
40-
<eStructuralFeatures xsi:type="ecore:EReference" name="mseoccurrence" eType="//MSEOccurrence" containment="true"/>
27+
<eStructuralFeatures xsi:type="ecore:EReference" name="mseoccurrence" eType="#//MSEOccurrence"
28+
containment="true"/>
4129
</eClassifiers>
42-
<eClassifiers xsi:type="ecore:EClass" name="BigStep" abstract="true" eSuperTypes="//Step">
30+
<eClassifiers xsi:type="ecore:EClass" name="BigStep" abstract="true" eSuperTypes="#//Step">
4331
<eTypeParameters name="StepSubtype">
44-
<eBounds eClassifier="//Step"/>
32+
<eBounds eClassifier="#//Step"/>
4533
</eTypeParameters>
46-
<eStructuralFeatures xsi:type="ecore:EReference" name="subSteps" upperBound="-1" containment="true">
47-
<eGenericType eTypeParameter="//BigStep/StepSubtype"/>
34+
<eStructuralFeatures xsi:type="ecore:EReference" name="subSteps" upperBound="-1"
35+
containment="true">
36+
<eGenericType eTypeParameter="#//BigStep/StepSubtype"/>
4837
</eStructuralFeatures>
4938
</eClassifiers>
50-
<eClassifiers xsi:type="ecore:EClass" name="SmallStep" abstract="true" eSuperTypes="//Step"/>
39+
<eClassifiers xsi:type="ecore:EClass" name="SmallStep" abstract="true" eSuperTypes="#//Step"/>
5140
<eClassifiers xsi:type="ecore:EClass" name="SequentialStep">
5241
<eTypeParameters name="StepSubtype">
53-
<eBounds eClassifier="//Step"/>
42+
<eBounds eClassifier="#//Step"/>
5443
</eTypeParameters>
55-
<eGenericSuperTypes eClassifier="//BigStep">
56-
<eTypeArguments eTypeParameter="//SequentialStep/StepSubtype"/>
44+
<eGenericSuperTypes eClassifier="#//BigStep">
45+
<eTypeArguments eTypeParameter="#//SequentialStep/StepSubtype"/>
5746
</eGenericSuperTypes>
5847
</eClassifiers>
5948
<eClassifiers xsi:type="ecore:EClass" name="ParallelStep">
6049
<eTypeParameters name="StepSubtype">
61-
<eBounds eClassifier="//Step"/>
50+
<eBounds eClassifier="#//Step"/>
6251
</eTypeParameters>
63-
<eGenericSuperTypes eClassifier="//BigStep">
64-
<eTypeArguments eTypeParameter="//ParallelStep/StepSubtype"/>
52+
<eGenericSuperTypes eClassifier="#//BigStep">
53+
<eTypeArguments eTypeParameter="#//ParallelStep/StepSubtype"/>
6554
</eGenericSuperTypes>
6655
</eClassifiers>
6756
<eClassifiers xsi:type="ecore:EClass" name="GenericSequentialStep">
68-
<eGenericSuperTypes eClassifier="//SequentialStep">
69-
<eTypeArguments eClassifier="//Step"/>
57+
<eGenericSuperTypes eClassifier="#//SequentialStep">
58+
<eTypeArguments eClassifier="#//Step"/>
7059
</eGenericSuperTypes>
7160
</eClassifiers>
7261
<eClassifiers xsi:type="ecore:EClass" name="GenericParallelStep">
73-
<eGenericSuperTypes eClassifier="//ParallelStep">
74-
<eTypeArguments eClassifier="//Step"/>
62+
<eGenericSuperTypes eClassifier="#//ParallelStep">
63+
<eTypeArguments eClassifier="#//Step"/>
7564
</eGenericSuperTypes>
7665
</eClassifiers>
77-
<eClassifiers xsi:type="ecore:EClass" name="GenericSmallStep" eSuperTypes="//SmallStep"/>
78-
<eClassifiers xsi:type="ecore:EClass" name="Trace">
66+
<eClassifiers xsi:type="ecore:EClass" name="GenericSmallStep" eSuperTypes="#//SmallStep"/>
67+
<eClassifiers xsi:type="ecore:EClass" name="Trace" abstract="true">
7968
<eTypeParameters name="StepSubType"/>
80-
<eStructuralFeatures xsi:type="ecore:EReference" name="rootStep" lowerBound="1" containment="true">
81-
<eGenericType eTypeParameter="//Trace/StepSubType"/>
69+
<eTypeParameters name="TracedObjectSubtype"/>
70+
<eTypeParameters name="StateSubType"/>
71+
<eStructuralFeatures xsi:type="ecore:EReference" name="rootStep" lowerBound="1"
72+
containment="true">
73+
<eGenericType eTypeParameter="#//Trace/StepSubType"/>
74+
</eStructuralFeatures>
75+
<eStructuralFeatures xsi:type="ecore:EReference" name="tracedObjects" upperBound="-1"
76+
containment="true">
77+
<eGenericType eTypeParameter="#//Trace/TracedObjectSubtype"/>
78+
</eStructuralFeatures>
79+
<eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1"
80+
containment="true">
81+
<eGenericType eTypeParameter="#//Trace/StateSubType"/>
8282
</eStructuralFeatures>
83-
<eStructuralFeatures xsi:type="ecore:EReference" name="launchconfiguration" lowerBound="1" eType="//LaunchConfiguration" containment="true"/>
83+
<eStructuralFeatures xsi:type="ecore:EReference" name="launchconfiguration" lowerBound="1"
84+
eType="#//LaunchConfiguration" containment="true"/>
8485
</eClassifiers>
85-
<eClassifiers xsi:type="ecore:EClass" name="LaunchConfiguration">
86-
<eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1" eType="//LaunchConfigurationParameter" containment="true"/>
87-
<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" defaultValueLiteral="">
88-
<eType xsi:type="ecore:EDataType" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
86+
<eClassifiers xsi:type="ecore:EClass" name="TracedObject" abstract="true">
87+
<eTypeParameters name="DimensionSubType"/>
88+
<eStructuralFeatures xsi:type="ecore:EReference" name="dimensions" upperBound="-1"
89+
containment="true">
90+
<eGenericType eTypeParameter="#//TracedObject/DimensionSubType"/>
91+
</eStructuralFeatures>
92+
</eClassifiers>
93+
<eClassifiers xsi:type="ecore:EClass" name="Dimension" abstract="true">
94+
<eTypeParameters name="ValueSubType">
95+
<eBounds eClassifier="#//Value"/>
96+
</eTypeParameters>
97+
<eStructuralFeatures xsi:type="ecore:EReference" name="values" upperBound="-1"
98+
containment="true">
99+
<eGenericType eTypeParameter="#//Dimension/ValueSubType"/>
89100
</eStructuralFeatures>
90101
</eClassifiers>
91-
<eClassifiers xsi:type="ecore:EClass" name="LaunchConfigurationParameter" abstract="true">
92-
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value">
93-
<eType xsi:type="ecore:EDataType" href="../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
102+
<eClassifiers xsi:type="ecore:EClass" name="Value" abstract="true">
103+
<eStructuralFeatures xsi:type="ecore:EReference" name="state" upperBound="-1"
104+
eType="#//State" eOpposite="#//State/value"/>
105+
</eClassifiers>
106+
<eClassifiers xsi:type="ecore:EClass" name="State" abstract="true">
107+
<eStructuralFeatures xsi:type="ecore:EReference" name="value" upperBound="-1"
108+
eType="#//Value" eOpposite="#//Value/state"/>
109+
</eClassifiers>
110+
<eClassifiers xsi:type="ecore:EClass" name="GenericReferenceValue" eSuperTypes="#//Value">
111+
<eTypeParameters name="T"/>
112+
<eStructuralFeatures xsi:type="ecore:EReference" name="referenceValue">
113+
<eGenericType eTypeParameter="#//GenericReferenceValue/T"/>
94114
</eStructuralFeatures>
95115
</eClassifiers>
96-
<eClassifiers xsi:type="ecore:EClass" name="LanguageNameParameter" eSuperTypes="//LaunchConfigurationParameter"/>
97-
<eClassifiers xsi:type="ecore:EClass" name="ModelURIParameter" eSuperTypes="//LaunchConfigurationParameter"/>
98-
<eClassifiers xsi:type="ecore:EClass" name="AnimatorURIParameter" eSuperTypes="//LaunchConfigurationParameter"/>
99-
<eClassifiers xsi:type="ecore:EClass" name="EntryPointParameter" eSuperTypes="//LaunchConfigurationParameter"/>
100-
<eClassifiers xsi:type="ecore:EClass" name="ModelRootParameter" eSuperTypes="//LaunchConfigurationParameter"/>
101-
<eClassifiers xsi:type="ecore:EClass" name="InitializationMethodParameter" eSuperTypes="//LaunchConfigurationParameter"/>
102-
<eClassifiers xsi:type="ecore:EClass" name="InitializationArgumentsParameter" eSuperTypes="//LaunchConfigurationParameter"/>
103-
<eClassifiers xsi:type="ecore:EClass" name="AddonExtensionParameter" eSuperTypes="//LaunchConfigurationParameter"/>
116+
<eClassifiers xsi:type="ecore:EClass" name="GenericDimension">
117+
<eStructuralFeatures xsi:type="ecore:EReference" name="dynamicProperty" eType="ecore:EClass ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EStructuralFeature"/>
118+
<eGenericSuperTypes eClassifier="#//Dimension">
119+
<eTypeArguments eClassifier="#//Value"/>
120+
</eGenericSuperTypes>
121+
</eClassifiers>
122+
<eClassifiers xsi:type="ecore:EClass" name="GenericTracedObject">
123+
<eTypeParameters name="T">
124+
<eBounds eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
125+
</eTypeParameters>
126+
<eGenericSuperTypes eClassifier="#//TracedObject">
127+
<eTypeArguments eClassifier="#//GenericDimension"/>
128+
</eGenericSuperTypes>
129+
</eClassifiers>
130+
<eClassifiers xsi:type="ecore:EClass" name="GenericState" eSuperTypes="#//State"/>
131+
<eClassifiers xsi:type="ecore:EClass" name="GenericTrace">
132+
<eTypeParameters name="StepSubType"/>
133+
<eGenericSuperTypes eClassifier="#//Trace">
134+
<eTypeArguments eTypeParameter="#//GenericTrace/StepSubType"/>
135+
<eTypeArguments eClassifier="#//GenericTracedObject">
136+
<eTypeArguments/>
137+
</eTypeArguments>
138+
<eTypeArguments eClassifier="#//GenericState"/>
139+
</eGenericSuperTypes>
140+
</eClassifiers>
141+
<eClassifiers xsi:type="ecore:EClass" name="GenericAttributeValue" abstract="true"
142+
eSuperTypes="#//Value"/>
143+
<eClassifiers xsi:type="ecore:EClass" name="BooleanAttributeValue" eSuperTypes="#//GenericAttributeValue">
144+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="attributeValue" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"
145+
defaultValueLiteral="false"/>
146+
</eClassifiers>
147+
<eClassifiers xsi:type="ecore:EClass" name="IntegerAttributevalue" eSuperTypes="#//GenericAttributeValue">
148+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="attributeValue" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/>
149+
</eClassifiers>
150+
<eClassifiers xsi:type="ecore:EClass" name="StringAttributeValue" eSuperTypes="#//GenericAttributeValue">
151+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="attributeValue" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
152+
</eClassifiers>
153+
<eClassifiers xsi:type="ecore:EClass" name="LaunchConfiguration">
154+
<eStructuralFeatures xsi:type="ecore:EReference" name="launchconfigurationparameter"
155+
upperBound="-1" eType="#//LaunchConfigurationParameter" containment="true"/>
156+
<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="ecore:EDataType ../../org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/>
157+
</eClassifiers>
158+
<eClassifiers xsi:type="ecore:EClass" name="LaunchConfigurationParameter" abstract="true"/>
159+
<eClassifiers xsi:type="ecore:EClass" name="LanguageNameParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
160+
<eClassifiers xsi:type="ecore:EClass" name="AddonExtensionParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
161+
<eClassifiers xsi:type="ecore:EClass" name="ModelURIParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
162+
<eClassifiers xsi:type="ecore:EClass" name="AnimatorURIParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
163+
<eClassifiers xsi:type="ecore:EClass" name="EntryPointParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
164+
<eClassifiers xsi:type="ecore:EClass" name="InitializationArgumentsParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
165+
<eClassifiers xsi:type="ecore:EClass" name="ModelRootParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
166+
<eClassifiers xsi:type="ecore:EClass" name="InitializationMethodParameter" eSuperTypes="#//LaunchConfigurationParameter"/>
104167
</ecore:EPackage>

0 commit comments

Comments
 (0)