diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java index 2b131272..2907b35d 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
@@ -17,7 +17,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | |||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; |
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; | 21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; |
22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; | 22 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude; |
23 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; | 23 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; |
@@ -139,7 +139,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
139 | * <!-- end-user-doc --> | 139 | * <!-- end-user-doc --> |
140 | * @generated | 140 | * @generated |
141 | */ | 141 | */ |
142 | private EClass vlsFunctionFofEClass = null; | 142 | private EClass vlsFunctionAsTermEClass = null; |
143 | 143 | ||
144 | /** | 144 | /** |
145 | * <!-- begin-user-doc --> | 145 | * <!-- begin-user-doc --> |
@@ -338,7 +338,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
338 | 338 | ||
339 | /** | 339 | /** |
340 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. | 340 | * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. |
341 | * | 341 | * |
342 | * <p>This method is used to initialize {@link VampireLanguagePackage#eINSTANCE} when that field is accessed. | 342 | * <p>This method is used to initialize {@link VampireLanguagePackage#eINSTANCE} when that field is accessed. |
343 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. | 343 | * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. |
344 | * <!-- begin-user-doc --> | 344 | * <!-- begin-user-doc --> |
@@ -353,7 +353,8 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
353 | if (isInited) return (VampireLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(VampireLanguagePackage.eNS_URI); | 353 | if (isInited) return (VampireLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(VampireLanguagePackage.eNS_URI); |
354 | 354 | ||
355 | // Obtain or create and register package | 355 | // Obtain or create and register package |
356 | VampireLanguagePackageImpl theVampireLanguagePackage = (VampireLanguagePackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof VampireLanguagePackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new VampireLanguagePackageImpl()); | 356 | Object registeredVampireLanguagePackage = EPackage.Registry.INSTANCE.get(eNS_URI); |
357 | VampireLanguagePackageImpl theVampireLanguagePackage = registeredVampireLanguagePackage instanceof VampireLanguagePackageImpl ? (VampireLanguagePackageImpl)registeredVampireLanguagePackage : new VampireLanguagePackageImpl(); | ||
357 | 358 | ||
358 | isInited = true; | 359 | isInited = true; |
359 | 360 | ||
@@ -366,7 +367,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
366 | // Mark meta-data to indicate it can't be changed | 367 | // Mark meta-data to indicate it can't be changed |
367 | theVampireLanguagePackage.freeze(); | 368 | theVampireLanguagePackage.freeze(); |
368 | 369 | ||
369 | |||
370 | // Update the registry and return the package | 370 | // Update the registry and return the package |
371 | EPackage.Registry.INSTANCE.put(VampireLanguagePackage.eNS_URI, theVampireLanguagePackage); | 371 | EPackage.Registry.INSTANCE.put(VampireLanguagePackage.eNS_URI, theVampireLanguagePackage); |
372 | return theVampireLanguagePackage; | 372 | return theVampireLanguagePackage; |
@@ -697,9 +697,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
697 | * <!-- end-user-doc --> | 697 | * <!-- end-user-doc --> |
698 | * @generated | 698 | * @generated |
699 | */ | 699 | */ |
700 | public EClass getVLSFunctionFof() | 700 | public EClass getVLSFunctionAsTerm() |
701 | { | 701 | { |
702 | return vlsFunctionFofEClass; | 702 | return vlsFunctionAsTermEClass; |
703 | } | 703 | } |
704 | 704 | ||
705 | /** | 705 | /** |
@@ -707,9 +707,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
707 | * <!-- end-user-doc --> | 707 | * <!-- end-user-doc --> |
708 | * @generated | 708 | * @generated |
709 | */ | 709 | */ |
710 | public EAttribute getVLSFunctionFof_Functor() | 710 | public EAttribute getVLSFunctionAsTerm_Functor() |
711 | { | 711 | { |
712 | return (EAttribute)vlsFunctionFofEClass.getEStructuralFeatures().get(0); | 712 | return (EAttribute)vlsFunctionAsTermEClass.getEStructuralFeatures().get(0); |
713 | } | 713 | } |
714 | 714 | ||
715 | /** | 715 | /** |
@@ -717,9 +717,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
717 | * <!-- end-user-doc --> | 717 | * <!-- end-user-doc --> |
718 | * @generated | 718 | * @generated |
719 | */ | 719 | */ |
720 | public EReference getVLSFunctionFof_Terms() | 720 | public EReference getVLSFunctionAsTerm_Terms() |
721 | { | 721 | { |
722 | return (EReference)vlsFunctionFofEClass.getEStructuralFeatures().get(1); | 722 | return (EReference)vlsFunctionAsTermEClass.getEStructuralFeatures().get(1); |
723 | } | 723 | } |
724 | 724 | ||
725 | /** | 725 | /** |
@@ -1365,9 +1365,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1365 | vlsVariableEClass = createEClass(VLS_VARIABLE); | 1365 | vlsVariableEClass = createEClass(VLS_VARIABLE); |
1366 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | 1366 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); |
1367 | 1367 | ||
1368 | vlsFunctionFofEClass = createEClass(VLS_FUNCTION_FOF); | 1368 | vlsFunctionAsTermEClass = createEClass(VLS_FUNCTION_AS_TERM); |
1369 | createEAttribute(vlsFunctionFofEClass, VLS_FUNCTION_FOF__FUNCTOR); | 1369 | createEAttribute(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__FUNCTOR); |
1370 | createEReference(vlsFunctionFofEClass, VLS_FUNCTION_FOF__TERMS); | 1370 | createEReference(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__TERMS); |
1371 | 1371 | ||
1372 | vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM); | 1372 | vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM); |
1373 | createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE); | 1373 | createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE); |
@@ -1482,7 +1482,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1482 | // Add supertypes to classes | 1482 | // Add supertypes to classes |
1483 | vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations()); | 1483 | vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations()); |
1484 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1484 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1485 | vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm()); | 1485 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1486 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1486 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1487 | vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm()); | 1487 | vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm()); |
1488 | vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm()); | 1488 | vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1552,9 +1552,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1552 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1552 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1553 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1553 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1554 | 1554 | ||
1555 | initEClass(vlsFunctionFofEClass, VLSFunctionFof.class, "VLSFunctionFof", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1555 | initEClass(vlsFunctionAsTermEClass, VLSFunctionAsTerm.class, "VLSFunctionAsTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1556 | initEAttribute(getVLSFunctionFof_Functor(), ecorePackage.getEString(), "functor", null, 0, 1, VLSFunctionFof.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1556 | initEAttribute(getVLSFunctionAsTerm_Functor(), ecorePackage.getEString(), "functor", null, 0, 1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1557 | initEReference(getVLSFunctionFof_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunctionFof.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1557 | initEReference(getVLSFunctionAsTerm_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1558 | 1558 | ||
1559 | initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1559 | initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1560 | initEAttribute(getVLSDefinedTerm_Value(), ecorePackage.getEString(), "value", null, 0, 1, VLSDefinedTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1560 | initEAttribute(getVLSDefinedTerm_Value(), ecorePackage.getEString(), "value", null, 0, 1, VLSDefinedTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |