diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage')
17 files changed, 718 insertions, 661 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSDeclaration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSDeclaration.java index d3e5a2d5..4ff74235 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSDeclaration.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSDeclaration.java | |||
@@ -9,6 +9,12 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
9 | * A representation of the model object '<em><b>VLS Declaration</b></em>'. | 9 | * A representation of the model object '<em><b>VLS Declaration</b></em>'. |
10 | * <!-- end-user-doc --> | 10 | * <!-- end-user-doc --> |
11 | * | 11 | * |
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType <em>Type</em>}</li> | ||
17 | * </ul> | ||
12 | * | 18 | * |
13 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSDeclaration() | 19 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSDeclaration() |
14 | * @model | 20 | * @model |
@@ -16,4 +22,30 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
16 | */ | 22 | */ |
17 | public interface VLSDeclaration extends VLSTffTerm | 23 | public interface VLSDeclaration extends VLSTffTerm |
18 | { | 24 | { |
25 | /** | ||
26 | * Returns the value of the '<em><b>Type</b></em>' containment reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <p> | ||
29 | * If the meaning of the '<em>Type</em>' containment reference isn't clear, | ||
30 | * there really should be more of a description here... | ||
31 | * </p> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @return the value of the '<em>Type</em>' containment reference. | ||
34 | * @see #setType(VLSTypeDef) | ||
35 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSDeclaration_Type() | ||
36 | * @model containment="true" | ||
37 | * @generated | ||
38 | */ | ||
39 | VLSTypeDef getType(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType <em>Type</em>}' containment reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Type</em>' containment reference. | ||
46 | * @see #getType() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setType(VLSTypeDef value); | ||
50 | |||
19 | } // VLSDeclaration | 51 | } // VLSDeclaration |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSExistentialQuantifier.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSExistentialQuantifier.java index a70dff64..c70d312b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSExistentialQuantifier.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSExistentialQuantifier.java | |||
@@ -26,7 +26,7 @@ public interface VLSExistentialQuantifier extends VLSTerm | |||
26 | { | 26 | { |
27 | /** | 27 | /** |
28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. | 28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. |
29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration}. | 29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm}. |
30 | * <!-- begin-user-doc --> | 30 | * <!-- begin-user-doc --> |
31 | * <p> | 31 | * <p> |
32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, | 32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, |
@@ -38,7 +38,7 @@ public interface VLSExistentialQuantifier extends VLSTerm | |||
38 | * @model containment="true" | 38 | * @model containment="true" |
39 | * @generated | 39 | * @generated |
40 | */ | 40 | */ |
41 | EList<VLSVariableDeclaration> getVariables(); | 41 | EList<VLSTffTerm> getVariables(); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. | 44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSOtherDeclaration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSOtherDeclaration.java index 0ffd104d..4e4e3d8b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSOtherDeclaration.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSOtherDeclaration.java | |||
@@ -9,6 +9,12 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
9 | * A representation of the model object '<em><b>VLS Other Declaration</b></em>'. | 9 | * A representation of the model object '<em><b>VLS Other Declaration</b></em>'. |
10 | * <!-- end-user-doc --> | 10 | * <!-- end-user-doc --> |
11 | * | 11 | * |
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName <em>Name</em>}</li> | ||
17 | * </ul> | ||
12 | * | 18 | * |
13 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSOtherDeclaration() | 19 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSOtherDeclaration() |
14 | * @model | 20 | * @model |
@@ -16,4 +22,30 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
16 | */ | 22 | */ |
17 | public interface VLSOtherDeclaration extends VLSDeclaration | 23 | public interface VLSOtherDeclaration extends VLSDeclaration |
18 | { | 24 | { |
25 | /** | ||
26 | * Returns the value of the '<em><b>Name</b></em>' containment reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <p> | ||
29 | * If the meaning of the '<em>Name</em>' containment reference isn't clear, | ||
30 | * there really should be more of a description here... | ||
31 | * </p> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @return the value of the '<em>Name</em>' containment reference. | ||
34 | * @see #setName(VLSTerm) | ||
35 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSOtherDeclaration_Name() | ||
36 | * @model containment="true" | ||
37 | * @generated | ||
38 | */ | ||
39 | VLSTerm getName(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName <em>Name</em>}' containment reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Name</em>' containment reference. | ||
46 | * @see #getName() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setName(VLSTerm value); | ||
50 | |||
19 | } // VLSOtherDeclaration | 51 | } // VLSOtherDeclaration |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTerm.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTerm.java index 7a077714..d1f20508 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTerm.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTerm.java | |||
@@ -9,43 +9,11 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
9 | * A representation of the model object '<em><b>VLS Term</b></em>'. | 9 | * A representation of the model object '<em><b>VLS Term</b></em>'. |
10 | * <!-- end-user-doc --> | 10 | * <!-- end-user-doc --> |
11 | * | 11 | * |
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType <em>Type</em>}</li> | ||
17 | * </ul> | ||
18 | * | 12 | * |
19 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm() | 13 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm() |
20 | * @model | 14 | * @model |
21 | * @generated | 15 | * @generated |
22 | */ | 16 | */ |
23 | public interface VLSTerm extends VLSTffTerm, VLSOtherDeclaration | 17 | public interface VLSTerm extends VLSTffTerm |
24 | { | 18 | { |
25 | /** | ||
26 | * Returns the value of the '<em><b>Type</b></em>' containment reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <p> | ||
29 | * If the meaning of the '<em>Type</em>' containment reference isn't clear, | ||
30 | * there really should be more of a description here... | ||
31 | * </p> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @return the value of the '<em>Type</em>' containment reference. | ||
34 | * @see #setType(VLSTypeDef) | ||
35 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm_Type() | ||
36 | * @model containment="true" | ||
37 | * @generated | ||
38 | */ | ||
39 | VLSTypeDef getType(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType <em>Type</em>}' containment reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Type</em>' containment reference. | ||
46 | * @see #getType() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setType(VLSTypeDef value); | ||
50 | |||
51 | } // VLSTerm | 19 | } // VLSTerm |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java index 00dd1733..9e7da58a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java | |||
@@ -26,7 +26,7 @@ public interface VLSUniversalQuantifier extends VLSTerm | |||
26 | { | 26 | { |
27 | /** | 27 | /** |
28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. | 28 | * Returns the value of the '<em><b>Variables</b></em>' containment reference list. |
29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration}. | 29 | * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm}. |
30 | * <!-- begin-user-doc --> | 30 | * <!-- begin-user-doc --> |
31 | * <p> | 31 | * <p> |
32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, | 32 | * If the meaning of the '<em>Variables</em>' containment reference list isn't clear, |
@@ -38,7 +38,7 @@ public interface VLSUniversalQuantifier extends VLSTerm | |||
38 | * @model containment="true" | 38 | * @model containment="true" |
39 | * @generated | 39 | * @generated |
40 | */ | 40 | */ |
41 | EList<VLSVariableDeclaration> getVariables(); | 41 | EList<VLSTffTerm> getVariables(); |
42 | 42 | ||
43 | /** | 43 | /** |
44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. | 44 | * Returns the value of the '<em><b>Operand</b></em>' containment reference. |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java index 5a9dc028..9750e4c5 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariable.java | |||
@@ -20,7 +20,7 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
20 | * @model | 20 | * @model |
21 | * @generated | 21 | * @generated |
22 | */ | 22 | */ |
23 | public interface VLSVariable extends VLSVariableDeclaration, VLSTerm | 23 | public interface VLSVariable extends VLSTerm |
24 | { | 24 | { |
25 | /** | 25 | /** |
26 | * Returns the value of the '<em><b>Name</b></em>' attribute. | 26 | * Returns the value of the '<em><b>Name</b></em>' attribute. |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariableDeclaration.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariableDeclaration.java index 9e5a6ba2..a45aec5c 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariableDeclaration.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSVariableDeclaration.java | |||
@@ -9,6 +9,12 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
9 | * A representation of the model object '<em><b>VLS Variable Declaration</b></em>'. | 9 | * A representation of the model object '<em><b>VLS Variable Declaration</b></em>'. |
10 | * <!-- end-user-doc --> | 10 | * <!-- end-user-doc --> |
11 | * | 11 | * |
12 | * <p> | ||
13 | * The following features are supported: | ||
14 | * </p> | ||
15 | * <ul> | ||
16 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName <em>Name</em>}</li> | ||
17 | * </ul> | ||
12 | * | 18 | * |
13 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSVariableDeclaration() | 19 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSVariableDeclaration() |
14 | * @model | 20 | * @model |
@@ -16,4 +22,30 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
16 | */ | 22 | */ |
17 | public interface VLSVariableDeclaration extends VLSDeclaration | 23 | public interface VLSVariableDeclaration extends VLSDeclaration |
18 | { | 24 | { |
25 | /** | ||
26 | * Returns the value of the '<em><b>Name</b></em>' containment reference. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <p> | ||
29 | * If the meaning of the '<em>Name</em>' containment reference isn't clear, | ||
30 | * there really should be more of a description here... | ||
31 | * </p> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @return the value of the '<em>Name</em>' containment reference. | ||
34 | * @see #setName(VLSVariable) | ||
35 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSVariableDeclaration_Name() | ||
36 | * @model containment="true" | ||
37 | * @generated | ||
38 | */ | ||
39 | VLSVariable getName(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName <em>Name</em>}' containment reference. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Name</em>' containment reference. | ||
46 | * @see #getName() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setName(VLSVariable value); | ||
50 | |||
19 | } // VLSVariableDeclaration | 51 | } // VLSVariableDeclaration |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java index 3ef777f8..7c917251 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | |||
@@ -345,13 +345,22 @@ public interface VampireLanguagePackage extends EPackage | |||
345 | int VLS_DECLARATION = 7; | 345 | int VLS_DECLARATION = 7; |
346 | 346 | ||
347 | /** | 347 | /** |
348 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | * @ordered | ||
353 | */ | ||
354 | int VLS_DECLARATION__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0; | ||
355 | |||
356 | /** | ||
348 | * The number of structural features of the '<em>VLS Declaration</em>' class. | 357 | * The number of structural features of the '<em>VLS Declaration</em>' class. |
349 | * <!-- begin-user-doc --> | 358 | * <!-- begin-user-doc --> |
350 | * <!-- end-user-doc --> | 359 | * <!-- end-user-doc --> |
351 | * @generated | 360 | * @generated |
352 | * @ordered | 361 | * @ordered |
353 | */ | 362 | */ |
354 | int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0; | 363 | int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1; |
355 | 364 | ||
356 | /** | 365 | /** |
357 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. | 366 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. |
@@ -364,13 +373,31 @@ public interface VampireLanguagePackage extends EPackage | |||
364 | int VLS_OTHER_DECLARATION = 8; | 373 | int VLS_OTHER_DECLARATION = 8; |
365 | 374 | ||
366 | /** | 375 | /** |
376 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
377 | * <!-- begin-user-doc --> | ||
378 | * <!-- end-user-doc --> | ||
379 | * @generated | ||
380 | * @ordered | ||
381 | */ | ||
382 | int VLS_OTHER_DECLARATION__TYPE = VLS_DECLARATION__TYPE; | ||
383 | |||
384 | /** | ||
385 | * The feature id for the '<em><b>Name</b></em>' containment reference. | ||
386 | * <!-- begin-user-doc --> | ||
387 | * <!-- end-user-doc --> | ||
388 | * @generated | ||
389 | * @ordered | ||
390 | */ | ||
391 | int VLS_OTHER_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0; | ||
392 | |||
393 | /** | ||
367 | * The number of structural features of the '<em>VLS Other Declaration</em>' class. | 394 | * The number of structural features of the '<em>VLS Other Declaration</em>' class. |
368 | * <!-- begin-user-doc --> | 395 | * <!-- begin-user-doc --> |
369 | * <!-- end-user-doc --> | 396 | * <!-- end-user-doc --> |
370 | * @generated | 397 | * @generated |
371 | * @ordered | 398 | * @ordered |
372 | */ | 399 | */ |
373 | int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; | 400 | int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1; |
374 | 401 | ||
375 | /** | 402 | /** |
376 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. | 403 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. |
@@ -383,13 +410,31 @@ public interface VampireLanguagePackage extends EPackage | |||
383 | int VLS_VARIABLE_DECLARATION = 9; | 410 | int VLS_VARIABLE_DECLARATION = 9; |
384 | 411 | ||
385 | /** | 412 | /** |
413 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
414 | * <!-- begin-user-doc --> | ||
415 | * <!-- end-user-doc --> | ||
416 | * @generated | ||
417 | * @ordered | ||
418 | */ | ||
419 | int VLS_VARIABLE_DECLARATION__TYPE = VLS_DECLARATION__TYPE; | ||
420 | |||
421 | /** | ||
422 | * The feature id for the '<em><b>Name</b></em>' containment reference. | ||
423 | * <!-- begin-user-doc --> | ||
424 | * <!-- end-user-doc --> | ||
425 | * @generated | ||
426 | * @ordered | ||
427 | */ | ||
428 | int VLS_VARIABLE_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0; | ||
429 | |||
430 | /** | ||
386 | * The number of structural features of the '<em>VLS Variable Declaration</em>' class. | 431 | * The number of structural features of the '<em>VLS Variable Declaration</em>' class. |
387 | * <!-- begin-user-doc --> | 432 | * <!-- begin-user-doc --> |
388 | * <!-- end-user-doc --> | 433 | * <!-- end-user-doc --> |
389 | * @generated | 434 | * @generated |
390 | * @ordered | 435 | * @ordered |
391 | */ | 436 | */ |
392 | int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; | 437 | int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1; |
393 | 438 | ||
394 | /** | 439 | /** |
395 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. | 440 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. |
@@ -457,22 +502,13 @@ public interface VampireLanguagePackage extends EPackage | |||
457 | int VLS_TERM = 11; | 502 | int VLS_TERM = 11; |
458 | 503 | ||
459 | /** | 504 | /** |
460 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
461 | * <!-- begin-user-doc --> | ||
462 | * <!-- end-user-doc --> | ||
463 | * @generated | ||
464 | * @ordered | ||
465 | */ | ||
466 | int VLS_TERM__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0; | ||
467 | |||
468 | /** | ||
469 | * The number of structural features of the '<em>VLS Term</em>' class. | 505 | * The number of structural features of the '<em>VLS Term</em>' class. |
470 | * <!-- begin-user-doc --> | 506 | * <!-- begin-user-doc --> |
471 | * <!-- end-user-doc --> | 507 | * <!-- end-user-doc --> |
472 | * @generated | 508 | * @generated |
473 | * @ordered | 509 | * @ordered |
474 | */ | 510 | */ |
475 | int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1; | 511 | int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0; |
476 | 512 | ||
477 | /** | 513 | /** |
478 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | 514 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
@@ -485,22 +521,13 @@ public interface VampireLanguagePackage extends EPackage | |||
485 | int VLS_VARIABLE = 12; | 521 | int VLS_VARIABLE = 12; |
486 | 522 | ||
487 | /** | 523 | /** |
488 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
489 | * <!-- begin-user-doc --> | ||
490 | * <!-- end-user-doc --> | ||
491 | * @generated | ||
492 | * @ordered | ||
493 | */ | ||
494 | int VLS_VARIABLE__TYPE = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 0; | ||
495 | |||
496 | /** | ||
497 | * The feature id for the '<em><b>Name</b></em>' attribute. | 524 | * The feature id for the '<em><b>Name</b></em>' attribute. |
498 | * <!-- begin-user-doc --> | 525 | * <!-- begin-user-doc --> |
499 | * <!-- end-user-doc --> | 526 | * <!-- end-user-doc --> |
500 | * @generated | 527 | * @generated |
501 | * @ordered | 528 | * @ordered |
502 | */ | 529 | */ |
503 | int VLS_VARIABLE__NAME = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 1; | 530 | int VLS_VARIABLE__NAME = VLS_TERM_FEATURE_COUNT + 0; |
504 | 531 | ||
505 | /** | 532 | /** |
506 | * The number of structural features of the '<em>VLS Variable</em>' class. | 533 | * The number of structural features of the '<em>VLS Variable</em>' class. |
@@ -509,7 +536,7 @@ public interface VampireLanguagePackage extends EPackage | |||
509 | * @generated | 536 | * @generated |
510 | * @ordered | 537 | * @ordered |
511 | */ | 538 | */ |
512 | int VLS_VARIABLE_FEATURE_COUNT = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 2; | 539 | int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1; |
513 | 540 | ||
514 | /** | 541 | /** |
515 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class. | 542 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class. |
@@ -522,15 +549,6 @@ public interface VampireLanguagePackage extends EPackage | |||
522 | int VLS_FUNCTION_AS_TERM = 13; | 549 | int VLS_FUNCTION_AS_TERM = 13; |
523 | 550 | ||
524 | /** | 551 | /** |
525 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
526 | * <!-- begin-user-doc --> | ||
527 | * <!-- end-user-doc --> | ||
528 | * @generated | ||
529 | * @ordered | ||
530 | */ | ||
531 | int VLS_FUNCTION_AS_TERM__TYPE = VLS_TERM__TYPE; | ||
532 | |||
533 | /** | ||
534 | * The feature id for the '<em><b>Functor</b></em>' attribute. | 552 | * The feature id for the '<em><b>Functor</b></em>' attribute. |
535 | * <!-- begin-user-doc --> | 553 | * <!-- begin-user-doc --> |
536 | * <!-- end-user-doc --> | 554 | * <!-- end-user-doc --> |
@@ -568,15 +586,6 @@ public interface VampireLanguagePackage extends EPackage | |||
568 | int VLS_DEFINED_TERM = 14; | 586 | int VLS_DEFINED_TERM = 14; |
569 | 587 | ||
570 | /** | 588 | /** |
571 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | * @ordered | ||
576 | */ | ||
577 | int VLS_DEFINED_TERM__TYPE = VLS_TERM__TYPE; | ||
578 | |||
579 | /** | ||
580 | * The feature id for the '<em><b>Value</b></em>' attribute. | 589 | * The feature id for the '<em><b>Value</b></em>' attribute. |
581 | * <!-- begin-user-doc --> | 590 | * <!-- begin-user-doc --> |
582 | * <!-- end-user-doc --> | 591 | * <!-- end-user-doc --> |
@@ -690,15 +699,6 @@ public interface VampireLanguagePackage extends EPackage | |||
690 | int VLS_EQUIVALENT = 19; | 699 | int VLS_EQUIVALENT = 19; |
691 | 700 | ||
692 | /** | 701 | /** |
693 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
694 | * <!-- begin-user-doc --> | ||
695 | * <!-- end-user-doc --> | ||
696 | * @generated | ||
697 | * @ordered | ||
698 | */ | ||
699 | int VLS_EQUIVALENT__TYPE = VLS_TERM__TYPE; | ||
700 | |||
701 | /** | ||
702 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 702 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
703 | * <!-- begin-user-doc --> | 703 | * <!-- begin-user-doc --> |
704 | * <!-- end-user-doc --> | 704 | * <!-- end-user-doc --> |
@@ -736,15 +736,6 @@ public interface VampireLanguagePackage extends EPackage | |||
736 | int VLS_IMPLIES = 20; | 736 | int VLS_IMPLIES = 20; |
737 | 737 | ||
738 | /** | 738 | /** |
739 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
740 | * <!-- begin-user-doc --> | ||
741 | * <!-- end-user-doc --> | ||
742 | * @generated | ||
743 | * @ordered | ||
744 | */ | ||
745 | int VLS_IMPLIES__TYPE = VLS_TERM__TYPE; | ||
746 | |||
747 | /** | ||
748 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 739 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
749 | * <!-- begin-user-doc --> | 740 | * <!-- begin-user-doc --> |
750 | * <!-- end-user-doc --> | 741 | * <!-- end-user-doc --> |
@@ -782,15 +773,6 @@ public interface VampireLanguagePackage extends EPackage | |||
782 | int VLS_REV_IMPLIES = 21; | 773 | int VLS_REV_IMPLIES = 21; |
783 | 774 | ||
784 | /** | 775 | /** |
785 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
786 | * <!-- begin-user-doc --> | ||
787 | * <!-- end-user-doc --> | ||
788 | * @generated | ||
789 | * @ordered | ||
790 | */ | ||
791 | int VLS_REV_IMPLIES__TYPE = VLS_TERM__TYPE; | ||
792 | |||
793 | /** | ||
794 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 776 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
795 | * <!-- begin-user-doc --> | 777 | * <!-- begin-user-doc --> |
796 | * <!-- end-user-doc --> | 778 | * <!-- end-user-doc --> |
@@ -828,15 +810,6 @@ public interface VampireLanguagePackage extends EPackage | |||
828 | int VLS_XNOR = 22; | 810 | int VLS_XNOR = 22; |
829 | 811 | ||
830 | /** | 812 | /** |
831 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
832 | * <!-- begin-user-doc --> | ||
833 | * <!-- end-user-doc --> | ||
834 | * @generated | ||
835 | * @ordered | ||
836 | */ | ||
837 | int VLS_XNOR__TYPE = VLS_TERM__TYPE; | ||
838 | |||
839 | /** | ||
840 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 813 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
841 | * <!-- begin-user-doc --> | 814 | * <!-- begin-user-doc --> |
842 | * <!-- end-user-doc --> | 815 | * <!-- end-user-doc --> |
@@ -874,15 +847,6 @@ public interface VampireLanguagePackage extends EPackage | |||
874 | int VLS_NOR = 23; | 847 | int VLS_NOR = 23; |
875 | 848 | ||
876 | /** | 849 | /** |
877 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
878 | * <!-- begin-user-doc --> | ||
879 | * <!-- end-user-doc --> | ||
880 | * @generated | ||
881 | * @ordered | ||
882 | */ | ||
883 | int VLS_NOR__TYPE = VLS_TERM__TYPE; | ||
884 | |||
885 | /** | ||
886 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 850 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
887 | * <!-- begin-user-doc --> | 851 | * <!-- begin-user-doc --> |
888 | * <!-- end-user-doc --> | 852 | * <!-- end-user-doc --> |
@@ -920,15 +884,6 @@ public interface VampireLanguagePackage extends EPackage | |||
920 | int VLS_NAND = 24; | 884 | int VLS_NAND = 24; |
921 | 885 | ||
922 | /** | 886 | /** |
923 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
924 | * <!-- begin-user-doc --> | ||
925 | * <!-- end-user-doc --> | ||
926 | * @generated | ||
927 | * @ordered | ||
928 | */ | ||
929 | int VLS_NAND__TYPE = VLS_TERM__TYPE; | ||
930 | |||
931 | /** | ||
932 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 887 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
933 | * <!-- begin-user-doc --> | 888 | * <!-- begin-user-doc --> |
934 | * <!-- end-user-doc --> | 889 | * <!-- end-user-doc --> |
@@ -966,15 +921,6 @@ public interface VampireLanguagePackage extends EPackage | |||
966 | int VLS_AND = 25; | 921 | int VLS_AND = 25; |
967 | 922 | ||
968 | /** | 923 | /** |
969 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
970 | * <!-- begin-user-doc --> | ||
971 | * <!-- end-user-doc --> | ||
972 | * @generated | ||
973 | * @ordered | ||
974 | */ | ||
975 | int VLS_AND__TYPE = VLS_TERM__TYPE; | ||
976 | |||
977 | /** | ||
978 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 924 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
979 | * <!-- begin-user-doc --> | 925 | * <!-- begin-user-doc --> |
980 | * <!-- end-user-doc --> | 926 | * <!-- end-user-doc --> |
@@ -1012,15 +958,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1012 | int VLS_OR = 26; | 958 | int VLS_OR = 26; |
1013 | 959 | ||
1014 | /** | 960 | /** |
1015 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1016 | * <!-- begin-user-doc --> | ||
1017 | * <!-- end-user-doc --> | ||
1018 | * @generated | ||
1019 | * @ordered | ||
1020 | */ | ||
1021 | int VLS_OR__TYPE = VLS_TERM__TYPE; | ||
1022 | |||
1023 | /** | ||
1024 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 961 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1025 | * <!-- begin-user-doc --> | 962 | * <!-- begin-user-doc --> |
1026 | * <!-- end-user-doc --> | 963 | * <!-- end-user-doc --> |
@@ -1058,15 +995,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1058 | int VLS_UNIVERSAL_QUANTIFIER = 27; | 995 | int VLS_UNIVERSAL_QUANTIFIER = 27; |
1059 | 996 | ||
1060 | /** | 997 | /** |
1061 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1062 | * <!-- begin-user-doc --> | ||
1063 | * <!-- end-user-doc --> | ||
1064 | * @generated | ||
1065 | * @ordered | ||
1066 | */ | ||
1067 | int VLS_UNIVERSAL_QUANTIFIER__TYPE = VLS_TERM__TYPE; | ||
1068 | |||
1069 | /** | ||
1070 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 998 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
1071 | * <!-- begin-user-doc --> | 999 | * <!-- begin-user-doc --> |
1072 | * <!-- end-user-doc --> | 1000 | * <!-- end-user-doc --> |
@@ -1104,15 +1032,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1104 | int VLS_EXISTENTIAL_QUANTIFIER = 28; | 1032 | int VLS_EXISTENTIAL_QUANTIFIER = 28; |
1105 | 1033 | ||
1106 | /** | 1034 | /** |
1107 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1108 | * <!-- begin-user-doc --> | ||
1109 | * <!-- end-user-doc --> | ||
1110 | * @generated | ||
1111 | * @ordered | ||
1112 | */ | ||
1113 | int VLS_EXISTENTIAL_QUANTIFIER__TYPE = VLS_TERM__TYPE; | ||
1114 | |||
1115 | /** | ||
1116 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1035 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
1117 | * <!-- begin-user-doc --> | 1036 | * <!-- begin-user-doc --> |
1118 | * <!-- end-user-doc --> | 1037 | * <!-- end-user-doc --> |
@@ -1150,15 +1069,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1150 | int VLS_UNARY_NEGATION = 29; | 1069 | int VLS_UNARY_NEGATION = 29; |
1151 | 1070 | ||
1152 | /** | 1071 | /** |
1153 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1154 | * <!-- begin-user-doc --> | ||
1155 | * <!-- end-user-doc --> | ||
1156 | * @generated | ||
1157 | * @ordered | ||
1158 | */ | ||
1159 | int VLS_UNARY_NEGATION__TYPE = VLS_TERM__TYPE; | ||
1160 | |||
1161 | /** | ||
1162 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1072 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
1163 | * <!-- begin-user-doc --> | 1073 | * <!-- begin-user-doc --> |
1164 | * <!-- end-user-doc --> | 1074 | * <!-- end-user-doc --> |
@@ -1187,15 +1097,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1187 | int VLS_INEQUALITY = 30; | 1097 | int VLS_INEQUALITY = 30; |
1188 | 1098 | ||
1189 | /** | 1099 | /** |
1190 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1191 | * <!-- begin-user-doc --> | ||
1192 | * <!-- end-user-doc --> | ||
1193 | * @generated | ||
1194 | * @ordered | ||
1195 | */ | ||
1196 | int VLS_INEQUALITY__TYPE = VLS_TERM__TYPE; | ||
1197 | |||
1198 | /** | ||
1199 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1100 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1200 | * <!-- begin-user-doc --> | 1101 | * <!-- begin-user-doc --> |
1201 | * <!-- end-user-doc --> | 1102 | * <!-- end-user-doc --> |
@@ -1233,15 +1134,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1233 | int VLS_EQUALITY = 31; | 1134 | int VLS_EQUALITY = 31; |
1234 | 1135 | ||
1235 | /** | 1136 | /** |
1236 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1237 | * <!-- begin-user-doc --> | ||
1238 | * <!-- end-user-doc --> | ||
1239 | * @generated | ||
1240 | * @ordered | ||
1241 | */ | ||
1242 | int VLS_EQUALITY__TYPE = VLS_TERM__TYPE; | ||
1243 | |||
1244 | /** | ||
1245 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1137 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1246 | * <!-- begin-user-doc --> | 1138 | * <!-- begin-user-doc --> |
1247 | * <!-- end-user-doc --> | 1139 | * <!-- end-user-doc --> |
@@ -1279,15 +1171,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1279 | int VLS_ASSIGNMENT = 32; | 1171 | int VLS_ASSIGNMENT = 32; |
1280 | 1172 | ||
1281 | /** | 1173 | /** |
1282 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1283 | * <!-- begin-user-doc --> | ||
1284 | * <!-- end-user-doc --> | ||
1285 | * @generated | ||
1286 | * @ordered | ||
1287 | */ | ||
1288 | int VLS_ASSIGNMENT__TYPE = VLS_TERM__TYPE; | ||
1289 | |||
1290 | /** | ||
1291 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1174 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1292 | * <!-- begin-user-doc --> | 1175 | * <!-- begin-user-doc --> |
1293 | * <!-- end-user-doc --> | 1176 | * <!-- end-user-doc --> |
@@ -1325,15 +1208,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1325 | int VLS_CONSTANT = 33; | 1208 | int VLS_CONSTANT = 33; |
1326 | 1209 | ||
1327 | /** | 1210 | /** |
1328 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1329 | * <!-- begin-user-doc --> | ||
1330 | * <!-- end-user-doc --> | ||
1331 | * @generated | ||
1332 | * @ordered | ||
1333 | */ | ||
1334 | int VLS_CONSTANT__TYPE = VLS_TERM__TYPE; | ||
1335 | |||
1336 | /** | ||
1337 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1211 | * The feature id for the '<em><b>Name</b></em>' attribute. |
1338 | * <!-- begin-user-doc --> | 1212 | * <!-- begin-user-doc --> |
1339 | * <!-- end-user-doc --> | 1213 | * <!-- end-user-doc --> |
@@ -1362,15 +1236,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1362 | int VLS_TRUE = 34; | 1236 | int VLS_TRUE = 34; |
1363 | 1237 | ||
1364 | /** | 1238 | /** |
1365 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1366 | * <!-- begin-user-doc --> | ||
1367 | * <!-- end-user-doc --> | ||
1368 | * @generated | ||
1369 | * @ordered | ||
1370 | */ | ||
1371 | int VLS_TRUE__TYPE = VLS_TERM__TYPE; | ||
1372 | |||
1373 | /** | ||
1374 | * The number of structural features of the '<em>VLS True</em>' class. | 1239 | * The number of structural features of the '<em>VLS True</em>' class. |
1375 | * <!-- begin-user-doc --> | 1240 | * <!-- begin-user-doc --> |
1376 | * <!-- end-user-doc --> | 1241 | * <!-- end-user-doc --> |
@@ -1390,15 +1255,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1390 | int VLS_FALSE = 35; | 1255 | int VLS_FALSE = 35; |
1391 | 1256 | ||
1392 | /** | 1257 | /** |
1393 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1394 | * <!-- begin-user-doc --> | ||
1395 | * <!-- end-user-doc --> | ||
1396 | * @generated | ||
1397 | * @ordered | ||
1398 | */ | ||
1399 | int VLS_FALSE__TYPE = VLS_TERM__TYPE; | ||
1400 | |||
1401 | /** | ||
1402 | * The number of structural features of the '<em>VLS False</em>' class. | 1258 | * The number of structural features of the '<em>VLS False</em>' class. |
1403 | * <!-- begin-user-doc --> | 1259 | * <!-- begin-user-doc --> |
1404 | * <!-- end-user-doc --> | 1260 | * <!-- end-user-doc --> |
@@ -1418,15 +1274,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1418 | int VLS_FUNCTION = 36; | 1274 | int VLS_FUNCTION = 36; |
1419 | 1275 | ||
1420 | /** | 1276 | /** |
1421 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1422 | * <!-- begin-user-doc --> | ||
1423 | * <!-- end-user-doc --> | ||
1424 | * @generated | ||
1425 | * @ordered | ||
1426 | */ | ||
1427 | int VLS_FUNCTION__TYPE = VLS_TERM__TYPE; | ||
1428 | |||
1429 | /** | ||
1430 | * The feature id for the '<em><b>Constant</b></em>' attribute. | 1277 | * The feature id for the '<em><b>Constant</b></em>' attribute. |
1431 | * <!-- begin-user-doc --> | 1278 | * <!-- begin-user-doc --> |
1432 | * <!-- end-user-doc --> | 1279 | * <!-- end-user-doc --> |
@@ -1464,15 +1311,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1464 | int VLS_LESS = 37; | 1311 | int VLS_LESS = 37; |
1465 | 1312 | ||
1466 | /** | 1313 | /** |
1467 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1468 | * <!-- begin-user-doc --> | ||
1469 | * <!-- end-user-doc --> | ||
1470 | * @generated | ||
1471 | * @ordered | ||
1472 | */ | ||
1473 | int VLS_LESS__TYPE = VLS_TERM__TYPE; | ||
1474 | |||
1475 | /** | ||
1476 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1314 | * The feature id for the '<em><b>Name</b></em>' attribute. |
1477 | * <!-- begin-user-doc --> | 1315 | * <!-- begin-user-doc --> |
1478 | * <!-- end-user-doc --> | 1316 | * <!-- end-user-doc --> |
@@ -1510,15 +1348,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1510 | int VLS_INT = 38; | 1348 | int VLS_INT = 38; |
1511 | 1349 | ||
1512 | /** | 1350 | /** |
1513 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1514 | * <!-- begin-user-doc --> | ||
1515 | * <!-- end-user-doc --> | ||
1516 | * @generated | ||
1517 | * @ordered | ||
1518 | */ | ||
1519 | int VLS_INT__TYPE = VLS_DEFINED_TERM__TYPE; | ||
1520 | |||
1521 | /** | ||
1522 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1351 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1523 | * <!-- begin-user-doc --> | 1352 | * <!-- begin-user-doc --> |
1524 | * <!-- end-user-doc --> | 1353 | * <!-- end-user-doc --> |
@@ -1547,15 +1376,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1547 | int VLS_DOUBLE_QUOTE = 39; | 1376 | int VLS_DOUBLE_QUOTE = 39; |
1548 | 1377 | ||
1549 | /** | 1378 | /** |
1550 | * The feature id for the '<em><b>Type</b></em>' containment reference. | ||
1551 | * <!-- begin-user-doc --> | ||
1552 | * <!-- end-user-doc --> | ||
1553 | * @generated | ||
1554 | * @ordered | ||
1555 | */ | ||
1556 | int VLS_DOUBLE_QUOTE__TYPE = VLS_DEFINED_TERM__TYPE; | ||
1557 | |||
1558 | /** | ||
1559 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1379 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1560 | * <!-- begin-user-doc --> | 1380 | * <!-- begin-user-doc --> |
1561 | * <!-- end-user-doc --> | 1381 | * <!-- end-user-doc --> |
@@ -1831,6 +1651,17 @@ public interface VampireLanguagePackage extends EPackage | |||
1831 | EClass getVLSDeclaration(); | 1651 | EClass getVLSDeclaration(); |
1832 | 1652 | ||
1833 | /** | 1653 | /** |
1654 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType <em>Type</em>}'. | ||
1655 | * <!-- begin-user-doc --> | ||
1656 | * <!-- end-user-doc --> | ||
1657 | * @return the meta object for the containment reference '<em>Type</em>'. | ||
1658 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType() | ||
1659 | * @see #getVLSDeclaration() | ||
1660 | * @generated | ||
1661 | */ | ||
1662 | EReference getVLSDeclaration_Type(); | ||
1663 | |||
1664 | /** | ||
1834 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. | 1665 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. |
1835 | * <!-- begin-user-doc --> | 1666 | * <!-- begin-user-doc --> |
1836 | * <!-- end-user-doc --> | 1667 | * <!-- end-user-doc --> |
@@ -1841,6 +1672,17 @@ public interface VampireLanguagePackage extends EPackage | |||
1841 | EClass getVLSOtherDeclaration(); | 1672 | EClass getVLSOtherDeclaration(); |
1842 | 1673 | ||
1843 | /** | 1674 | /** |
1675 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName <em>Name</em>}'. | ||
1676 | * <!-- begin-user-doc --> | ||
1677 | * <!-- end-user-doc --> | ||
1678 | * @return the meta object for the containment reference '<em>Name</em>'. | ||
1679 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName() | ||
1680 | * @see #getVLSOtherDeclaration() | ||
1681 | * @generated | ||
1682 | */ | ||
1683 | EReference getVLSOtherDeclaration_Name(); | ||
1684 | |||
1685 | /** | ||
1844 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. | 1686 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. |
1845 | * <!-- begin-user-doc --> | 1687 | * <!-- begin-user-doc --> |
1846 | * <!-- end-user-doc --> | 1688 | * <!-- end-user-doc --> |
@@ -1851,6 +1693,17 @@ public interface VampireLanguagePackage extends EPackage | |||
1851 | EClass getVLSVariableDeclaration(); | 1693 | EClass getVLSVariableDeclaration(); |
1852 | 1694 | ||
1853 | /** | 1695 | /** |
1696 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName <em>Name</em>}'. | ||
1697 | * <!-- begin-user-doc --> | ||
1698 | * <!-- end-user-doc --> | ||
1699 | * @return the meta object for the containment reference '<em>Name</em>'. | ||
1700 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName() | ||
1701 | * @see #getVLSVariableDeclaration() | ||
1702 | * @generated | ||
1703 | */ | ||
1704 | EReference getVLSVariableDeclaration_Name(); | ||
1705 | |||
1706 | /** | ||
1854 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. | 1707 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. |
1855 | * <!-- begin-user-doc --> | 1708 | * <!-- begin-user-doc --> |
1856 | * <!-- end-user-doc --> | 1709 | * <!-- end-user-doc --> |
@@ -1915,17 +1768,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1915 | EClass getVLSTerm(); | 1768 | EClass getVLSTerm(); |
1916 | 1769 | ||
1917 | /** | 1770 | /** |
1918 | * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType <em>Type</em>}'. | ||
1919 | * <!-- begin-user-doc --> | ||
1920 | * <!-- end-user-doc --> | ||
1921 | * @return the meta object for the containment reference '<em>Type</em>'. | ||
1922 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType() | ||
1923 | * @see #getVLSTerm() | ||
1924 | * @generated | ||
1925 | */ | ||
1926 | EReference getVLSTerm_Type(); | ||
1927 | |||
1928 | /** | ||
1929 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. | 1771 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. |
1930 | * <!-- begin-user-doc --> | 1772 | * <!-- begin-user-doc --> |
1931 | * <!-- end-user-doc --> | 1773 | * <!-- end-user-doc --> |
@@ -2844,6 +2686,14 @@ public interface VampireLanguagePackage extends EPackage | |||
2844 | EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration(); | 2686 | EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration(); |
2845 | 2687 | ||
2846 | /** | 2688 | /** |
2689 | * The meta object literal for the '<em><b>Type</b></em>' containment reference feature. | ||
2690 | * <!-- begin-user-doc --> | ||
2691 | * <!-- end-user-doc --> | ||
2692 | * @generated | ||
2693 | */ | ||
2694 | EReference VLS_DECLARATION__TYPE = eINSTANCE.getVLSDeclaration_Type(); | ||
2695 | |||
2696 | /** | ||
2847 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. | 2697 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. |
2848 | * <!-- begin-user-doc --> | 2698 | * <!-- begin-user-doc --> |
2849 | * <!-- end-user-doc --> | 2699 | * <!-- end-user-doc --> |
@@ -2854,6 +2704,14 @@ public interface VampireLanguagePackage extends EPackage | |||
2854 | EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration(); | 2704 | EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration(); |
2855 | 2705 | ||
2856 | /** | 2706 | /** |
2707 | * The meta object literal for the '<em><b>Name</b></em>' containment reference feature. | ||
2708 | * <!-- begin-user-doc --> | ||
2709 | * <!-- end-user-doc --> | ||
2710 | * @generated | ||
2711 | */ | ||
2712 | EReference VLS_OTHER_DECLARATION__NAME = eINSTANCE.getVLSOtherDeclaration_Name(); | ||
2713 | |||
2714 | /** | ||
2857 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. | 2715 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. |
2858 | * <!-- begin-user-doc --> | 2716 | * <!-- begin-user-doc --> |
2859 | * <!-- end-user-doc --> | 2717 | * <!-- end-user-doc --> |
@@ -2864,6 +2722,14 @@ public interface VampireLanguagePackage extends EPackage | |||
2864 | EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration(); | 2722 | EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration(); |
2865 | 2723 | ||
2866 | /** | 2724 | /** |
2725 | * The meta object literal for the '<em><b>Name</b></em>' containment reference feature. | ||
2726 | * <!-- begin-user-doc --> | ||
2727 | * <!-- end-user-doc --> | ||
2728 | * @generated | ||
2729 | */ | ||
2730 | EReference VLS_VARIABLE_DECLARATION__NAME = eINSTANCE.getVLSVariableDeclaration_Name(); | ||
2731 | |||
2732 | /** | ||
2867 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. | 2733 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. |
2868 | * <!-- begin-user-doc --> | 2734 | * <!-- begin-user-doc --> |
2869 | * <!-- end-user-doc --> | 2735 | * <!-- end-user-doc --> |
@@ -2916,14 +2782,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2916 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); | 2782 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); |
2917 | 2783 | ||
2918 | /** | 2784 | /** |
2919 | * The meta object literal for the '<em><b>Type</b></em>' containment reference feature. | ||
2920 | * <!-- begin-user-doc --> | ||
2921 | * <!-- end-user-doc --> | ||
2922 | * @generated | ||
2923 | */ | ||
2924 | EReference VLS_TERM__TYPE = eINSTANCE.getVLSTerm_Type(); | ||
2925 | |||
2926 | /** | ||
2927 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | 2785 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
2928 | * <!-- begin-user-doc --> | 2786 | * <!-- begin-user-doc --> |
2929 | * <!-- end-user-doc --> | 2787 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java index bb913d80..894c76de 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSDeclarationImpl.java | |||
@@ -4,20 +4,43 @@ | |||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 9 | ||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
9 | import org.eclipse.emf.ecore.EClass; | 13 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
10 | 17 | ||
11 | /** | 18 | /** |
12 | * <!-- begin-user-doc --> | 19 | * <!-- begin-user-doc --> |
13 | * An implementation of the model object '<em><b>VLS Declaration</b></em>'. | 20 | * An implementation of the model object '<em><b>VLS Declaration</b></em>'. |
14 | * <!-- 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.VLSDeclarationImpl#getType <em>Type</em>}</li> | ||
27 | * </ul> | ||
15 | * | 28 | * |
16 | * @generated | 29 | * @generated |
17 | */ | 30 | */ |
18 | public class VLSDeclarationImpl extends VLSTffTermImpl implements VLSDeclaration | 31 | public class VLSDeclarationImpl extends VLSTffTermImpl implements VLSDeclaration |
19 | { | 32 | { |
20 | /** | 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 | /** | ||
21 | * <!-- begin-user-doc --> | 44 | * <!-- begin-user-doc --> |
22 | * <!-- end-user-doc --> | 45 | * <!-- end-user-doc --> |
23 | * @generated | 46 | * @generated |
@@ -38,4 +61,134 @@ public class VLSDeclarationImpl extends VLSTffTermImpl implements VLSDeclaration | |||
38 | return VampireLanguagePackage.Literals.VLS_DECLARATION; | 61 | return VampireLanguagePackage.Literals.VLS_DECLARATION; |
39 | } | 62 | } |
40 | 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_DECLARATION__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_DECLARATION__TYPE, null, msgs); | ||
103 | if (newType != null) | ||
104 | msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_DECLARATION__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_DECLARATION__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_DECLARATION__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_DECLARATION__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_DECLARATION__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_DECLARATION__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_DECLARATION__TYPE: | ||
189 | return type != null; | ||
190 | } | ||
191 | return super.eIsSet(featureID); | ||
192 | } | ||
193 | |||
41 | } //VLSDeclarationImpl | 194 | } //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 115c7a23..6d71ec60 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 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm; |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
10 | 10 | ||
11 | import java.util.Collection; | 11 | import 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<VLSVariableDeclaration> variables; | 50 | protected EList<VLSTffTerm> 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<VLSVariableDeclaration> getVariables() | 88 | public EList<VLSTffTerm> getVariables() |
89 | { | 89 | { |
90 | if (variables == null) | 90 | if (variables == null) |
91 | { | 91 | { |
92 | variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER__VARIABLES); | 92 | variables = new EObjectContainmentEList<VLSTffTerm>(VLSTffTerm.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 VLSVariableDeclaration>)newValue); | 194 | getVariables().addAll((Collection<? extends VLSTffTerm>)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/VLSOtherDeclarationImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSOtherDeclarationImpl.java index c5abc76a..eb7afd3d 100644 --- 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 | |||
@@ -4,20 +4,43 @@ | |||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 9 | ||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
9 | import org.eclipse.emf.ecore.EClass; | 13 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
10 | 17 | ||
11 | /** | 18 | /** |
12 | * <!-- begin-user-doc --> | 19 | * <!-- begin-user-doc --> |
13 | * An implementation of the model object '<em><b>VLS Other Declaration</b></em>'. | 20 | * An implementation of the model object '<em><b>VLS Other Declaration</b></em>'. |
14 | * <!-- 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.VLSOtherDeclarationImpl#getName <em>Name</em>}</li> | ||
27 | * </ul> | ||
15 | * | 28 | * |
16 | * @generated | 29 | * @generated |
17 | */ | 30 | */ |
18 | public class VLSOtherDeclarationImpl extends VLSDeclarationImpl implements VLSOtherDeclaration | 31 | public class VLSOtherDeclarationImpl extends VLSDeclarationImpl implements VLSOtherDeclaration |
19 | { | 32 | { |
20 | /** | 33 | /** |
34 | * The cached value of the '{@link #getName() <em>Name</em>}' containment reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getName() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected VLSTerm name; | ||
42 | |||
43 | /** | ||
21 | * <!-- begin-user-doc --> | 44 | * <!-- begin-user-doc --> |
22 | * <!-- end-user-doc --> | 45 | * <!-- end-user-doc --> |
23 | * @generated | 46 | * @generated |
@@ -38,4 +61,134 @@ public class VLSOtherDeclarationImpl extends VLSDeclarationImpl implements VLSOt | |||
38 | return VampireLanguagePackage.Literals.VLS_OTHER_DECLARATION; | 61 | return VampireLanguagePackage.Literals.VLS_OTHER_DECLARATION; |
39 | } | 62 | } |
40 | 63 | ||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | public VLSTerm getName() | ||
70 | { | ||
71 | return name; | ||
72 | } | ||
73 | |||
74 | /** | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @generated | ||
78 | */ | ||
79 | public NotificationChain basicSetName(VLSTerm newName, NotificationChain msgs) | ||
80 | { | ||
81 | VLSTerm oldName = name; | ||
82 | name = newName; | ||
83 | if (eNotificationRequired()) | ||
84 | { | ||
85 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_OTHER_DECLARATION__NAME, oldName, newName); | ||
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 setName(VLSTerm newName) | ||
97 | { | ||
98 | if (newName != name) | ||
99 | { | ||
100 | NotificationChain msgs = null; | ||
101 | if (name != null) | ||
102 | msgs = ((InternalEObject)name).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_OTHER_DECLARATION__NAME, null, msgs); | ||
103 | if (newName != null) | ||
104 | msgs = ((InternalEObject)newName).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_OTHER_DECLARATION__NAME, null, msgs); | ||
105 | msgs = basicSetName(newName, msgs); | ||
106 | if (msgs != null) msgs.dispatch(); | ||
107 | } | ||
108 | else if (eNotificationRequired()) | ||
109 | eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_OTHER_DECLARATION__NAME, newName, newName)); | ||
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_OTHER_DECLARATION__NAME: | ||
123 | return basicSetName(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_OTHER_DECLARATION__NAME: | ||
139 | return getName(); | ||
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_OTHER_DECLARATION__NAME: | ||
155 | setName((VLSTerm)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_OTHER_DECLARATION__NAME: | ||
172 | setName((VLSTerm)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_OTHER_DECLARATION__NAME: | ||
189 | return name != null; | ||
190 | } | ||
191 | return super.eIsSet(featureID); | ||
192 | } | ||
193 | |||
41 | } //VLSOtherDeclarationImpl | 194 | } //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 0ea49b4c..c56d7ecd 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,43 +4,20 @@ | |||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
9 | 8 | ||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
13 | import org.eclipse.emf.ecore.EClass; | 9 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
17 | 10 | ||
18 | /** | 11 | /** |
19 | * <!-- begin-user-doc --> | 12 | * <!-- begin-user-doc --> |
20 | * An implementation of the model object '<em><b>VLS Term</b></em>'. | 13 | * An implementation of the model object '<em><b>VLS Term</b></em>'. |
21 | * <!-- end-user-doc --> | 14 | * <!-- 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> | ||
28 | * | 15 | * |
29 | * @generated | 16 | * @generated |
30 | */ | 17 | */ |
31 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | 18 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm |
32 | { | 19 | { |
33 | /** | 20 | /** |
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 | /** | ||
44 | * <!-- begin-user-doc --> | 21 | * <!-- begin-user-doc --> |
45 | * <!-- end-user-doc --> | 22 | * <!-- end-user-doc --> |
46 | * @generated | 23 | * @generated |
@@ -61,134 +38,4 @@ public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | |||
61 | return VampireLanguagePackage.Literals.VLS_TERM; | 38 | return VampireLanguagePackage.Literals.VLS_TERM; |
62 | } | 39 | } |
63 | 40 | ||
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 | |||
194 | } //VLSTermImpl | 41 | } //VLSTermImpl |
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 b9bfbe07..e3482fb8 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 | |||
@@ -4,8 +4,8 @@ | |||
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
10 | 10 | ||
11 | import java.util.Collection; | 11 | import 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<VLSVariableDeclaration> variables; | 50 | protected EList<VLSTffTerm> 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<VLSVariableDeclaration> getVariables() | 88 | public EList<VLSTffTerm> getVariables() |
89 | { | 89 | { |
90 | if (variables == null) | 90 | if (variables == null) |
91 | { | 91 | { |
92 | variables = new EObjectContainmentEList<VLSVariableDeclaration>(VLSVariableDeclaration.class, this, VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER__VARIABLES); | 92 | variables = new EObjectContainmentEList<VLSTffTerm>(VLSTffTerm.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 VLSVariableDeclaration>)newValue); | 194 | getVariables().addAll((Collection<? extends VLSTffTerm>)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 index 0e6c0ef9..5ebb84c7 100644 --- 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 | |||
@@ -3,21 +3,44 @@ | |||
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 9 | ||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | import org.eclipse.emf.common.notify.NotificationChain; | ||
12 | |||
9 | import org.eclipse.emf.ecore.EClass; | 13 | import org.eclipse.emf.ecore.EClass; |
14 | import org.eclipse.emf.ecore.InternalEObject; | ||
15 | |||
16 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
10 | 17 | ||
11 | /** | 18 | /** |
12 | * <!-- begin-user-doc --> | 19 | * <!-- begin-user-doc --> |
13 | * An implementation of the model object '<em><b>VLS Variable Declaration</b></em>'. | 20 | * An implementation of the model object '<em><b>VLS Variable Declaration</b></em>'. |
14 | * <!-- 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.VLSVariableDeclarationImpl#getName <em>Name</em>}</li> | ||
27 | * </ul> | ||
15 | * | 28 | * |
16 | * @generated | 29 | * @generated |
17 | */ | 30 | */ |
18 | public class VLSVariableDeclarationImpl extends VLSDeclarationImpl implements VLSVariableDeclaration | 31 | public class VLSVariableDeclarationImpl extends VLSDeclarationImpl implements VLSVariableDeclaration |
19 | { | 32 | { |
20 | /** | 33 | /** |
34 | * The cached value of the '{@link #getName() <em>Name</em>}' containment reference. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #getName() | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | protected VLSVariable name; | ||
42 | |||
43 | /** | ||
21 | * <!-- begin-user-doc --> | 44 | * <!-- begin-user-doc --> |
22 | * <!-- end-user-doc --> | 45 | * <!-- end-user-doc --> |
23 | * @generated | 46 | * @generated |
@@ -38,4 +61,134 @@ public class VLSVariableDeclarationImpl extends VLSDeclarationImpl implements VL | |||
38 | return VampireLanguagePackage.Literals.VLS_VARIABLE_DECLARATION; | 61 | return VampireLanguagePackage.Literals.VLS_VARIABLE_DECLARATION; |
39 | } | 62 | } |
40 | 63 | ||
64 | /** | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @generated | ||
68 | */ | ||
69 | public VLSVariable getName() | ||
70 | { | ||
71 | return name; | ||
72 | } | ||
73 | |||
74 | /** | ||
75 | * <!-- begin-user-doc --> | ||
76 | * <!-- end-user-doc --> | ||
77 | * @generated | ||
78 | */ | ||
79 | public NotificationChain basicSetName(VLSVariable newName, NotificationChain msgs) | ||
80 | { | ||
81 | VLSVariable oldName = name; | ||
82 | name = newName; | ||
83 | if (eNotificationRequired()) | ||
84 | { | ||
85 | ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE_DECLARATION__NAME, oldName, newName); | ||
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 setName(VLSVariable newName) | ||
97 | { | ||
98 | if (newName != name) | ||
99 | { | ||
100 | NotificationChain msgs = null; | ||
101 | if (name != null) | ||
102 | msgs = ((InternalEObject)name).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE_DECLARATION__NAME, null, msgs); | ||
103 | if (newName != null) | ||
104 | msgs = ((InternalEObject)newName).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - VampireLanguagePackage.VLS_VARIABLE_DECLARATION__NAME, null, msgs); | ||
105 | msgs = basicSetName(newName, msgs); | ||
106 | if (msgs != null) msgs.dispatch(); | ||
107 | } | ||
108 | else if (eNotificationRequired()) | ||
109 | eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_VARIABLE_DECLARATION__NAME, newName, newName)); | ||
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_VARIABLE_DECLARATION__NAME: | ||
123 | return basicSetName(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_VARIABLE_DECLARATION__NAME: | ||
139 | return getName(); | ||
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_VARIABLE_DECLARATION__NAME: | ||
155 | setName((VLSVariable)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_VARIABLE_DECLARATION__NAME: | ||
172 | setName((VLSVariable)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_VARIABLE_DECLARATION__NAME: | ||
189 | return name != null; | ||
190 | } | ||
191 | return super.eIsSet(featureID); | ||
192 | } | ||
193 | |||
41 | } //VLSVariableDeclarationImpl | 194 | } //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 1d38ddfb..9ebed3eb 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,17 +3,12 @@ | |||
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | 4 | package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; |
5 | 5 | ||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | ||
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
11 | 8 | ||
12 | import org.eclipse.emf.common.notify.Notification; | 9 | import org.eclipse.emf.common.notify.Notification; |
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | 10 | ||
15 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.InternalEObject; | ||
17 | 12 | ||
18 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
19 | 14 | ||
@@ -25,25 +20,14 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; | |||
25 | * The following features are implemented: | 20 | * The following features are implemented: |
26 | * </p> | 21 | * </p> |
27 | * <ul> | 22 | * <ul> |
28 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getType <em>Type</em>}</li> | ||
29 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li> | 23 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl#getName <em>Name</em>}</li> |
30 | * </ul> | 24 | * </ul> |
31 | * | 25 | * |
32 | * @generated | 26 | * @generated |
33 | */ | 27 | */ |
34 | public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVariable | 28 | public class VLSVariableImpl extends VLSTermImpl implements VLSVariable |
35 | { | 29 | { |
36 | /** | 30 | /** |
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 | /** | ||
47 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. | 31 | * The default value of the '{@link #getName() <em>Name</em>}' attribute. |
48 | * <!-- begin-user-doc --> | 32 | * <!-- begin-user-doc --> |
49 | * <!-- end-user-doc --> | 33 | * <!-- end-user-doc --> |
@@ -89,54 +73,6 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
89 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
90 | * @generated | 74 | * @generated |
91 | */ | 75 | */ |
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 | */ | ||
140 | public String getName() | 76 | public String getName() |
141 | { | 77 | { |
142 | return name; | 78 | return name; |
@@ -161,28 +97,10 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
161 | * @generated | 97 | * @generated |
162 | */ | 98 | */ |
163 | @Override | 99 | @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 | ||
180 | public Object eGet(int featureID, boolean resolve, boolean coreType) | 100 | public Object eGet(int featureID, boolean resolve, boolean coreType) |
181 | { | 101 | { |
182 | switch (featureID) | 102 | switch (featureID) |
183 | { | 103 | { |
184 | case VampireLanguagePackage.VLS_VARIABLE__TYPE: | ||
185 | return getType(); | ||
186 | case VampireLanguagePackage.VLS_VARIABLE__NAME: | 104 | case VampireLanguagePackage.VLS_VARIABLE__NAME: |
187 | return getName(); | 105 | return getName(); |
188 | } | 106 | } |
@@ -199,9 +117,6 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
199 | { | 117 | { |
200 | switch (featureID) | 118 | switch (featureID) |
201 | { | 119 | { |
202 | case VampireLanguagePackage.VLS_VARIABLE__TYPE: | ||
203 | setType((VLSTypeDef)newValue); | ||
204 | return; | ||
205 | case VampireLanguagePackage.VLS_VARIABLE__NAME: | 120 | case VampireLanguagePackage.VLS_VARIABLE__NAME: |
206 | setName((String)newValue); | 121 | setName((String)newValue); |
207 | return; | 122 | return; |
@@ -219,9 +134,6 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
219 | { | 134 | { |
220 | switch (featureID) | 135 | switch (featureID) |
221 | { | 136 | { |
222 | case VampireLanguagePackage.VLS_VARIABLE__TYPE: | ||
223 | setType((VLSTypeDef)null); | ||
224 | return; | ||
225 | case VampireLanguagePackage.VLS_VARIABLE__NAME: | 137 | case VampireLanguagePackage.VLS_VARIABLE__NAME: |
226 | setName(NAME_EDEFAULT); | 138 | setName(NAME_EDEFAULT); |
227 | return; | 139 | return; |
@@ -239,8 +151,6 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
239 | { | 151 | { |
240 | switch (featureID) | 152 | switch (featureID) |
241 | { | 153 | { |
242 | case VampireLanguagePackage.VLS_VARIABLE__TYPE: | ||
243 | return type != null; | ||
244 | case VampireLanguagePackage.VLS_VARIABLE__NAME: | 154 | case VampireLanguagePackage.VLS_VARIABLE__NAME: |
245 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); | 155 | return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); |
246 | } | 156 | } |
@@ -253,58 +163,6 @@ public class VLSVariableImpl extends VLSVariableDeclarationImpl implements VLSVa | |||
253 | * @generated | 163 | * @generated |
254 | */ | 164 | */ |
255 | @Override | 165 | @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 | ||
308 | public String toString() | 166 | public String toString() |
309 | { | 167 | { |
310 | if (eIsProxy()) return super.toString(); | 168 | 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/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java index 6b2b7085..676b2786 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -649,6 +649,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
649 | * <!-- end-user-doc --> | 649 | * <!-- end-user-doc --> |
650 | * @generated | 650 | * @generated |
651 | */ | 651 | */ |
652 | public EReference getVLSDeclaration_Type() | ||
653 | { | ||
654 | return (EReference)vlsDeclarationEClass.getEStructuralFeatures().get(0); | ||
655 | } | ||
656 | |||
657 | /** | ||
658 | * <!-- begin-user-doc --> | ||
659 | * <!-- end-user-doc --> | ||
660 | * @generated | ||
661 | */ | ||
652 | public EClass getVLSOtherDeclaration() | 662 | public EClass getVLSOtherDeclaration() |
653 | { | 663 | { |
654 | return vlsOtherDeclarationEClass; | 664 | return vlsOtherDeclarationEClass; |
@@ -659,6 +669,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
659 | * <!-- end-user-doc --> | 669 | * <!-- end-user-doc --> |
660 | * @generated | 670 | * @generated |
661 | */ | 671 | */ |
672 | public EReference getVLSOtherDeclaration_Name() | ||
673 | { | ||
674 | return (EReference)vlsOtherDeclarationEClass.getEStructuralFeatures().get(0); | ||
675 | } | ||
676 | |||
677 | /** | ||
678 | * <!-- begin-user-doc --> | ||
679 | * <!-- end-user-doc --> | ||
680 | * @generated | ||
681 | */ | ||
662 | public EClass getVLSVariableDeclaration() | 682 | public EClass getVLSVariableDeclaration() |
663 | { | 683 | { |
664 | return vlsVariableDeclarationEClass; | 684 | return vlsVariableDeclarationEClass; |
@@ -669,6 +689,16 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
669 | * <!-- end-user-doc --> | 689 | * <!-- end-user-doc --> |
670 | * @generated | 690 | * @generated |
671 | */ | 691 | */ |
692 | public EReference getVLSVariableDeclaration_Name() | ||
693 | { | ||
694 | return (EReference)vlsVariableDeclarationEClass.getEStructuralFeatures().get(0); | ||
695 | } | ||
696 | |||
697 | /** | ||
698 | * <!-- begin-user-doc --> | ||
699 | * <!-- end-user-doc --> | ||
700 | * @generated | ||
701 | */ | ||
672 | public EClass getVLSTypeDef() | 702 | public EClass getVLSTypeDef() |
673 | { | 703 | { |
674 | return vlsTypeDefEClass; | 704 | return vlsTypeDefEClass; |
@@ -729,16 +759,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
729 | * <!-- end-user-doc --> | 759 | * <!-- end-user-doc --> |
730 | * @generated | 760 | * @generated |
731 | */ | 761 | */ |
732 | public EReference getVLSTerm_Type() | ||
733 | { | ||
734 | return (EReference)vlsTermEClass.getEStructuralFeatures().get(0); | ||
735 | } | ||
736 | |||
737 | /** | ||
738 | * <!-- begin-user-doc --> | ||
739 | * <!-- end-user-doc --> | ||
740 | * @generated | ||
741 | */ | ||
742 | public EClass getVLSVariable() | 762 | public EClass getVLSVariable() |
743 | { | 763 | { |
744 | return vlsVariableEClass; | 764 | return vlsVariableEClass; |
@@ -1445,10 +1465,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1445 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); | 1465 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); |
1446 | 1466 | ||
1447 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); | 1467 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); |
1468 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); | ||
1448 | 1469 | ||
1449 | vlsOtherDeclarationEClass = createEClass(VLS_OTHER_DECLARATION); | 1470 | vlsOtherDeclarationEClass = createEClass(VLS_OTHER_DECLARATION); |
1471 | createEReference(vlsOtherDeclarationEClass, VLS_OTHER_DECLARATION__NAME); | ||
1450 | 1472 | ||
1451 | vlsVariableDeclarationEClass = createEClass(VLS_VARIABLE_DECLARATION); | 1473 | vlsVariableDeclarationEClass = createEClass(VLS_VARIABLE_DECLARATION); |
1474 | createEReference(vlsVariableDeclarationEClass, VLS_VARIABLE_DECLARATION__NAME); | ||
1452 | 1475 | ||
1453 | vlsTypeDefEClass = createEClass(VLS_TYPE_DEF); | 1476 | vlsTypeDefEClass = createEClass(VLS_TYPE_DEF); |
1454 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__TYPE_SIG); | 1477 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__TYPE_SIG); |
@@ -1457,7 +1480,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1457 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); | 1480 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); |
1458 | 1481 | ||
1459 | vlsTermEClass = createEClass(VLS_TERM); | 1482 | vlsTermEClass = createEClass(VLS_TERM); |
1460 | createEReference(vlsTermEClass, VLS_TERM__TYPE); | ||
1461 | 1483 | ||
1462 | vlsVariableEClass = createEClass(VLS_VARIABLE); | 1484 | vlsVariableEClass = createEClass(VLS_VARIABLE); |
1463 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | 1485 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); |
@@ -1586,8 +1608,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1586 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1608 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1587 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1609 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1588 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | 1610 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); |
1589 | vlsTermEClass.getESuperTypes().add(this.getVLSOtherDeclaration()); | ||
1590 | vlsVariableEClass.getESuperTypes().add(this.getVLSVariableDeclaration()); | ||
1591 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1611 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1592 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1612 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1593 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1613 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1649,10 +1669,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1649 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1669 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1650 | 1670 | ||
1651 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1671 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1672 | initEReference(getVLSDeclaration_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1652 | 1673 | ||
1653 | initEClass(vlsOtherDeclarationEClass, VLSOtherDeclaration.class, "VLSOtherDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1674 | initEClass(vlsOtherDeclarationEClass, VLSOtherDeclaration.class, "VLSOtherDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1675 | initEReference(getVLSOtherDeclaration_Name(), this.getVLSTerm(), null, "name", null, 0, 1, VLSOtherDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1654 | 1676 | ||
1655 | initEClass(vlsVariableDeclarationEClass, VLSVariableDeclaration.class, "VLSVariableDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1677 | initEClass(vlsVariableDeclarationEClass, VLSVariableDeclaration.class, "VLSVariableDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1678 | initEReference(getVLSVariableDeclaration_Name(), this.getVLSVariable(), null, "name", null, 0, 1, VLSVariableDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1656 | 1679 | ||
1657 | initEClass(vlsTypeDefEClass, VLSTypeDef.class, "VLSTypeDef", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1680 | initEClass(vlsTypeDefEClass, VLSTypeDef.class, "VLSTypeDef", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1658 | initEReference(getVLSTypeDef_TypeSig(), this.getVLSTypeDef(), null, "typeSig", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1681 | initEReference(getVLSTypeDef_TypeSig(), this.getVLSTypeDef(), null, "typeSig", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -1661,7 +1684,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1661 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1684 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1662 | 1685 | ||
1663 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1686 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1664 | initEReference(getVLSTerm_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1665 | 1687 | ||
1666 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1688 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1667 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1689 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -1715,11 +1737,11 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1715 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1737 | initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1716 | 1738 | ||
1717 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1739 | initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1718 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariableDeclaration(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1740 | initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSTffTerm(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1719 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1741 | initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1720 | 1742 | ||
1721 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1743 | initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1722 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariableDeclaration(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1744 | initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSTffTerm(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1723 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1745 | initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1724 | 1746 | ||
1725 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1747 | initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java index e4aae7f8..193ac81b 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java | |||
@@ -159,8 +159,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
159 | { | 159 | { |
160 | VLSTerm vlsTerm = (VLSTerm)theEObject; | 160 | VLSTerm vlsTerm = (VLSTerm)theEObject; |
161 | T result = caseVLSTerm(vlsTerm); | 161 | T result = caseVLSTerm(vlsTerm); |
162 | if (result == null) result = caseVLSOtherDeclaration(vlsTerm); | ||
163 | if (result == null) result = caseVLSDeclaration(vlsTerm); | ||
164 | if (result == null) result = caseVLSTffTerm(vlsTerm); | 162 | if (result == null) result = caseVLSTffTerm(vlsTerm); |
165 | if (result == null) result = defaultCase(theEObject); | 163 | if (result == null) result = defaultCase(theEObject); |
166 | return result; | 164 | return result; |
@@ -169,10 +167,7 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
169 | { | 167 | { |
170 | VLSVariable vlsVariable = (VLSVariable)theEObject; | 168 | VLSVariable vlsVariable = (VLSVariable)theEObject; |
171 | T result = caseVLSVariable(vlsVariable); | 169 | T result = caseVLSVariable(vlsVariable); |
172 | if (result == null) result = caseVLSVariableDeclaration(vlsVariable); | ||
173 | if (result == null) result = caseVLSTerm(vlsVariable); | 170 | if (result == null) result = caseVLSTerm(vlsVariable); |
174 | if (result == null) result = caseVLSOtherDeclaration(vlsVariable); | ||
175 | if (result == null) result = caseVLSDeclaration(vlsVariable); | ||
176 | if (result == null) result = caseVLSTffTerm(vlsVariable); | 171 | if (result == null) result = caseVLSTffTerm(vlsVariable); |
177 | if (result == null) result = defaultCase(theEObject); | 172 | if (result == null) result = defaultCase(theEObject); |
178 | return result; | 173 | return result; |
@@ -182,8 +177,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
182 | VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject; | 177 | VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject; |
183 | T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm); | 178 | T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm); |
184 | if (result == null) result = caseVLSTerm(vlsFunctionAsTerm); | 179 | if (result == null) result = caseVLSTerm(vlsFunctionAsTerm); |
185 | if (result == null) result = caseVLSOtherDeclaration(vlsFunctionAsTerm); | ||
186 | if (result == null) result = caseVLSDeclaration(vlsFunctionAsTerm); | ||
187 | if (result == null) result = caseVLSTffTerm(vlsFunctionAsTerm); | 180 | if (result == null) result = caseVLSTffTerm(vlsFunctionAsTerm); |
188 | if (result == null) result = defaultCase(theEObject); | 181 | if (result == null) result = defaultCase(theEObject); |
189 | return result; | 182 | return result; |
@@ -193,8 +186,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
193 | VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject; | 186 | VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject; |
194 | T result = caseVLSDefinedTerm(vlsDefinedTerm); | 187 | T result = caseVLSDefinedTerm(vlsDefinedTerm); |
195 | if (result == null) result = caseVLSTerm(vlsDefinedTerm); | 188 | if (result == null) result = caseVLSTerm(vlsDefinedTerm); |
196 | if (result == null) result = caseVLSOtherDeclaration(vlsDefinedTerm); | ||
197 | if (result == null) result = caseVLSDeclaration(vlsDefinedTerm); | ||
198 | if (result == null) result = caseVLSTffTerm(vlsDefinedTerm); | 189 | if (result == null) result = caseVLSTffTerm(vlsDefinedTerm); |
199 | if (result == null) result = defaultCase(theEObject); | 190 | if (result == null) result = defaultCase(theEObject); |
200 | return result; | 191 | return result; |
@@ -236,8 +227,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
236 | VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject; | 227 | VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject; |
237 | T result = caseVLSEquivalent(vlsEquivalent); | 228 | T result = caseVLSEquivalent(vlsEquivalent); |
238 | if (result == null) result = caseVLSTerm(vlsEquivalent); | 229 | if (result == null) result = caseVLSTerm(vlsEquivalent); |
239 | if (result == null) result = caseVLSOtherDeclaration(vlsEquivalent); | ||
240 | if (result == null) result = caseVLSDeclaration(vlsEquivalent); | ||
241 | if (result == null) result = caseVLSTffTerm(vlsEquivalent); | 230 | if (result == null) result = caseVLSTffTerm(vlsEquivalent); |
242 | if (result == null) result = defaultCase(theEObject); | 231 | if (result == null) result = defaultCase(theEObject); |
243 | return result; | 232 | return result; |
@@ -247,8 +236,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
247 | VLSImplies vlsImplies = (VLSImplies)theEObject; | 236 | VLSImplies vlsImplies = (VLSImplies)theEObject; |
248 | T result = caseVLSImplies(vlsImplies); | 237 | T result = caseVLSImplies(vlsImplies); |
249 | if (result == null) result = caseVLSTerm(vlsImplies); | 238 | if (result == null) result = caseVLSTerm(vlsImplies); |
250 | if (result == null) result = caseVLSOtherDeclaration(vlsImplies); | ||
251 | if (result == null) result = caseVLSDeclaration(vlsImplies); | ||
252 | if (result == null) result = caseVLSTffTerm(vlsImplies); | 239 | if (result == null) result = caseVLSTffTerm(vlsImplies); |
253 | if (result == null) result = defaultCase(theEObject); | 240 | if (result == null) result = defaultCase(theEObject); |
254 | return result; | 241 | return result; |
@@ -258,8 +245,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
258 | VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject; | 245 | VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject; |
259 | T result = caseVLSRevImplies(vlsRevImplies); | 246 | T result = caseVLSRevImplies(vlsRevImplies); |
260 | if (result == null) result = caseVLSTerm(vlsRevImplies); | 247 | if (result == null) result = caseVLSTerm(vlsRevImplies); |
261 | if (result == null) result = caseVLSOtherDeclaration(vlsRevImplies); | ||
262 | if (result == null) result = caseVLSDeclaration(vlsRevImplies); | ||
263 | if (result == null) result = caseVLSTffTerm(vlsRevImplies); | 248 | if (result == null) result = caseVLSTffTerm(vlsRevImplies); |
264 | if (result == null) result = defaultCase(theEObject); | 249 | if (result == null) result = defaultCase(theEObject); |
265 | return result; | 250 | return result; |
@@ -269,8 +254,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
269 | VLSXnor vlsXnor = (VLSXnor)theEObject; | 254 | VLSXnor vlsXnor = (VLSXnor)theEObject; |
270 | T result = caseVLSXnor(vlsXnor); | 255 | T result = caseVLSXnor(vlsXnor); |
271 | if (result == null) result = caseVLSTerm(vlsXnor); | 256 | if (result == null) result = caseVLSTerm(vlsXnor); |
272 | if (result == null) result = caseVLSOtherDeclaration(vlsXnor); | ||
273 | if (result == null) result = caseVLSDeclaration(vlsXnor); | ||
274 | if (result == null) result = caseVLSTffTerm(vlsXnor); | 257 | if (result == null) result = caseVLSTffTerm(vlsXnor); |
275 | if (result == null) result = defaultCase(theEObject); | 258 | if (result == null) result = defaultCase(theEObject); |
276 | return result; | 259 | return result; |
@@ -280,8 +263,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
280 | VLSNor vlsNor = (VLSNor)theEObject; | 263 | VLSNor vlsNor = (VLSNor)theEObject; |
281 | T result = caseVLSNor(vlsNor); | 264 | T result = caseVLSNor(vlsNor); |
282 | if (result == null) result = caseVLSTerm(vlsNor); | 265 | if (result == null) result = caseVLSTerm(vlsNor); |
283 | if (result == null) result = caseVLSOtherDeclaration(vlsNor); | ||
284 | if (result == null) result = caseVLSDeclaration(vlsNor); | ||
285 | if (result == null) result = caseVLSTffTerm(vlsNor); | 266 | if (result == null) result = caseVLSTffTerm(vlsNor); |
286 | if (result == null) result = defaultCase(theEObject); | 267 | if (result == null) result = defaultCase(theEObject); |
287 | return result; | 268 | return result; |
@@ -291,8 +272,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
291 | VLSNand vlsNand = (VLSNand)theEObject; | 272 | VLSNand vlsNand = (VLSNand)theEObject; |
292 | T result = caseVLSNand(vlsNand); | 273 | T result = caseVLSNand(vlsNand); |
293 | if (result == null) result = caseVLSTerm(vlsNand); | 274 | if (result == null) result = caseVLSTerm(vlsNand); |
294 | if (result == null) result = caseVLSOtherDeclaration(vlsNand); | ||
295 | if (result == null) result = caseVLSDeclaration(vlsNand); | ||
296 | if (result == null) result = caseVLSTffTerm(vlsNand); | 275 | if (result == null) result = caseVLSTffTerm(vlsNand); |
297 | if (result == null) result = defaultCase(theEObject); | 276 | if (result == null) result = defaultCase(theEObject); |
298 | return result; | 277 | return result; |
@@ -302,8 +281,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
302 | VLSAnd vlsAnd = (VLSAnd)theEObject; | 281 | VLSAnd vlsAnd = (VLSAnd)theEObject; |
303 | T result = caseVLSAnd(vlsAnd); | 282 | T result = caseVLSAnd(vlsAnd); |
304 | if (result == null) result = caseVLSTerm(vlsAnd); | 283 | if (result == null) result = caseVLSTerm(vlsAnd); |
305 | if (result == null) result = caseVLSOtherDeclaration(vlsAnd); | ||
306 | if (result == null) result = caseVLSDeclaration(vlsAnd); | ||
307 | if (result == null) result = caseVLSTffTerm(vlsAnd); | 284 | if (result == null) result = caseVLSTffTerm(vlsAnd); |
308 | if (result == null) result = defaultCase(theEObject); | 285 | if (result == null) result = defaultCase(theEObject); |
309 | return result; | 286 | return result; |
@@ -313,8 +290,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
313 | VLSOr vlsOr = (VLSOr)theEObject; | 290 | VLSOr vlsOr = (VLSOr)theEObject; |
314 | T result = caseVLSOr(vlsOr); | 291 | T result = caseVLSOr(vlsOr); |
315 | if (result == null) result = caseVLSTerm(vlsOr); | 292 | if (result == null) result = caseVLSTerm(vlsOr); |
316 | if (result == null) result = caseVLSOtherDeclaration(vlsOr); | ||
317 | if (result == null) result = caseVLSDeclaration(vlsOr); | ||
318 | if (result == null) result = caseVLSTffTerm(vlsOr); | 293 | if (result == null) result = caseVLSTffTerm(vlsOr); |
319 | if (result == null) result = defaultCase(theEObject); | 294 | if (result == null) result = defaultCase(theEObject); |
320 | return result; | 295 | return result; |
@@ -324,8 +299,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
324 | VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject; | 299 | VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject; |
325 | T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier); | 300 | T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier); |
326 | if (result == null) result = caseVLSTerm(vlsUniversalQuantifier); | 301 | if (result == null) result = caseVLSTerm(vlsUniversalQuantifier); |
327 | if (result == null) result = caseVLSOtherDeclaration(vlsUniversalQuantifier); | ||
328 | if (result == null) result = caseVLSDeclaration(vlsUniversalQuantifier); | ||
329 | if (result == null) result = caseVLSTffTerm(vlsUniversalQuantifier); | 302 | if (result == null) result = caseVLSTffTerm(vlsUniversalQuantifier); |
330 | if (result == null) result = defaultCase(theEObject); | 303 | if (result == null) result = defaultCase(theEObject); |
331 | return result; | 304 | return result; |
@@ -335,8 +308,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
335 | VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject; | 308 | VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject; |
336 | T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier); | 309 | T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier); |
337 | if (result == null) result = caseVLSTerm(vlsExistentialQuantifier); | 310 | if (result == null) result = caseVLSTerm(vlsExistentialQuantifier); |
338 | if (result == null) result = caseVLSOtherDeclaration(vlsExistentialQuantifier); | ||
339 | if (result == null) result = caseVLSDeclaration(vlsExistentialQuantifier); | ||
340 | if (result == null) result = caseVLSTffTerm(vlsExistentialQuantifier); | 311 | if (result == null) result = caseVLSTffTerm(vlsExistentialQuantifier); |
341 | if (result == null) result = defaultCase(theEObject); | 312 | if (result == null) result = defaultCase(theEObject); |
342 | return result; | 313 | return result; |
@@ -346,8 +317,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
346 | VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject; | 317 | VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject; |
347 | T result = caseVLSUnaryNegation(vlsUnaryNegation); | 318 | T result = caseVLSUnaryNegation(vlsUnaryNegation); |
348 | if (result == null) result = caseVLSTerm(vlsUnaryNegation); | 319 | if (result == null) result = caseVLSTerm(vlsUnaryNegation); |
349 | if (result == null) result = caseVLSOtherDeclaration(vlsUnaryNegation); | ||
350 | if (result == null) result = caseVLSDeclaration(vlsUnaryNegation); | ||
351 | if (result == null) result = caseVLSTffTerm(vlsUnaryNegation); | 320 | if (result == null) result = caseVLSTffTerm(vlsUnaryNegation); |
352 | if (result == null) result = defaultCase(theEObject); | 321 | if (result == null) result = defaultCase(theEObject); |
353 | return result; | 322 | return result; |
@@ -357,8 +326,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
357 | VLSInequality vlsInequality = (VLSInequality)theEObject; | 326 | VLSInequality vlsInequality = (VLSInequality)theEObject; |
358 | T result = caseVLSInequality(vlsInequality); | 327 | T result = caseVLSInequality(vlsInequality); |
359 | if (result == null) result = caseVLSTerm(vlsInequality); | 328 | if (result == null) result = caseVLSTerm(vlsInequality); |
360 | if (result == null) result = caseVLSOtherDeclaration(vlsInequality); | ||
361 | if (result == null) result = caseVLSDeclaration(vlsInequality); | ||
362 | if (result == null) result = caseVLSTffTerm(vlsInequality); | 329 | if (result == null) result = caseVLSTffTerm(vlsInequality); |
363 | if (result == null) result = defaultCase(theEObject); | 330 | if (result == null) result = defaultCase(theEObject); |
364 | return result; | 331 | return result; |
@@ -368,8 +335,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
368 | VLSEquality vlsEquality = (VLSEquality)theEObject; | 335 | VLSEquality vlsEquality = (VLSEquality)theEObject; |
369 | T result = caseVLSEquality(vlsEquality); | 336 | T result = caseVLSEquality(vlsEquality); |
370 | if (result == null) result = caseVLSTerm(vlsEquality); | 337 | if (result == null) result = caseVLSTerm(vlsEquality); |
371 | if (result == null) result = caseVLSOtherDeclaration(vlsEquality); | ||
372 | if (result == null) result = caseVLSDeclaration(vlsEquality); | ||
373 | if (result == null) result = caseVLSTffTerm(vlsEquality); | 338 | if (result == null) result = caseVLSTffTerm(vlsEquality); |
374 | if (result == null) result = defaultCase(theEObject); | 339 | if (result == null) result = defaultCase(theEObject); |
375 | return result; | 340 | return result; |
@@ -379,8 +344,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
379 | VLSAssignment vlsAssignment = (VLSAssignment)theEObject; | 344 | VLSAssignment vlsAssignment = (VLSAssignment)theEObject; |
380 | T result = caseVLSAssignment(vlsAssignment); | 345 | T result = caseVLSAssignment(vlsAssignment); |
381 | if (result == null) result = caseVLSTerm(vlsAssignment); | 346 | if (result == null) result = caseVLSTerm(vlsAssignment); |
382 | if (result == null) result = caseVLSOtherDeclaration(vlsAssignment); | ||
383 | if (result == null) result = caseVLSDeclaration(vlsAssignment); | ||
384 | if (result == null) result = caseVLSTffTerm(vlsAssignment); | 347 | if (result == null) result = caseVLSTffTerm(vlsAssignment); |
385 | if (result == null) result = defaultCase(theEObject); | 348 | if (result == null) result = defaultCase(theEObject); |
386 | return result; | 349 | return result; |
@@ -390,8 +353,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
390 | VLSConstant vlsConstant = (VLSConstant)theEObject; | 353 | VLSConstant vlsConstant = (VLSConstant)theEObject; |
391 | T result = caseVLSConstant(vlsConstant); | 354 | T result = caseVLSConstant(vlsConstant); |
392 | if (result == null) result = caseVLSTerm(vlsConstant); | 355 | if (result == null) result = caseVLSTerm(vlsConstant); |
393 | if (result == null) result = caseVLSOtherDeclaration(vlsConstant); | ||
394 | if (result == null) result = caseVLSDeclaration(vlsConstant); | ||
395 | if (result == null) result = caseVLSTffTerm(vlsConstant); | 356 | if (result == null) result = caseVLSTffTerm(vlsConstant); |
396 | if (result == null) result = defaultCase(theEObject); | 357 | if (result == null) result = defaultCase(theEObject); |
397 | return result; | 358 | return result; |
@@ -401,8 +362,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
401 | VLSTrue vlsTrue = (VLSTrue)theEObject; | 362 | VLSTrue vlsTrue = (VLSTrue)theEObject; |
402 | T result = caseVLSTrue(vlsTrue); | 363 | T result = caseVLSTrue(vlsTrue); |
403 | if (result == null) result = caseVLSTerm(vlsTrue); | 364 | if (result == null) result = caseVLSTerm(vlsTrue); |
404 | if (result == null) result = caseVLSOtherDeclaration(vlsTrue); | ||
405 | if (result == null) result = caseVLSDeclaration(vlsTrue); | ||
406 | if (result == null) result = caseVLSTffTerm(vlsTrue); | 365 | if (result == null) result = caseVLSTffTerm(vlsTrue); |
407 | if (result == null) result = defaultCase(theEObject); | 366 | if (result == null) result = defaultCase(theEObject); |
408 | return result; | 367 | return result; |
@@ -412,8 +371,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
412 | VLSFalse vlsFalse = (VLSFalse)theEObject; | 371 | VLSFalse vlsFalse = (VLSFalse)theEObject; |
413 | T result = caseVLSFalse(vlsFalse); | 372 | T result = caseVLSFalse(vlsFalse); |
414 | if (result == null) result = caseVLSTerm(vlsFalse); | 373 | if (result == null) result = caseVLSTerm(vlsFalse); |
415 | if (result == null) result = caseVLSOtherDeclaration(vlsFalse); | ||
416 | if (result == null) result = caseVLSDeclaration(vlsFalse); | ||
417 | if (result == null) result = caseVLSTffTerm(vlsFalse); | 374 | if (result == null) result = caseVLSTffTerm(vlsFalse); |
418 | if (result == null) result = defaultCase(theEObject); | 375 | if (result == null) result = defaultCase(theEObject); |
419 | return result; | 376 | return result; |
@@ -423,8 +380,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
423 | VLSFunction vlsFunction = (VLSFunction)theEObject; | 380 | VLSFunction vlsFunction = (VLSFunction)theEObject; |
424 | T result = caseVLSFunction(vlsFunction); | 381 | T result = caseVLSFunction(vlsFunction); |
425 | if (result == null) result = caseVLSTerm(vlsFunction); | 382 | if (result == null) result = caseVLSTerm(vlsFunction); |
426 | if (result == null) result = caseVLSOtherDeclaration(vlsFunction); | ||
427 | if (result == null) result = caseVLSDeclaration(vlsFunction); | ||
428 | if (result == null) result = caseVLSTffTerm(vlsFunction); | 383 | if (result == null) result = caseVLSTffTerm(vlsFunction); |
429 | if (result == null) result = defaultCase(theEObject); | 384 | if (result == null) result = defaultCase(theEObject); |
430 | return result; | 385 | return result; |
@@ -434,8 +389,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
434 | VLSLess vlsLess = (VLSLess)theEObject; | 389 | VLSLess vlsLess = (VLSLess)theEObject; |
435 | T result = caseVLSLess(vlsLess); | 390 | T result = caseVLSLess(vlsLess); |
436 | if (result == null) result = caseVLSTerm(vlsLess); | 391 | if (result == null) result = caseVLSTerm(vlsLess); |
437 | if (result == null) result = caseVLSOtherDeclaration(vlsLess); | ||
438 | if (result == null) result = caseVLSDeclaration(vlsLess); | ||
439 | if (result == null) result = caseVLSTffTerm(vlsLess); | 392 | if (result == null) result = caseVLSTffTerm(vlsLess); |
440 | if (result == null) result = defaultCase(theEObject); | 393 | if (result == null) result = defaultCase(theEObject); |
441 | return result; | 394 | return result; |
@@ -446,8 +399,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
446 | T result = caseVLSInt(vlsInt); | 399 | T result = caseVLSInt(vlsInt); |
447 | if (result == null) result = caseVLSDefinedTerm(vlsInt); | 400 | if (result == null) result = caseVLSDefinedTerm(vlsInt); |
448 | if (result == null) result = caseVLSTerm(vlsInt); | 401 | if (result == null) result = caseVLSTerm(vlsInt); |
449 | if (result == null) result = caseVLSOtherDeclaration(vlsInt); | ||
450 | if (result == null) result = caseVLSDeclaration(vlsInt); | ||
451 | if (result == null) result = caseVLSTffTerm(vlsInt); | 402 | if (result == null) result = caseVLSTffTerm(vlsInt); |
452 | if (result == null) result = defaultCase(theEObject); | 403 | if (result == null) result = defaultCase(theEObject); |
453 | return result; | 404 | return result; |
@@ -458,8 +409,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
458 | T result = caseVLSDoubleQuote(vlsDoubleQuote); | 409 | T result = caseVLSDoubleQuote(vlsDoubleQuote); |
459 | if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote); | 410 | if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote); |
460 | if (result == null) result = caseVLSTerm(vlsDoubleQuote); | 411 | if (result == null) result = caseVLSTerm(vlsDoubleQuote); |
461 | if (result == null) result = caseVLSOtherDeclaration(vlsDoubleQuote); | ||
462 | if (result == null) result = caseVLSDeclaration(vlsDoubleQuote); | ||
463 | if (result == null) result = caseVLSTffTerm(vlsDoubleQuote); | 412 | if (result == null) result = caseVLSTffTerm(vlsDoubleQuote); |
464 | if (result == null) result = defaultCase(theEObject); | 413 | if (result == null) result = defaultCase(theEObject); |
465 | return result; | 414 | return result; |