aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-08-29 06:26:02 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-08-29 06:26:02 -0400
commit9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b (patch)
tree0dd50253bffe482ae15f5b8c5fc46bbbad45f0e4 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl
parentVAMPIRE: integrate local Vampire executeable #32 (diff)
downloadVIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.gz
VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.tar.zst
VIATRA-Generator-9ef9aef5ef8baa7e579d4eb4a5d27a7983f32c8b.zip
VAMPIRE: adapt grammar to Vampire solution + get model from text
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java (renamed from Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRationalImpl.java)82
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSExistentialQuantifierImpl.java10
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java41
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSIncludeImpl.java241
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSOtherDeclarationImpl.java41
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java155
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java62
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffTermImpl.java43
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java (renamed from Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java)355
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTypeDefImpl.java408
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java10
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableDeclarationImpl.java41
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java144
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSWarningImpl.java (renamed from Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRealImpl.java)82
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java150
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java387
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java39
17 files changed, 1522 insertions, 769 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRationalImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java
index c0960e3f..bb913d80 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRationalImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java
@@ -1,41 +1,41 @@
1/** 1/**
2 * generated by Xtext 2.14.0 2 * generated by Xtext 2.14.0
3 */ 3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 8
9import org.eclipse.emf.ecore.EClass; 9import org.eclipse.emf.ecore.EClass;
10 10
11/** 11/**
12 * <!-- begin-user-doc --> 12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Rational</b></em>'. 13 * An implementation of the model object '<em><b>VLS Declaration</b></em>'.
14 * <!-- end-user-doc --> 14 * <!-- end-user-doc -->
15 * 15 *
16 * @generated 16 * @generated
17 */ 17 */
18public class VLSRationalImpl extends VLSDefinedTermImpl implements VLSRational 18public class VLSDeclarationImpl extends VLSTffTermImpl implements VLSDeclaration
19{ 19{
20 /** 20 /**
21 * <!-- begin-user-doc --> 21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc --> 22 * <!-- end-user-doc -->
23 * @generated 23 * @generated
24 */ 24 */
25 protected VLSRationalImpl() 25 protected VLSDeclarationImpl()
26 { 26 {
27 super(); 27 super();
28 } 28 }
29 29
30 /** 30 /**
31 * <!-- begin-user-doc --> 31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc --> 32 * <!-- end-user-doc -->
33 * @generated 33 * @generated
34 */ 34 */
35 @Override 35 @Override
36 protected EClass eStaticClass() 36 protected EClass eStaticClass()
37 { 37 {
38 return VampireLanguagePackage.Literals.VLS_RATIONAL; 38 return VampireLanguagePackage.Literals.VLS_DECLARATION;
39 } 39 }
40 40
41} //VLSRationalImpl 41} //VLSDeclarationImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSExistentialQuantifierImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSExistentialQuantifierImpl.java
index 322e6710..115c7a23 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSExistentialQuantifierImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSExistentialQuantifierImpl.java
@@ -5,7 +5,7 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10 10
11import java.util.Collection; 11import java.util.Collection;
@@ -47,7 +47,7 @@ public class VLSExistentialQuantifierImpl extends VLSTermImpl implements VLSExis
47 * @generated 47 * @generated
48 * @ordered 48 * @ordered
49 */ 49 */
50 protected EList<VLSVariable> variables; 50 protected EList<VLSVariableDeclaration> variables;
51 51
52 /** 52 /**
53 * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference. 53 * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.
@@ -85,11 +85,11 @@ public class VLSExistentialQuantifierImpl extends VLSTermImpl implements VLSExis
85 * <!-- end-user-doc --> 85 * <!-- end-user-doc -->
86 * @generated 86 * @generated
87 */ 87 */
88 public EList<VLSVariable> getVariables() 88 public EList<VLSVariableDeclaration> getVariables()
89 { 89 {
90 if (variables == null) 90 if (variables == null)
91 { 91 {
92 variables = new EObjectContainmentEList<VLSVariable>(VLSVariable.class, this, VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__VARIABLES); 92 variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__VARIABLES);
93 } 93 }
94 return variables; 94 return variables;
95 } 95 }
@@ -191,7 +191,7 @@ public class VLSExistentialQuantifierImpl extends VLSTermImpl implements VLSExis
191 { 191 {
192 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__VARIABLES: 192 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__VARIABLES:
193 getVariables().clear(); 193 getVariables().clear();
194 getVariables().addAll((Collection<? extends VLSVariable>)newValue); 194 getVariables().addAll((Collection<? extends VLSVariableDeclaration>)newValue);
195 return; 195 return;
196 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__OPERAND: 196 case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__OPERAND:
197 setOperand((VLSTerm)newValue); 197 setOperand((VLSTerm)newValue);
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java
new file mode 100644
index 00000000..86416737
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSFiniteModelImpl.java
@@ -0,0 +1,41 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11/**
12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Finite Model</b></em>'.
14 * <!-- end-user-doc -->
15 *
16 * @generated
17 */
18public class VLSFiniteModelImpl extends VLSConfirmationsImpl implements VLSFiniteModel
19{
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected VLSFiniteModelImpl()
26 {
27 super();
28 }
29
30 /**
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 @Override
36 protected EClass eStaticClass()
37 {
38 return VampireLanguagePackage.Literals.VLS_FINITE_MODEL;
39 }
40
41} //VLSFiniteModelImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSIncludeImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSIncludeImpl.java
deleted file mode 100644
index 47a9f4c6..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSIncludeImpl.java
+++ /dev/null
@@ -1,241 +0,0 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
9
10import java.util.Collection;
11
12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
14
15import org.eclipse.emf.common.util.EList;
16
17import org.eclipse.emf.ecore.EClass;
18import org.eclipse.emf.ecore.InternalEObject;
19
20import org.eclipse.emf.ecore.impl.ENotificationImpl;
21import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
22
23import org.eclipse.emf.ecore.util.EObjectContainmentEList;
24import org.eclipse.emf.ecore.util.InternalEList;
25
26/**
27 * <!-- begin-user-doc -->
28 * An implementation of the model object '<em><b>VLS Include</b></em>'.
29 * <!-- end-user-doc -->
30 * <p>
31 * The following features are implemented:
32 * </p>
33 * <ul>
34 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl#getFileName <em>File Name</em>}</li>
35 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSIncludeImpl#getNames <em>Names</em>}</li>
36 * </ul>
37 *
38 * @generated
39 */
40public class VLSIncludeImpl extends MinimalEObjectImpl.Container implements VLSInclude
41{
42 /**
43 * The default value of the '{@link #getFileName() <em>File Name</em>}' attribute.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @see #getFileName()
47 * @generated
48 * @ordered
49 */
50 protected static final String FILE_NAME_EDEFAULT = null;
51
52 /**
53 * The cached value of the '{@link #getFileName() <em>File Name</em>}' attribute.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @see #getFileName()
57 * @generated
58 * @ordered
59 */
60 protected String fileName = FILE_NAME_EDEFAULT;
61
62 /**
63 * The cached value of the '{@link #getNames() <em>Names</em>}' containment reference list.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @see #getNames()
67 * @generated
68 * @ordered
69 */
70 protected EList<VLSName> names;
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 protected VLSIncludeImpl()
78 {
79 super();
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 @Override
88 protected EClass eStaticClass()
89 {
90 return VampireLanguagePackage.Literals.VLS_INCLUDE;
91 }
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 public String getFileName()
99 {
100 return fileName;
101 }
102
103 /**
104 * <!-- begin-user-doc -->
105 * <!-- end-user-doc -->
106 * @generated
107 */
108 public void setFileName(String newFileName)
109 {
110 String oldFileName = fileName;
111 fileName = newFileName;
112 if (eNotificationRequired())
113 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_INCLUDE__FILE_NAME, oldFileName, fileName));
114 }
115
116 /**
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 */
121 public EList<VLSName> getNames()
122 {
123 if (names == null)
124 {
125 names = new EObjectContainmentEList<VLSName>(VLSName.class, this, VampireLanguagePackage.VLS_INCLUDE__NAMES);
126 }
127 return names;
128 }
129
130 /**
131 * <!-- begin-user-doc -->
132 * <!-- end-user-doc -->
133 * @generated
134 */
135 @Override
136 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
137 {
138 switch (featureID)
139 {
140 case VampireLanguagePackage.VLS_INCLUDE__NAMES:
141 return ((InternalEList<?>)getNames()).basicRemove(otherEnd, msgs);
142 }
143 return super.eInverseRemove(otherEnd, featureID, msgs);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 @Override
152 public Object eGet(int featureID, boolean resolve, boolean coreType)
153 {
154 switch (featureID)
155 {
156 case VampireLanguagePackage.VLS_INCLUDE__FILE_NAME:
157 return getFileName();
158 case VampireLanguagePackage.VLS_INCLUDE__NAMES:
159 return getNames();
160 }
161 return super.eGet(featureID, resolve, coreType);
162 }
163
164 /**
165 * <!-- begin-user-doc -->
166 * <!-- end-user-doc -->
167 * @generated
168 */
169 @SuppressWarnings("unchecked")
170 @Override
171 public void eSet(int featureID, Object newValue)
172 {
173 switch (featureID)
174 {
175 case VampireLanguagePackage.VLS_INCLUDE__FILE_NAME:
176 setFileName((String)newValue);
177 return;
178 case VampireLanguagePackage.VLS_INCLUDE__NAMES:
179 getNames().clear();
180 getNames().addAll((Collection<? extends VLSName>)newValue);
181 return;
182 }
183 super.eSet(featureID, newValue);
184 }
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 @Override
192 public void eUnset(int featureID)
193 {
194 switch (featureID)
195 {
196 case VampireLanguagePackage.VLS_INCLUDE__FILE_NAME:
197 setFileName(FILE_NAME_EDEFAULT);
198 return;
199 case VampireLanguagePackage.VLS_INCLUDE__NAMES:
200 getNames().clear();
201 return;
202 }
203 super.eUnset(featureID);
204 }
205
206 /**
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @generated
210 */
211 @Override
212 public boolean eIsSet(int featureID)
213 {
214 switch (featureID)
215 {
216 case VampireLanguagePackage.VLS_INCLUDE__FILE_NAME:
217 return FILE_NAME_EDEFAULT == null ? fileName != null : !FILE_NAME_EDEFAULT.equals(fileName);
218 case VampireLanguagePackage.VLS_INCLUDE__NAMES:
219 return names != null && !names.isEmpty();
220 }
221 return super.eIsSet(featureID);
222 }
223
224 /**
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @generated
228 */
229 @Override
230 public String toString()
231 {
232 if (eIsProxy()) return super.toString();
233
234 StringBuilder result = new StringBuilder(super.toString());
235 result.append(" (fileName: ");
236 result.append(fileName);
237 result.append(')');
238 return result.toString();
239 }
240
241} //VLSIncludeImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSOtherDeclarationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSOtherDeclarationImpl.java
new file mode 100644
index 00000000..c5abc76a
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSOtherDeclarationImpl.java
@@ -0,0 +1,41 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11/**
12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Other Declaration</b></em>'.
14 * <!-- end-user-doc -->
15 *
16 * @generated
17 */
18public class VLSOtherDeclarationImpl extends VLSDeclarationImpl implements VLSOtherDeclaration
19{
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected VLSOtherDeclarationImpl()
26 {
27 super();
28 }
29
30 /**
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 @Override
36 protected EClass eStaticClass()
37 {
38 return VampireLanguagePackage.Literals.VLS_OTHER_DECLARATION;
39 }
40
41} //VLSOtherDeclarationImpl
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 b556819f..0ea49b4c 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
@@ -4,22 +4,43 @@
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 9
10import org.eclipse.emf.common.notify.Notification;
11import org.eclipse.emf.common.notify.NotificationChain;
12
9import org.eclipse.emf.ecore.EClass; 13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
10 15
11import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; 16import org.eclipse.emf.ecore.impl.ENotificationImpl;
12 17
13/** 18/**
14 * <!-- begin-user-doc --> 19 * <!-- begin-user-doc -->
15 * An implementation of the model object '<em><b>VLS Term</b></em>'. 20 * An implementation of the model object '<em><b>VLS Term</b></em>'.
16 * <!-- end-user-doc --> 21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * </p>
25 * <ul>
26 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl#getType <em>Type</em>}</li>
27 * </ul>
17 * 28 *
18 * @generated 29 * @generated
19 */ 30 */
20public class VLSTermImpl extends MinimalEObjectImpl.Container implements VLSTerm 31public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm
21{ 32{
22 /** 33 /**
34 * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getType()
38 * @generated
39 * @ordered
40 */
41 protected VLSTypeDef type;
42
43 /**
23 * <!-- begin-user-doc --> 44 * <!-- begin-user-doc -->
24 * <!-- end-user-doc --> 45 * <!-- end-user-doc -->
25 * @generated 46 * @generated
@@ -40,4 +61,134 @@ public class VLSTermImpl extends MinimalEObjectImpl.Container implements VLSTerm
40 return VampireLanguagePackage.Literals.VLS_TERM; 61 return VampireLanguagePackage.Literals.VLS_TERM;
41 } 62 }
42 63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 public VLSTypeDef getType()
70 {
71 return type;
72 }
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 public NotificationChain basicSetType(VLSTypeDef newType, NotificationChain msgs)
80 {
81 VLSTypeDef oldType = type;
82 type = newType;
83 if (eNotificationRequired())
84 {
85 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TERM__TYPE, oldType, newType);
86 if (msgs == null) msgs = notification; else msgs.add(notification);
87 }
88 return msgs;
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 public void setType(VLSTypeDef newType)
97 {
98 if (newType != type)
99 {
100 NotificationChain msgs = null;
101 if (type != null)
102 msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TERM__TYPE, null, msgs);
103 if (newType != null)
104 msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TERM__TYPE, null, msgs);
105 msgs = basicSetType(newType, msgs);
106 if (msgs != null) msgs.dispatch();
107 }
108 else if (eNotificationRequired())
109 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TERM__TYPE, newType, newType));
110 }
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 @Override
118 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
119 {
120 switch (featureID)
121 {
122 case VampireLanguagePackage.VLS_TERM__TYPE:
123 return basicSetType(null, msgs);
124 }
125 return super.eInverseRemove(otherEnd, featureID, msgs);
126 }
127
128 /**
129 * <!-- begin-user-doc -->
130 * <!-- end-user-doc -->
131 * @generated
132 */
133 @Override
134 public Object eGet(int featureID, boolean resolve, boolean coreType)
135 {
136 switch (featureID)
137 {
138 case VampireLanguagePackage.VLS_TERM__TYPE:
139 return getType();
140 }
141 return super.eGet(featureID, resolve, coreType);
142 }
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 @Override
150 public void eSet(int featureID, Object newValue)
151 {
152 switch (featureID)
153 {
154 case VampireLanguagePackage.VLS_TERM__TYPE:
155 setType((VLSTypeDef)newValue);
156 return;
157 }
158 super.eSet(featureID, newValue);
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public void eUnset(int featureID)
168 {
169 switch (featureID)
170 {
171 case VampireLanguagePackage.VLS_TERM__TYPE:
172 setType((VLSTypeDef)null);
173 return;
174 }
175 super.eUnset(featureID);
176 }
177
178 /**
179 * <!-- begin-user-doc -->
180 * <!-- end-user-doc -->
181 * @generated
182 */
183 @Override
184 public boolean eIsSet(int featureID)
185 {
186 switch (featureID)
187 {
188 case VampireLanguagePackage.VLS_TERM__TYPE:
189 return type != null;
190 }
191 return super.eIsSet(featureID);
192 }
193
43} //VLSTermImpl 194} //VLSTermImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java
index b4ff1184..d1ab6e93 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffFormulaImpl.java
@@ -4,8 +4,8 @@
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10 10
11import org.eclipse.emf.common.notify.Notification; 11import org.eclipse.emf.common.notify.Notification;
@@ -26,7 +26,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
26 * </p> 26 * </p>
27 * <ul> 27 * <ul>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getName <em>Name</em>}</li> 28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getName <em>Name</em>}</li>
29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getFofRole <em>Fof Role</em>}</li> 29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getTffRole <em>Tff Role</em>}</li>
30 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getFofFormula <em>Fof Formula</em>}</li> 30 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getFofFormula <em>Fof Formula</em>}</li>
31 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getAnnotations <em>Annotations</em>}</li> 31 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTffFormulaImpl#getAnnotations <em>Annotations</em>}</li>
32 * </ul> 32 * </ul>
@@ -56,24 +56,24 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
56 protected String name = NAME_EDEFAULT; 56 protected String name = NAME_EDEFAULT;
57 57
58 /** 58 /**
59 * The default value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute. 59 * The default value of the '{@link #getTffRole() <em>Tff Role</em>}' attribute.
60 * <!-- begin-user-doc --> 60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc --> 61 * <!-- end-user-doc -->
62 * @see #getFofRole() 62 * @see #getTffRole()
63 * @generated 63 * @generated
64 * @ordered 64 * @ordered
65 */ 65 */
66 protected static final String FOF_ROLE_EDEFAULT = null; 66 protected static final String TFF_ROLE_EDEFAULT = null;
67 67
68 /** 68 /**
69 * The cached value of the '{@link #getFofRole() <em>Fof Role</em>}' attribute. 69 * The cached value of the '{@link #getTffRole() <em>Tff Role</em>}' attribute.
70 * <!-- begin-user-doc --> 70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc --> 71 * <!-- end-user-doc -->
72 * @see #getFofRole() 72 * @see #getTffRole()
73 * @generated 73 * @generated
74 * @ordered 74 * @ordered
75 */ 75 */
76 protected String fofRole = FOF_ROLE_EDEFAULT; 76 protected String tffRole = TFF_ROLE_EDEFAULT;
77 77
78 /** 78 /**
79 * The cached value of the '{@link #getFofFormula() <em>Fof Formula</em>}' containment reference. 79 * The cached value of the '{@link #getFofFormula() <em>Fof Formula</em>}' containment reference.
@@ -83,7 +83,7 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
83 * @generated 83 * @generated
84 * @ordered 84 * @ordered
85 */ 85 */
86 protected VLSTerm fofFormula; 86 protected VLSTffTerm fofFormula;
87 87
88 /** 88 /**
89 * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference. 89 * The cached value of the '{@link #getAnnotations() <em>Annotations</em>}' containment reference.
@@ -144,9 +144,9 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
144 * <!-- end-user-doc --> 144 * <!-- end-user-doc -->
145 * @generated 145 * @generated
146 */ 146 */
147 public String getFofRole() 147 public String getTffRole()
148 { 148 {
149 return fofRole; 149 return tffRole;
150 } 150 }
151 151
152 /** 152 /**
@@ -154,12 +154,12 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
154 * <!-- end-user-doc --> 154 * <!-- end-user-doc -->
155 * @generated 155 * @generated
156 */ 156 */
157 public void setFofRole(String newFofRole) 157 public void setTffRole(String newTffRole)
158 { 158 {
159 String oldFofRole = fofRole; 159 String oldTffRole = tffRole;
160 fofRole = newFofRole; 160 tffRole = newTffRole;
161 if (eNotificationRequired()) 161 if (eNotificationRequired())
162 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE, oldFofRole, fofRole)); 162 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TFF_FORMULA__TFF_ROLE, oldTffRole, tffRole));
163 } 163 }
164 164
165 /** 165 /**
@@ -167,7 +167,7 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
167 * <!-- end-user-doc --> 167 * <!-- end-user-doc -->
168 * @generated 168 * @generated
169 */ 169 */
170 public VLSTerm getFofFormula() 170 public VLSTffTerm getFofFormula()
171 { 171 {
172 return fofFormula; 172 return fofFormula;
173 } 173 }
@@ -177,9 +177,9 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
177 * <!-- end-user-doc --> 177 * <!-- end-user-doc -->
178 * @generated 178 * @generated
179 */ 179 */
180 public NotificationChain basicSetFofFormula(VLSTerm newFofFormula, NotificationChain msgs) 180 public NotificationChain basicSetFofFormula(VLSTffTerm newFofFormula, NotificationChain msgs)
181 { 181 {
182 VLSTerm oldFofFormula = fofFormula; 182 VLSTffTerm oldFofFormula = fofFormula;
183 fofFormula = newFofFormula; 183 fofFormula = newFofFormula;
184 if (eNotificationRequired()) 184 if (eNotificationRequired())
185 { 185 {
@@ -194,7 +194,7 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
194 * <!-- end-user-doc --> 194 * <!-- end-user-doc -->
195 * @generated 195 * @generated
196 */ 196 */
197 public void setFofFormula(VLSTerm newFofFormula) 197 public void setFofFormula(VLSTffTerm newFofFormula)
198 { 198 {
199 if (newFofFormula != fofFormula) 199 if (newFofFormula != fofFormula)
200 { 200 {
@@ -288,8 +288,8 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
288 { 288 {
289 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME: 289 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
290 return getName(); 290 return getName();
291 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE: 291 case VampireLanguagePackage.VLS_TFF_FORMULA__TFF_ROLE:
292 return getFofRole(); 292 return getTffRole();
293 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA: 293 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
294 return getFofFormula(); 294 return getFofFormula();
295 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS: 295 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
@@ -311,11 +311,11 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
311 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME: 311 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
312 setName((String)newValue); 312 setName((String)newValue);
313 return; 313 return;
314 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE: 314 case VampireLanguagePackage.VLS_TFF_FORMULA__TFF_ROLE:
315 setFofRole((String)newValue); 315 setTffRole((String)newValue);
316 return; 316 return;
317 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA: 317 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
318 setFofFormula((VLSTerm)newValue); 318 setFofFormula((VLSTffTerm)newValue);
319 return; 319 return;
320 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS: 320 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
321 setAnnotations((VLSAnnotation)newValue); 321 setAnnotations((VLSAnnotation)newValue);
@@ -337,11 +337,11 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
337 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME: 337 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
338 setName(NAME_EDEFAULT); 338 setName(NAME_EDEFAULT);
339 return; 339 return;
340 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE: 340 case VampireLanguagePackage.VLS_TFF_FORMULA__TFF_ROLE:
341 setFofRole(FOF_ROLE_EDEFAULT); 341 setTffRole(TFF_ROLE_EDEFAULT);
342 return; 342 return;
343 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA: 343 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
344 setFofFormula((VLSTerm)null); 344 setFofFormula((VLSTffTerm)null);
345 return; 345 return;
346 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS: 346 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
347 setAnnotations((VLSAnnotation)null); 347 setAnnotations((VLSAnnotation)null);
@@ -362,8 +362,8 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
362 { 362 {
363 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME: 363 case VampireLanguagePackage.VLS_TFF_FORMULA__NAME:
364 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); 364 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
365 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_ROLE: 365 case VampireLanguagePackage.VLS_TFF_FORMULA__TFF_ROLE:
366 return FOF_ROLE_EDEFAULT == null ? fofRole != null : !FOF_ROLE_EDEFAULT.equals(fofRole); 366 return TFF_ROLE_EDEFAULT == null ? tffRole != null : !TFF_ROLE_EDEFAULT.equals(tffRole);
367 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA: 367 case VampireLanguagePackage.VLS_TFF_FORMULA__FOF_FORMULA:
368 return fofFormula != null; 368 return fofFormula != null;
369 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS: 369 case VampireLanguagePackage.VLS_TFF_FORMULA__ANNOTATIONS:
@@ -385,8 +385,8 @@ public class VLSTffFormulaImpl extends MinimalEObjectImpl.Container implements V
385 StringBuilder result = new StringBuilder(super.toString()); 385 StringBuilder result = new StringBuilder(super.toString());
386 result.append(" (name: "); 386 result.append(" (name: ");
387 result.append(name); 387 result.append(name);
388 result.append(", fofRole: "); 388 result.append(", tffRole: ");
389 result.append(fofRole); 389 result.append(tffRole);
390 result.append(')'); 390 result.append(')');
391 return result.toString(); 391 return result.toString();
392 } 392 }
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffTermImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffTermImpl.java
new file mode 100644
index 00000000..fc074395
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTffTermImpl.java
@@ -0,0 +1,43 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
12
13/**
14 * <!-- begin-user-doc -->
15 * An implementation of the model object '<em><b>VLS Tff Term</b></em>'.
16 * <!-- end-user-doc -->
17 *
18 * @generated
19 */
20public class VLSTffTermImpl extends MinimalEObjectImpl.Container implements VLSTffTerm
21{
22 /**
23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc -->
25 * @generated
26 */
27 protected VLSTffTermImpl()
28 {
29 super();
30 }
31
32 /**
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 @Override
38 protected EClass eStaticClass()
39 {
40 return VampireLanguagePackage.Literals.VLS_TFF_TERM;
41 }
42
43} //VLSTffTermImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java
index 6863c49c..77e5cc25 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSNameImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTryingImpl.java
@@ -1,178 +1,177 @@
1/** 1/**
2 * generated by Xtext 2.14.0 2 * generated by Xtext 2.14.0
3 */ 3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 8
9import org.eclipse.emf.common.notify.Notification; 9import org.eclipse.emf.common.notify.Notification;
10 10
11import org.eclipse.emf.ecore.EClass; 11import org.eclipse.emf.ecore.EClass;
12 12
13import org.eclipse.emf.ecore.impl.ENotificationImpl; 13import org.eclipse.emf.ecore.impl.ENotificationImpl;
14import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; 14
15 15/**
16/** 16 * <!-- begin-user-doc -->
17 * <!-- begin-user-doc --> 17 * An implementation of the model object '<em><b>VLS Trying</b></em>'.
18 * An implementation of the model object '<em><b>VLS Name</b></em>'. 18 * <!-- end-user-doc -->
19 * <!-- end-user-doc --> 19 * <p>
20 * <p> 20 * The following features are implemented:
21 * The following features are implemented: 21 * </p>
22 * </p> 22 * <ul>
23 * <ul> 23 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl#getName <em>Name</em>}</li>
24 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSNameImpl#getName <em>Name</em>}</li> 24 * </ul>
25 * </ul> 25 *
26 * 26 * @generated
27 * @generated 27 */
28 */ 28public class VLSTryingImpl extends VLSConfirmationsImpl implements VLSTrying
29public class VLSNameImpl extends MinimalEObjectImpl.Container implements VLSName 29{
30{ 30 /**
31 /** 31 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
32 * The default value of the '{@link #getName() <em>Name</em>}' attribute. 32 * <!-- begin-user-doc -->
33 * <!-- begin-user-doc --> 33 * <!-- end-user-doc -->
34 * <!-- end-user-doc --> 34 * @see #getName()
35 * @see #getName() 35 * @generated
36 * @generated 36 * @ordered
37 * @ordered 37 */
38 */ 38 protected static final String NAME_EDEFAULT = null;
39 protected static final String NAME_EDEFAULT = null; 39
40 40 /**
41 /** 41 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
42 * The cached value of the '{@link #getName() <em>Name</em>}' attribute. 42 * <!-- begin-user-doc -->
43 * <!-- begin-user-doc --> 43 * <!-- end-user-doc -->
44 * <!-- end-user-doc --> 44 * @see #getName()
45 * @see #getName() 45 * @generated
46 * @generated 46 * @ordered
47 * @ordered 47 */
48 */ 48 protected String name = NAME_EDEFAULT;
49 protected String name = NAME_EDEFAULT; 49
50 50 /**
51 /** 51 * <!-- begin-user-doc -->
52 * <!-- begin-user-doc --> 52 * <!-- end-user-doc -->
53 * <!-- end-user-doc --> 53 * @generated
54 * @generated 54 */
55 */ 55 protected VLSTryingImpl()
56 protected VLSNameImpl() 56 {
57 { 57 super();
58 super(); 58 }
59 } 59
60 60 /**
61 /** 61 * <!-- begin-user-doc -->
62 * <!-- begin-user-doc --> 62 * <!-- end-user-doc -->
63 * <!-- end-user-doc --> 63 * @generated
64 * @generated 64 */
65 */ 65 @Override
66 @Override 66 protected EClass eStaticClass()
67 protected EClass eStaticClass() 67 {
68 { 68 return VampireLanguagePackage.Literals.VLS_TRYING;
69 return VampireLanguagePackage.Literals.VLS_NAME; 69 }
70 } 70
71 71 /**
72 /** 72 * <!-- begin-user-doc -->
73 * <!-- begin-user-doc --> 73 * <!-- end-user-doc -->
74 * <!-- end-user-doc --> 74 * @generated
75 * @generated 75 */
76 */ 76 public String getName()
77 public String getName() 77 {
78 { 78 return name;
79 return name; 79 }
80 } 80
81 81 /**
82 /** 82 * <!-- begin-user-doc -->
83 * <!-- begin-user-doc --> 83 * <!-- end-user-doc -->
84 * <!-- end-user-doc --> 84 * @generated
85 * @generated 85 */
86 */ 86 public void setName(String newName)
87 public void setName(String newName) 87 {
88 { 88 String oldName = name;
89 String oldName = name; 89 name = newName;
90 name = newName; 90 if (eNotificationRequired())
91 if (eNotificationRequired()) 91 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TRYING__NAME, oldName, name));
92 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_NAME__NAME, oldName, name)); 92 }
93 } 93
94 94 /**
95 /** 95 * <!-- begin-user-doc -->
96 * <!-- begin-user-doc --> 96 * <!-- end-user-doc -->
97 * <!-- end-user-doc --> 97 * @generated
98 * @generated 98 */
99 */ 99 @Override
100 @Override 100 public Object eGet(int featureID, boolean resolve, boolean coreType)
101 public Object eGet(int featureID, boolean resolve, boolean coreType) 101 {
102 { 102 switch (featureID)
103 switch (featureID) 103 {
104 { 104 case VampireLanguagePackage.VLS_TRYING__NAME:
105 case VampireLanguagePackage.VLS_NAME__NAME: 105 return getName();
106 return getName(); 106 }
107 } 107 return super.eGet(featureID, resolve, coreType);
108 return super.eGet(featureID, resolve, coreType); 108 }
109 } 109
110 110 /**
111 /** 111 * <!-- begin-user-doc -->
112 * <!-- begin-user-doc --> 112 * <!-- end-user-doc -->
113 * <!-- end-user-doc --> 113 * @generated
114 * @generated 114 */
115 */ 115 @Override
116 @Override 116 public void eSet(int featureID, Object newValue)
117 public void eSet(int featureID, Object newValue) 117 {
118 { 118 switch (featureID)
119 switch (featureID) 119 {
120 { 120 case VampireLanguagePackage.VLS_TRYING__NAME:
121 case VampireLanguagePackage.VLS_NAME__NAME: 121 setName((String)newValue);
122 setName((String)newValue); 122 return;
123 return; 123 }
124 } 124 super.eSet(featureID, newValue);
125 super.eSet(featureID, newValue); 125 }
126 } 126
127 127 /**
128 /** 128 * <!-- begin-user-doc -->
129 * <!-- begin-user-doc --> 129 * <!-- end-user-doc -->
130 * <!-- end-user-doc --> 130 * @generated
131 * @generated 131 */
132 */ 132 @Override
133 @Override 133 public void eUnset(int featureID)
134 public void eUnset(int featureID) 134 {
135 { 135 switch (featureID)
136 switch (featureID) 136 {
137 { 137 case VampireLanguagePackage.VLS_TRYING__NAME:
138 case VampireLanguagePackage.VLS_NAME__NAME: 138 setName(NAME_EDEFAULT);
139 setName(NAME_EDEFAULT); 139 return;
140 return; 140 }
141 } 141 super.eUnset(featureID);
142 super.eUnset(featureID); 142 }
143 } 143
144 144 /**
145 /** 145 * <!-- begin-user-doc -->
146 * <!-- begin-user-doc --> 146 * <!-- end-user-doc -->
147 * <!-- end-user-doc --> 147 * @generated
148 * @generated 148 */
149 */ 149 @Override
150 @Override 150 public boolean eIsSet(int featureID)
151 public boolean eIsSet(int featureID) 151 {
152 { 152 switch (featureID)
153 switch (featureID) 153 {
154 { 154 case VampireLanguagePackage.VLS_TRYING__NAME:
155 case VampireLanguagePackage.VLS_NAME__NAME: 155 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
156 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); 156 }
157 } 157 return super.eIsSet(featureID);
158 return super.eIsSet(featureID); 158 }
159 } 159
160 160 /**
161 /** 161 * <!-- begin-user-doc -->
162 * <!-- begin-user-doc --> 162 * <!-- end-user-doc -->
163 * <!-- end-user-doc --> 163 * @generated
164 * @generated 164 */
165 */ 165 @Override
166 @Override 166 public String toString()
167 public String toString() 167 {
168 { 168 if (eIsProxy()) return super.toString();
169 if (eIsProxy()) return super.toString(); 169
170 170 StringBuilder result = new StringBuilder(super.toString());
171 StringBuilder result = new StringBuilder(super.toString()); 171 result.append(" (name: ");
172 result.append(" (name: "); 172 result.append(name);
173 result.append(name); 173 result.append(')');
174 result.append(')'); 174 return result.toString();
175 return result.toString(); 175 }
176 } 176
177 177} //VLSTryingImpl
178} //VLSNameImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTypeDefImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTypeDefImpl.java
new file mode 100644
index 00000000..d16f5fe4
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTypeDefImpl.java
@@ -0,0 +1,408 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
9
10import org.eclipse.emf.common.notify.Notification;
11import org.eclipse.emf.common.notify.NotificationChain;
12
13import org.eclipse.emf.ecore.EClass;
14import org.eclipse.emf.ecore.InternalEObject;
15
16import org.eclipse.emf.ecore.impl.ENotificationImpl;
17import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
18
19/**
20 * <!-- begin-user-doc -->
21 * An implementation of the model object '<em><b>VLS Type Def</b></em>'.
22 * <!-- end-user-doc -->
23 * <p>
24 * The following features are implemented:
25 * </p>
26 * <ul>
27 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl#getTypeSig <em>Type Sig</em>}</li>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl#getMapsTo <em>Maps To</em>}</li>
29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl#getInitType <em>Init Type</em>}</li>
30 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl#getNextType <em>Next Type</em>}</li>
31 * </ul>
32 *
33 * @generated
34 */
35public class VLSTypeDefImpl extends MinimalEObjectImpl.Container implements VLSTypeDef
36{
37 /**
38 * The cached value of the '{@link #getTypeSig() <em>Type Sig</em>}' containment reference.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @see #getTypeSig()
42 * @generated
43 * @ordered
44 */
45 protected VLSTypeDef typeSig;
46
47 /**
48 * The cached value of the '{@link #getMapsTo() <em>Maps To</em>}' containment reference.
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @see #getMapsTo()
52 * @generated
53 * @ordered
54 */
55 protected VLSTerm mapsTo;
56
57 /**
58 * The cached value of the '{@link #getInitType() <em>Init Type</em>}' containment reference.
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @see #getInitType()
62 * @generated
63 * @ordered
64 */
65 protected VLSTerm initType;
66
67 /**
68 * The cached value of the '{@link #getNextType() <em>Next Type</em>}' containment reference.
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @see #getNextType()
72 * @generated
73 * @ordered
74 */
75 protected VLSTerm nextType;
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 protected VLSTypeDefImpl()
83 {
84 super();
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 @Override
93 protected EClass eStaticClass()
94 {
95 return VampireLanguagePackage.Literals.VLS_TYPE_DEF;
96 }
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 public VLSTypeDef getTypeSig()
104 {
105 return typeSig;
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 public NotificationChain basicSetTypeSig(VLSTypeDef newTypeSig, NotificationChain msgs)
114 {
115 VLSTypeDef oldTypeSig = typeSig;
116 typeSig = newTypeSig;
117 if (eNotificationRequired())
118 {
119 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG, oldTypeSig, newTypeSig);
120 if (msgs == null) msgs = notification; else msgs.add(notification);
121 }
122 return msgs;
123 }
124
125 /**
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 */
130 public void setTypeSig(VLSTypeDef newTypeSig)
131 {
132 if (newTypeSig != typeSig)
133 {
134 NotificationChain msgs = null;
135 if (typeSig != null)
136 msgs = ((InternalEObject)typeSig).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG, null, msgs);
137 if (newTypeSig != null)
138 msgs = ((InternalEObject)newTypeSig).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG, null, msgs);
139 msgs = basicSetTypeSig(newTypeSig, msgs);
140 if (msgs != null) msgs.dispatch();
141 }
142 else if (eNotificationRequired())
143 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG, newTypeSig, newTypeSig));
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 public VLSTerm getMapsTo()
152 {
153 return mapsTo;
154 }
155
156 /**
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @generated
160 */
161 public NotificationChain basicSetMapsTo(VLSTerm newMapsTo, NotificationChain msgs)
162 {
163 VLSTerm oldMapsTo = mapsTo;
164 mapsTo = newMapsTo;
165 if (eNotificationRequired())
166 {
167 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO, oldMapsTo, newMapsTo);
168 if (msgs == null) msgs = notification; else msgs.add(notification);
169 }
170 return msgs;
171 }
172
173 /**
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 */
178 public void setMapsTo(VLSTerm newMapsTo)
179 {
180 if (newMapsTo != mapsTo)
181 {
182 NotificationChain msgs = null;
183 if (mapsTo != null)
184 msgs = ((InternalEObject)mapsTo).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO, null, msgs);
185 if (newMapsTo != null)
186 msgs = ((InternalEObject)newMapsTo).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO, null, msgs);
187 msgs = basicSetMapsTo(newMapsTo, msgs);
188 if (msgs != null) msgs.dispatch();
189 }
190 else if (eNotificationRequired())
191 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO, newMapsTo, newMapsTo));
192 }
193
194 /**
195 * <!-- begin-user-doc -->
196 * <!-- end-user-doc -->
197 * @generated
198 */
199 public VLSTerm getInitType()
200 {
201 return initType;
202 }
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 public NotificationChain basicSetInitType(VLSTerm newInitType, NotificationChain msgs)
210 {
211 VLSTerm oldInitType = initType;
212 initType = newInitType;
213 if (eNotificationRequired())
214 {
215 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE, oldInitType, newInitType);
216 if (msgs == null) msgs = notification; else msgs.add(notification);
217 }
218 return msgs;
219 }
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
226 public void setInitType(VLSTerm newInitType)
227 {
228 if (newInitType != initType)
229 {
230 NotificationChain msgs = null;
231 if (initType != null)
232 msgs = ((InternalEObject)initType).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE, null, msgs);
233 if (newInitType != null)
234 msgs = ((InternalEObject)newInitType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE, null, msgs);
235 msgs = basicSetInitType(newInitType, msgs);
236 if (msgs != null) msgs.dispatch();
237 }
238 else if (eNotificationRequired())
239 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE, newInitType, newInitType));
240 }
241
242 /**
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 */
247 public VLSTerm getNextType()
248 {
249 return nextType;
250 }
251
252 /**
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @generated
256 */
257 public NotificationChain basicSetNextType(VLSTerm newNextType, NotificationChain msgs)
258 {
259 VLSTerm oldNextType = nextType;
260 nextType = newNextType;
261 if (eNotificationRequired())
262 {
263 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE, oldNextType, newNextType);
264 if (msgs == null) msgs = notification; else msgs.add(notification);
265 }
266 return msgs;
267 }
268
269 /**
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @generated
273 */
274 public void setNextType(VLSTerm newNextType)
275 {
276 if (newNextType != nextType)
277 {
278 NotificationChain msgs = null;
279 if (nextType != null)
280 msgs = ((InternalEObject)nextType).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE, null, msgs);
281 if (newNextType != null)
282 msgs = ((InternalEObject)newNextType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE, null, msgs);
283 msgs = basicSetNextType(newNextType, msgs);
284 if (msgs != null) msgs.dispatch();
285 }
286 else if (eNotificationRequired())
287 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE, newNextType, newNextType));
288 }
289
290 /**
291 * <!-- begin-user-doc -->
292 * <!-- end-user-doc -->
293 * @generated
294 */
295 @Override
296 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
297 {
298 switch (featureID)
299 {
300 case VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG:
301 return basicSetTypeSig(null, msgs);
302 case VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO:
303 return basicSetMapsTo(null, msgs);
304 case VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE:
305 return basicSetInitType(null, msgs);
306 case VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE:
307 return basicSetNextType(null, msgs);
308 }
309 return super.eInverseRemove(otherEnd, featureID, msgs);
310 }
311
312 /**
313 * <!-- begin-user-doc -->
314 * <!-- end-user-doc -->
315 * @generated
316 */
317 @Override
318 public Object eGet(int featureID, boolean resolve, boolean coreType)
319 {
320 switch (featureID)
321 {
322 case VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG:
323 return getTypeSig();
324 case VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO:
325 return getMapsTo();
326 case VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE:
327 return getInitType();
328 case VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE:
329 return getNextType();
330 }
331 return super.eGet(featureID, resolve, coreType);
332 }
333
334 /**
335 * <!-- begin-user-doc -->
336 * <!-- end-user-doc -->
337 * @generated
338 */
339 @Override
340 public void eSet(int featureID, Object newValue)
341 {
342 switch (featureID)
343 {
344 case VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG:
345 setTypeSig((VLSTypeDef)newValue);
346 return;
347 case VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO:
348 setMapsTo((VLSTerm)newValue);
349 return;
350 case VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE:
351 setInitType((VLSTerm)newValue);
352 return;
353 case VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE:
354 setNextType((VLSTerm)newValue);
355 return;
356 }
357 super.eSet(featureID, newValue);
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 @Override
366 public void eUnset(int featureID)
367 {
368 switch (featureID)
369 {
370 case VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG:
371 setTypeSig((VLSTypeDef)null);
372 return;
373 case VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO:
374 setMapsTo((VLSTerm)null);
375 return;
376 case VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE:
377 setInitType((VLSTerm)null);
378 return;
379 case VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE:
380 setNextType((VLSTerm)null);
381 return;
382 }
383 super.eUnset(featureID);
384 }
385
386 /**
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @generated
390 */
391 @Override
392 public boolean eIsSet(int featureID)
393 {
394 switch (featureID)
395 {
396 case VampireLanguagePackage.VLS_TYPE_DEF__TYPE_SIG:
397 return typeSig != null;
398 case VampireLanguagePackage.VLS_TYPE_DEF__MAPS_TO:
399 return mapsTo != null;
400 case VampireLanguagePackage.VLS_TYPE_DEF__INIT_TYPE:
401 return initType != null;
402 case VampireLanguagePackage.VLS_TYPE_DEF__NEXT_TYPE:
403 return nextType != null;
404 }
405 return super.eIsSet(featureID);
406 }
407
408} //VLSTypeDefImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
index 696a4889..b9bfbe07 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSUniversalQuantifierImpl.java
@@ -5,7 +5,7 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
10 10
11import java.util.Collection; 11import java.util.Collection;
@@ -47,7 +47,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
47 * @generated 47 * @generated
48 * @ordered 48 * @ordered
49 */ 49 */
50 protected EList<VLSVariable> variables; 50 protected EList<VLSVariableDeclaration> variables;
51 51
52 /** 52 /**
53 * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference. 53 * The cached value of the '{@link #getOperand() <em>Operand</em>}' containment reference.
@@ -85,11 +85,11 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
85 * <!-- end-user-doc --> 85 * <!-- end-user-doc -->
86 * @generated 86 * @generated
87 */ 87 */
88 public EList<VLSVariable> getVariables() 88 public EList<VLSVariableDeclaration> getVariables()
89 { 89 {
90 if (variables == null) 90 if (variables == null)
91 { 91 {
92 variables = new EObjectContainmentEList<VLSVariable>(VLSVariable.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES); 92 variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES);
93 } 93 }
94 return variables; 94 return variables;
95 } 95 }
@@ -191,7 +191,7 @@ public class VLSUniversalQuantifierImpl extends VLSTermImpl implements VLSUniver
191 { 191 {
192 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES: 192 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES:
193 getVariables().clear(); 193 getVariables().clear();
194 getVariables().addAll((Collection<? extends VLSVariable>)newValue); 194 getVariables().addAll((Collection<? extends VLSVariableDeclaration>)newValue);
195 return; 195 return;
196 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND: 196 case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__OPERAND:
197 setOperand((VLSTerm)newValue); 197 setOperand((VLSTerm)newValue);
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableDeclarationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableDeclarationImpl.java
new file mode 100644
index 00000000..0e6c0ef9
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableDeclarationImpl.java
@@ -0,0 +1,41 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8
9import org.eclipse.emf.ecore.EClass;
10
11/**
12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Variable Declaration</b></em>'.
14 * <!-- end-user-doc -->
15 *
16 * @generated
17 */
18public class VLSVariableDeclarationImpl extends VLSDeclarationImpl implements VLSVariableDeclaration
19{
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected VLSVariableDeclarationImpl()
26 {
27 super();
28 }
29
30 /**
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 @Override
36 protected EClass eStaticClass()
37 {
38 return VampireLanguagePackage.Literals.VLS_VARIABLE_DECLARATION;
39 }
40
41} //VLSVariableDeclarationImpl
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
index 9ebed3eb..1d38ddfb 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSVariableImpl.java
@@ -3,12 +3,17 @@
3 */ 3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 11
9import org.eclipse.emf.common.notify.Notification; 12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
10 14
11import org.eclipse.emf.ecore.EClass; 15import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.InternalEObject;
12 17
13import org.eclipse.emf.ecore.impl.ENotificationImpl; 18import org.eclipse.emf.ecore.impl.ENotificationImpl;
14 19
@@ -20,14 +25,25 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
20 * The following features are implemented: 25 * The following features are implemented:
21 * </p> 26 * </p>
22 * <ul> 27 * <ul>
28 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getType <em>Type</em>}</li>
23 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li> 29 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li>
24 * </ul> 30 * </ul>
25 * 31 *
26 * @generated 32 * @generated
27 */ 33 */
28public class VLSVariableImpl extends VLSTermImpl implements VLSVariable 34public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVariable
29{ 35{
30 /** 36 /**
37 * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @see #getType()
41 * @generated
42 * @ordered
43 */
44 protected VLSTypeDef type;
45
46 /**
31 * The default value of the '{@link #getName() <em>Name</em>}' attribute. 47 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
32 * <!-- begin-user-doc --> 48 * <!-- begin-user-doc -->
33 * <!-- end-user-doc --> 49 * <!-- end-user-doc -->
@@ -73,6 +89,54 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
73 * <!-- end-user-doc --> 89 * <!-- end-user-doc -->
74 * @generated 90 * @generated
75 */ 91 */
92 public VLSTypeDef getType()
93 {
94 return type;
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 public NotificationChain basicSetType(VLSTypeDef newType, NotificationChain msgs)
103 {
104 VLSTypeDef oldType = type;
105 type = newType;
106 if (eNotificationRequired())
107 {
108 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE__TYPE, oldType, newType);
109 if (msgs == null) msgs = notification; else msgs.add(notification);
110 }
111 return msgs;
112 }
113
114 /**
115 * <!-- begin-user-doc -->
116 * <!-- end-user-doc -->
117 * @generated
118 */
119 public void setType(VLSTypeDef newType)
120 {
121 if (newType != type)
122 {
123 NotificationChain msgs = null;
124 if (type != null)
125 msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE__TYPE, null, msgs);
126 if (newType != null)
127 msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE__TYPE, null, msgs);
128 msgs = basicSetType(newType, msgs);
129 if (msgs != null) msgs.dispatch();
130 }
131 else if (eNotificationRequired())
132 eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE__TYPE, newType, newType));
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
76 public String getName() 140 public String getName()
77 { 141 {
78 return name; 142 return name;
@@ -97,10 +161,28 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
97 * @generated 161 * @generated
98 */ 162 */
99 @Override 163 @Override
164 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
165 {
166 switch (featureID)
167 {
168 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
169 return basicSetType(null, msgs);
170 }
171 return super.eInverseRemove(otherEnd, featureID, msgs);
172 }
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 @Override
100 public Object eGet(int featureID, boolean resolve, boolean coreType) 180 public Object eGet(int featureID, boolean resolve, boolean coreType)
101 { 181 {
102 switch (featureID) 182 switch (featureID)
103 { 183 {
184 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
185 return getType();
104 case VampireLanguagePackage.VLS_VARIABLE__NAME: 186 case VampireLanguagePackage.VLS_VARIABLE__NAME:
105 return getName(); 187 return getName();
106 } 188 }
@@ -117,6 +199,9 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
117 { 199 {
118 switch (featureID) 200 switch (featureID)
119 { 201 {
202 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
203 setType((VLSTypeDef)newValue);
204 return;
120 case VampireLanguagePackage.VLS_VARIABLE__NAME: 205 case VampireLanguagePackage.VLS_VARIABLE__NAME:
121 setName((String)newValue); 206 setName((String)newValue);
122 return; 207 return;
@@ -134,6 +219,9 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
134 { 219 {
135 switch (featureID) 220 switch (featureID)
136 { 221 {
222 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
223 setType((VLSTypeDef)null);
224 return;
137 case VampireLanguagePackage.VLS_VARIABLE__NAME: 225 case VampireLanguagePackage.VLS_VARIABLE__NAME:
138 setName(NAME_EDEFAULT); 226 setName(NAME_EDEFAULT);
139 return; 227 return;
@@ -151,6 +239,8 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
151 { 239 {
152 switch (featureID) 240 switch (featureID)
153 { 241 {
242 case VampireLanguagePackage.VLS_VARIABLE__TYPE:
243 return type != null;
154 case VampireLanguagePackage.VLS_VARIABLE__NAME: 244 case VampireLanguagePackage.VLS_VARIABLE__NAME:
155 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); 245 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
156 } 246 }
@@ -163,6 +253,58 @@ public class VLSVariableImpl extends VLSTermImpl implements VLSVariable
163 * @generated 253 * @generated
164 */ 254 */
165 @Override 255 @Override
256 public int eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
257 {
258 if (baseClass == VLSOtherDeclaration.class)
259 {
260 switch (derivedFeatureID)
261 {
262 default: return -1;
263 }
264 }
265 if (baseClass == VLSTerm.class)
266 {
267 switch (derivedFeatureID)
268 {
269 case VampireLanguagePackage.VLS_VARIABLE__TYPE: return VampireLanguagePackage.VLS_TERM__TYPE;
270 default: return -1;
271 }
272 }
273 return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
274 }
275
276 /**
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 */
281 @Override
282 public int eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
283 {
284 if (baseClass == VLSOtherDeclaration.class)
285 {
286 switch (baseFeatureID)
287 {
288 default: return -1;
289 }
290 }
291 if (baseClass == VLSTerm.class)
292 {
293 switch (baseFeatureID)
294 {
295 case VampireLanguagePackage.VLS_TERM__TYPE: return VampireLanguagePackage.VLS_VARIABLE__TYPE;
296 default: return -1;
297 }
298 }
299 return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
300 }
301
302 /**
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 */
307 @Override
166 public String toString() 308 public String toString()
167 { 309 {
168 if (eIsProxy()) return super.toString(); 310 if (eIsProxy()) return super.toString();
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRealImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSWarningImpl.java
index bedcde3e..34cb784d 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSRealImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSWarningImpl.java
@@ -1,41 +1,41 @@
1/** 1/**
2 * generated by Xtext 2.14.0 2 * generated by Xtext 2.14.0
3 */ 3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; 4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5 5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
8 8
9import org.eclipse.emf.ecore.EClass; 9import org.eclipse.emf.ecore.EClass;
10 10
11/** 11/**
12 * <!-- begin-user-doc --> 12 * <!-- begin-user-doc -->
13 * An implementation of the model object '<em><b>VLS Real</b></em>'. 13 * An implementation of the model object '<em><b>VLS Warning</b></em>'.
14 * <!-- end-user-doc --> 14 * <!-- end-user-doc -->
15 * 15 *
16 * @generated 16 * @generated
17 */ 17 */
18public class VLSRealImpl extends VLSDefinedTermImpl implements VLSReal 18public class VLSWarningImpl extends VLSConfirmationsImpl implements VLSWarning
19{ 19{
20 /** 20 /**
21 * <!-- begin-user-doc --> 21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc --> 22 * <!-- end-user-doc -->
23 * @generated 23 * @generated
24 */ 24 */
25 protected VLSRealImpl() 25 protected VLSWarningImpl()
26 { 26 {
27 super(); 27 super();
28 } 28 }
29 29
30 /** 30 /**
31 * <!-- begin-user-doc --> 31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc --> 32 * <!-- end-user-doc -->
33 * @generated 33 * @generated
34 */ 34 */
35 @Override 35 @Override
36 protected EClass eStaticClass() 36 protected EClass eStaticClass()
37 { 37 {
38 return VampireLanguagePackage.Literals.VLS_REAL; 38 return VampireLanguagePackage.Literals.VLS_WARNING;
39 } 39 }
40 40
41} //VLSRealImpl 41} //VLSWarningImpl
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 a6b1ac36..0e25a4cc 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
@@ -66,18 +66,24 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
66 switch (eClass.getClassifierID()) 66 switch (eClass.getClassifierID())
67 { 67 {
68 case VampireLanguagePackage.VAMPIRE_MODEL: return createVampireModel(); 68 case VampireLanguagePackage.VAMPIRE_MODEL: return createVampireModel();
69 case VampireLanguagePackage.VLS_INCLUDE: return createVLSInclude();
70 case VampireLanguagePackage.VLS_NAME: return createVLSName();
71 case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); 69 case VampireLanguagePackage.VLS_COMMENT: return createVLSComment();
72 case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); 70 case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations();
73 case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable();
74 case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); 71 case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula();
75 case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); 72 case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula();
76 case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); 73 case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation();
74 case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm();
75 case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration();
76 case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration();
77 case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration();
78 case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef();
77 case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); 79 case VampireLanguagePackage.VLS_TERM: return createVLSTerm();
78 case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); 80 case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable();
79 case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); 81 case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm();
80 case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); 82 case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm();
83 case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable();
84 case VampireLanguagePackage.VLS_WARNING: return createVLSWarning();
85 case VampireLanguagePackage.VLS_TRYING: return createVLSTrying();
86 case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel();
81 case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent(); 87 case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent();
82 case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies(); 88 case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies();
83 case VampireLanguagePackage.VLS_REV_IMPLIES: return createVLSRevImplies(); 89 case VampireLanguagePackage.VLS_REV_IMPLIES: return createVLSRevImplies();
@@ -98,8 +104,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
98 case VampireLanguagePackage.VLS_FUNCTION: return createVLSFunction(); 104 case VampireLanguagePackage.VLS_FUNCTION: return createVLSFunction();
99 case VampireLanguagePackage.VLS_LESS: return createVLSLess(); 105 case VampireLanguagePackage.VLS_LESS: return createVLSLess();
100 case VampireLanguagePackage.VLS_INT: return createVLSInt(); 106 case VampireLanguagePackage.VLS_INT: return createVLSInt();
101 case VampireLanguagePackage.VLS_REAL: return createVLSReal();
102 case VampireLanguagePackage.VLS_RATIONAL: return createVLSRational();
103 case VampireLanguagePackage.VLS_DOUBLE_QUOTE: return createVLSDoubleQuote(); 107 case VampireLanguagePackage.VLS_DOUBLE_QUOTE: return createVLSDoubleQuote();
104 default: 108 default:
105 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); 109 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
@@ -122,10 +126,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
122 * <!-- end-user-doc --> 126 * <!-- end-user-doc -->
123 * @generated 127 * @generated
124 */ 128 */
125 public VLSInclude createVLSInclude() 129 public VLSComment createVLSComment()
126 { 130 {
127 VLSIncludeImpl vlsInclude = new VLSIncludeImpl(); 131 VLSCommentImpl vlsComment = new VLSCommentImpl();
128 return vlsInclude; 132 return vlsComment;
129 } 133 }
130 134
131 /** 135 /**
@@ -133,10 +137,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
133 * <!-- end-user-doc --> 137 * <!-- end-user-doc -->
134 * @generated 138 * @generated
135 */ 139 */
136 public VLSName createVLSName() 140 public VLSConfirmations createVLSConfirmations()
137 { 141 {
138 VLSNameImpl vlsName = new VLSNameImpl(); 142 VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl();
139 return vlsName; 143 return vlsConfirmations;
140 } 144 }
141 145
142 /** 146 /**
@@ -144,10 +148,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
144 * <!-- end-user-doc --> 148 * <!-- end-user-doc -->
145 * @generated 149 * @generated
146 */ 150 */
147 public VLSComment createVLSComment() 151 public VLSFofFormula createVLSFofFormula()
148 { 152 {
149 VLSCommentImpl vlsComment = new VLSCommentImpl(); 153 VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl();
150 return vlsComment; 154 return vlsFofFormula;
151 } 155 }
152 156
153 /** 157 /**
@@ -155,10 +159,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
155 * <!-- end-user-doc --> 159 * <!-- end-user-doc -->
156 * @generated 160 * @generated
157 */ 161 */
158 public VLSConfirmations createVLSConfirmations() 162 public VLSTffFormula createVLSTffFormula()
159 { 163 {
160 VLSConfirmationsImpl vlsConfirmations = new VLSConfirmationsImpl(); 164 VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl();
161 return vlsConfirmations; 165 return vlsTffFormula;
162 } 166 }
163 167
164 /** 168 /**
@@ -166,10 +170,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
166 * <!-- end-user-doc --> 170 * <!-- end-user-doc -->
167 * @generated 171 * @generated
168 */ 172 */
169 public VLSSatisfiable createVLSSatisfiable() 173 public VLSAnnotation createVLSAnnotation()
170 { 174 {
171 VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl(); 175 VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl();
172 return vlsSatisfiable; 176 return vlsAnnotation;
173 } 177 }
174 178
175 /** 179 /**
@@ -177,10 +181,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
177 * <!-- end-user-doc --> 181 * <!-- end-user-doc -->
178 * @generated 182 * @generated
179 */ 183 */
180 public VLSFofFormula createVLSFofFormula() 184 public VLSTffTerm createVLSTffTerm()
181 { 185 {
182 VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); 186 VLSTffTermImpl vlsTffTerm = new VLSTffTermImpl();
183 return vlsFofFormula; 187 return vlsTffTerm;
184 } 188 }
185 189
186 /** 190 /**
@@ -188,10 +192,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
188 * <!-- end-user-doc --> 192 * <!-- end-user-doc -->
189 * @generated 193 * @generated
190 */ 194 */
191 public VLSTffFormula createVLSTffFormula() 195 public VLSDeclaration createVLSDeclaration()
192 { 196 {
193 VLSTffFormulaImpl vlsTffFormula = new VLSTffFormulaImpl(); 197 VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl();
194 return vlsTffFormula; 198 return vlsDeclaration;
195 } 199 }
196 200
197 /** 201 /**
@@ -199,10 +203,32 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
199 * <!-- end-user-doc --> 203 * <!-- end-user-doc -->
200 * @generated 204 * @generated
201 */ 205 */
202 public VLSAnnotation createVLSAnnotation() 206 public VLSOtherDeclaration createVLSOtherDeclaration()
203 { 207 {
204 VLSAnnotationImpl vlsAnnotation = new VLSAnnotationImpl(); 208 VLSOtherDeclarationImpl vlsOtherDeclaration = new VLSOtherDeclarationImpl();
205 return vlsAnnotation; 209 return vlsOtherDeclaration;
210 }
211
212 /**
213 * <!-- begin-user-doc -->
214 * <!-- end-user-doc -->
215 * @generated
216 */
217 public VLSVariableDeclaration createVLSVariableDeclaration()
218 {
219 VLSVariableDeclarationImpl vlsVariableDeclaration = new VLSVariableDeclarationImpl();
220 return vlsVariableDeclaration;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 public VLSTypeDef createVLSTypeDef()
229 {
230 VLSTypeDefImpl vlsTypeDef = new VLSTypeDefImpl();
231 return vlsTypeDef;
206 } 232 }
207 233
208 /** 234 /**
@@ -254,6 +280,50 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
254 * <!-- end-user-doc --> 280 * <!-- end-user-doc -->
255 * @generated 281 * @generated
256 */ 282 */
283 public VLSSatisfiable createVLSSatisfiable()
284 {
285 VLSSatisfiableImpl vlsSatisfiable = new VLSSatisfiableImpl();
286 return vlsSatisfiable;
287 }
288
289 /**
290 * <!-- begin-user-doc -->
291 * <!-- end-user-doc -->
292 * @generated
293 */
294 public VLSWarning createVLSWarning()
295 {
296 VLSWarningImpl vlsWarning = new VLSWarningImpl();
297 return vlsWarning;
298 }
299
300 /**
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 */
305 public VLSTrying createVLSTrying()
306 {
307 VLSTryingImpl vlsTrying = new VLSTryingImpl();
308 return vlsTrying;
309 }
310
311 /**
312 * <!-- begin-user-doc -->
313 * <!-- end-user-doc -->
314 * @generated
315 */
316 public VLSFiniteModel createVLSFiniteModel()
317 {
318 VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl();
319 return vlsFiniteModel;
320 }
321
322 /**
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @generated
326 */
257 public VLSEquivalent createVLSEquivalent() 327 public VLSEquivalent createVLSEquivalent()
258 { 328 {
259 VLSEquivalentImpl vlsEquivalent = new VLSEquivalentImpl(); 329 VLSEquivalentImpl vlsEquivalent = new VLSEquivalentImpl();
@@ -474,28 +544,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
474 * <!-- end-user-doc --> 544 * <!-- end-user-doc -->
475 * @generated 545 * @generated
476 */ 546 */
477 public VLSReal createVLSReal()
478 {
479 VLSRealImpl vlsReal = new VLSRealImpl();
480 return vlsReal;
481 }
482
483 /**
484 * <!-- begin-user-doc -->
485 * <!-- end-user-doc -->
486 * @generated
487 */
488 public VLSRational createVLSRational()
489 {
490 VLSRationalImpl vlsRational = new VLSRationalImpl();
491 return vlsRational;
492 }
493
494 /**
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @generated
498 */
499 public VLSDoubleQuote createVLSDoubleQuote() 547 public VLSDoubleQuote createVLSDoubleQuote()
500 { 548 {
501 VLSDoubleQuoteImpl vlsDoubleQuote = new VLSDoubleQuoteImpl(); 549 VLSDoubleQuoteImpl vlsDoubleQuote = new VLSDoubleQuoteImpl();
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 2907b35d..6b2b7085 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
@@ -9,34 +9,38 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations; 10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; 11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; 13import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm;
13import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; 14import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;
14import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; 15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; 16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;
16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; 17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; 18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse;
19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel;
18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; 20import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; 21import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction;
20import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; 22import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm;
21import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies; 23import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies;
22import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
23import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality; 24import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality;
24import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt; 25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt;
25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess; 26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess;
26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand; 27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand;
28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor; 28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor;
29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; 29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; 30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration;
31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal;
32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; 31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; 32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; 33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; 34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; 36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue;
37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef;
37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; 39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; 40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; 41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
42import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration;
43import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSWarning;
40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor; 44import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor;
41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; 45import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory;
42import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 46import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
@@ -69,56 +73,70 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
69 * <!-- end-user-doc --> 73 * <!-- end-user-doc -->
70 * @generated 74 * @generated
71 */ 75 */
72 private EClass vlsIncludeEClass = null; 76 private EClass vlsCommentEClass = null;
73 77
74 /** 78 /**
75 * <!-- begin-user-doc --> 79 * <!-- begin-user-doc -->
76 * <!-- end-user-doc --> 80 * <!-- end-user-doc -->
77 * @generated 81 * @generated
78 */ 82 */
79 private EClass vlsNameEClass = null; 83 private EClass vlsConfirmationsEClass = null;
80 84
81 /** 85 /**
82 * <!-- begin-user-doc --> 86 * <!-- begin-user-doc -->
83 * <!-- end-user-doc --> 87 * <!-- end-user-doc -->
84 * @generated 88 * @generated
85 */ 89 */
86 private EClass vlsCommentEClass = null; 90 private EClass vlsFofFormulaEClass = null;
87 91
88 /** 92 /**
89 * <!-- begin-user-doc --> 93 * <!-- begin-user-doc -->
90 * <!-- end-user-doc --> 94 * <!-- end-user-doc -->
91 * @generated 95 * @generated
92 */ 96 */
93 private EClass vlsConfirmationsEClass = null; 97 private EClass vlsTffFormulaEClass = null;
94 98
95 /** 99 /**
96 * <!-- begin-user-doc --> 100 * <!-- begin-user-doc -->
97 * <!-- end-user-doc --> 101 * <!-- end-user-doc -->
98 * @generated 102 * @generated
99 */ 103 */
100 private EClass vlsSatisfiableEClass = null; 104 private EClass vlsAnnotationEClass = null;
101 105
102 /** 106 /**
103 * <!-- begin-user-doc --> 107 * <!-- begin-user-doc -->
104 * <!-- end-user-doc --> 108 * <!-- end-user-doc -->
105 * @generated 109 * @generated
106 */ 110 */
107 private EClass vlsFofFormulaEClass = null; 111 private EClass vlsTffTermEClass = null;
108 112
109 /** 113 /**
110 * <!-- begin-user-doc --> 114 * <!-- begin-user-doc -->
111 * <!-- end-user-doc --> 115 * <!-- end-user-doc -->
112 * @generated 116 * @generated
113 */ 117 */
114 private EClass vlsTffFormulaEClass = null; 118 private EClass vlsDeclarationEClass = null;
115 119
116 /** 120 /**
117 * <!-- begin-user-doc --> 121 * <!-- begin-user-doc -->
118 * <!-- end-user-doc --> 122 * <!-- end-user-doc -->
119 * @generated 123 * @generated
120 */ 124 */
121 private EClass vlsAnnotationEClass = null; 125 private EClass vlsOtherDeclarationEClass = null;
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 private EClass vlsVariableDeclarationEClass = null;
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 private EClass vlsTypeDefEClass = null;
122 140
123 /** 141 /**
124 * <!-- begin-user-doc --> 142 * <!-- begin-user-doc -->
@@ -153,6 +171,34 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
153 * <!-- end-user-doc --> 171 * <!-- end-user-doc -->
154 * @generated 172 * @generated
155 */ 173 */
174 private EClass vlsSatisfiableEClass = null;
175
176 /**
177 * <!-- begin-user-doc -->
178 * <!-- end-user-doc -->
179 * @generated
180 */
181 private EClass vlsWarningEClass = null;
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 private EClass vlsTryingEClass = null;
189
190 /**
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @generated
194 */
195 private EClass vlsFiniteModelEClass = null;
196
197 /**
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @generated
201 */
156 private EClass vlsEquivalentEClass = null; 202 private EClass vlsEquivalentEClass = null;
157 203
158 /** 204 /**
@@ -293,20 +339,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
293 * <!-- end-user-doc --> 339 * <!-- end-user-doc -->
294 * @generated 340 * @generated
295 */ 341 */
296 private EClass vlsRealEClass = null;
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 private EClass vlsRationalEClass = null;
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 private EClass vlsDoubleQuoteEClass = null; 342 private EClass vlsDoubleQuoteEClass = null;
311 343
312 /** 344 /**
@@ -387,7 +419,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
387 * <!-- end-user-doc --> 419 * <!-- end-user-doc -->
388 * @generated 420 * @generated
389 */ 421 */
390 public EReference getVampireModel_Includes() 422 public EReference getVampireModel_Comments()
391 { 423 {
392 return (EReference)vampireModelEClass.getEStructuralFeatures().get(0); 424 return (EReference)vampireModelEClass.getEStructuralFeatures().get(0);
393 } 425 }
@@ -397,7 +429,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
397 * <!-- end-user-doc --> 429 * <!-- end-user-doc -->
398 * @generated 430 * @generated
399 */ 431 */
400 public EReference getVampireModel_Comments() 432 public EReference getVampireModel_Confirmations()
401 { 433 {
402 return (EReference)vampireModelEClass.getEStructuralFeatures().get(1); 434 return (EReference)vampireModelEClass.getEStructuralFeatures().get(1);
403 } 435 }
@@ -407,7 +439,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
407 * <!-- end-user-doc --> 439 * <!-- end-user-doc -->
408 * @generated 440 * @generated
409 */ 441 */
410 public EReference getVampireModel_Confirmations() 442 public EReference getVampireModel_Formulas()
411 { 443 {
412 return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); 444 return (EReference)vampireModelEClass.getEStructuralFeatures().get(2);
413 } 445 }
@@ -417,7 +449,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
417 * <!-- end-user-doc --> 449 * <!-- end-user-doc -->
418 * @generated 450 * @generated
419 */ 451 */
420 public EReference getVampireModel_Formulas() 452 public EReference getVampireModel_Tfformulas()
421 { 453 {
422 return (EReference)vampireModelEClass.getEStructuralFeatures().get(3); 454 return (EReference)vampireModelEClass.getEStructuralFeatures().get(3);
423 } 455 }
@@ -427,9 +459,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
427 * <!-- end-user-doc --> 459 * <!-- end-user-doc -->
428 * @generated 460 * @generated
429 */ 461 */
430 public EReference getVampireModel_Tfformulas() 462 public EClass getVLSComment()
431 { 463 {
432 return (EReference)vampireModelEClass.getEStructuralFeatures().get(4); 464 return vlsCommentEClass;
433 } 465 }
434 466
435 /** 467 /**
@@ -437,9 +469,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
437 * <!-- end-user-doc --> 469 * <!-- end-user-doc -->
438 * @generated 470 * @generated
439 */ 471 */
440 public EClass getVLSInclude() 472 public EAttribute getVLSComment_Comment()
441 { 473 {
442 return vlsIncludeEClass; 474 return (EAttribute)vlsCommentEClass.getEStructuralFeatures().get(0);
443 } 475 }
444 476
445 /** 477 /**
@@ -447,9 +479,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
447 * <!-- end-user-doc --> 479 * <!-- end-user-doc -->
448 * @generated 480 * @generated
449 */ 481 */
450 public EAttribute getVLSInclude_FileName() 482 public EClass getVLSConfirmations()
451 { 483 {
452 return (EAttribute)vlsIncludeEClass.getEStructuralFeatures().get(0); 484 return vlsConfirmationsEClass;
453 } 485 }
454 486
455 /** 487 /**
@@ -457,9 +489,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
457 * <!-- end-user-doc --> 489 * <!-- end-user-doc -->
458 * @generated 490 * @generated
459 */ 491 */
460 public EReference getVLSInclude_Names() 492 public EClass getVLSFofFormula()
461 { 493 {
462 return (EReference)vlsIncludeEClass.getEStructuralFeatures().get(1); 494 return vlsFofFormulaEClass;
463 } 495 }
464 496
465 /** 497 /**
@@ -467,9 +499,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
467 * <!-- end-user-doc --> 499 * <!-- end-user-doc -->
468 * @generated 500 * @generated
469 */ 501 */
470 public EClass getVLSName() 502 public EAttribute getVLSFofFormula_Name()
471 { 503 {
472 return vlsNameEClass; 504 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(0);
473 } 505 }
474 506
475 /** 507 /**
@@ -477,9 +509,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
477 * <!-- end-user-doc --> 509 * <!-- end-user-doc -->
478 * @generated 510 * @generated
479 */ 511 */
480 public EAttribute getVLSName_Name() 512 public EAttribute getVLSFofFormula_FofRole()
481 { 513 {
482 return (EAttribute)vlsNameEClass.getEStructuralFeatures().get(0); 514 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(1);
483 } 515 }
484 516
485 /** 517 /**
@@ -487,9 +519,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
487 * <!-- end-user-doc --> 519 * <!-- end-user-doc -->
488 * @generated 520 * @generated
489 */ 521 */
490 public EClass getVLSComment() 522 public EReference getVLSFofFormula_FofFormula()
491 { 523 {
492 return vlsCommentEClass; 524 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(2);
493 } 525 }
494 526
495 /** 527 /**
@@ -497,9 +529,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
497 * <!-- end-user-doc --> 529 * <!-- end-user-doc -->
498 * @generated 530 * @generated
499 */ 531 */
500 public EAttribute getVLSComment_Comment() 532 public EReference getVLSFofFormula_Annotations()
501 { 533 {
502 return (EAttribute)vlsCommentEClass.getEStructuralFeatures().get(0); 534 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(3);
503 } 535 }
504 536
505 /** 537 /**
@@ -507,9 +539,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
507 * <!-- end-user-doc --> 539 * <!-- end-user-doc -->
508 * @generated 540 * @generated
509 */ 541 */
510 public EClass getVLSConfirmations() 542 public EClass getVLSTffFormula()
511 { 543 {
512 return vlsConfirmationsEClass; 544 return vlsTffFormulaEClass;
513 } 545 }
514 546
515 /** 547 /**
@@ -517,9 +549,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
517 * <!-- end-user-doc --> 549 * <!-- end-user-doc -->
518 * @generated 550 * @generated
519 */ 551 */
520 public EClass getVLSSatisfiable() 552 public EAttribute getVLSTffFormula_Name()
521 { 553 {
522 return vlsSatisfiableEClass; 554 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0);
523 } 555 }
524 556
525 /** 557 /**
@@ -527,9 +559,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
527 * <!-- end-user-doc --> 559 * <!-- end-user-doc -->
528 * @generated 560 * @generated
529 */ 561 */
530 public EClass getVLSFofFormula() 562 public EAttribute getVLSTffFormula_TffRole()
531 { 563 {
532 return vlsFofFormulaEClass; 564 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1);
533 } 565 }
534 566
535 /** 567 /**
@@ -537,9 +569,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
537 * <!-- end-user-doc --> 569 * <!-- end-user-doc -->
538 * @generated 570 * @generated
539 */ 571 */
540 public EAttribute getVLSFofFormula_Name() 572 public EReference getVLSTffFormula_FofFormula()
541 { 573 {
542 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(0); 574 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2);
543 } 575 }
544 576
545 /** 577 /**
@@ -547,9 +579,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
547 * <!-- end-user-doc --> 579 * <!-- end-user-doc -->
548 * @generated 580 * @generated
549 */ 581 */
550 public EAttribute getVLSFofFormula_FofRole() 582 public EReference getVLSTffFormula_Annotations()
551 { 583 {
552 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(1); 584 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3);
553 } 585 }
554 586
555 /** 587 /**
@@ -557,9 +589,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
557 * <!-- end-user-doc --> 589 * <!-- end-user-doc -->
558 * @generated 590 * @generated
559 */ 591 */
560 public EReference getVLSFofFormula_FofFormula() 592 public EClass getVLSAnnotation()
561 { 593 {
562 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(2); 594 return vlsAnnotationEClass;
563 } 595 }
564 596
565 /** 597 /**
@@ -567,9 +599,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
567 * <!-- end-user-doc --> 599 * <!-- end-user-doc -->
568 * @generated 600 * @generated
569 */ 601 */
570 public EReference getVLSFofFormula_Annotations() 602 public EAttribute getVLSAnnotation_Name()
571 { 603 {
572 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(3); 604 return (EAttribute)vlsAnnotationEClass.getEStructuralFeatures().get(0);
573 } 605 }
574 606
575 /** 607 /**
@@ -577,9 +609,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
577 * <!-- end-user-doc --> 609 * <!-- end-user-doc -->
578 * @generated 610 * @generated
579 */ 611 */
580 public EClass getVLSTffFormula() 612 public EReference getVLSAnnotation_Followup()
581 { 613 {
582 return vlsTffFormulaEClass; 614 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(1);
583 } 615 }
584 616
585 /** 617 /**
@@ -587,9 +619,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
587 * <!-- end-user-doc --> 619 * <!-- end-user-doc -->
588 * @generated 620 * @generated
589 */ 621 */
590 public EAttribute getVLSTffFormula_Name() 622 public EReference getVLSAnnotation_Terms()
591 { 623 {
592 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0); 624 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(2);
593 } 625 }
594 626
595 /** 627 /**
@@ -597,9 +629,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
597 * <!-- end-user-doc --> 629 * <!-- end-user-doc -->
598 * @generated 630 * @generated
599 */ 631 */
600 public EAttribute getVLSTffFormula_FofRole() 632 public EClass getVLSTffTerm()
601 { 633 {
602 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1); 634 return vlsTffTermEClass;
603 } 635 }
604 636
605 /** 637 /**
@@ -607,9 +639,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
607 * <!-- end-user-doc --> 639 * <!-- end-user-doc -->
608 * @generated 640 * @generated
609 */ 641 */
610 public EReference getVLSTffFormula_FofFormula() 642 public EClass getVLSDeclaration()
611 { 643 {
612 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2); 644 return vlsDeclarationEClass;
613 } 645 }
614 646
615 /** 647 /**
@@ -617,9 +649,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
617 * <!-- end-user-doc --> 649 * <!-- end-user-doc -->
618 * @generated 650 * @generated
619 */ 651 */
620 public EReference getVLSTffFormula_Annotations() 652 public EClass getVLSOtherDeclaration()
621 { 653 {
622 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3); 654 return vlsOtherDeclarationEClass;
623 } 655 }
624 656
625 /** 657 /**
@@ -627,9 +659,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
627 * <!-- end-user-doc --> 659 * <!-- end-user-doc -->
628 * @generated 660 * @generated
629 */ 661 */
630 public EClass getVLSAnnotation() 662 public EClass getVLSVariableDeclaration()
631 { 663 {
632 return vlsAnnotationEClass; 664 return vlsVariableDeclarationEClass;
633 } 665 }
634 666
635 /** 667 /**
@@ -637,9 +669,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
637 * <!-- end-user-doc --> 669 * <!-- end-user-doc -->
638 * @generated 670 * @generated
639 */ 671 */
640 public EAttribute getVLSAnnotation_Name() 672 public EClass getVLSTypeDef()
641 { 673 {
642 return (EAttribute)vlsAnnotationEClass.getEStructuralFeatures().get(0); 674 return vlsTypeDefEClass;
643 } 675 }
644 676
645 /** 677 /**
@@ -647,9 +679,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
647 * <!-- end-user-doc --> 679 * <!-- end-user-doc -->
648 * @generated 680 * @generated
649 */ 681 */
650 public EReference getVLSAnnotation_Followup() 682 public EReference getVLSTypeDef_TypeSig()
651 { 683 {
652 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(1); 684 return (EReference)vlsTypeDefEClass.getEStructuralFeatures().get(0);
653 } 685 }
654 686
655 /** 687 /**
@@ -657,9 +689,29 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
657 * <!-- end-user-doc --> 689 * <!-- end-user-doc -->
658 * @generated 690 * @generated
659 */ 691 */
660 public EReference getVLSAnnotation_Terms() 692 public EReference getVLSTypeDef_MapsTo()
661 { 693 {
662 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(2); 694 return (EReference)vlsTypeDefEClass.getEStructuralFeatures().get(1);
695 }
696
697 /**
698 * <!-- begin-user-doc -->
699 * <!-- end-user-doc -->
700 * @generated
701 */
702 public EReference getVLSTypeDef_InitType()
703 {
704 return (EReference)vlsTypeDefEClass.getEStructuralFeatures().get(2);
705 }
706
707 /**
708 * <!-- begin-user-doc -->
709 * <!-- end-user-doc -->
710 * @generated
711 */
712 public EReference getVLSTypeDef_NextType()
713 {
714 return (EReference)vlsTypeDefEClass.getEStructuralFeatures().get(3);
663 } 715 }
664 716
665 /** 717 /**
@@ -677,6 +729,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
677 * <!-- end-user-doc --> 729 * <!-- end-user-doc -->
678 * @generated 730 * @generated
679 */ 731 */
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 */
680 public EClass getVLSVariable() 742 public EClass getVLSVariable()
681 { 743 {
682 return vlsVariableEClass; 744 return vlsVariableEClass;
@@ -747,6 +809,56 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
747 * <!-- end-user-doc --> 809 * <!-- end-user-doc -->
748 * @generated 810 * @generated
749 */ 811 */
812 public EClass getVLSSatisfiable()
813 {
814 return vlsSatisfiableEClass;
815 }
816
817 /**
818 * <!-- begin-user-doc -->
819 * <!-- end-user-doc -->
820 * @generated
821 */
822 public EClass getVLSWarning()
823 {
824 return vlsWarningEClass;
825 }
826
827 /**
828 * <!-- begin-user-doc -->
829 * <!-- end-user-doc -->
830 * @generated
831 */
832 public EClass getVLSTrying()
833 {
834 return vlsTryingEClass;
835 }
836
837 /**
838 * <!-- begin-user-doc -->
839 * <!-- end-user-doc -->
840 * @generated
841 */
842 public EAttribute getVLSTrying_Name()
843 {
844 return (EAttribute)vlsTryingEClass.getEStructuralFeatures().get(0);
845 }
846
847 /**
848 * <!-- begin-user-doc -->
849 * <!-- end-user-doc -->
850 * @generated
851 */
852 public EClass getVLSFiniteModel()
853 {
854 return vlsFiniteModelEClass;
855 }
856
857 /**
858 * <!-- begin-user-doc -->
859 * <!-- end-user-doc -->
860 * @generated
861 */
750 public EClass getVLSEquivalent() 862 public EClass getVLSEquivalent()
751 { 863 {
752 return vlsEquivalentEClass; 864 return vlsEquivalentEClass;
@@ -1267,26 +1379,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1267 * <!-- end-user-doc --> 1379 * <!-- end-user-doc -->
1268 * @generated 1380 * @generated
1269 */ 1381 */
1270 public EClass getVLSReal()
1271 {
1272 return vlsRealEClass;
1273 }
1274
1275 /**
1276 * <!-- begin-user-doc -->
1277 * <!-- end-user-doc -->
1278 * @generated
1279 */
1280 public EClass getVLSRational()
1281 {
1282 return vlsRationalEClass;
1283 }
1284
1285 /**
1286 * <!-- begin-user-doc -->
1287 * <!-- end-user-doc -->
1288 * @generated
1289 */
1290 public EClass getVLSDoubleQuote() 1382 public EClass getVLSDoubleQuote()
1291 { 1383 {
1292 return vlsDoubleQuoteEClass; 1384 return vlsDoubleQuoteEClass;
@@ -1323,26 +1415,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1323 1415
1324 // Create classes and their features 1416 // Create classes and their features
1325 vampireModelEClass = createEClass(VAMPIRE_MODEL); 1417 vampireModelEClass = createEClass(VAMPIRE_MODEL);
1326 createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES);
1327 createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); 1418 createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS);
1328 createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS); 1419 createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS);
1329 createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); 1420 createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS);
1330 createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS); 1421 createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS);
1331 1422
1332 vlsIncludeEClass = createEClass(VLS_INCLUDE);
1333 createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME);
1334 createEReference(vlsIncludeEClass, VLS_INCLUDE__NAMES);
1335
1336 vlsNameEClass = createEClass(VLS_NAME);
1337 createEAttribute(vlsNameEClass, VLS_NAME__NAME);
1338
1339 vlsCommentEClass = createEClass(VLS_COMMENT); 1423 vlsCommentEClass = createEClass(VLS_COMMENT);
1340 createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); 1424 createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT);
1341 1425
1342 vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS); 1426 vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS);
1343 1427
1344 vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE);
1345
1346 vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); 1428 vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA);
1347 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); 1429 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME);
1348 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); 1430 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE);
@@ -1351,7 +1433,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1351 1433
1352 vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA); 1434 vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA);
1353 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME); 1435 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME);
1354 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_ROLE); 1436 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__TFF_ROLE);
1355 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA); 1437 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA);
1356 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS); 1438 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS);
1357 1439
@@ -1360,7 +1442,22 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1360 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); 1442 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP);
1361 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__TERMS); 1443 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__TERMS);
1362 1444
1445 vlsTffTermEClass = createEClass(VLS_TFF_TERM);
1446
1447 vlsDeclarationEClass = createEClass(VLS_DECLARATION);
1448
1449 vlsOtherDeclarationEClass = createEClass(VLS_OTHER_DECLARATION);
1450
1451 vlsVariableDeclarationEClass = createEClass(VLS_VARIABLE_DECLARATION);
1452
1453 vlsTypeDefEClass = createEClass(VLS_TYPE_DEF);
1454 createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__TYPE_SIG);
1455 createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__MAPS_TO);
1456 createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__INIT_TYPE);
1457 createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE);
1458
1363 vlsTermEClass = createEClass(VLS_TERM); 1459 vlsTermEClass = createEClass(VLS_TERM);
1460 createEReference(vlsTermEClass, VLS_TERM__TYPE);
1364 1461
1365 vlsVariableEClass = createEClass(VLS_VARIABLE); 1462 vlsVariableEClass = createEClass(VLS_VARIABLE);
1366 createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); 1463 createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME);
@@ -1372,6 +1469,15 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1372 vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM); 1469 vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM);
1373 createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE); 1470 createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE);
1374 1471
1472 vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE);
1473
1474 vlsWarningEClass = createEClass(VLS_WARNING);
1475
1476 vlsTryingEClass = createEClass(VLS_TRYING);
1477 createEAttribute(vlsTryingEClass, VLS_TRYING__NAME);
1478
1479 vlsFiniteModelEClass = createEClass(VLS_FINITE_MODEL);
1480
1375 vlsEquivalentEClass = createEClass(VLS_EQUIVALENT); 1481 vlsEquivalentEClass = createEClass(VLS_EQUIVALENT);
1376 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__LEFT); 1482 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__LEFT);
1377 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__RIGHT); 1483 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__RIGHT);
@@ -1444,10 +1550,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1444 1550
1445 vlsIntEClass = createEClass(VLS_INT); 1551 vlsIntEClass = createEClass(VLS_INT);
1446 1552
1447 vlsRealEClass = createEClass(VLS_REAL);
1448
1449 vlsRationalEClass = createEClass(VLS_RATIONAL);
1450
1451 vlsDoubleQuoteEClass = createEClass(VLS_DOUBLE_QUOTE); 1553 vlsDoubleQuoteEClass = createEClass(VLS_DOUBLE_QUOTE);
1452 } 1554 }
1453 1555
@@ -1480,10 +1582,19 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1480 // Set bounds for type parameters 1582 // Set bounds for type parameters
1481 1583
1482 // Add supertypes to classes 1584 // Add supertypes to classes
1483 vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations()); 1585 vlsDeclarationEClass.getESuperTypes().add(this.getVLSTffTerm());
1586 vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration());
1587 vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration());
1588 vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm());
1589 vlsTermEClass.getESuperTypes().add(this.getVLSOtherDeclaration());
1590 vlsVariableEClass.getESuperTypes().add(this.getVLSVariableDeclaration());
1484 vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); 1591 vlsVariableEClass.getESuperTypes().add(this.getVLSTerm());
1485 vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); 1592 vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm());
1486 vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); 1593 vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm());
1594 vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations());
1595 vlsWarningEClass.getESuperTypes().add(this.getVLSConfirmations());
1596 vlsTryingEClass.getESuperTypes().add(this.getVLSConfirmations());
1597 vlsFiniteModelEClass.getESuperTypes().add(this.getVLSConfirmations());
1487 vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm()); 1598 vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm());
1488 vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm()); 1599 vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm());
1489 vlsRevImpliesEClass.getESuperTypes().add(this.getVLSTerm()); 1600 vlsRevImpliesEClass.getESuperTypes().add(this.getVLSTerm());
@@ -1504,32 +1615,20 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1504 vlsFunctionEClass.getESuperTypes().add(this.getVLSTerm()); 1615 vlsFunctionEClass.getESuperTypes().add(this.getVLSTerm());
1505 vlsLessEClass.getESuperTypes().add(this.getVLSTerm()); 1616 vlsLessEClass.getESuperTypes().add(this.getVLSTerm());
1506 vlsIntEClass.getESuperTypes().add(this.getVLSDefinedTerm()); 1617 vlsIntEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1507 vlsRealEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1508 vlsRationalEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1509 vlsDoubleQuoteEClass.getESuperTypes().add(this.getVLSDefinedTerm()); 1618 vlsDoubleQuoteEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1510 1619
1511 // Initialize classes and features; add operations and parameters 1620 // Initialize classes and features; add operations and parameters
1512 initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1621 initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1513 initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1514 initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1622 initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1515 initEReference(getVampireModel_Confirmations(), this.getVLSConfirmations(), null, "confirmations", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1623 initEReference(getVampireModel_Confirmations(), this.getVLSConfirmations(), null, "confirmations", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1516 initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1624 initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1517 initEReference(getVampireModel_Tfformulas(), this.getVLSTffFormula(), null, "tfformulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1625 initEReference(getVampireModel_Tfformulas(), this.getVLSTffFormula(), null, "tfformulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1518 1626
1519 initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1520 initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1521 initEReference(getVLSInclude_Names(), this.getVLSName(), null, "names", null, 0, -1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1522
1523 initEClass(vlsNameEClass, VLSName.class, "VLSName", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1524 initEAttribute(getVLSName_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSName.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1525
1526 initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1627 initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1527 initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1628 initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1528 1629
1529 initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1630 initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1530 1631
1531 initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1532
1533 initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1632 initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1534 initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1633 initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1535 initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1634 initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -1538,8 +1637,8 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1538 1637
1539 initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1638 initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1540 initEAttribute(getVLSTffFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1639 initEAttribute(getVLSTffFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1541 initEAttribute(getVLSTffFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1640 initEAttribute(getVLSTffFormula_TffRole(), ecorePackage.getEString(), "tffRole", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1542 initEReference(getVLSTffFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1641 initEReference(getVLSTffFormula_FofFormula(), this.getVLSTffTerm(), null, "fofFormula", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1543 initEReference(getVLSTffFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1642 initEReference(getVLSTffFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1544 1643
1545 initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1644 initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -1547,7 +1646,22 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1547 initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1646 initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1548 initEReference(getVLSAnnotation_Terms(), this.getVLSAnnotation(), null, "terms", null, 0, -1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1647 initEReference(getVLSAnnotation_Terms(), this.getVLSAnnotation(), null, "terms", null, 0, -1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1549 1648
1649 initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1650
1651 initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1652
1653 initEClass(vlsOtherDeclarationEClass, VLSOtherDeclaration.class, "VLSOtherDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1654
1655 initEClass(vlsVariableDeclarationEClass, VLSVariableDeclaration.class, "VLSVariableDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1656
1657 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);
1659 initEReference(getVLSTypeDef_MapsTo(), this.getVLSTerm(), null, "mapsTo", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1660 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);
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);
1662
1550 initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1663 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);
1551 1665
1552 initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1666 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); 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);
@@ -1559,6 +1673,15 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1559 initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1673 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); 1674 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);
1561 1675
1676 initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1677
1678 initEClass(vlsWarningEClass, VLSWarning.class, "VLSWarning", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1679
1680 initEClass(vlsTryingEClass, VLSTrying.class, "VLSTrying", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1681 initEAttribute(getVLSTrying_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTrying.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1682
1683 initEClass(vlsFiniteModelEClass, VLSFiniteModel.class, "VLSFiniteModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1684
1562 initEClass(vlsEquivalentEClass, VLSEquivalent.class, "VLSEquivalent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1685 initEClass(vlsEquivalentEClass, VLSEquivalent.class, "VLSEquivalent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1563 initEReference(getVLSEquivalent_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1686 initEReference(getVLSEquivalent_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1564 initEReference(getVLSEquivalent_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 1687 initEReference(getVLSEquivalent_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -1592,11 +1715,11 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1592 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); 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);
1593 1716
1594 initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1717 initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1595 initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariable(), 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); 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);
1596 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); 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);
1597 1720
1598 initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1721 initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1599 initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariable(), 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); 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);
1600 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); 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);
1601 1724
1602 initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1725 initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -1631,10 +1754,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL
1631 1754
1632 initEClass(vlsIntEClass, VLSInt.class, "VLSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1755 initEClass(vlsIntEClass, VLSInt.class, "VLSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1633 1756
1634 initEClass(vlsRealEClass, VLSReal.class, "VLSReal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1635
1636 initEClass(vlsRationalEClass, VLSRational.class, "VLSRational", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1637
1638 initEClass(vlsDoubleQuoteEClass, VLSDoubleQuote.class, "VLSDoubleQuote", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 1757 initEClass(vlsDoubleQuoteEClass, VLSDoubleQuote.class, "VLSDoubleQuote", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1639 1758
1640 // Create resource 1759 // Create resource
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
index e0dcd099..1e26c760 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
@@ -6,7 +6,6 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; 6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations; 7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; 8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; 9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; 10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel; 11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
@@ -33,7 +32,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
33 * The following features are implemented: 32 * The following features are implemented:
34 * </p> 33 * </p>
35 * <ul> 34 * <ul>
36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>
37 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li> 35 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>
38 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li> 36 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li>
39 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li> 37 * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>
@@ -45,16 +43,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
45public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel 43public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel
46{ 44{
47 /** 45 /**
48 * The cached value of the '{@link #getIncludes() <em>Includes</em>}' containment reference list.
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @see #getIncludes()
52 * @generated
53 * @ordered
54 */
55 protected EList<VLSInclude> includes;
56
57 /**
58 * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list. 46 * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list.
59 * <!-- begin-user-doc --> 47 * <!-- begin-user-doc -->
60 * <!-- end-user-doc --> 48 * <!-- end-user-doc -->
@@ -120,20 +108,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
120 * <!-- end-user-doc --> 108 * <!-- end-user-doc -->
121 * @generated 109 * @generated
122 */ 110 */
123 public EList<VLSInclude> getIncludes()
124 {
125 if (includes == null)
126 {
127 includes = new EObjectContainmentEList<VLSInclude>(VLSInclude.class, this, VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES);
128 }
129 return includes;
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 public EList<VLSComment> getComments() 111 public EList<VLSComment> getComments()
138 { 112 {
139 if (comments == null) 113 if (comments == null)
@@ -195,8 +169,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
195 { 169 {
196 switch (featureID) 170 switch (featureID)
197 { 171 {
198 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
199 return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);
200 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 172 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
201 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs); 173 return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);
202 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS: 174 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
@@ -219,8 +191,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
219 { 191 {
220 switch (featureID) 192 switch (featureID)
221 { 193 {
222 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
223 return getIncludes();
224 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 194 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
225 return getComments(); 195 return getComments();
226 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS: 196 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
@@ -244,10 +214,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
244 { 214 {
245 switch (featureID) 215 switch (featureID)
246 { 216 {
247 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
248 getIncludes().clear();
249 getIncludes().addAll((Collection<? extends VLSInclude>)newValue);
250 return;
251 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 217 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
252 getComments().clear(); 218 getComments().clear();
253 getComments().addAll((Collection<? extends VLSComment>)newValue); 219 getComments().addAll((Collection<? extends VLSComment>)newValue);
@@ -278,9 +244,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
278 { 244 {
279 switch (featureID) 245 switch (featureID)
280 { 246 {
281 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
282 getIncludes().clear();
283 return;
284 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 247 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
285 getComments().clear(); 248 getComments().clear();
286 return; 249 return;
@@ -307,8 +270,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
307 { 270 {
308 switch (featureID) 271 switch (featureID)
309 { 272 {
310 case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:
311 return includes != null && !includes.isEmpty();
312 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS: 273 case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:
313 return comments != null && !comments.isEmpty(); 274 return comments != null && !comments.isEmpty();
314 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS: 275 case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 06:23:03 +0000