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 | 54 |
1 files changed, 38 insertions, 16 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 6b2b7085..676b2786 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 | |||
@@ -649,6 +649,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
649 | * <!-- end-user-doc --> | 649 | * <!-- end-user-doc --> |
650 | * @generated | 650 | * @generated |
651 | */ | 651 | */ |
652 | public EReference getVLSDeclaration_Type() | ||
653 | { | ||
654 | return (EReference)vlsDeclarationEClass.getEStructuralFeatures().get(0); | ||
655 | } | ||
656 | |||
657 | /** | ||
658 | * <!-- begin-user-doc --> | ||
659 | * <!-- end-user-doc --> | ||
660 | * @generated | ||
661 | */ | ||
652 | public EClass getVLSOtherDeclaration() | 662 | public EClass getVLSOtherDeclaration() |
653 | { | 663 | { |
654 | return vlsOtherDeclarationEClass; | 664 | return vlsOtherDeclarationEClass; |
@@ -659,6 +669,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
659 | * <!-- end-user-doc --> | 669 | * <!-- end-user-doc --> |
660 | * @generated | 670 | * @generated |
661 | */ | 671 | */ |
672 | public EReference getVLSOtherDeclaration_Name() | ||
673 | { | ||
674 | return (EReference)vlsOtherDeclarationEClass.getEStructuralFeatures().get(0); | ||
675 | } | ||
676 | |||
677 | /** | ||
678 | * <!-- begin-user-doc --> | ||
679 | * <!-- end-user-doc --> | ||
680 | * @generated | ||
681 | */ | ||
662 | public EClass getVLSVariableDeclaration() | 682 | public EClass getVLSVariableDeclaration() |
663 | { | 683 | { |
664 | return vlsVariableDeclarationEClass; | 684 | return vlsVariableDeclarationEClass; |
@@ -669,6 +689,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
669 | * <!-- end-user-doc --> | 689 | * <!-- end-user-doc --> |
670 | * @generated | 690 | * @generated |
671 | */ | 691 | */ |
692 | public EReference getVLSVariableDeclaration_Name() | ||
693 | { | ||
694 | return (EReference)vlsVariableDeclarationEClass.getEStructuralFeatures().get(0); | ||
695 | } | ||
696 | |||
697 | /** | ||
698 | * <!-- begin-user-doc --> | ||
699 | * <!-- end-user-doc --> | ||
700 | * @generated | ||
701 | */ | ||
672 | public EClass getVLSTypeDef() | 702 | public EClass getVLSTypeDef() |
673 | { | 703 | { |
674 | return vlsTypeDefEClass; | 704 | return vlsTypeDefEClass; |
@@ -729,16 +759,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
729 | * <!-- end-user-doc --> | 759 | * <!-- end-user-doc --> |
730 | * @generated | 760 | * @generated |
731 | */ | 761 | */ |
732 | public EReference getVLSTerm_Type() | ||
733 | { | ||
734 | return (EReference)vlsTermEClass.getEStructuralFeatures().get(0); | ||
735 | } | ||
736 | |||
737 | /** | ||
738 | * <!-- begin-user-doc --> | ||
739 | * <!-- end-user-doc --> | ||
740 | * @generated | ||
741 | */ | ||
742 | public EClass getVLSVariable() | 762 | public EClass getVLSVariable() |
743 | { | 763 | { |
744 | return vlsVariableEClass; | 764 | return vlsVariableEClass; |
@@ -1445,10 +1465,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1445 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); | 1465 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); |
1446 | 1466 | ||
1447 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); | 1467 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); |
1468 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); | ||
1448 | 1469 | ||
1449 | vlsOtherDeclarationEClass = createEClass(VLS_OTHER_DECLARATION); | 1470 | vlsOtherDeclarationEClass = createEClass(VLS_OTHER_DECLARATION); |
1471 | createEReference(vlsOtherDeclarationEClass, VLS_OTHER_DECLARATION__NAME); | ||
1450 | 1472 | ||
1451 | vlsVariableDeclarationEClass = createEClass(VLS_VARIABLE_DECLARATION); | 1473 | vlsVariableDeclarationEClass = createEClass(VLS_VARIABLE_DECLARATION); |
1474 | createEReference(vlsVariableDeclarationEClass, VLS_VARIABLE_DECLARATION__NAME); | ||
1452 | 1475 | ||
1453 | vlsTypeDefEClass = createEClass(VLS_TYPE_DEF); | 1476 | vlsTypeDefEClass = createEClass(VLS_TYPE_DEF); |
1454 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__TYPE_SIG); | 1477 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__TYPE_SIG); |
@@ -1457,7 +1480,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1457 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); | 1480 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); |
1458 | 1481 | ||
1459 | vlsTermEClass = createEClass(VLS_TERM); | 1482 | vlsTermEClass = createEClass(VLS_TERM); |
1460 | createEReference(vlsTermEClass, VLS_TERM__TYPE); | ||
1461 | 1483 | ||
1462 | vlsVariableEClass = createEClass(VLS_VARIABLE); | 1484 | vlsVariableEClass = createEClass(VLS_VARIABLE); |
1463 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | 1485 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); |
@@ -1586,8 +1608,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1586 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1608 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1587 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1609 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1588 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | 1610 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); |
1589 | vlsTermEClass.getESuperTypes().add(this.getVLSOtherDeclaration()); | ||
1590 | vlsVariableEClass.getESuperTypes().add(this.getVLSVariableDeclaration()); | ||
1591 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1611 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1592 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1612 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1593 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1613 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1649,10 +1669,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1649 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1669 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1650 | 1670 | ||
1651 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1671 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1672 | initEReference(getVLSDeclaration_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1652 | 1673 | ||
1653 | initEClass(vlsOtherDeclarationEClass, VLSOtherDeclaration.class, "VLSOtherDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1674 | initEClass(vlsOtherDeclarationEClass, VLSOtherDeclaration.class, "VLSOtherDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1675 | initEReference(getVLSOtherDeclaration_Name(), this.getVLSTerm(), null, "name", null, 0, 1, VLSOtherDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1654 | 1676 | ||
1655 | initEClass(vlsVariableDeclarationEClass, VLSVariableDeclaration.class, "VLSVariableDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1677 | initEClass(vlsVariableDeclarationEClass, VLSVariableDeclaration.class, "VLSVariableDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1678 | initEReference(getVLSVariableDeclaration_Name(), this.getVLSVariable(), null, "name", null, 0, 1, VLSVariableDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1656 | 1679 | ||
1657 | initEClass(vlsTypeDefEClass, VLSTypeDef.class, "VLSTypeDef", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1680 | initEClass(vlsTypeDefEClass, VLSTypeDef.class, "VLSTypeDef", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1658 | initEReference(getVLSTypeDef_TypeSig(), this.getVLSTypeDef(), null, "typeSig", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1681 | initEReference(getVLSTypeDef_TypeSig(), this.getVLSTypeDef(), null, "typeSig", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -1661,7 +1684,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1661 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1684 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1662 | 1685 | ||
1663 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1686 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1664 | initEReference(getVLSTerm_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1665 | 1687 | ||
1666 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1688 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1667 | 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); | 1689 | 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); |
@@ -1715,11 +1737,11 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1715 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1737 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1716 | 1738 | ||
1717 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1739 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1718 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariableDeclaration(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1740 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSTffTerm(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1719 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1741 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1720 | 1742 | ||
1721 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1743 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1722 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariableDeclaration(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1744 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSTffTerm(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1723 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1745 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1724 | 1746 | ||
1725 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1747 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |