diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | 393 |
1 files changed, 393 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java new file mode 100644 index 00000000..0d438a05 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |||
@@ -0,0 +1,393 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; | ||
4 | |||
5 | import org.eclipse.emf.ecore.EFactory; | ||
6 | |||
7 | /** | ||
8 | * <!-- begin-user-doc --> | ||
9 | * The <b>Factory</b> for the model. | ||
10 | * It provides a create method for each non-abstract class of the model. | ||
11 | * <!-- end-user-doc --> | ||
12 | * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage | ||
13 | * @generated | ||
14 | */ | ||
15 | public interface LogiclanguageFactory extends EFactory { | ||
16 | /** | ||
17 | * The singleton instance of the factory. | ||
18 | * <!-- begin-user-doc --> | ||
19 | * <!-- end-user-doc --> | ||
20 | * @generated | ||
21 | */ | ||
22 | LogiclanguageFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguageFactoryImpl.init(); | ||
23 | |||
24 | /** | ||
25 | * Returns a new object of class '<em>Defined Element</em>'. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <!-- end-user-doc --> | ||
28 | * @return a new object of class '<em>Defined Element</em>'. | ||
29 | * @generated | ||
30 | */ | ||
31 | DefinedElement createDefinedElement(); | ||
32 | |||
33 | /** | ||
34 | * Returns a new object of class '<em>Type Definition</em>'. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @return a new object of class '<em>Type Definition</em>'. | ||
38 | * @generated | ||
39 | */ | ||
40 | TypeDefinition createTypeDefinition(); | ||
41 | |||
42 | /** | ||
43 | * Returns a new object of class '<em>Complex Type Reference</em>'. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @return a new object of class '<em>Complex Type Reference</em>'. | ||
47 | * @generated | ||
48 | */ | ||
49 | ComplexTypeReference createComplexTypeReference(); | ||
50 | |||
51 | /** | ||
52 | * Returns a new object of class '<em>Int Type Reference</em>'. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @return a new object of class '<em>Int Type Reference</em>'. | ||
56 | * @generated | ||
57 | */ | ||
58 | IntTypeReference createIntTypeReference(); | ||
59 | |||
60 | /** | ||
61 | * Returns a new object of class '<em>Bool Type Reference</em>'. | ||
62 | * <!-- begin-user-doc --> | ||
63 | * <!-- end-user-doc --> | ||
64 | * @return a new object of class '<em>Bool Type Reference</em>'. | ||
65 | * @generated | ||
66 | */ | ||
67 | BoolTypeReference createBoolTypeReference(); | ||
68 | |||
69 | /** | ||
70 | * Returns a new object of class '<em>Real Type Reference</em>'. | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @return a new object of class '<em>Real Type Reference</em>'. | ||
74 | * @generated | ||
75 | */ | ||
76 | RealTypeReference createRealTypeReference(); | ||
77 | |||
78 | /** | ||
79 | * Returns a new object of class '<em>Symbolic Value</em>'. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @return a new object of class '<em>Symbolic Value</em>'. | ||
83 | * @generated | ||
84 | */ | ||
85 | SymbolicValue createSymbolicValue(); | ||
86 | |||
87 | /** | ||
88 | * Returns a new object of class '<em>Int Literal</em>'. | ||
89 | * <!-- begin-user-doc --> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @return a new object of class '<em>Int Literal</em>'. | ||
92 | * @generated | ||
93 | */ | ||
94 | IntLiteral createIntLiteral(); | ||
95 | |||
96 | /** | ||
97 | * Returns a new object of class '<em>Bool Literal</em>'. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @return a new object of class '<em>Bool Literal</em>'. | ||
101 | * @generated | ||
102 | */ | ||
103 | BoolLiteral createBoolLiteral(); | ||
104 | |||
105 | /** | ||
106 | * Returns a new object of class '<em>Real Literal</em>'. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @return a new object of class '<em>Real Literal</em>'. | ||
110 | * @generated | ||
111 | */ | ||
112 | RealLiteral createRealLiteral(); | ||
113 | |||
114 | /** | ||
115 | * Returns a new object of class '<em>Variable</em>'. | ||
116 | * <!-- begin-user-doc --> | ||
117 | * <!-- end-user-doc --> | ||
118 | * @return a new object of class '<em>Variable</em>'. | ||
119 | * @generated | ||
120 | */ | ||
121 | Variable createVariable(); | ||
122 | |||
123 | /** | ||
124 | * Returns a new object of class '<em>Exists</em>'. | ||
125 | * <!-- begin-user-doc --> | ||
126 | * <!-- end-user-doc --> | ||
127 | * @return a new object of class '<em>Exists</em>'. | ||
128 | * @generated | ||
129 | */ | ||
130 | Exists createExists(); | ||
131 | |||
132 | /** | ||
133 | * Returns a new object of class '<em>Forall</em>'. | ||
134 | * <!-- begin-user-doc --> | ||
135 | * <!-- end-user-doc --> | ||
136 | * @return a new object of class '<em>Forall</em>'. | ||
137 | * @generated | ||
138 | */ | ||
139 | Forall createForall(); | ||
140 | |||
141 | /** | ||
142 | * Returns a new object of class '<em>And</em>'. | ||
143 | * <!-- begin-user-doc --> | ||
144 | * <!-- end-user-doc --> | ||
145 | * @return a new object of class '<em>And</em>'. | ||
146 | * @generated | ||
147 | */ | ||
148 | And createAnd(); | ||
149 | |||
150 | /** | ||
151 | * Returns a new object of class '<em>Or</em>'. | ||
152 | * <!-- begin-user-doc --> | ||
153 | * <!-- end-user-doc --> | ||
154 | * @return a new object of class '<em>Or</em>'. | ||
155 | * @generated | ||
156 | */ | ||
157 | Or createOr(); | ||
158 | |||
159 | /** | ||
160 | * Returns a new object of class '<em>Impl</em>'. | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @return a new object of class '<em>Impl</em>'. | ||
164 | * @generated | ||
165 | */ | ||
166 | Impl createImpl(); | ||
167 | |||
168 | /** | ||
169 | * Returns a new object of class '<em>Not</em>'. | ||
170 | * <!-- begin-user-doc --> | ||
171 | * <!-- end-user-doc --> | ||
172 | * @return a new object of class '<em>Not</em>'. | ||
173 | * @generated | ||
174 | */ | ||
175 | Not createNot(); | ||
176 | |||
177 | /** | ||
178 | * Returns a new object of class '<em>Iff</em>'. | ||
179 | * <!-- begin-user-doc --> | ||
180 | * <!-- end-user-doc --> | ||
181 | * @return a new object of class '<em>Iff</em>'. | ||
182 | * @generated | ||
183 | */ | ||
184 | Iff createIff(); | ||
185 | |||
186 | /** | ||
187 | * Returns a new object of class '<em>Equals</em>'. | ||
188 | * <!-- begin-user-doc --> | ||
189 | * <!-- end-user-doc --> | ||
190 | * @return a new object of class '<em>Equals</em>'. | ||
191 | * @generated | ||
192 | */ | ||
193 | Equals createEquals(); | ||
194 | |||
195 | /** | ||
196 | * Returns a new object of class '<em>Distinct</em>'. | ||
197 | * <!-- begin-user-doc --> | ||
198 | * <!-- end-user-doc --> | ||
199 | * @return a new object of class '<em>Distinct</em>'. | ||
200 | * @generated | ||
201 | */ | ||
202 | Distinct createDistinct(); | ||
203 | |||
204 | /** | ||
205 | * Returns a new object of class '<em>Less Than</em>'. | ||
206 | * <!-- begin-user-doc --> | ||
207 | * <!-- end-user-doc --> | ||
208 | * @return a new object of class '<em>Less Than</em>'. | ||
209 | * @generated | ||
210 | */ | ||
211 | LessThan createLessThan(); | ||
212 | |||
213 | /** | ||
214 | * Returns a new object of class '<em>More Than</em>'. | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @return a new object of class '<em>More Than</em>'. | ||
218 | * @generated | ||
219 | */ | ||
220 | MoreThan createMoreThan(); | ||
221 | |||
222 | /** | ||
223 | * Returns a new object of class '<em>Less Or Equal Than</em>'. | ||
224 | * <!-- begin-user-doc --> | ||
225 | * <!-- end-user-doc --> | ||
226 | * @return a new object of class '<em>Less Or Equal Than</em>'. | ||
227 | * @generated | ||
228 | */ | ||
229 | LessOrEqualThan createLessOrEqualThan(); | ||
230 | |||
231 | /** | ||
232 | * Returns a new object of class '<em>More Or Equal Than</em>'. | ||
233 | * <!-- begin-user-doc --> | ||
234 | * <!-- end-user-doc --> | ||
235 | * @return a new object of class '<em>More Or Equal Than</em>'. | ||
236 | * @generated | ||
237 | */ | ||
238 | MoreOrEqualThan createMoreOrEqualThan(); | ||
239 | |||
240 | /** | ||
241 | * Returns a new object of class '<em>Plus</em>'. | ||
242 | * <!-- begin-user-doc --> | ||
243 | * <!-- end-user-doc --> | ||
244 | * @return a new object of class '<em>Plus</em>'. | ||
245 | * @generated | ||
246 | */ | ||
247 | Plus createPlus(); | ||
248 | |||
249 | /** | ||
250 | * Returns a new object of class '<em>Minus</em>'. | ||
251 | * <!-- begin-user-doc --> | ||
252 | * <!-- end-user-doc --> | ||
253 | * @return a new object of class '<em>Minus</em>'. | ||
254 | * @generated | ||
255 | */ | ||
256 | Minus createMinus(); | ||
257 | |||
258 | /** | ||
259 | * Returns a new object of class '<em>Multiply</em>'. | ||
260 | * <!-- begin-user-doc --> | ||
261 | * <!-- end-user-doc --> | ||
262 | * @return a new object of class '<em>Multiply</em>'. | ||
263 | * @generated | ||
264 | */ | ||
265 | Multiply createMultiply(); | ||
266 | |||
267 | /** | ||
268 | * Returns a new object of class '<em>Divison</em>'. | ||
269 | * <!-- begin-user-doc --> | ||
270 | * <!-- end-user-doc --> | ||
271 | * @return a new object of class '<em>Divison</em>'. | ||
272 | * @generated | ||
273 | */ | ||
274 | Divison createDivison(); | ||
275 | |||
276 | /** | ||
277 | * Returns a new object of class '<em>Mod</em>'. | ||
278 | * <!-- begin-user-doc --> | ||
279 | * <!-- end-user-doc --> | ||
280 | * @return a new object of class '<em>Mod</em>'. | ||
281 | * @generated | ||
282 | */ | ||
283 | Mod createMod(); | ||
284 | |||
285 | /** | ||
286 | * Returns a new object of class '<em>Assertion</em>'. | ||
287 | * <!-- begin-user-doc --> | ||
288 | * <!-- end-user-doc --> | ||
289 | * @return a new object of class '<em>Assertion</em>'. | ||
290 | * @generated | ||
291 | */ | ||
292 | Assertion createAssertion(); | ||
293 | |||
294 | /** | ||
295 | * Returns a new object of class '<em>Constant Definition</em>'. | ||
296 | * <!-- begin-user-doc --> | ||
297 | * <!-- end-user-doc --> | ||
298 | * @return a new object of class '<em>Constant Definition</em>'. | ||
299 | * @generated | ||
300 | */ | ||
301 | ConstantDefinition createConstantDefinition(); | ||
302 | |||
303 | /** | ||
304 | * Returns a new object of class '<em>Relation Definition</em>'. | ||
305 | * <!-- begin-user-doc --> | ||
306 | * <!-- end-user-doc --> | ||
307 | * @return a new object of class '<em>Relation Definition</em>'. | ||
308 | * @generated | ||
309 | */ | ||
310 | RelationDefinition createRelationDefinition(); | ||
311 | |||
312 | /** | ||
313 | * Returns a new object of class '<em>Function Definition</em>'. | ||
314 | * <!-- begin-user-doc --> | ||
315 | * <!-- end-user-doc --> | ||
316 | * @return a new object of class '<em>Function Definition</em>'. | ||
317 | * @generated | ||
318 | */ | ||
319 | FunctionDefinition createFunctionDefinition(); | ||
320 | |||
321 | /** | ||
322 | * Returns a new object of class '<em>If Then Else</em>'. | ||
323 | * <!-- begin-user-doc --> | ||
324 | * <!-- end-user-doc --> | ||
325 | * @return a new object of class '<em>If Then Else</em>'. | ||
326 | * @generated | ||
327 | */ | ||
328 | IfThenElse createIfThenElse(); | ||
329 | |||
330 | /** | ||
331 | * Returns a new object of class '<em>Constant Declaration</em>'. | ||
332 | * <!-- begin-user-doc --> | ||
333 | * <!-- end-user-doc --> | ||
334 | * @return a new object of class '<em>Constant Declaration</em>'. | ||
335 | * @generated | ||
336 | */ | ||
337 | ConstantDeclaration createConstantDeclaration(); | ||
338 | |||
339 | /** | ||
340 | * Returns a new object of class '<em>Relation Declaration</em>'. | ||
341 | * <!-- begin-user-doc --> | ||
342 | * <!-- end-user-doc --> | ||
343 | * @return a new object of class '<em>Relation Declaration</em>'. | ||
344 | * @generated | ||
345 | */ | ||
346 | RelationDeclaration createRelationDeclaration(); | ||
347 | |||
348 | /** | ||
349 | * Returns a new object of class '<em>Function Declaration</em>'. | ||
350 | * <!-- begin-user-doc --> | ||
351 | * <!-- end-user-doc --> | ||
352 | * @return a new object of class '<em>Function Declaration</em>'. | ||
353 | * @generated | ||
354 | */ | ||
355 | FunctionDeclaration createFunctionDeclaration(); | ||
356 | |||
357 | /** | ||
358 | * Returns a new object of class '<em>Type Declaration</em>'. | ||
359 | * <!-- begin-user-doc --> | ||
360 | * <!-- end-user-doc --> | ||
361 | * @return a new object of class '<em>Type Declaration</em>'. | ||
362 | * @generated | ||
363 | */ | ||
364 | TypeDeclaration createTypeDeclaration(); | ||
365 | |||
366 | /** | ||
367 | * Returns a new object of class '<em>Unknown Because Uninterpreted</em>'. | ||
368 | * <!-- begin-user-doc --> | ||
369 | * <!-- end-user-doc --> | ||
370 | * @return a new object of class '<em>Unknown Because Uninterpreted</em>'. | ||
371 | * @generated | ||
372 | */ | ||
373 | UnknownBecauseUninterpreted createUnknownBecauseUninterpreted(); | ||
374 | |||
375 | /** | ||
376 | * Returns a new object of class '<em>Instance Of</em>'. | ||
377 | * <!-- begin-user-doc --> | ||
378 | * <!-- end-user-doc --> | ||
379 | * @return a new object of class '<em>Instance Of</em>'. | ||
380 | * @generated | ||
381 | */ | ||
382 | InstanceOf createInstanceOf(); | ||
383 | |||
384 | /** | ||
385 | * Returns the package supported by this factory. | ||
386 | * <!-- begin-user-doc --> | ||
387 | * <!-- end-user-doc --> | ||
388 | * @return the package supported by this factory. | ||
389 | * @generated | ||
390 | */ | ||
391 | LogiclanguagePackage getLogiclanguagePackage(); | ||
392 | |||
393 | } //LogiclanguageFactory | ||