diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | 104 |
1 files changed, 104 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java index 0ad07f55..b890b6e0 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguageFactoryImpl.java | |||
@@ -99,6 +99,11 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); | 99 | case LogiclanguagePackage.STRING_TYPE_REFERENCE: return createStringTypeReference(); |
100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); | 100 | case LogiclanguagePackage.STRING_LITERAL: return createStringLiteral(); |
101 | case LogiclanguagePackage.TRANSITIVE_CLOSURE: return createTransitiveClosure(); | 101 | case LogiclanguagePackage.TRANSITIVE_CLOSURE: return createTransitiveClosure(); |
102 | case LogiclanguagePackage.POW: return createPow(); | ||
103 | case LogiclanguagePackage.SUM: return createSum(); | ||
104 | case LogiclanguagePackage.COUNT: return createCount(); | ||
105 | case LogiclanguagePackage.MIN: return createMin(); | ||
106 | case LogiclanguagePackage.MAX: return createMax(); | ||
102 | default: | 107 | default: |
103 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 108 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
104 | } | 109 | } |
@@ -109,6 +114,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
109 | * <!-- end-user-doc --> | 114 | * <!-- end-user-doc --> |
110 | * @generated | 115 | * @generated |
111 | */ | 116 | */ |
117 | @Override | ||
112 | public DefinedElement createDefinedElement() { | 118 | public DefinedElement createDefinedElement() { |
113 | DefinedElementImpl definedElement = new DefinedElementImpl(); | 119 | DefinedElementImpl definedElement = new DefinedElementImpl(); |
114 | return definedElement; | 120 | return definedElement; |
@@ -119,6 +125,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
119 | * <!-- end-user-doc --> | 125 | * <!-- end-user-doc --> |
120 | * @generated | 126 | * @generated |
121 | */ | 127 | */ |
128 | @Override | ||
122 | public TypeDefinition createTypeDefinition() { | 129 | public TypeDefinition createTypeDefinition() { |
123 | TypeDefinitionImpl typeDefinition = new TypeDefinitionImpl(); | 130 | TypeDefinitionImpl typeDefinition = new TypeDefinitionImpl(); |
124 | return typeDefinition; | 131 | return typeDefinition; |
@@ -129,6 +136,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
129 | * <!-- end-user-doc --> | 136 | * <!-- end-user-doc --> |
130 | * @generated | 137 | * @generated |
131 | */ | 138 | */ |
139 | @Override | ||
132 | public ComplexTypeReference createComplexTypeReference() { | 140 | public ComplexTypeReference createComplexTypeReference() { |
133 | ComplexTypeReferenceImpl complexTypeReference = new ComplexTypeReferenceImpl(); | 141 | ComplexTypeReferenceImpl complexTypeReference = new ComplexTypeReferenceImpl(); |
134 | return complexTypeReference; | 142 | return complexTypeReference; |
@@ -139,6 +147,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
139 | * <!-- end-user-doc --> | 147 | * <!-- end-user-doc --> |
140 | * @generated | 148 | * @generated |
141 | */ | 149 | */ |
150 | @Override | ||
142 | public IntTypeReference createIntTypeReference() { | 151 | public IntTypeReference createIntTypeReference() { |
143 | IntTypeReferenceImpl intTypeReference = new IntTypeReferenceImpl(); | 152 | IntTypeReferenceImpl intTypeReference = new IntTypeReferenceImpl(); |
144 | return intTypeReference; | 153 | return intTypeReference; |
@@ -149,6 +158,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
149 | * <!-- end-user-doc --> | 158 | * <!-- end-user-doc --> |
150 | * @generated | 159 | * @generated |
151 | */ | 160 | */ |
161 | @Override | ||
152 | public BoolTypeReference createBoolTypeReference() { | 162 | public BoolTypeReference createBoolTypeReference() { |
153 | BoolTypeReferenceImpl boolTypeReference = new BoolTypeReferenceImpl(); | 163 | BoolTypeReferenceImpl boolTypeReference = new BoolTypeReferenceImpl(); |
154 | return boolTypeReference; | 164 | return boolTypeReference; |
@@ -159,6 +169,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
159 | * <!-- end-user-doc --> | 169 | * <!-- end-user-doc --> |
160 | * @generated | 170 | * @generated |
161 | */ | 171 | */ |
172 | @Override | ||
162 | public RealTypeReference createRealTypeReference() { | 173 | public RealTypeReference createRealTypeReference() { |
163 | RealTypeReferenceImpl realTypeReference = new RealTypeReferenceImpl(); | 174 | RealTypeReferenceImpl realTypeReference = new RealTypeReferenceImpl(); |
164 | return realTypeReference; | 175 | return realTypeReference; |
@@ -169,6 +180,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
169 | * <!-- end-user-doc --> | 180 | * <!-- end-user-doc --> |
170 | * @generated | 181 | * @generated |
171 | */ | 182 | */ |
183 | @Override | ||
172 | public SymbolicValue createSymbolicValue() { | 184 | public SymbolicValue createSymbolicValue() { |
173 | SymbolicValueImpl symbolicValue = new SymbolicValueImpl(); | 185 | SymbolicValueImpl symbolicValue = new SymbolicValueImpl(); |
174 | return symbolicValue; | 186 | return symbolicValue; |
@@ -179,6 +191,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
179 | * <!-- end-user-doc --> | 191 | * <!-- end-user-doc --> |
180 | * @generated | 192 | * @generated |
181 | */ | 193 | */ |
194 | @Override | ||
182 | public IntLiteral createIntLiteral() { | 195 | public IntLiteral createIntLiteral() { |
183 | IntLiteralImpl intLiteral = new IntLiteralImpl(); | 196 | IntLiteralImpl intLiteral = new IntLiteralImpl(); |
184 | return intLiteral; | 197 | return intLiteral; |
@@ -189,6 +202,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
189 | * <!-- end-user-doc --> | 202 | * <!-- end-user-doc --> |
190 | * @generated | 203 | * @generated |
191 | */ | 204 | */ |
205 | @Override | ||
192 | public BoolLiteral createBoolLiteral() { | 206 | public BoolLiteral createBoolLiteral() { |
193 | BoolLiteralImpl boolLiteral = new BoolLiteralImpl(); | 207 | BoolLiteralImpl boolLiteral = new BoolLiteralImpl(); |
194 | return boolLiteral; | 208 | return boolLiteral; |
@@ -199,6 +213,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
199 | * <!-- end-user-doc --> | 213 | * <!-- end-user-doc --> |
200 | * @generated | 214 | * @generated |
201 | */ | 215 | */ |
216 | @Override | ||
202 | public RealLiteral createRealLiteral() { | 217 | public RealLiteral createRealLiteral() { |
203 | RealLiteralImpl realLiteral = new RealLiteralImpl(); | 218 | RealLiteralImpl realLiteral = new RealLiteralImpl(); |
204 | return realLiteral; | 219 | return realLiteral; |
@@ -209,6 +224,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
209 | * <!-- end-user-doc --> | 224 | * <!-- end-user-doc --> |
210 | * @generated | 225 | * @generated |
211 | */ | 226 | */ |
227 | @Override | ||
212 | public Variable createVariable() { | 228 | public Variable createVariable() { |
213 | VariableImpl variable = new VariableImpl(); | 229 | VariableImpl variable = new VariableImpl(); |
214 | return variable; | 230 | return variable; |
@@ -219,6 +235,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
219 | * <!-- end-user-doc --> | 235 | * <!-- end-user-doc --> |
220 | * @generated | 236 | * @generated |
221 | */ | 237 | */ |
238 | @Override | ||
222 | public Exists createExists() { | 239 | public Exists createExists() { |
223 | ExistsImpl exists = new ExistsImpl(); | 240 | ExistsImpl exists = new ExistsImpl(); |
224 | return exists; | 241 | return exists; |
@@ -229,6 +246,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
229 | * <!-- end-user-doc --> | 246 | * <!-- end-user-doc --> |
230 | * @generated | 247 | * @generated |
231 | */ | 248 | */ |
249 | @Override | ||
232 | public Forall createForall() { | 250 | public Forall createForall() { |
233 | ForallImpl forall = new ForallImpl(); | 251 | ForallImpl forall = new ForallImpl(); |
234 | return forall; | 252 | return forall; |
@@ -239,6 +257,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
239 | * <!-- end-user-doc --> | 257 | * <!-- end-user-doc --> |
240 | * @generated | 258 | * @generated |
241 | */ | 259 | */ |
260 | @Override | ||
242 | public And createAnd() { | 261 | public And createAnd() { |
243 | AndImpl and = new AndImpl(); | 262 | AndImpl and = new AndImpl(); |
244 | return and; | 263 | return and; |
@@ -249,6 +268,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
249 | * <!-- end-user-doc --> | 268 | * <!-- end-user-doc --> |
250 | * @generated | 269 | * @generated |
251 | */ | 270 | */ |
271 | @Override | ||
252 | public Or createOr() { | 272 | public Or createOr() { |
253 | OrImpl or = new OrImpl(); | 273 | OrImpl or = new OrImpl(); |
254 | return or; | 274 | return or; |
@@ -259,6 +279,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
259 | * <!-- end-user-doc --> | 279 | * <!-- end-user-doc --> |
260 | * @generated | 280 | * @generated |
261 | */ | 281 | */ |
282 | @Override | ||
262 | public Impl createImpl() { | 283 | public Impl createImpl() { |
263 | ImplImpl impl = new ImplImpl(); | 284 | ImplImpl impl = new ImplImpl(); |
264 | return impl; | 285 | return impl; |
@@ -269,6 +290,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
269 | * <!-- end-user-doc --> | 290 | * <!-- end-user-doc --> |
270 | * @generated | 291 | * @generated |
271 | */ | 292 | */ |
293 | @Override | ||
272 | public Not createNot() { | 294 | public Not createNot() { |
273 | NotImpl not = new NotImpl(); | 295 | NotImpl not = new NotImpl(); |
274 | return not; | 296 | return not; |
@@ -279,6 +301,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
279 | * <!-- end-user-doc --> | 301 | * <!-- end-user-doc --> |
280 | * @generated | 302 | * @generated |
281 | */ | 303 | */ |
304 | @Override | ||
282 | public Iff createIff() { | 305 | public Iff createIff() { |
283 | IffImpl iff = new IffImpl(); | 306 | IffImpl iff = new IffImpl(); |
284 | return iff; | 307 | return iff; |
@@ -289,6 +312,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
289 | * <!-- end-user-doc --> | 312 | * <!-- end-user-doc --> |
290 | * @generated | 313 | * @generated |
291 | */ | 314 | */ |
315 | @Override | ||
292 | public Equals createEquals() { | 316 | public Equals createEquals() { |
293 | EqualsImpl equals = new EqualsImpl(); | 317 | EqualsImpl equals = new EqualsImpl(); |
294 | return equals; | 318 | return equals; |
@@ -299,6 +323,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
299 | * <!-- end-user-doc --> | 323 | * <!-- end-user-doc --> |
300 | * @generated | 324 | * @generated |
301 | */ | 325 | */ |
326 | @Override | ||
302 | public Distinct createDistinct() { | 327 | public Distinct createDistinct() { |
303 | DistinctImpl distinct = new DistinctImpl(); | 328 | DistinctImpl distinct = new DistinctImpl(); |
304 | return distinct; | 329 | return distinct; |
@@ -309,6 +334,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
309 | * <!-- end-user-doc --> | 334 | * <!-- end-user-doc --> |
310 | * @generated | 335 | * @generated |
311 | */ | 336 | */ |
337 | @Override | ||
312 | public LessThan createLessThan() { | 338 | public LessThan createLessThan() { |
313 | LessThanImpl lessThan = new LessThanImpl(); | 339 | LessThanImpl lessThan = new LessThanImpl(); |
314 | return lessThan; | 340 | return lessThan; |
@@ -319,6 +345,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
319 | * <!-- end-user-doc --> | 345 | * <!-- end-user-doc --> |
320 | * @generated | 346 | * @generated |
321 | */ | 347 | */ |
348 | @Override | ||
322 | public MoreThan createMoreThan() { | 349 | public MoreThan createMoreThan() { |
323 | MoreThanImpl moreThan = new MoreThanImpl(); | 350 | MoreThanImpl moreThan = new MoreThanImpl(); |
324 | return moreThan; | 351 | return moreThan; |
@@ -329,6 +356,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
329 | * <!-- end-user-doc --> | 356 | * <!-- end-user-doc --> |
330 | * @generated | 357 | * @generated |
331 | */ | 358 | */ |
359 | @Override | ||
332 | public LessOrEqualThan createLessOrEqualThan() { | 360 | public LessOrEqualThan createLessOrEqualThan() { |
333 | LessOrEqualThanImpl lessOrEqualThan = new LessOrEqualThanImpl(); | 361 | LessOrEqualThanImpl lessOrEqualThan = new LessOrEqualThanImpl(); |
334 | return lessOrEqualThan; | 362 | return lessOrEqualThan; |
@@ -339,6 +367,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
339 | * <!-- end-user-doc --> | 367 | * <!-- end-user-doc --> |
340 | * @generated | 368 | * @generated |
341 | */ | 369 | */ |
370 | @Override | ||
342 | public MoreOrEqualThan createMoreOrEqualThan() { | 371 | public MoreOrEqualThan createMoreOrEqualThan() { |
343 | MoreOrEqualThanImpl moreOrEqualThan = new MoreOrEqualThanImpl(); | 372 | MoreOrEqualThanImpl moreOrEqualThan = new MoreOrEqualThanImpl(); |
344 | return moreOrEqualThan; | 373 | return moreOrEqualThan; |
@@ -349,6 +378,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
349 | * <!-- end-user-doc --> | 378 | * <!-- end-user-doc --> |
350 | * @generated | 379 | * @generated |
351 | */ | 380 | */ |
381 | @Override | ||
352 | public Plus createPlus() { | 382 | public Plus createPlus() { |
353 | PlusImpl plus = new PlusImpl(); | 383 | PlusImpl plus = new PlusImpl(); |
354 | return plus; | 384 | return plus; |
@@ -359,6 +389,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
359 | * <!-- end-user-doc --> | 389 | * <!-- end-user-doc --> |
360 | * @generated | 390 | * @generated |
361 | */ | 391 | */ |
392 | @Override | ||
362 | public Minus createMinus() { | 393 | public Minus createMinus() { |
363 | MinusImpl minus = new MinusImpl(); | 394 | MinusImpl minus = new MinusImpl(); |
364 | return minus; | 395 | return minus; |
@@ -369,6 +400,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
369 | * <!-- end-user-doc --> | 400 | * <!-- end-user-doc --> |
370 | * @generated | 401 | * @generated |
371 | */ | 402 | */ |
403 | @Override | ||
372 | public Multiply createMultiply() { | 404 | public Multiply createMultiply() { |
373 | MultiplyImpl multiply = new MultiplyImpl(); | 405 | MultiplyImpl multiply = new MultiplyImpl(); |
374 | return multiply; | 406 | return multiply; |
@@ -379,6 +411,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
379 | * <!-- end-user-doc --> | 411 | * <!-- end-user-doc --> |
380 | * @generated | 412 | * @generated |
381 | */ | 413 | */ |
414 | @Override | ||
382 | public Divison createDivison() { | 415 | public Divison createDivison() { |
383 | DivisonImpl divison = new DivisonImpl(); | 416 | DivisonImpl divison = new DivisonImpl(); |
384 | return divison; | 417 | return divison; |
@@ -389,6 +422,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
389 | * <!-- end-user-doc --> | 422 | * <!-- end-user-doc --> |
390 | * @generated | 423 | * @generated |
391 | */ | 424 | */ |
425 | @Override | ||
392 | public Mod createMod() { | 426 | public Mod createMod() { |
393 | ModImpl mod = new ModImpl(); | 427 | ModImpl mod = new ModImpl(); |
394 | return mod; | 428 | return mod; |
@@ -399,6 +433,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
399 | * <!-- end-user-doc --> | 433 | * <!-- end-user-doc --> |
400 | * @generated | 434 | * @generated |
401 | */ | 435 | */ |
436 | @Override | ||
402 | public Assertion createAssertion() { | 437 | public Assertion createAssertion() { |
403 | AssertionImpl assertion = new AssertionImpl(); | 438 | AssertionImpl assertion = new AssertionImpl(); |
404 | return assertion; | 439 | return assertion; |
@@ -409,6 +444,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
409 | * <!-- end-user-doc --> | 444 | * <!-- end-user-doc --> |
410 | * @generated | 445 | * @generated |
411 | */ | 446 | */ |
447 | @Override | ||
412 | public ConstantDefinition createConstantDefinition() { | 448 | public ConstantDefinition createConstantDefinition() { |
413 | ConstantDefinitionImpl constantDefinition = new ConstantDefinitionImpl(); | 449 | ConstantDefinitionImpl constantDefinition = new ConstantDefinitionImpl(); |
414 | return constantDefinition; | 450 | return constantDefinition; |
@@ -419,6 +455,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
419 | * <!-- end-user-doc --> | 455 | * <!-- end-user-doc --> |
420 | * @generated | 456 | * @generated |
421 | */ | 457 | */ |
458 | @Override | ||
422 | public RelationDefinition createRelationDefinition() { | 459 | public RelationDefinition createRelationDefinition() { |
423 | RelationDefinitionImpl relationDefinition = new RelationDefinitionImpl(); | 460 | RelationDefinitionImpl relationDefinition = new RelationDefinitionImpl(); |
424 | return relationDefinition; | 461 | return relationDefinition; |
@@ -429,6 +466,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
429 | * <!-- end-user-doc --> | 466 | * <!-- end-user-doc --> |
430 | * @generated | 467 | * @generated |
431 | */ | 468 | */ |
469 | @Override | ||
432 | public FunctionDefinition createFunctionDefinition() { | 470 | public FunctionDefinition createFunctionDefinition() { |
433 | FunctionDefinitionImpl functionDefinition = new FunctionDefinitionImpl(); | 471 | FunctionDefinitionImpl functionDefinition = new FunctionDefinitionImpl(); |
434 | return functionDefinition; | 472 | return functionDefinition; |
@@ -439,6 +477,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
439 | * <!-- end-user-doc --> | 477 | * <!-- end-user-doc --> |
440 | * @generated | 478 | * @generated |
441 | */ | 479 | */ |
480 | @Override | ||
442 | public IfThenElse createIfThenElse() { | 481 | public IfThenElse createIfThenElse() { |
443 | IfThenElseImpl ifThenElse = new IfThenElseImpl(); | 482 | IfThenElseImpl ifThenElse = new IfThenElseImpl(); |
444 | return ifThenElse; | 483 | return ifThenElse; |
@@ -449,6 +488,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
449 | * <!-- end-user-doc --> | 488 | * <!-- end-user-doc --> |
450 | * @generated | 489 | * @generated |
451 | */ | 490 | */ |
491 | @Override | ||
452 | public ConstantDeclaration createConstantDeclaration() { | 492 | public ConstantDeclaration createConstantDeclaration() { |
453 | ConstantDeclarationImpl constantDeclaration = new ConstantDeclarationImpl(); | 493 | ConstantDeclarationImpl constantDeclaration = new ConstantDeclarationImpl(); |
454 | return constantDeclaration; | 494 | return constantDeclaration; |
@@ -459,6 +499,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
459 | * <!-- end-user-doc --> | 499 | * <!-- end-user-doc --> |
460 | * @generated | 500 | * @generated |
461 | */ | 501 | */ |
502 | @Override | ||
462 | public RelationDeclaration createRelationDeclaration() { | 503 | public RelationDeclaration createRelationDeclaration() { |
463 | RelationDeclarationImpl relationDeclaration = new RelationDeclarationImpl(); | 504 | RelationDeclarationImpl relationDeclaration = new RelationDeclarationImpl(); |
464 | return relationDeclaration; | 505 | return relationDeclaration; |
@@ -469,6 +510,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
469 | * <!-- end-user-doc --> | 510 | * <!-- end-user-doc --> |
470 | * @generated | 511 | * @generated |
471 | */ | 512 | */ |
513 | @Override | ||
472 | public FunctionDeclaration createFunctionDeclaration() { | 514 | public FunctionDeclaration createFunctionDeclaration() { |
473 | FunctionDeclarationImpl functionDeclaration = new FunctionDeclarationImpl(); | 515 | FunctionDeclarationImpl functionDeclaration = new FunctionDeclarationImpl(); |
474 | return functionDeclaration; | 516 | return functionDeclaration; |
@@ -479,6 +521,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
479 | * <!-- end-user-doc --> | 521 | * <!-- end-user-doc --> |
480 | * @generated | 522 | * @generated |
481 | */ | 523 | */ |
524 | @Override | ||
482 | public TypeDeclaration createTypeDeclaration() { | 525 | public TypeDeclaration createTypeDeclaration() { |
483 | TypeDeclarationImpl typeDeclaration = new TypeDeclarationImpl(); | 526 | TypeDeclarationImpl typeDeclaration = new TypeDeclarationImpl(); |
484 | return typeDeclaration; | 527 | return typeDeclaration; |
@@ -489,6 +532,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
489 | * <!-- end-user-doc --> | 532 | * <!-- end-user-doc --> |
490 | * @generated | 533 | * @generated |
491 | */ | 534 | */ |
535 | @Override | ||
492 | public UnknownBecauseUninterpreted createUnknownBecauseUninterpreted() { | 536 | public UnknownBecauseUninterpreted createUnknownBecauseUninterpreted() { |
493 | UnknownBecauseUninterpretedImpl unknownBecauseUninterpreted = new UnknownBecauseUninterpretedImpl(); | 537 | UnknownBecauseUninterpretedImpl unknownBecauseUninterpreted = new UnknownBecauseUninterpretedImpl(); |
494 | return unknownBecauseUninterpreted; | 538 | return unknownBecauseUninterpreted; |
@@ -499,6 +543,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
499 | * <!-- end-user-doc --> | 543 | * <!-- end-user-doc --> |
500 | * @generated | 544 | * @generated |
501 | */ | 545 | */ |
546 | @Override | ||
502 | public InstanceOf createInstanceOf() { | 547 | public InstanceOf createInstanceOf() { |
503 | InstanceOfImpl instanceOf = new InstanceOfImpl(); | 548 | InstanceOfImpl instanceOf = new InstanceOfImpl(); |
504 | return instanceOf; | 549 | return instanceOf; |
@@ -509,6 +554,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
509 | * <!-- end-user-doc --> | 554 | * <!-- end-user-doc --> |
510 | * @generated | 555 | * @generated |
511 | */ | 556 | */ |
557 | @Override | ||
512 | public StringTypeReference createStringTypeReference() { | 558 | public StringTypeReference createStringTypeReference() { |
513 | StringTypeReferenceImpl stringTypeReference = new StringTypeReferenceImpl(); | 559 | StringTypeReferenceImpl stringTypeReference = new StringTypeReferenceImpl(); |
514 | return stringTypeReference; | 560 | return stringTypeReference; |
@@ -519,6 +565,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
519 | * <!-- end-user-doc --> | 565 | * <!-- end-user-doc --> |
520 | * @generated | 566 | * @generated |
521 | */ | 567 | */ |
568 | @Override | ||
522 | public StringLiteral createStringLiteral() { | 569 | public StringLiteral createStringLiteral() { |
523 | StringLiteralImpl stringLiteral = new StringLiteralImpl(); | 570 | StringLiteralImpl stringLiteral = new StringLiteralImpl(); |
524 | return stringLiteral; | 571 | return stringLiteral; |
@@ -529,6 +576,7 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
529 | * <!-- end-user-doc --> | 576 | * <!-- end-user-doc --> |
530 | * @generated | 577 | * @generated |
531 | */ | 578 | */ |
579 | @Override | ||
532 | public TransitiveClosure createTransitiveClosure() { | 580 | public TransitiveClosure createTransitiveClosure() { |
533 | TransitiveClosureImpl transitiveClosure = new TransitiveClosureImpl(); | 581 | TransitiveClosureImpl transitiveClosure = new TransitiveClosureImpl(); |
534 | return transitiveClosure; | 582 | return transitiveClosure; |
@@ -539,6 +587,62 @@ public class LogiclanguageFactoryImpl extends EFactoryImpl implements Logiclangu | |||
539 | * <!-- end-user-doc --> | 587 | * <!-- end-user-doc --> |
540 | * @generated | 588 | * @generated |
541 | */ | 589 | */ |
590 | @Override | ||
591 | public Pow createPow() { | ||
592 | PowImpl pow = new PowImpl(); | ||
593 | return pow; | ||
594 | } | ||
595 | |||
596 | /** | ||
597 | * <!-- begin-user-doc --> | ||
598 | * <!-- end-user-doc --> | ||
599 | * @generated | ||
600 | */ | ||
601 | @Override | ||
602 | public Sum createSum() { | ||
603 | SumImpl sum = new SumImpl(); | ||
604 | return sum; | ||
605 | } | ||
606 | |||
607 | /** | ||
608 | * <!-- begin-user-doc --> | ||
609 | * <!-- end-user-doc --> | ||
610 | * @generated | ||
611 | */ | ||
612 | @Override | ||
613 | public Count createCount() { | ||
614 | CountImpl count = new CountImpl(); | ||
615 | return count; | ||
616 | } | ||
617 | |||
618 | /** | ||
619 | * <!-- begin-user-doc --> | ||
620 | * <!-- end-user-doc --> | ||
621 | * @generated | ||
622 | */ | ||
623 | @Override | ||
624 | public Min createMin() { | ||
625 | MinImpl min = new MinImpl(); | ||
626 | return min; | ||
627 | } | ||
628 | |||
629 | /** | ||
630 | * <!-- begin-user-doc --> | ||
631 | * <!-- end-user-doc --> | ||
632 | * @generated | ||
633 | */ | ||
634 | @Override | ||
635 | public Max createMax() { | ||
636 | MaxImpl max = new MaxImpl(); | ||
637 | return max; | ||
638 | } | ||
639 | |||
640 | /** | ||
641 | * <!-- begin-user-doc --> | ||
642 | * <!-- end-user-doc --> | ||
643 | * @generated | ||
644 | */ | ||
645 | @Override | ||
542 | public LogiclanguagePackage getLogiclanguagePackage() { | 646 | public LogiclanguagePackage getLogiclanguagePackage() { |
543 | return (LogiclanguagePackage)getEPackage(); | 647 | return (LogiclanguagePackage)getEPackage(); |
544 | } | 648 | } |