diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2018-01-17 00:54:44 +0100 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2018-01-17 00:54:44 +0100 |
commit | 0a31d5448e92d915c7163c3985fa0807f67d3f06 (patch) | |
tree | 1a106505c98df6398f2b5fe183771fc315f1e87a /Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |
parent | Scope patched for metamodel specification (diff) | |
download | VIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.tar.gz VIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.tar.zst VIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.zip |
Scoping and linking of Viatra Packages and Patterns is completed
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | 137 |
1 files changed, 135 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore index cd6ed927..90093cf2 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore +++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |||
@@ -9,7 +9,6 @@ | |||
9 | eType="#//Command" containment="true"/> | 9 | eType="#//Command" containment="true"/> |
10 | </eClassifiers> | 10 | </eClassifiers> |
11 | <eClassifiers xsi:type="ecore:EClass" name="Command"/> | 11 | <eClassifiers xsi:type="ecore:EClass" name="Command"/> |
12 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"/> | ||
13 | <eClassifiers xsi:type="ecore:EClass" name="Import"/> | 12 | <eClassifiers xsi:type="ecore:EClass" name="Import"/> |
14 | <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import"> | 13 | <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import"> |
15 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> | 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> |
@@ -17,6 +16,20 @@ | |||
17 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> | 16 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> |
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//PatternModel"/> | 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//PatternModel"/> |
19 | </eClassifiers> | 18 | </eClassifiers> |
19 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> | ||
20 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
21 | </eClassifiers> | ||
22 | <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File"> | ||
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
24 | </eClassifiers> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration"> | ||
26 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" | ||
27 | containment="true"/> | ||
28 | </eClassifiers> | ||
29 | <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> | ||
30 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> | ||
31 | </eClassifiers> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="File"/> | ||
20 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> | 33 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> |
21 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 34 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
22 | eType="#//MetamodelEntry" containment="true"/> | 35 | eType="#//MetamodelEntry" containment="true"/> |
@@ -33,7 +46,6 @@ | |||
33 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> | 46 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> |
34 | </eClassifiers> | 47 | </eClassifiers> |
35 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> | 48 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> |
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
37 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" | 49 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" |
38 | containment="true"/> | 50 | containment="true"/> |
39 | </eClassifiers> | 51 | </eClassifiers> |
@@ -41,4 +53,125 @@ | |||
41 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> | 53 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> |
42 | </eClassifiers> | 54 | </eClassifiers> |
43 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> | 55 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> |
56 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> | ||
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" | ||
58 | eType="#//PartialModelEntry" containment="true"/> | ||
59 | </eClassifiers> | ||
60 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> | ||
61 | <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> | ||
62 | </eClassifiers> | ||
63 | <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> | ||
64 | <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> | ||
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" | ||
66 | eType="#//ModelEntry" containment="true"/> | ||
67 | </eClassifiers> | ||
68 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> | ||
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" | ||
70 | containment="true"/> | ||
71 | </eClassifiers> | ||
72 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> | ||
73 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> | ||
74 | </eClassifiers> | ||
75 | <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> | ||
76 | <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> | ||
77 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | ||
78 | eType="#//PatternEntry" containment="true"/> | ||
79 | </eClassifiers> | ||
80 | <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> | ||
81 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//PatternModel"/> | ||
82 | </eClassifiers> | ||
83 | <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> | ||
84 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" | ||
85 | eType="#//PatternElement" containment="true"/> | ||
86 | </eClassifiers> | ||
87 | <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> | ||
88 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.ecore#//Pattern"/> | ||
89 | </eClassifiers> | ||
90 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> | ||
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" | ||
92 | containment="true"/> | ||
93 | </eClassifiers> | ||
94 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> | ||
95 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> | ||
96 | </eClassifiers> | ||
97 | <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> | ||
98 | <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> | ||
99 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | ||
100 | eType="#//ConfigEntry" containment="true"/> | ||
101 | </eClassifiers> | ||
102 | <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> | ||
103 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" | ||
104 | containment="true"/> | ||
105 | </eClassifiers> | ||
106 | <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"> | ||
107 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
108 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
109 | </eClassifiers> | ||
110 | <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> | ||
111 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> | ||
112 | </eClassifiers> | ||
113 | <eClassifiers xsi:type="ecore:EClass" name="Config"/> | ||
114 | <eClassifiers xsi:type="ecore:EEnum" name="Solver"> | ||
115 | <eLiterals name="SMTSolver" literal="SMTSolver"/> | ||
116 | <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> | ||
117 | <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> | ||
118 | </eClassifiers> | ||
119 | <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> | ||
120 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" | ||
121 | eType="#//TypeScope" containment="true"/> | ||
122 | </eClassifiers> | ||
123 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> | ||
124 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
125 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="greather" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
126 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="greaterOrEqual" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
127 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeReference" | ||
128 | containment="true"/> | ||
129 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="less" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
130 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="lessOrEqual" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
131 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="max" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
132 | </eClassifiers> | ||
133 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> | ||
134 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> | ||
135 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" | ||
136 | containment="true"/> | ||
137 | </eClassifiers> | ||
138 | <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> | ||
139 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> | ||
140 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> | ||
141 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> | ||
142 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> | ||
143 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" | ||
144 | containment="true"/> | ||
145 | </eClassifiers> | ||
146 | <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> | ||
147 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> | ||
148 | </eClassifiers> | ||
149 | <eClassifiers xsi:type="ecore:EClass" name="Scope"/> | ||
150 | <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> | ||
151 | <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> | ||
152 | <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" | ||
153 | containment="true"/> | ||
154 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" | ||
155 | containment="true"/> | ||
156 | <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" | ||
157 | containment="true"/> | ||
158 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" | ||
159 | containment="true"/> | ||
160 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
161 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
162 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> | ||
163 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" | ||
164 | containment="true"/> | ||
165 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | ||
166 | containment="true"/> | ||
167 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" | ||
168 | containment="true"/> | ||
169 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" | ||
170 | containment="true"/> | ||
171 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" | ||
172 | containment="true"/> | ||
173 | </eClassifiers> | ||
174 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> | ||
175 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> | ||
176 | <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> | ||
44 | </ecore:EPackage> | 177 | </ecore:EPackage> |