diff options
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model')
2 files changed, 483 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore new file mode 100644 index 00000000..cc2b3c08 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore | |||
@@ -0,0 +1,272 @@ | |||
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="alloyLanguage" nsURI="http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage" | ||
4 | nsPrefix="alloyLanguage"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="ALSDocument"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="enumDeclarations" upperBound="-1" | ||
7 | eType="#//ALSEnumDeclaration" containment="true"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="signatureBodies" upperBound="-1" | ||
9 | eType="#//ALSSignatureBody" containment="true"/> | ||
10 | <eStructuralFeatures xsi:type="ecore:EReference" name="functionDefinitions" upperBound="-1" | ||
11 | eType="#//ALSFunctionDefinition" containment="true"/> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="relationDefinitions" upperBound="-1" | ||
13 | eType="#//ALSRelationDefinition" containment="true"/> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="factDeclarations" upperBound="-1" | ||
15 | eType="#//ALSFactDeclaration" containment="true"/> | ||
16 | <eStructuralFeatures xsi:type="ecore:EReference" name="runCommand" eType="#//ALSRunCommand" | ||
17 | containment="true"/> | ||
18 | </eClassifiers> | ||
19 | <eClassifiers xsi:type="ecore:EEnum" name="ALSMultiplicity"> | ||
20 | <eLiterals name="all" literal="all"/> | ||
21 | <eLiterals name="no" value="1" literal="no"/> | ||
22 | <eLiterals name="some" value="2" literal="some"/> | ||
23 | <eLiterals name="lone" value="3" literal="lone"/> | ||
24 | <eLiterals name="one" value="4" literal="one"/> | ||
25 | <eLiterals name="set" value="5" literal="set"/> | ||
26 | </eClassifiers> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="ALSRelationDeclaration"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
29 | </eClassifiers> | ||
30 | <eClassifiers xsi:type="ecore:EClass" name="ALSTypeDeclaration" eSuperTypes="#//ALSRelationDeclaration"/> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="ALSEnumDeclaration" eSuperTypes="#//ALSTypeDeclaration"> | ||
32 | <eStructuralFeatures xsi:type="ecore:EReference" name="literal" upperBound="-1" | ||
33 | eType="#//ALSEnumLiteral" containment="true"/> | ||
34 | </eClassifiers> | ||
35 | <eClassifiers xsi:type="ecore:EClass" name="ALSEnumLiteral" eSuperTypes="#//ALSRelationDeclaration"/> | ||
36 | <eClassifiers xsi:type="ecore:EClass" name="ALSSignatureDeclaration" eSuperTypes="#//ALSTypeDeclaration"/> | ||
37 | <eClassifiers xsi:type="ecore:EClass" name="ALSSignatureBody"> | ||
38 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiplicity" eType="#//ALSMultiplicity"/> | ||
39 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
40 | <eStructuralFeatures xsi:type="ecore:EReference" name="declarations" upperBound="-1" | ||
41 | eType="#//ALSSignatureDeclaration" containment="true"/> | ||
42 | <eStructuralFeatures xsi:type="ecore:EReference" name="supertype" eType="#//ALSSignatureDeclaration"/> | ||
43 | <eStructuralFeatures xsi:type="ecore:EReference" name="superset" unique="false" | ||
44 | upperBound="-1" eType="#//ALSSignatureDeclaration"/> | ||
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="fields" upperBound="-1" | ||
46 | eType="#//ALSFieldDeclaration" containment="true"/> | ||
47 | </eClassifiers> | ||
48 | <eClassifiers xsi:type="ecore:EClass" name="ALSFieldDeclaration" eSuperTypes="#//ALSRelationDeclaration"> | ||
49 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiplicity" eType="#//ALSMultiplicity"/> | ||
50 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ALSTerm" | ||
51 | containment="true"/> | ||
52 | </eClassifiers> | ||
53 | <eClassifiers xsi:type="ecore:EClass" name="ALSDefinition"> | ||
54 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" | ||
56 | eType="#//ALSVariableDeclaration" containment="true"/> | ||
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//ALSTerm" | ||
58 | containment="true"/> | ||
59 | </eClassifiers> | ||
60 | <eClassifiers xsi:type="ecore:EClass" name="ALSFunctionDefinition" eSuperTypes="#//ALSDefinition"> | ||
61 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ALSTerm" | ||
62 | containment="true"/> | ||
63 | </eClassifiers> | ||
64 | <eClassifiers xsi:type="ecore:EClass" name="ALSRelationDefinition" eSuperTypes="#//ALSDefinition"/> | ||
65 | <eClassifiers xsi:type="ecore:EClass" name="ALSFactDeclaration"> | ||
66 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
67 | <eStructuralFeatures xsi:type="ecore:EReference" name="term" eType="#//ALSTerm" | ||
68 | containment="true"/> | ||
69 | </eClassifiers> | ||
70 | <eClassifiers xsi:type="ecore:EClass" name="ALSTerm"/> | ||
71 | <eClassifiers xsi:type="ecore:EEnum" name="ALSNumericOperator"> | ||
72 | <eLiterals name="plus" literal="plus"/> | ||
73 | <eLiterals name="sub" value="1" literal="sub"/> | ||
74 | <eLiterals name="mul" value="2" literal="mul"/> | ||
75 | <eLiterals name="rem" value="3" literal="rem"/> | ||
76 | <eLiterals name="div" value="4" literal="div"/> | ||
77 | </eClassifiers> | ||
78 | <eClassifiers xsi:type="ecore:EClass" name="ALSVariableDeclaration" eSuperTypes="#//ALSRelationDeclaration"> | ||
79 | <eStructuralFeatures xsi:type="ecore:EReference" name="range" eType="#//ALSTerm" | ||
80 | containment="true"/> | ||
81 | </eClassifiers> | ||
82 | <eClassifiers xsi:type="ecore:EClass" name="ALSRunCommand"> | ||
83 | <eStructuralFeatures xsi:type="ecore:EReference" name="typeScopes" upperBound="-1" | ||
84 | eType="#//ALSTypeScope" containment="true"/> | ||
85 | </eClassifiers> | ||
86 | <eClassifiers xsi:type="ecore:EClass" name="ALSTypeScope"> | ||
87 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
88 | </eClassifiers> | ||
89 | <eClassifiers xsi:type="ecore:EClass" name="ALSSigScope" eSuperTypes="#//ALSTypeScope"> | ||
90 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactly" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ALSSignatureDeclaration"/> | ||
92 | </eClassifiers> | ||
93 | <eClassifiers xsi:type="ecore:EClass" name="ALSIntScope" eSuperTypes="#//ALSTypeScope"/> | ||
94 | <eClassifiers xsi:type="ecore:EClass" name="ALSStringScope" eSuperTypes="#//ALSTypeScope"/> | ||
95 | <eClassifiers xsi:type="ecore:EClass" name="ALSQuantifiedEx" eSuperTypes="#//ALSTerm"> | ||
96 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//ALSMultiplicity"/> | ||
97 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="disj" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
98 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" | ||
99 | eType="#//ALSVariableDeclaration" containment="true"/> | ||
100 | <eStructuralFeatures xsi:type="ecore:EReference" name="expression" eType="#//ALSTerm" | ||
101 | containment="true"/> | ||
102 | </eClassifiers> | ||
103 | <eClassifiers xsi:type="ecore:EClass" name="ALSOr" eSuperTypes="#//ALSTerm"> | ||
104 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
105 | containment="true"/> | ||
106 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
107 | containment="true"/> | ||
108 | </eClassifiers> | ||
109 | <eClassifiers xsi:type="ecore:EClass" name="ALSIff" eSuperTypes="#//ALSTerm"> | ||
110 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
111 | containment="true"/> | ||
112 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
113 | containment="true"/> | ||
114 | </eClassifiers> | ||
115 | <eClassifiers xsi:type="ecore:EClass" name="ALSImpl" eSuperTypes="#//ALSTerm"> | ||
116 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
117 | containment="true"/> | ||
118 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
119 | containment="true"/> | ||
120 | <eStructuralFeatures xsi:type="ecore:EReference" name="elseOperand" eType="#//ALSTerm" | ||
121 | containment="true"/> | ||
122 | </eClassifiers> | ||
123 | <eClassifiers xsi:type="ecore:EClass" name="ALSAnd" eSuperTypes="#//ALSTerm"> | ||
124 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
125 | containment="true"/> | ||
126 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
127 | containment="true"/> | ||
128 | </eClassifiers> | ||
129 | <eClassifiers xsi:type="ecore:EClass" name="ALSEquals" eSuperTypes="#//ALSTerm"> | ||
130 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
131 | containment="true"/> | ||
132 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
133 | containment="true"/> | ||
134 | </eClassifiers> | ||
135 | <eClassifiers xsi:type="ecore:EClass" name="ALSNotEquals" eSuperTypes="#//ALSTerm"> | ||
136 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
137 | containment="true"/> | ||
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
139 | containment="true"/> | ||
140 | </eClassifiers> | ||
141 | <eClassifiers xsi:type="ecore:EClass" name="ALSSubset" eSuperTypes="#//ALSTerm"> | ||
142 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
143 | containment="true"/> | ||
144 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
145 | containment="true"/> | ||
146 | </eClassifiers> | ||
147 | <eClassifiers xsi:type="ecore:EClass" name="ALSLess" eSuperTypes="#//ALSTerm"> | ||
148 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
149 | containment="true"/> | ||
150 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
151 | containment="true"/> | ||
152 | </eClassifiers> | ||
153 | <eClassifiers xsi:type="ecore:EClass" name="ALSLeq" eSuperTypes="#//ALSTerm"> | ||
154 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
155 | containment="true"/> | ||
156 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
157 | containment="true"/> | ||
158 | </eClassifiers> | ||
159 | <eClassifiers xsi:type="ecore:EClass" name="ALSMore" eSuperTypes="#//ALSTerm"> | ||
160 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
161 | containment="true"/> | ||
162 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
163 | containment="true"/> | ||
164 | </eClassifiers> | ||
165 | <eClassifiers xsi:type="ecore:EClass" name="ALSMeq" eSuperTypes="#//ALSTerm"> | ||
166 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
167 | containment="true"/> | ||
168 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
169 | containment="true"/> | ||
170 | </eClassifiers> | ||
171 | <eClassifiers xsi:type="ecore:EClass" name="ALSOverride" eSuperTypes="#//ALSTerm"> | ||
172 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
173 | containment="true"/> | ||
174 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
175 | containment="true"/> | ||
176 | </eClassifiers> | ||
177 | <eClassifiers xsi:type="ecore:EClass" name="ALSRangeRestrictionRight" eSuperTypes="#//ALSTerm"> | ||
178 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//ALSTerm" | ||
179 | containment="true"/> | ||
180 | <eStructuralFeatures xsi:type="ecore:EReference" name="filter" eType="#//ALSTerm" | ||
181 | containment="true"/> | ||
182 | </eClassifiers> | ||
183 | <eClassifiers xsi:type="ecore:EClass" name="ALSRangeRestrictionLeft" eSuperTypes="#//ALSTerm"> | ||
184 | <eStructuralFeatures xsi:type="ecore:EReference" name="filter" eType="#//ALSTerm" | ||
185 | containment="true"/> | ||
186 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//ALSTerm" | ||
187 | containment="true"/> | ||
188 | </eClassifiers> | ||
189 | <eClassifiers xsi:type="ecore:EClass" name="ALSJoin" eSuperTypes="#//ALSTerm"> | ||
190 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
191 | containment="true"/> | ||
192 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
193 | containment="true"/> | ||
194 | </eClassifiers> | ||
195 | <eClassifiers xsi:type="ecore:EClass" name="ALSMinus" eSuperTypes="#//ALSTerm"> | ||
196 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
197 | containment="true"/> | ||
198 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
199 | containment="true"/> | ||
200 | </eClassifiers> | ||
201 | <eClassifiers xsi:type="ecore:EClass" name="ALSPlus" eSuperTypes="#//ALSTerm"> | ||
202 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
203 | containment="true"/> | ||
204 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
205 | containment="true"/> | ||
206 | </eClassifiers> | ||
207 | <eClassifiers xsi:type="ecore:EClass" name="ALSIntersection" eSuperTypes="#//ALSTerm"> | ||
208 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
209 | containment="true"/> | ||
210 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
211 | containment="true"/> | ||
212 | </eClassifiers> | ||
213 | <eClassifiers xsi:type="ecore:EClass" name="ALSDirectProduct" eSuperTypes="#//ALSTerm"> | ||
214 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm" | ||
215 | containment="true"/> | ||
216 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="leftMultiplicit" eType="#//ALSMultiplicity"/> | ||
217 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="rightMultiplicit" eType="#//ALSMultiplicity"/> | ||
218 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm" | ||
219 | containment="true"/> | ||
220 | </eClassifiers> | ||
221 | <eClassifiers xsi:type="ecore:EClass" name="ALSNot" eSuperTypes="#//ALSTerm"> | ||
222 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
223 | containment="true"/> | ||
224 | </eClassifiers> | ||
225 | <eClassifiers xsi:type="ecore:EClass" name="ALSInverseRelation" eSuperTypes="#//ALSTerm"> | ||
226 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
227 | containment="true"/> | ||
228 | </eClassifiers> | ||
229 | <eClassifiers xsi:type="ecore:EClass" name="AlSTransitiveClosure" eSuperTypes="#//ALSTerm"> | ||
230 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
231 | containment="true"/> | ||
232 | </eClassifiers> | ||
233 | <eClassifiers xsi:type="ecore:EClass" name="ALSReflectiveTransitiveClosure" eSuperTypes="#//ALSTerm"> | ||
234 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
235 | containment="true"/> | ||
236 | </eClassifiers> | ||
237 | <eClassifiers xsi:type="ecore:EClass" name="ALSCardinality" eSuperTypes="#//ALSTerm"> | ||
238 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
239 | containment="true"/> | ||
240 | </eClassifiers> | ||
241 | <eClassifiers xsi:type="ecore:EClass" name="ALSUnaryMinus" eSuperTypes="#//ALSTerm"> | ||
242 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm" | ||
243 | containment="true"/> | ||
244 | </eClassifiers> | ||
245 | <eClassifiers xsi:type="ecore:EClass" name="ALSSum" eSuperTypes="#//ALSTerm"> | ||
246 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" | ||
247 | eType="#//ALSVariableDeclaration" containment="true"/> | ||
248 | <eStructuralFeatures xsi:type="ecore:EReference" name="expression" eType="#//ALSTerm" | ||
249 | containment="true"/> | ||
250 | </eClassifiers> | ||
251 | <eClassifiers xsi:type="ecore:EClass" name="ALSFunctionCall" eSuperTypes="#//ALSTerm"> | ||
252 | <eStructuralFeatures xsi:type="ecore:EReference" name="referredDefinition" eType="#//ALSDefinition"/> | ||
253 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="referredNumericOperator" | ||
254 | eType="#//ALSNumericOperator"/> | ||
255 | <eStructuralFeatures xsi:type="ecore:EReference" name="params" upperBound="-1" | ||
256 | eType="#//ALSTerm" containment="true"/> | ||
257 | </eClassifiers> | ||
258 | <eClassifiers xsi:type="ecore:EClass" name="ALSNone" eSuperTypes="#//ALSTerm"/> | ||
259 | <eClassifiers xsi:type="ecore:EClass" name="ALSIden" eSuperTypes="#//ALSTerm"/> | ||
260 | <eClassifiers xsi:type="ecore:EClass" name="ALSUniv" eSuperTypes="#//ALSTerm"/> | ||
261 | <eClassifiers xsi:type="ecore:EClass" name="ALSInt" eSuperTypes="#//ALSTerm"/> | ||
262 | <eClassifiers xsi:type="ecore:EClass" name="ALSString" eSuperTypes="#//ALSTerm"/> | ||
263 | <eClassifiers xsi:type="ecore:EClass" name="ALSReference" eSuperTypes="#//ALSTerm"> | ||
264 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ALSRelationDeclaration"/> | ||
265 | </eClassifiers> | ||
266 | <eClassifiers xsi:type="ecore:EClass" name="ALSNumberLiteral" eSuperTypes="#//ALSTerm"> | ||
267 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
268 | </eClassifiers> | ||
269 | <eClassifiers xsi:type="ecore:EClass" name="ALSStringLiteral" eSuperTypes="#//ALSTerm"> | ||
270 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
271 | </eClassifiers> | ||
272 | </ecore:EPackage> | ||
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel new file mode 100644 index 00000000..ae44daf7 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel | |||
@@ -0,0 +1,211 @@ | |||
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="/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen" | ||
4 | editDirectory="/hu.bme.mit.inf.dslreasoner.alloy.language.edit/src" editorDirectory="/hu.bme.mit.inf.dslreasoner.alloy.language.editor/src" | ||
5 | modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true" | ||
6 | modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
7 | complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit" | ||
8 | editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.13"> | ||
9 | <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true" | ||
10 | fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/"> | ||
11 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity"> | ||
12 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/all"/> | ||
13 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/no"/> | ||
14 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/some"/> | ||
15 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/lone"/> | ||
16 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/one"/> | ||
17 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSMultiplicity/set"/> | ||
18 | </genEnums> | ||
19 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSNumericOperator"> | ||
20 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSNumericOperator/plus"/> | ||
21 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSNumericOperator/sub"/> | ||
22 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSNumericOperator/mul"/> | ||
23 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSNumericOperator/rem"/> | ||
24 | <genEnumLiterals ecoreEnumLiteral="AlloyLanguage.ecore#//ALSNumericOperator/div"/> | ||
25 | </genEnums> | ||
26 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSDocument"> | ||
27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/enumDeclarations"/> | ||
28 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/signatureBodies"/> | ||
29 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/functionDefinitions"/> | ||
30 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/relationDefinitions"/> | ||
31 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/factDeclarations"/> | ||
32 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDocument/runCommand"/> | ||
33 | </genClasses> | ||
34 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSRelationDeclaration"> | ||
35 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSRelationDeclaration/name"/> | ||
36 | </genClasses> | ||
37 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSTypeDeclaration"/> | ||
38 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSEnumDeclaration"> | ||
39 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSEnumDeclaration/literal"/> | ||
40 | </genClasses> | ||
41 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSEnumLiteral"/> | ||
42 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSSignatureDeclaration"/> | ||
43 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSSignatureBody"> | ||
44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSSignatureBody/multiplicity"/> | ||
45 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSSignatureBody/abstract"/> | ||
46 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSignatureBody/declarations"/> | ||
47 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSignatureBody/supertype"/> | ||
48 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSignatureBody/superset"/> | ||
49 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSignatureBody/fields"/> | ||
50 | </genClasses> | ||
51 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSFieldDeclaration"> | ||
52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSFieldDeclaration/multiplicity"/> | ||
53 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSFieldDeclaration/type"/> | ||
54 | </genClasses> | ||
55 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSDefinition"> | ||
56 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSDefinition/name"/> | ||
57 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDefinition/variables"/> | ||
58 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDefinition/value"/> | ||
59 | </genClasses> | ||
60 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSFunctionDefinition"> | ||
61 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSFunctionDefinition/type"/> | ||
62 | </genClasses> | ||
63 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSRelationDefinition"/> | ||
64 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSFactDeclaration"> | ||
65 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSFactDeclaration/name"/> | ||
66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSFactDeclaration/term"/> | ||
67 | </genClasses> | ||
68 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSTerm"/> | ||
69 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSVariableDeclaration"> | ||
70 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSVariableDeclaration/range"/> | ||
71 | </genClasses> | ||
72 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSRunCommand"> | ||
73 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSRunCommand/typeScopes"/> | ||
74 | </genClasses> | ||
75 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSTypeScope"> | ||
76 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSTypeScope/number"/> | ||
77 | </genClasses> | ||
78 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSSigScope"> | ||
79 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSSigScope/exactly"/> | ||
80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSigScope/type"/> | ||
81 | </genClasses> | ||
82 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIntScope"/> | ||
83 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringScope"/> | ||
84 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSQuantifiedEx"> | ||
85 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/type"/> | ||
86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/disj"/> | ||
87 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSQuantifiedEx/variables"/> | ||
88 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSQuantifiedEx/expression"/> | ||
89 | </genClasses> | ||
90 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSOr"> | ||
91 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSOr/leftOperand"/> | ||
92 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSOr/rightOperand"/> | ||
93 | </genClasses> | ||
94 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIff"> | ||
95 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSIff/leftOperand"/> | ||
96 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSIff/rightOperand"/> | ||
97 | </genClasses> | ||
98 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSImpl"> | ||
99 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSImpl/leftOperand"/> | ||
100 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSImpl/rightOperand"/> | ||
101 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSImpl/elseOperand"/> | ||
102 | </genClasses> | ||
103 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSAnd"> | ||
104 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSAnd/leftOperand"/> | ||
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSAnd/rightOperand"/> | ||
106 | </genClasses> | ||
107 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSEquals"> | ||
108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSEquals/leftOperand"/> | ||
109 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSEquals/rightOperand"/> | ||
110 | </genClasses> | ||
111 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNotEquals"> | ||
112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSNotEquals/leftOperand"/> | ||
113 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSNotEquals/rightOperand"/> | ||
114 | </genClasses> | ||
115 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSSubset"> | ||
116 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSubset/leftOperand"/> | ||
117 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSubset/rightOperand"/> | ||
118 | </genClasses> | ||
119 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSLess"> | ||
120 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSLess/leftOperand"/> | ||
121 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSLess/rightOperand"/> | ||
122 | </genClasses> | ||
123 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSLeq"> | ||
124 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSLeq/leftOperand"/> | ||
125 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSLeq/rightOperand"/> | ||
126 | </genClasses> | ||
127 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSMore"> | ||
128 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMore/leftOperand"/> | ||
129 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMore/rightOperand"/> | ||
130 | </genClasses> | ||
131 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSMeq"> | ||
132 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMeq/leftOperand"/> | ||
133 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMeq/rightOperand"/> | ||
134 | </genClasses> | ||
135 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSOverride"> | ||
136 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSOverride/leftOperand"/> | ||
137 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSOverride/rightOperand"/> | ||
138 | </genClasses> | ||
139 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSRangeRestrictionRight"> | ||
140 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSRangeRestrictionRight/relation"/> | ||
141 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSRangeRestrictionRight/filter"/> | ||
142 | </genClasses> | ||
143 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSRangeRestrictionLeft"> | ||
144 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSRangeRestrictionLeft/filter"/> | ||
145 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSRangeRestrictionLeft/relation"/> | ||
146 | </genClasses> | ||
147 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSJoin"> | ||
148 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSJoin/leftOperand"/> | ||
149 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSJoin/rightOperand"/> | ||
150 | </genClasses> | ||
151 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSMinus"> | ||
152 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMinus/leftOperand"/> | ||
153 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSMinus/rightOperand"/> | ||
154 | </genClasses> | ||
155 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSPlus"> | ||
156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSPlus/leftOperand"/> | ||
157 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSPlus/rightOperand"/> | ||
158 | </genClasses> | ||
159 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIntersection"> | ||
160 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSIntersection/leftOperand"/> | ||
161 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSIntersection/rightOperand"/> | ||
162 | </genClasses> | ||
163 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSDirectProduct"> | ||
164 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDirectProduct/leftOperand"/> | ||
165 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSDirectProduct/leftMultiplicit"/> | ||
166 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSDirectProduct/rightMultiplicit"/> | ||
167 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSDirectProduct/rightOperand"/> | ||
168 | </genClasses> | ||
169 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNot"> | ||
170 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSNot/operand"/> | ||
171 | </genClasses> | ||
172 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSInverseRelation"> | ||
173 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSInverseRelation/operand"/> | ||
174 | </genClasses> | ||
175 | <genClasses ecoreClass="AlloyLanguage.ecore#//AlSTransitiveClosure"> | ||
176 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//AlSTransitiveClosure/operand"/> | ||
177 | </genClasses> | ||
178 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSReflectiveTransitiveClosure"> | ||
179 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSReflectiveTransitiveClosure/operand"/> | ||
180 | </genClasses> | ||
181 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSCardinality"> | ||
182 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSCardinality/operand"/> | ||
183 | </genClasses> | ||
184 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSUnaryMinus"> | ||
185 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSUnaryMinus/operand"/> | ||
186 | </genClasses> | ||
187 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSSum"> | ||
188 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSum/variables"/> | ||
189 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSum/expression"/> | ||
190 | </genClasses> | ||
191 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSFunctionCall"> | ||
192 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSFunctionCall/referredDefinition"/> | ||
193 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSFunctionCall/referredNumericOperator"/> | ||
194 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSFunctionCall/params"/> | ||
195 | </genClasses> | ||
196 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNone"/> | ||
197 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIden"/> | ||
198 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSUniv"/> | ||
199 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSInt"/> | ||
200 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSString"/> | ||
201 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSReference"> | ||
202 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSReference/referred"/> | ||
203 | </genClasses> | ||
204 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNumberLiteral"> | ||
205 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSNumberLiteral/value"/> | ||
206 | </genClasses> | ||
207 | <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringLiteral"> | ||
208 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSStringLiteral/value"/> | ||
209 | </genClasses> | ||
210 | </genPackages> | ||
211 | </genmodel:GenModel> | ||