diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl')
3 files changed, 180 insertions, 32 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java index c56d7ecd..9f1fa64f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java | |||
@@ -6,18 +6,48 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 8 | ||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | |||
9 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
10 | 12 | ||
13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
14 | |||
11 | /** | 15 | /** |
12 | * <!-- begin-user-doc --> | 16 | * <!-- begin-user-doc --> |
13 | * An implementation of the model object '<em><b>VLS Term</b></em>'. | 17 | * An implementation of the model object '<em><b>VLS Term</b></em>'. |
14 | * <!-- end-user-doc --> | 18 | * <!-- end-user-doc --> |
19 | * <p> | ||
20 | * The following features are implemented: | ||
21 | * </p> | ||
22 | * <ul> | ||
23 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl#getComment <em>Comment</em>}</li> | ||
24 | * </ul> | ||
15 | * | 25 | * |
16 | * @generated | 26 | * @generated |
17 | */ | 27 | */ |
18 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | 28 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm |
19 | { | 29 | { |
20 | /** | 30 | /** |
31 | * The default value of the '{@link #getComment() <em>Comment</em>}' attribute. | ||
32 | * <!-- begin-user-doc --> | ||
33 | * <!-- end-user-doc --> | ||
34 | * @see #getComment() | ||
35 | * @generated | ||
36 | * @ordered | ||
37 | */ | ||
38 | protected static final String COMMENT_EDEFAULT = null; | ||
39 | |||
40 | /** | ||
41 | * The cached value of the '{@link #getComment() <em>Comment</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @see #getComment() | ||
45 | * @generated | ||
46 | * @ordered | ||
47 | */ | ||
48 | protected String comment = COMMENT_EDEFAULT; | ||
49 | |||
50 | /** | ||
21 | * <!-- begin-user-doc --> | 51 | * <!-- begin-user-doc --> |
22 | * <!-- end-user-doc --> | 52 | * <!-- end-user-doc --> |
23 | * @generated | 53 | * @generated |
@@ -38,4 +68,110 @@ public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | |||
38 | return VampireLanguagePackage.Literals.VLS_TERM; | 68 | return VampireLanguagePackage.Literals.VLS_TERM; |
39 | } | 69 | } |
40 | 70 | ||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | public String getComment() | ||
77 | { | ||
78 | return comment; | ||
79 | } | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | public void setComment(String newComment) | ||
87 | { | ||
88 | String oldComment = comment; | ||
89 | comment = newComment; | ||
90 | if (eNotificationRequired()) | ||
91 | eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TERM__COMMENT, oldComment, comment)); | ||
92 | } | ||
93 | |||
94 | /** | ||
95 | * <!-- begin-user-doc --> | ||
96 | * <!-- end-user-doc --> | ||
97 | * @generated | ||
98 | */ | ||
99 | @Override | ||
100 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
101 | { | ||
102 | switch (featureID) | ||
103 | { | ||
104 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
105 | return getComment(); | ||
106 | } | ||
107 | return super.eGet(featureID, resolve, coreType); | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | @Override | ||
116 | public void eSet(int featureID, Object newValue) | ||
117 | { | ||
118 | switch (featureID) | ||
119 | { | ||
120 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
121 | setComment((String)newValue); | ||
122 | return; | ||
123 | } | ||
124 | super.eSet(featureID, newValue); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public void eUnset(int featureID) | ||
134 | { | ||
135 | switch (featureID) | ||
136 | { | ||
137 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
138 | setComment(COMMENT_EDEFAULT); | ||
139 | return; | ||
140 | } | ||
141 | super.eUnset(featureID); | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | @Override | ||
150 | public boolean eIsSet(int featureID) | ||
151 | { | ||
152 | switch (featureID) | ||
153 | { | ||
154 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
155 | return COMMENT_EDEFAULT == null ? comment != null : !COMMENT_EDEFAULT.equals(comment); | ||
156 | } | ||
157 | return super.eIsSet(featureID); | ||
158 | } | ||
159 | |||
160 | /** | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @generated | ||
164 | */ | ||
165 | @Override | ||
166 | public String toString() | ||
167 | { | ||
168 | if (eIsProxy()) return super.toString(); | ||
169 | |||
170 | StringBuilder result = new StringBuilder(super.toString()); | ||
171 | result.append(" (comment: "); | ||
172 | result.append(comment); | ||
173 | result.append(')'); | ||
174 | return result.toString(); | ||
175 | } | ||
176 | |||
41 | } //VLSTermImpl | 177 | } //VLSTermImpl |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index 0e25a4cc..c87155c9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -72,11 +72,11 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | 72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); |
73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); | 74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); |
75 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
75 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); | 76 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); |
76 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); | 77 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); |
77 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); | 78 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); |
78 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); | 79 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); |
79 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); | 80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); |
81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); | 81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); |
82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); | 82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); |
@@ -192,6 +192,17 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
192 | * <!-- end-user-doc --> | 192 | * <!-- end-user-doc --> |
193 | * @generated | 193 | * @generated |
194 | */ | 194 | */ |
195 | public VLSTerm createVLSTerm() | ||
196 | { | ||
197 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
198 | return vlsTerm; | ||
199 | } | ||
200 | |||
201 | /** | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @generated | ||
205 | */ | ||
195 | public VLSDeclaration createVLSDeclaration() | 206 | public VLSDeclaration createVLSDeclaration() |
196 | { | 207 | { |
197 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); | 208 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); |
@@ -236,17 +247,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
236 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
237 | * @generated | 248 | * @generated |
238 | */ | 249 | */ |
239 | public VLSTerm createVLSTerm() | ||
240 | { | ||
241 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
242 | return vlsTerm; | ||
243 | } | ||
244 | |||
245 | /** | ||
246 | * <!-- begin-user-doc --> | ||
247 | * <!-- end-user-doc --> | ||
248 | * @generated | ||
249 | */ | ||
250 | public VLSVariable createVLSVariable() | 250 | public VLSVariable createVLSVariable() |
251 | { | 251 | { |
252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); | 252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); |
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 676b2786..eae57e97 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 | |||
@@ -115,35 +115,35 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
115 | * <!-- end-user-doc --> | 115 | * <!-- end-user-doc --> |
116 | * @generated | 116 | * @generated |
117 | */ | 117 | */ |
118 | private EClass vlsDeclarationEClass = null; | 118 | private EClass vlsTermEClass = null; |
119 | 119 | ||
120 | /** | 120 | /** |
121 | * <!-- begin-user-doc --> | 121 | * <!-- begin-user-doc --> |
122 | * <!-- end-user-doc --> | 122 | * <!-- end-user-doc --> |
123 | * @generated | 123 | * @generated |
124 | */ | 124 | */ |
125 | private EClass vlsOtherDeclarationEClass = null; | 125 | private EClass vlsDeclarationEClass = null; |
126 | 126 | ||
127 | /** | 127 | /** |
128 | * <!-- begin-user-doc --> | 128 | * <!-- begin-user-doc --> |
129 | * <!-- end-user-doc --> | 129 | * <!-- end-user-doc --> |
130 | * @generated | 130 | * @generated |
131 | */ | 131 | */ |
132 | private EClass vlsVariableDeclarationEClass = null; | 132 | private EClass vlsOtherDeclarationEClass = null; |
133 | 133 | ||
134 | /** | 134 | /** |
135 | * <!-- begin-user-doc --> | 135 | * <!-- begin-user-doc --> |
136 | * <!-- end-user-doc --> | 136 | * <!-- end-user-doc --> |
137 | * @generated | 137 | * @generated |
138 | */ | 138 | */ |
139 | private EClass vlsTypeDefEClass = null; | 139 | private EClass vlsVariableDeclarationEClass = null; |
140 | 140 | ||
141 | /** | 141 | /** |
142 | * <!-- begin-user-doc --> | 142 | * <!-- begin-user-doc --> |
143 | * <!-- end-user-doc --> | 143 | * <!-- end-user-doc --> |
144 | * @generated | 144 | * @generated |
145 | */ | 145 | */ |
146 | private EClass vlsTermEClass = null; | 146 | private EClass vlsTypeDefEClass = null; |
147 | 147 | ||
148 | /** | 148 | /** |
149 | * <!-- begin-user-doc --> | 149 | * <!-- begin-user-doc --> |
@@ -639,6 +639,26 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
639 | * <!-- end-user-doc --> | 639 | * <!-- end-user-doc --> |
640 | * @generated | 640 | * @generated |
641 | */ | 641 | */ |
642 | public EClass getVLSTerm() | ||
643 | { | ||
644 | return vlsTermEClass; | ||
645 | } | ||
646 | |||
647 | /** | ||
648 | * <!-- begin-user-doc --> | ||
649 | * <!-- end-user-doc --> | ||
650 | * @generated | ||
651 | */ | ||
652 | public EAttribute getVLSTerm_Comment() | ||
653 | { | ||
654 | return (EAttribute)vlsTermEClass.getEStructuralFeatures().get(0); | ||
655 | } | ||
656 | |||
657 | /** | ||
658 | * <!-- begin-user-doc --> | ||
659 | * <!-- end-user-doc --> | ||
660 | * @generated | ||
661 | */ | ||
642 | public EClass getVLSDeclaration() | 662 | public EClass getVLSDeclaration() |
643 | { | 663 | { |
644 | return vlsDeclarationEClass; | 664 | return vlsDeclarationEClass; |
@@ -749,16 +769,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
749 | * <!-- end-user-doc --> | 769 | * <!-- end-user-doc --> |
750 | * @generated | 770 | * @generated |
751 | */ | 771 | */ |
752 | public EClass getVLSTerm() | ||
753 | { | ||
754 | return vlsTermEClass; | ||
755 | } | ||
756 | |||
757 | /** | ||
758 | * <!-- begin-user-doc --> | ||
759 | * <!-- end-user-doc --> | ||
760 | * @generated | ||
761 | */ | ||
762 | public EClass getVLSVariable() | 772 | public EClass getVLSVariable() |
763 | { | 773 | { |
764 | return vlsVariableEClass; | 774 | return vlsVariableEClass; |
@@ -1464,6 +1474,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1464 | 1474 | ||
1465 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); | 1475 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); |
1466 | 1476 | ||
1477 | vlsTermEClass = createEClass(VLS_TERM); | ||
1478 | createEAttribute(vlsTermEClass, VLS_TERM__COMMENT); | ||
1479 | |||
1467 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); | 1480 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); |
1468 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); | 1481 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); |
1469 | 1482 | ||
@@ -1479,8 +1492,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1479 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__INIT_TYPE); | 1492 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__INIT_TYPE); |
1480 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); | 1493 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); |
1481 | 1494 | ||
1482 | vlsTermEClass = createEClass(VLS_TERM); | ||
1483 | |||
1484 | vlsVariableEClass = createEClass(VLS_VARIABLE); | 1495 | vlsVariableEClass = createEClass(VLS_VARIABLE); |
1485 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | 1496 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); |
1486 | 1497 | ||
@@ -1604,10 +1615,10 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1604 | // Set bounds for type parameters | 1615 | // Set bounds for type parameters |
1605 | 1616 | ||
1606 | // Add supertypes to classes | 1617 | // Add supertypes to classes |
1618 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | ||
1607 | vlsDeclarationEClass.getESuperTypes().add(this.getVLSTffTerm()); | 1619 | vlsDeclarationEClass.getESuperTypes().add(this.getVLSTffTerm()); |
1608 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1620 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1609 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1621 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1610 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | ||
1611 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1622 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1612 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1623 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1613 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1624 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1668,6 +1679,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1668 | 1679 | ||
1669 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1680 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1670 | 1681 | ||
1682 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1683 | initEAttribute(getVLSTerm_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1684 | |||
1671 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1685 | 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); | 1686 | 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); |
1673 | 1687 | ||
@@ -1683,8 +1697,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1683 | initEReference(getVLSTypeDef_InitType(), this.getVLSTerm(), null, "initType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1697 | initEReference(getVLSTypeDef_InitType(), this.getVLSTerm(), null, "initType", 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); | 1698 | 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); |
1685 | 1699 | ||
1686 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1687 | |||
1688 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1700 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
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); | 1701 | 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); |
1690 | 1702 | ||