aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore')
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore267
1 files changed, 267 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore
new file mode 100644
index 00000000..a825966e
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.ecore
@@ -0,0 +1,267 @@
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="ALSQuantifiedEx" eSuperTypes="#//ALSTerm">
95 <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//ALSMultiplicity"/>
96 <eStructuralFeatures xsi:type="ecore:EAttribute" name="disj" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
97 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
98 eType="#//ALSVariableDeclaration" containment="true"/>
99 <eStructuralFeatures xsi:type="ecore:EReference" name="expression" eType="#//ALSTerm"
100 containment="true"/>
101 </eClassifiers>
102 <eClassifiers xsi:type="ecore:EClass" name="ALSOr" eSuperTypes="#//ALSTerm">
103 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
104 containment="true"/>
105 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
106 containment="true"/>
107 </eClassifiers>
108 <eClassifiers xsi:type="ecore:EClass" name="ALSIff" eSuperTypes="#//ALSTerm">
109 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
110 containment="true"/>
111 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
112 containment="true"/>
113 </eClassifiers>
114 <eClassifiers xsi:type="ecore:EClass" name="ALSImpl" eSuperTypes="#//ALSTerm">
115 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
116 containment="true"/>
117 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
118 containment="true"/>
119 <eStructuralFeatures xsi:type="ecore:EReference" name="elseOperand" eType="#//ALSTerm"
120 containment="true"/>
121 </eClassifiers>
122 <eClassifiers xsi:type="ecore:EClass" name="ALSAnd" eSuperTypes="#//ALSTerm">
123 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
124 containment="true"/>
125 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
126 containment="true"/>
127 </eClassifiers>
128 <eClassifiers xsi:type="ecore:EClass" name="ALSEquals" eSuperTypes="#//ALSTerm">
129 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
130 containment="true"/>
131 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
132 containment="true"/>
133 </eClassifiers>
134 <eClassifiers xsi:type="ecore:EClass" name="ALSNotEquals" eSuperTypes="#//ALSTerm">
135 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
136 containment="true"/>
137 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
138 containment="true"/>
139 </eClassifiers>
140 <eClassifiers xsi:type="ecore:EClass" name="ALSSubset" eSuperTypes="#//ALSTerm">
141 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
142 containment="true"/>
143 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
144 containment="true"/>
145 </eClassifiers>
146 <eClassifiers xsi:type="ecore:EClass" name="ALSLess" eSuperTypes="#//ALSTerm">
147 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
148 containment="true"/>
149 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
150 containment="true"/>
151 </eClassifiers>
152 <eClassifiers xsi:type="ecore:EClass" name="ALSLeq" eSuperTypes="#//ALSTerm">
153 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
154 containment="true"/>
155 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
156 containment="true"/>
157 </eClassifiers>
158 <eClassifiers xsi:type="ecore:EClass" name="ALSMore" eSuperTypes="#//ALSTerm">
159 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
160 containment="true"/>
161 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
162 containment="true"/>
163 </eClassifiers>
164 <eClassifiers xsi:type="ecore:EClass" name="ALSMeq" eSuperTypes="#//ALSTerm">
165 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
166 containment="true"/>
167 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
168 containment="true"/>
169 </eClassifiers>
170 <eClassifiers xsi:type="ecore:EClass" name="ALSOverride" eSuperTypes="#//ALSTerm">
171 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
172 containment="true"/>
173 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
174 containment="true"/>
175 </eClassifiers>
176 <eClassifiers xsi:type="ecore:EClass" name="ALSRangeRestrictionRight" eSuperTypes="#//ALSTerm">
177 <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//ALSTerm"
178 containment="true"/>
179 <eStructuralFeatures xsi:type="ecore:EReference" name="filter" eType="#//ALSTerm"
180 containment="true"/>
181 </eClassifiers>
182 <eClassifiers xsi:type="ecore:EClass" name="ALSRangeRestrictionLeft" eSuperTypes="#//ALSTerm">
183 <eStructuralFeatures xsi:type="ecore:EReference" name="filter" eType="#//ALSTerm"
184 containment="true"/>
185 <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//ALSTerm"
186 containment="true"/>
187 </eClassifiers>
188 <eClassifiers xsi:type="ecore:EClass" name="ALSJoin" eSuperTypes="#//ALSTerm">
189 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
190 containment="true"/>
191 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
192 containment="true"/>
193 </eClassifiers>
194 <eClassifiers xsi:type="ecore:EClass" name="ALSMinus" eSuperTypes="#//ALSTerm">
195 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
196 containment="true"/>
197 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
198 containment="true"/>
199 </eClassifiers>
200 <eClassifiers xsi:type="ecore:EClass" name="ALSPlus" eSuperTypes="#//ALSTerm">
201 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
202 containment="true"/>
203 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
204 containment="true"/>
205 </eClassifiers>
206 <eClassifiers xsi:type="ecore:EClass" name="ALSIntersection" eSuperTypes="#//ALSTerm">
207 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
208 containment="true"/>
209 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
210 containment="true"/>
211 </eClassifiers>
212 <eClassifiers xsi:type="ecore:EClass" name="ALSDirectProduct" eSuperTypes="#//ALSTerm">
213 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//ALSTerm"
214 containment="true"/>
215 <eStructuralFeatures xsi:type="ecore:EAttribute" name="leftMultiplicit" eType="#//ALSMultiplicity"/>
216 <eStructuralFeatures xsi:type="ecore:EAttribute" name="rightMultiplicit" eType="#//ALSMultiplicity"/>
217 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//ALSTerm"
218 containment="true"/>
219 </eClassifiers>
220 <eClassifiers xsi:type="ecore:EClass" name="ALSNot" eSuperTypes="#//ALSTerm">
221 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
222 containment="true"/>
223 </eClassifiers>
224 <eClassifiers xsi:type="ecore:EClass" name="ALSInverseRelation" eSuperTypes="#//ALSTerm">
225 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
226 containment="true"/>
227 </eClassifiers>
228 <eClassifiers xsi:type="ecore:EClass" name="AlSTransitiveClosure" eSuperTypes="#//ALSTerm">
229 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
230 containment="true"/>
231 </eClassifiers>
232 <eClassifiers xsi:type="ecore:EClass" name="ALSReflectiveTransitiveClosure" eSuperTypes="#//ALSTerm">
233 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
234 containment="true"/>
235 </eClassifiers>
236 <eClassifiers xsi:type="ecore:EClass" name="ALSCardinality" eSuperTypes="#//ALSTerm">
237 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
238 containment="true"/>
239 </eClassifiers>
240 <eClassifiers xsi:type="ecore:EClass" name="ALSUnaryMinus" eSuperTypes="#//ALSTerm">
241 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//ALSTerm"
242 containment="true"/>
243 </eClassifiers>
244 <eClassifiers xsi:type="ecore:EClass" name="ALSSum" eSuperTypes="#//ALSTerm">
245 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
246 eType="#//ALSVariableDeclaration" containment="true"/>
247 <eStructuralFeatures xsi:type="ecore:EReference" name="expression" eType="#//ALSTerm"
248 containment="true"/>
249 </eClassifiers>
250 <eClassifiers xsi:type="ecore:EClass" name="ALSFunctionCall" eSuperTypes="#//ALSTerm">
251 <eStructuralFeatures xsi:type="ecore:EReference" name="referredDefinition" eType="#//ALSDefinition"/>
252 <eStructuralFeatures xsi:type="ecore:EAttribute" name="referredNumericOperator"
253 eType="#//ALSNumericOperator"/>
254 <eStructuralFeatures xsi:type="ecore:EReference" name="params" upperBound="-1"
255 eType="#//ALSTerm" containment="true"/>
256 </eClassifiers>
257 <eClassifiers xsi:type="ecore:EClass" name="ALSNone" eSuperTypes="#//ALSTerm"/>
258 <eClassifiers xsi:type="ecore:EClass" name="ALSIden" eSuperTypes="#//ALSTerm"/>
259 <eClassifiers xsi:type="ecore:EClass" name="ALSUniv" eSuperTypes="#//ALSTerm"/>
260 <eClassifiers xsi:type="ecore:EClass" name="ALSInt" eSuperTypes="#//ALSTerm"/>
261 <eClassifiers xsi:type="ecore:EClass" name="ALSReference" eSuperTypes="#//ALSTerm">
262 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ALSRelationDeclaration"/>
263 </eClassifiers>
264 <eClassifiers xsi:type="ecore:EClass" name="ALSNumberLiteral" eSuperTypes="#//ALSTerm">
265 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
266 </eClassifiers>
267</ecore:EPackage>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 02:07:41 +0000