diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
commit | 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch) | |
tree | 9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage | |
parent | VAMPIRE: fix model generation (diff) | |
download | VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.gz VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.zst VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.zip |
VAMPIRE: Implement Vampire measurement code
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage')
8 files changed, 548 insertions, 124 deletions
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 d1f20508..83941c8b 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,6 +9,12 @@ 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#getComment <em>Comment</em>}</li> | ||
17 | * </ul> | ||
12 | * | 18 | * |
13 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm() | 19 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm() |
14 | * @model | 20 | * @model |
@@ -16,4 +22,30 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage; | |||
16 | */ | 22 | */ |
17 | public interface VLSTerm extends VLSTffTerm | 23 | public interface VLSTerm extends VLSTffTerm |
18 | { | 24 | { |
25 | /** | ||
26 | * Returns the value of the '<em><b>Comment</b></em>' attribute. | ||
27 | * <!-- begin-user-doc --> | ||
28 | * <p> | ||
29 | * If the meaning of the '<em>Comment</em>' attribute 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>Comment</em>' attribute. | ||
34 | * @see #setComment(String) | ||
35 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTerm_Comment() | ||
36 | * @model | ||
37 | * @generated | ||
38 | */ | ||
39 | String getComment(); | ||
40 | |||
41 | /** | ||
42 | * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getComment <em>Comment</em>}' attribute. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @param value the new value of the '<em>Comment</em>' attribute. | ||
46 | * @see #getComment() | ||
47 | * @generated | ||
48 | */ | ||
49 | void setComment(String value); | ||
50 | |||
19 | } // VLSTerm | 51 | } // VLSTerm |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java index 171bb39e..a137054e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java | |||
@@ -87,6 +87,15 @@ public interface VampireLanguageFactory extends EFactory | |||
87 | VLSTffTerm createVLSTffTerm(); | 87 | VLSTffTerm createVLSTffTerm(); |
88 | 88 | ||
89 | /** | 89 | /** |
90 | * Returns a new object of class '<em>VLS Term</em>'. | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @return a new object of class '<em>VLS Term</em>'. | ||
94 | * @generated | ||
95 | */ | ||
96 | VLSTerm createVLSTerm(); | ||
97 | |||
98 | /** | ||
90 | * Returns a new object of class '<em>VLS Declaration</em>'. | 99 | * Returns a new object of class '<em>VLS Declaration</em>'. |
91 | * <!-- begin-user-doc --> | 100 | * <!-- begin-user-doc --> |
92 | * <!-- end-user-doc --> | 101 | * <!-- end-user-doc --> |
@@ -123,15 +132,6 @@ public interface VampireLanguageFactory extends EFactory | |||
123 | VLSTypeDef createVLSTypeDef(); | 132 | VLSTypeDef createVLSTypeDef(); |
124 | 133 | ||
125 | /** | 134 | /** |
126 | * Returns a new object of class '<em>VLS Term</em>'. | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @return a new object of class '<em>VLS Term</em>'. | ||
130 | * @generated | ||
131 | */ | ||
132 | VLSTerm createVLSTerm(); | ||
133 | |||
134 | /** | ||
135 | * Returns a new object of class '<em>VLS Variable</em>'. | 135 | * Returns a new object of class '<em>VLS Variable</em>'. |
136 | * <!-- begin-user-doc --> | 136 | * <!-- begin-user-doc --> |
137 | * <!-- end-user-doc --> | 137 | * <!-- end-user-doc --> |
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 7c917251..43327c64 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 | |||
@@ -335,6 +335,34 @@ public interface VampireLanguagePackage extends EPackage | |||
335 | int VLS_TFF_TERM_FEATURE_COUNT = 0; | 335 | int VLS_TFF_TERM_FEATURE_COUNT = 0; |
336 | 336 | ||
337 | /** | 337 | /** |
338 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | ||
339 | * <!-- begin-user-doc --> | ||
340 | * <!-- end-user-doc --> | ||
341 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl | ||
342 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | ||
343 | * @generated | ||
344 | */ | ||
345 | int VLS_TERM = 7; | ||
346 | |||
347 | /** | ||
348 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
349 | * <!-- begin-user-doc --> | ||
350 | * <!-- end-user-doc --> | ||
351 | * @generated | ||
352 | * @ordered | ||
353 | */ | ||
354 | int VLS_TERM__COMMENT = VLS_TFF_TERM_FEATURE_COUNT + 0; | ||
355 | |||
356 | /** | ||
357 | * The number of structural features of the '<em>VLS Term</em>' class. | ||
358 | * <!-- begin-user-doc --> | ||
359 | * <!-- end-user-doc --> | ||
360 | * @generated | ||
361 | * @ordered | ||
362 | */ | ||
363 | int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1; | ||
364 | |||
365 | /** | ||
338 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. | 366 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. |
339 | * <!-- begin-user-doc --> | 367 | * <!-- begin-user-doc --> |
340 | * <!-- end-user-doc --> | 368 | * <!-- end-user-doc --> |
@@ -342,7 +370,7 @@ public interface VampireLanguagePackage extends EPackage | |||
342 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration() | 370 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDeclaration() |
343 | * @generated | 371 | * @generated |
344 | */ | 372 | */ |
345 | int VLS_DECLARATION = 7; | 373 | int VLS_DECLARATION = 8; |
346 | 374 | ||
347 | /** | 375 | /** |
348 | * The feature id for the '<em><b>Type</b></em>' containment reference. | 376 | * The feature id for the '<em><b>Type</b></em>' containment reference. |
@@ -370,7 +398,7 @@ public interface VampireLanguagePackage extends EPackage | |||
370 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration() | 398 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOtherDeclaration() |
371 | * @generated | 399 | * @generated |
372 | */ | 400 | */ |
373 | int VLS_OTHER_DECLARATION = 8; | 401 | int VLS_OTHER_DECLARATION = 9; |
374 | 402 | ||
375 | /** | 403 | /** |
376 | * The feature id for the '<em><b>Type</b></em>' containment reference. | 404 | * The feature id for the '<em><b>Type</b></em>' containment reference. |
@@ -407,7 +435,7 @@ public interface VampireLanguagePackage extends EPackage | |||
407 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration() | 435 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariableDeclaration() |
408 | * @generated | 436 | * @generated |
409 | */ | 437 | */ |
410 | int VLS_VARIABLE_DECLARATION = 9; | 438 | int VLS_VARIABLE_DECLARATION = 10; |
411 | 439 | ||
412 | /** | 440 | /** |
413 | * The feature id for the '<em><b>Type</b></em>' containment reference. | 441 | * The feature id for the '<em><b>Type</b></em>' containment reference. |
@@ -444,7 +472,7 @@ public interface VampireLanguagePackage extends EPackage | |||
444 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef() | 472 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTypeDef() |
445 | * @generated | 473 | * @generated |
446 | */ | 474 | */ |
447 | int VLS_TYPE_DEF = 10; | 475 | int VLS_TYPE_DEF = 11; |
448 | 476 | ||
449 | /** | 477 | /** |
450 | * The feature id for the '<em><b>Type Sig</b></em>' containment reference. | 478 | * The feature id for the '<em><b>Type Sig</b></em>' containment reference. |
@@ -492,33 +520,23 @@ public interface VampireLanguagePackage extends EPackage | |||
492 | int VLS_TYPE_DEF_FEATURE_COUNT = 4; | 520 | int VLS_TYPE_DEF_FEATURE_COUNT = 4; |
493 | 521 | ||
494 | /** | 522 | /** |
495 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | 523 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
496 | * <!-- begin-user-doc --> | 524 | * <!-- begin-user-doc --> |
497 | * <!-- end-user-doc --> | 525 | * <!-- end-user-doc --> |
498 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl | 526 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl |
499 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | 527 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() |
500 | * @generated | 528 | * @generated |
501 | */ | 529 | */ |
502 | int VLS_TERM = 11; | 530 | int VLS_VARIABLE = 12; |
503 | 531 | ||
504 | /** | 532 | /** |
505 | * The number of structural features of the '<em>VLS Term</em>' class. | 533 | * The feature id for the '<em><b>Comment</b></em>' attribute. |
506 | * <!-- begin-user-doc --> | 534 | * <!-- begin-user-doc --> |
507 | * <!-- end-user-doc --> | 535 | * <!-- end-user-doc --> |
508 | * @generated | 536 | * @generated |
509 | * @ordered | 537 | * @ordered |
510 | */ | 538 | */ |
511 | int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0; | 539 | int VLS_VARIABLE__COMMENT = VLS_TERM__COMMENT; |
512 | |||
513 | /** | ||
514 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | ||
515 | * <!-- begin-user-doc --> | ||
516 | * <!-- end-user-doc --> | ||
517 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl | ||
518 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() | ||
519 | * @generated | ||
520 | */ | ||
521 | int VLS_VARIABLE = 12; | ||
522 | 540 | ||
523 | /** | 541 | /** |
524 | * The feature id for the '<em><b>Name</b></em>' attribute. | 542 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -549,6 +567,15 @@ public interface VampireLanguagePackage extends EPackage | |||
549 | int VLS_FUNCTION_AS_TERM = 13; | 567 | int VLS_FUNCTION_AS_TERM = 13; |
550 | 568 | ||
551 | /** | 569 | /** |
570 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
571 | * <!-- begin-user-doc --> | ||
572 | * <!-- end-user-doc --> | ||
573 | * @generated | ||
574 | * @ordered | ||
575 | */ | ||
576 | int VLS_FUNCTION_AS_TERM__COMMENT = VLS_TERM__COMMENT; | ||
577 | |||
578 | /** | ||
552 | * The feature id for the '<em><b>Functor</b></em>' attribute. | 579 | * The feature id for the '<em><b>Functor</b></em>' attribute. |
553 | * <!-- begin-user-doc --> | 580 | * <!-- begin-user-doc --> |
554 | * <!-- end-user-doc --> | 581 | * <!-- end-user-doc --> |
@@ -586,6 +613,15 @@ public interface VampireLanguagePackage extends EPackage | |||
586 | int VLS_DEFINED_TERM = 14; | 613 | int VLS_DEFINED_TERM = 14; |
587 | 614 | ||
588 | /** | 615 | /** |
616 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
617 | * <!-- begin-user-doc --> | ||
618 | * <!-- end-user-doc --> | ||
619 | * @generated | ||
620 | * @ordered | ||
621 | */ | ||
622 | int VLS_DEFINED_TERM__COMMENT = VLS_TERM__COMMENT; | ||
623 | |||
624 | /** | ||
589 | * The feature id for the '<em><b>Value</b></em>' attribute. | 625 | * The feature id for the '<em><b>Value</b></em>' attribute. |
590 | * <!-- begin-user-doc --> | 626 | * <!-- begin-user-doc --> |
591 | * <!-- end-user-doc --> | 627 | * <!-- end-user-doc --> |
@@ -699,6 +735,15 @@ public interface VampireLanguagePackage extends EPackage | |||
699 | int VLS_EQUIVALENT = 19; | 735 | int VLS_EQUIVALENT = 19; |
700 | 736 | ||
701 | /** | 737 | /** |
738 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
739 | * <!-- begin-user-doc --> | ||
740 | * <!-- end-user-doc --> | ||
741 | * @generated | ||
742 | * @ordered | ||
743 | */ | ||
744 | int VLS_EQUIVALENT__COMMENT = VLS_TERM__COMMENT; | ||
745 | |||
746 | /** | ||
702 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 747 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
703 | * <!-- begin-user-doc --> | 748 | * <!-- begin-user-doc --> |
704 | * <!-- end-user-doc --> | 749 | * <!-- end-user-doc --> |
@@ -736,6 +781,15 @@ public interface VampireLanguagePackage extends EPackage | |||
736 | int VLS_IMPLIES = 20; | 781 | int VLS_IMPLIES = 20; |
737 | 782 | ||
738 | /** | 783 | /** |
784 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
785 | * <!-- begin-user-doc --> | ||
786 | * <!-- end-user-doc --> | ||
787 | * @generated | ||
788 | * @ordered | ||
789 | */ | ||
790 | int VLS_IMPLIES__COMMENT = VLS_TERM__COMMENT; | ||
791 | |||
792 | /** | ||
739 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 793 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
740 | * <!-- begin-user-doc --> | 794 | * <!-- begin-user-doc --> |
741 | * <!-- end-user-doc --> | 795 | * <!-- end-user-doc --> |
@@ -773,6 +827,15 @@ public interface VampireLanguagePackage extends EPackage | |||
773 | int VLS_REV_IMPLIES = 21; | 827 | int VLS_REV_IMPLIES = 21; |
774 | 828 | ||
775 | /** | 829 | /** |
830 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
831 | * <!-- begin-user-doc --> | ||
832 | * <!-- end-user-doc --> | ||
833 | * @generated | ||
834 | * @ordered | ||
835 | */ | ||
836 | int VLS_REV_IMPLIES__COMMENT = VLS_TERM__COMMENT; | ||
837 | |||
838 | /** | ||
776 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 839 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
777 | * <!-- begin-user-doc --> | 840 | * <!-- begin-user-doc --> |
778 | * <!-- end-user-doc --> | 841 | * <!-- end-user-doc --> |
@@ -810,6 +873,15 @@ public interface VampireLanguagePackage extends EPackage | |||
810 | int VLS_XNOR = 22; | 873 | int VLS_XNOR = 22; |
811 | 874 | ||
812 | /** | 875 | /** |
876 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
877 | * <!-- begin-user-doc --> | ||
878 | * <!-- end-user-doc --> | ||
879 | * @generated | ||
880 | * @ordered | ||
881 | */ | ||
882 | int VLS_XNOR__COMMENT = VLS_TERM__COMMENT; | ||
883 | |||
884 | /** | ||
813 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 885 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
814 | * <!-- begin-user-doc --> | 886 | * <!-- begin-user-doc --> |
815 | * <!-- end-user-doc --> | 887 | * <!-- end-user-doc --> |
@@ -847,6 +919,15 @@ public interface VampireLanguagePackage extends EPackage | |||
847 | int VLS_NOR = 23; | 919 | int VLS_NOR = 23; |
848 | 920 | ||
849 | /** | 921 | /** |
922 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
923 | * <!-- begin-user-doc --> | ||
924 | * <!-- end-user-doc --> | ||
925 | * @generated | ||
926 | * @ordered | ||
927 | */ | ||
928 | int VLS_NOR__COMMENT = VLS_TERM__COMMENT; | ||
929 | |||
930 | /** | ||
850 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 931 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
851 | * <!-- begin-user-doc --> | 932 | * <!-- begin-user-doc --> |
852 | * <!-- end-user-doc --> | 933 | * <!-- end-user-doc --> |
@@ -884,6 +965,15 @@ public interface VampireLanguagePackage extends EPackage | |||
884 | int VLS_NAND = 24; | 965 | int VLS_NAND = 24; |
885 | 966 | ||
886 | /** | 967 | /** |
968 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
969 | * <!-- begin-user-doc --> | ||
970 | * <!-- end-user-doc --> | ||
971 | * @generated | ||
972 | * @ordered | ||
973 | */ | ||
974 | int VLS_NAND__COMMENT = VLS_TERM__COMMENT; | ||
975 | |||
976 | /** | ||
887 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 977 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
888 | * <!-- begin-user-doc --> | 978 | * <!-- begin-user-doc --> |
889 | * <!-- end-user-doc --> | 979 | * <!-- end-user-doc --> |
@@ -921,6 +1011,15 @@ public interface VampireLanguagePackage extends EPackage | |||
921 | int VLS_AND = 25; | 1011 | int VLS_AND = 25; |
922 | 1012 | ||
923 | /** | 1013 | /** |
1014 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1015 | * <!-- begin-user-doc --> | ||
1016 | * <!-- end-user-doc --> | ||
1017 | * @generated | ||
1018 | * @ordered | ||
1019 | */ | ||
1020 | int VLS_AND__COMMENT = VLS_TERM__COMMENT; | ||
1021 | |||
1022 | /** | ||
924 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1023 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
925 | * <!-- begin-user-doc --> | 1024 | * <!-- begin-user-doc --> |
926 | * <!-- end-user-doc --> | 1025 | * <!-- end-user-doc --> |
@@ -958,6 +1057,15 @@ public interface VampireLanguagePackage extends EPackage | |||
958 | int VLS_OR = 26; | 1057 | int VLS_OR = 26; |
959 | 1058 | ||
960 | /** | 1059 | /** |
1060 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1061 | * <!-- begin-user-doc --> | ||
1062 | * <!-- end-user-doc --> | ||
1063 | * @generated | ||
1064 | * @ordered | ||
1065 | */ | ||
1066 | int VLS_OR__COMMENT = VLS_TERM__COMMENT; | ||
1067 | |||
1068 | /** | ||
961 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1069 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
962 | * <!-- begin-user-doc --> | 1070 | * <!-- begin-user-doc --> |
963 | * <!-- end-user-doc --> | 1071 | * <!-- end-user-doc --> |
@@ -995,6 +1103,15 @@ public interface VampireLanguagePackage extends EPackage | |||
995 | int VLS_UNIVERSAL_QUANTIFIER = 27; | 1103 | int VLS_UNIVERSAL_QUANTIFIER = 27; |
996 | 1104 | ||
997 | /** | 1105 | /** |
1106 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1107 | * <!-- begin-user-doc --> | ||
1108 | * <!-- end-user-doc --> | ||
1109 | * @generated | ||
1110 | * @ordered | ||
1111 | */ | ||
1112 | int VLS_UNIVERSAL_QUANTIFIER__COMMENT = VLS_TERM__COMMENT; | ||
1113 | |||
1114 | /** | ||
998 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1115 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
999 | * <!-- begin-user-doc --> | 1116 | * <!-- begin-user-doc --> |
1000 | * <!-- end-user-doc --> | 1117 | * <!-- end-user-doc --> |
@@ -1032,6 +1149,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1032 | int VLS_EXISTENTIAL_QUANTIFIER = 28; | 1149 | int VLS_EXISTENTIAL_QUANTIFIER = 28; |
1033 | 1150 | ||
1034 | /** | 1151 | /** |
1152 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1153 | * <!-- begin-user-doc --> | ||
1154 | * <!-- end-user-doc --> | ||
1155 | * @generated | ||
1156 | * @ordered | ||
1157 | */ | ||
1158 | int VLS_EXISTENTIAL_QUANTIFIER__COMMENT = VLS_TERM__COMMENT; | ||
1159 | |||
1160 | /** | ||
1035 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1161 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
1036 | * <!-- begin-user-doc --> | 1162 | * <!-- begin-user-doc --> |
1037 | * <!-- end-user-doc --> | 1163 | * <!-- end-user-doc --> |
@@ -1069,6 +1195,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1069 | int VLS_UNARY_NEGATION = 29; | 1195 | int VLS_UNARY_NEGATION = 29; |
1070 | 1196 | ||
1071 | /** | 1197 | /** |
1198 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1199 | * <!-- begin-user-doc --> | ||
1200 | * <!-- end-user-doc --> | ||
1201 | * @generated | ||
1202 | * @ordered | ||
1203 | */ | ||
1204 | int VLS_UNARY_NEGATION__COMMENT = VLS_TERM__COMMENT; | ||
1205 | |||
1206 | /** | ||
1072 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1207 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
1073 | * <!-- begin-user-doc --> | 1208 | * <!-- begin-user-doc --> |
1074 | * <!-- end-user-doc --> | 1209 | * <!-- end-user-doc --> |
@@ -1097,6 +1232,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1097 | int VLS_INEQUALITY = 30; | 1232 | int VLS_INEQUALITY = 30; |
1098 | 1233 | ||
1099 | /** | 1234 | /** |
1235 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1236 | * <!-- begin-user-doc --> | ||
1237 | * <!-- end-user-doc --> | ||
1238 | * @generated | ||
1239 | * @ordered | ||
1240 | */ | ||
1241 | int VLS_INEQUALITY__COMMENT = VLS_TERM__COMMENT; | ||
1242 | |||
1243 | /** | ||
1100 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1244 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1101 | * <!-- begin-user-doc --> | 1245 | * <!-- begin-user-doc --> |
1102 | * <!-- end-user-doc --> | 1246 | * <!-- end-user-doc --> |
@@ -1134,6 +1278,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1134 | int VLS_EQUALITY = 31; | 1278 | int VLS_EQUALITY = 31; |
1135 | 1279 | ||
1136 | /** | 1280 | /** |
1281 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1282 | * <!-- begin-user-doc --> | ||
1283 | * <!-- end-user-doc --> | ||
1284 | * @generated | ||
1285 | * @ordered | ||
1286 | */ | ||
1287 | int VLS_EQUALITY__COMMENT = VLS_TERM__COMMENT; | ||
1288 | |||
1289 | /** | ||
1137 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1290 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1138 | * <!-- begin-user-doc --> | 1291 | * <!-- begin-user-doc --> |
1139 | * <!-- end-user-doc --> | 1292 | * <!-- end-user-doc --> |
@@ -1171,6 +1324,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1171 | int VLS_ASSIGNMENT = 32; | 1324 | int VLS_ASSIGNMENT = 32; |
1172 | 1325 | ||
1173 | /** | 1326 | /** |
1327 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1328 | * <!-- begin-user-doc --> | ||
1329 | * <!-- end-user-doc --> | ||
1330 | * @generated | ||
1331 | * @ordered | ||
1332 | */ | ||
1333 | int VLS_ASSIGNMENT__COMMENT = VLS_TERM__COMMENT; | ||
1334 | |||
1335 | /** | ||
1174 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1336 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
1175 | * <!-- begin-user-doc --> | 1337 | * <!-- begin-user-doc --> |
1176 | * <!-- end-user-doc --> | 1338 | * <!-- end-user-doc --> |
@@ -1208,6 +1370,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1208 | int VLS_CONSTANT = 33; | 1370 | int VLS_CONSTANT = 33; |
1209 | 1371 | ||
1210 | /** | 1372 | /** |
1373 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1374 | * <!-- begin-user-doc --> | ||
1375 | * <!-- end-user-doc --> | ||
1376 | * @generated | ||
1377 | * @ordered | ||
1378 | */ | ||
1379 | int VLS_CONSTANT__COMMENT = VLS_TERM__COMMENT; | ||
1380 | |||
1381 | /** | ||
1211 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1382 | * The feature id for the '<em><b>Name</b></em>' attribute. |
1212 | * <!-- begin-user-doc --> | 1383 | * <!-- begin-user-doc --> |
1213 | * <!-- end-user-doc --> | 1384 | * <!-- end-user-doc --> |
@@ -1236,6 +1407,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1236 | int VLS_TRUE = 34; | 1407 | int VLS_TRUE = 34; |
1237 | 1408 | ||
1238 | /** | 1409 | /** |
1410 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1411 | * <!-- begin-user-doc --> | ||
1412 | * <!-- end-user-doc --> | ||
1413 | * @generated | ||
1414 | * @ordered | ||
1415 | */ | ||
1416 | int VLS_TRUE__COMMENT = VLS_TERM__COMMENT; | ||
1417 | |||
1418 | /** | ||
1239 | * The number of structural features of the '<em>VLS True</em>' class. | 1419 | * The number of structural features of the '<em>VLS True</em>' class. |
1240 | * <!-- begin-user-doc --> | 1420 | * <!-- begin-user-doc --> |
1241 | * <!-- end-user-doc --> | 1421 | * <!-- end-user-doc --> |
@@ -1255,6 +1435,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1255 | int VLS_FALSE = 35; | 1435 | int VLS_FALSE = 35; |
1256 | 1436 | ||
1257 | /** | 1437 | /** |
1438 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1439 | * <!-- begin-user-doc --> | ||
1440 | * <!-- end-user-doc --> | ||
1441 | * @generated | ||
1442 | * @ordered | ||
1443 | */ | ||
1444 | int VLS_FALSE__COMMENT = VLS_TERM__COMMENT; | ||
1445 | |||
1446 | /** | ||
1258 | * The number of structural features of the '<em>VLS False</em>' class. | 1447 | * The number of structural features of the '<em>VLS False</em>' class. |
1259 | * <!-- begin-user-doc --> | 1448 | * <!-- begin-user-doc --> |
1260 | * <!-- end-user-doc --> | 1449 | * <!-- end-user-doc --> |
@@ -1274,6 +1463,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1274 | int VLS_FUNCTION = 36; | 1463 | int VLS_FUNCTION = 36; |
1275 | 1464 | ||
1276 | /** | 1465 | /** |
1466 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1467 | * <!-- begin-user-doc --> | ||
1468 | * <!-- end-user-doc --> | ||
1469 | * @generated | ||
1470 | * @ordered | ||
1471 | */ | ||
1472 | int VLS_FUNCTION__COMMENT = VLS_TERM__COMMENT; | ||
1473 | |||
1474 | /** | ||
1277 | * The feature id for the '<em><b>Constant</b></em>' attribute. | 1475 | * The feature id for the '<em><b>Constant</b></em>' attribute. |
1278 | * <!-- begin-user-doc --> | 1476 | * <!-- begin-user-doc --> |
1279 | * <!-- end-user-doc --> | 1477 | * <!-- end-user-doc --> |
@@ -1311,6 +1509,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1311 | int VLS_LESS = 37; | 1509 | int VLS_LESS = 37; |
1312 | 1510 | ||
1313 | /** | 1511 | /** |
1512 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1513 | * <!-- begin-user-doc --> | ||
1514 | * <!-- end-user-doc --> | ||
1515 | * @generated | ||
1516 | * @ordered | ||
1517 | */ | ||
1518 | int VLS_LESS__COMMENT = VLS_TERM__COMMENT; | ||
1519 | |||
1520 | /** | ||
1314 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1521 | * The feature id for the '<em><b>Name</b></em>' attribute. |
1315 | * <!-- begin-user-doc --> | 1522 | * <!-- begin-user-doc --> |
1316 | * <!-- end-user-doc --> | 1523 | * <!-- end-user-doc --> |
@@ -1348,6 +1555,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1348 | int VLS_INT = 38; | 1555 | int VLS_INT = 38; |
1349 | 1556 | ||
1350 | /** | 1557 | /** |
1558 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1559 | * <!-- begin-user-doc --> | ||
1560 | * <!-- end-user-doc --> | ||
1561 | * @generated | ||
1562 | * @ordered | ||
1563 | */ | ||
1564 | int VLS_INT__COMMENT = VLS_DEFINED_TERM__COMMENT; | ||
1565 | |||
1566 | /** | ||
1351 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1567 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1352 | * <!-- begin-user-doc --> | 1568 | * <!-- begin-user-doc --> |
1353 | * <!-- end-user-doc --> | 1569 | * <!-- end-user-doc --> |
@@ -1376,6 +1592,15 @@ public interface VampireLanguagePackage extends EPackage | |||
1376 | int VLS_DOUBLE_QUOTE = 39; | 1592 | int VLS_DOUBLE_QUOTE = 39; |
1377 | 1593 | ||
1378 | /** | 1594 | /** |
1595 | * The feature id for the '<em><b>Comment</b></em>' attribute. | ||
1596 | * <!-- begin-user-doc --> | ||
1597 | * <!-- end-user-doc --> | ||
1598 | * @generated | ||
1599 | * @ordered | ||
1600 | */ | ||
1601 | int VLS_DOUBLE_QUOTE__COMMENT = VLS_DEFINED_TERM__COMMENT; | ||
1602 | |||
1603 | /** | ||
1379 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1604 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1380 | * <!-- begin-user-doc --> | 1605 | * <!-- begin-user-doc --> |
1381 | * <!-- end-user-doc --> | 1606 | * <!-- end-user-doc --> |
@@ -1641,6 +1866,27 @@ public interface VampireLanguagePackage extends EPackage | |||
1641 | EClass getVLSTffTerm(); | 1866 | EClass getVLSTffTerm(); |
1642 | 1867 | ||
1643 | /** | 1868 | /** |
1869 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | ||
1870 | * <!-- begin-user-doc --> | ||
1871 | * <!-- end-user-doc --> | ||
1872 | * @return the meta object for class '<em>VLS Term</em>'. | ||
1873 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | ||
1874 | * @generated | ||
1875 | */ | ||
1876 | EClass getVLSTerm(); | ||
1877 | |||
1878 | /** | ||
1879 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getComment <em>Comment</em>}'. | ||
1880 | * <!-- begin-user-doc --> | ||
1881 | * <!-- end-user-doc --> | ||
1882 | * @return the meta object for the attribute '<em>Comment</em>'. | ||
1883 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getComment() | ||
1884 | * @see #getVLSTerm() | ||
1885 | * @generated | ||
1886 | */ | ||
1887 | EAttribute getVLSTerm_Comment(); | ||
1888 | |||
1889 | /** | ||
1644 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. | 1890 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. |
1645 | * <!-- begin-user-doc --> | 1891 | * <!-- begin-user-doc --> |
1646 | * <!-- end-user-doc --> | 1892 | * <!-- end-user-doc --> |
@@ -1758,16 +2004,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1758 | EReference getVLSTypeDef_NextType(); | 2004 | EReference getVLSTypeDef_NextType(); |
1759 | 2005 | ||
1760 | /** | 2006 | /** |
1761 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | ||
1762 | * <!-- begin-user-doc --> | ||
1763 | * <!-- end-user-doc --> | ||
1764 | * @return the meta object for class '<em>VLS Term</em>'. | ||
1765 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | ||
1766 | * @generated | ||
1767 | */ | ||
1768 | EClass getVLSTerm(); | ||
1769 | |||
1770 | /** | ||
1771 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. | 2007 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. |
1772 | * <!-- begin-user-doc --> | 2008 | * <!-- begin-user-doc --> |
1773 | * <!-- end-user-doc --> | 2009 | * <!-- end-user-doc --> |
@@ -2676,6 +2912,24 @@ public interface VampireLanguagePackage extends EPackage | |||
2676 | EClass VLS_TFF_TERM = eINSTANCE.getVLSTffTerm(); | 2912 | EClass VLS_TFF_TERM = eINSTANCE.getVLSTffTerm(); |
2677 | 2913 | ||
2678 | /** | 2914 | /** |
2915 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | ||
2916 | * <!-- begin-user-doc --> | ||
2917 | * <!-- end-user-doc --> | ||
2918 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl | ||
2919 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | ||
2920 | * @generated | ||
2921 | */ | ||
2922 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); | ||
2923 | |||
2924 | /** | ||
2925 | * The meta object literal for the '<em><b>Comment</b></em>' attribute feature. | ||
2926 | * <!-- begin-user-doc --> | ||
2927 | * <!-- end-user-doc --> | ||
2928 | * @generated | ||
2929 | */ | ||
2930 | EAttribute VLS_TERM__COMMENT = eINSTANCE.getVLSTerm_Comment(); | ||
2931 | |||
2932 | /** | ||
2679 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. | 2933 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDeclarationImpl <em>VLS Declaration</em>}' class. |
2680 | * <!-- begin-user-doc --> | 2934 | * <!-- begin-user-doc --> |
2681 | * <!-- end-user-doc --> | 2935 | * <!-- end-user-doc --> |
@@ -2772,16 +3026,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2772 | EReference VLS_TYPE_DEF__NEXT_TYPE = eINSTANCE.getVLSTypeDef_NextType(); | 3026 | EReference VLS_TYPE_DEF__NEXT_TYPE = eINSTANCE.getVLSTypeDef_NextType(); |
2773 | 3027 | ||
2774 | /** | 3028 | /** |
2775 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl <em>VLS Term</em>}' class. | ||
2776 | * <!-- begin-user-doc --> | ||
2777 | * <!-- end-user-doc --> | ||
2778 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl | ||
2779 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | ||
2780 | * @generated | ||
2781 | */ | ||
2782 | EClass VLS_TERM = eINSTANCE.getVLSTerm(); | ||
2783 | |||
2784 | /** | ||
2785 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. | 3029 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. |
2786 | * <!-- begin-user-doc --> | 3030 | * <!-- begin-user-doc --> |
2787 | * <!-- end-user-doc --> | 3031 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java index c56d7ecd..9f1fa64f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VLSTermImpl.java | |||
@@ -6,18 +6,48 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl; | |||
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage; |
8 | 8 | ||
9 | import org.eclipse.emf.common.notify.Notification; | ||
10 | |||
9 | import org.eclipse.emf.ecore.EClass; | 11 | import org.eclipse.emf.ecore.EClass; |
10 | 12 | ||
13 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
14 | |||
11 | /** | 15 | /** |
12 | * <!-- begin-user-doc --> | 16 | * <!-- begin-user-doc --> |
13 | * An implementation of the model object '<em><b>VLS Term</b></em>'. | 17 | * An implementation of the model object '<em><b>VLS Term</b></em>'. |
14 | * <!-- end-user-doc --> | 18 | * <!-- end-user-doc --> |
19 | * <p> | ||
20 | * The following features are implemented: | ||
21 | * </p> | ||
22 | * <ul> | ||
23 | * <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTermImpl#getComment <em>Comment</em>}</li> | ||
24 | * </ul> | ||
15 | * | 25 | * |
16 | * @generated | 26 | * @generated |
17 | */ | 27 | */ |
18 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | 28 | public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm |
19 | { | 29 | { |
20 | /** | 30 | /** |
31 | * The default value of the '{@link #getComment() <em>Comment</em>}' attribute. | ||
32 | * <!-- begin-user-doc --> | ||
33 | * <!-- end-user-doc --> | ||
34 | * @see #getComment() | ||
35 | * @generated | ||
36 | * @ordered | ||
37 | */ | ||
38 | protected static final String COMMENT_EDEFAULT = null; | ||
39 | |||
40 | /** | ||
41 | * The cached value of the '{@link #getComment() <em>Comment</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @see #getComment() | ||
45 | * @generated | ||
46 | * @ordered | ||
47 | */ | ||
48 | protected String comment = COMMENT_EDEFAULT; | ||
49 | |||
50 | /** | ||
21 | * <!-- begin-user-doc --> | 51 | * <!-- begin-user-doc --> |
22 | * <!-- end-user-doc --> | 52 | * <!-- end-user-doc --> |
23 | * @generated | 53 | * @generated |
@@ -38,4 +68,110 @@ public class VLSTermImpl extends VLSTffTermImpl implements VLSTerm | |||
38 | return VampireLanguagePackage.Literals.VLS_TERM; | 68 | return VampireLanguagePackage.Literals.VLS_TERM; |
39 | } | 69 | } |
40 | 70 | ||
71 | /** | ||
72 | * <!-- begin-user-doc --> | ||
73 | * <!-- end-user-doc --> | ||
74 | * @generated | ||
75 | */ | ||
76 | public String getComment() | ||
77 | { | ||
78 | return comment; | ||
79 | } | ||
80 | |||
81 | /** | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @generated | ||
85 | */ | ||
86 | public void setComment(String newComment) | ||
87 | { | ||
88 | String oldComment = comment; | ||
89 | comment = newComment; | ||
90 | if (eNotificationRequired()) | ||
91 | eNotify(new ENotificationImpl(this, Notification.SET, VampireLanguagePackage.VLS_TERM__COMMENT, oldComment, comment)); | ||
92 | } | ||
93 | |||
94 | /** | ||
95 | * <!-- begin-user-doc --> | ||
96 | * <!-- end-user-doc --> | ||
97 | * @generated | ||
98 | */ | ||
99 | @Override | ||
100 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
101 | { | ||
102 | switch (featureID) | ||
103 | { | ||
104 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
105 | return getComment(); | ||
106 | } | ||
107 | return super.eGet(featureID, resolve, coreType); | ||
108 | } | ||
109 | |||
110 | /** | ||
111 | * <!-- begin-user-doc --> | ||
112 | * <!-- end-user-doc --> | ||
113 | * @generated | ||
114 | */ | ||
115 | @Override | ||
116 | public void eSet(int featureID, Object newValue) | ||
117 | { | ||
118 | switch (featureID) | ||
119 | { | ||
120 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
121 | setComment((String)newValue); | ||
122 | return; | ||
123 | } | ||
124 | super.eSet(featureID, newValue); | ||
125 | } | ||
126 | |||
127 | /** | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | */ | ||
132 | @Override | ||
133 | public void eUnset(int featureID) | ||
134 | { | ||
135 | switch (featureID) | ||
136 | { | ||
137 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
138 | setComment(COMMENT_EDEFAULT); | ||
139 | return; | ||
140 | } | ||
141 | super.eUnset(featureID); | ||
142 | } | ||
143 | |||
144 | /** | ||
145 | * <!-- begin-user-doc --> | ||
146 | * <!-- end-user-doc --> | ||
147 | * @generated | ||
148 | */ | ||
149 | @Override | ||
150 | public boolean eIsSet(int featureID) | ||
151 | { | ||
152 | switch (featureID) | ||
153 | { | ||
154 | case VampireLanguagePackage.VLS_TERM__COMMENT: | ||
155 | return COMMENT_EDEFAULT == null ? comment != null : !COMMENT_EDEFAULT.equals(comment); | ||
156 | } | ||
157 | return super.eIsSet(featureID); | ||
158 | } | ||
159 | |||
160 | /** | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @generated | ||
164 | */ | ||
165 | @Override | ||
166 | public String toString() | ||
167 | { | ||
168 | if (eIsProxy()) return super.toString(); | ||
169 | |||
170 | StringBuilder result = new StringBuilder(super.toString()); | ||
171 | result.append(" (comment: "); | ||
172 | result.append(comment); | ||
173 | result.append(')'); | ||
174 | return result.toString(); | ||
175 | } | ||
176 | |||
41 | } //VLSTermImpl | 177 | } //VLSTermImpl |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index 0e25a4cc..c87155c9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -72,11 +72,11 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | 72 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); |
73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 73 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); | 74 | case VampireLanguagePackage.VLS_TFF_TERM: return createVLSTffTerm(); |
75 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
75 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); | 76 | case VampireLanguagePackage.VLS_DECLARATION: return createVLSDeclaration(); |
76 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); | 77 | case VampireLanguagePackage.VLS_OTHER_DECLARATION: return createVLSOtherDeclaration(); |
77 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); | 78 | case VampireLanguagePackage.VLS_VARIABLE_DECLARATION: return createVLSVariableDeclaration(); |
78 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); | 79 | case VampireLanguagePackage.VLS_TYPE_DEF: return createVLSTypeDef(); |
79 | case VampireLanguagePackage.VLS_TERM: return createVLSTerm(); | ||
80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); | 80 | case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable(); |
81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); | 81 | case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm(); |
82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); | 82 | case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm(); |
@@ -192,6 +192,17 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
192 | * <!-- end-user-doc --> | 192 | * <!-- end-user-doc --> |
193 | * @generated | 193 | * @generated |
194 | */ | 194 | */ |
195 | public VLSTerm createVLSTerm() | ||
196 | { | ||
197 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
198 | return vlsTerm; | ||
199 | } | ||
200 | |||
201 | /** | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @generated | ||
205 | */ | ||
195 | public VLSDeclaration createVLSDeclaration() | 206 | public VLSDeclaration createVLSDeclaration() |
196 | { | 207 | { |
197 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); | 208 | VLSDeclarationImpl vlsDeclaration = new VLSDeclarationImpl(); |
@@ -236,17 +247,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
236 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
237 | * @generated | 248 | * @generated |
238 | */ | 249 | */ |
239 | public VLSTerm createVLSTerm() | ||
240 | { | ||
241 | VLSTermImpl vlsTerm = new VLSTermImpl(); | ||
242 | return vlsTerm; | ||
243 | } | ||
244 | |||
245 | /** | ||
246 | * <!-- begin-user-doc --> | ||
247 | * <!-- end-user-doc --> | ||
248 | * @generated | ||
249 | */ | ||
250 | public VLSVariable createVLSVariable() | 250 | public VLSVariable createVLSVariable() |
251 | { | 251 | { |
252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); | 252 | VLSVariableImpl vlsVariable = new VLSVariableImpl(); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java index 676b2786..eae57e97 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |||
@@ -115,35 +115,35 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
115 | * <!-- end-user-doc --> | 115 | * <!-- end-user-doc --> |
116 | * @generated | 116 | * @generated |
117 | */ | 117 | */ |
118 | private EClass vlsDeclarationEClass = null; | 118 | private EClass vlsTermEClass = null; |
119 | 119 | ||
120 | /** | 120 | /** |
121 | * <!-- begin-user-doc --> | 121 | * <!-- begin-user-doc --> |
122 | * <!-- end-user-doc --> | 122 | * <!-- end-user-doc --> |
123 | * @generated | 123 | * @generated |
124 | */ | 124 | */ |
125 | private EClass vlsOtherDeclarationEClass = null; | 125 | private EClass vlsDeclarationEClass = null; |
126 | 126 | ||
127 | /** | 127 | /** |
128 | * <!-- begin-user-doc --> | 128 | * <!-- begin-user-doc --> |
129 | * <!-- end-user-doc --> | 129 | * <!-- end-user-doc --> |
130 | * @generated | 130 | * @generated |
131 | */ | 131 | */ |
132 | private EClass vlsVariableDeclarationEClass = null; | 132 | private EClass vlsOtherDeclarationEClass = null; |
133 | 133 | ||
134 | /** | 134 | /** |
135 | * <!-- begin-user-doc --> | 135 | * <!-- begin-user-doc --> |
136 | * <!-- end-user-doc --> | 136 | * <!-- end-user-doc --> |
137 | * @generated | 137 | * @generated |
138 | */ | 138 | */ |
139 | private EClass vlsTypeDefEClass = null; | 139 | private EClass vlsVariableDeclarationEClass = null; |
140 | 140 | ||
141 | /** | 141 | /** |
142 | * <!-- begin-user-doc --> | 142 | * <!-- begin-user-doc --> |
143 | * <!-- end-user-doc --> | 143 | * <!-- end-user-doc --> |
144 | * @generated | 144 | * @generated |
145 | */ | 145 | */ |
146 | private EClass vlsTermEClass = null; | 146 | private EClass vlsTypeDefEClass = null; |
147 | 147 | ||
148 | /** | 148 | /** |
149 | * <!-- begin-user-doc --> | 149 | * <!-- begin-user-doc --> |
@@ -639,6 +639,26 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
639 | * <!-- end-user-doc --> | 639 | * <!-- end-user-doc --> |
640 | * @generated | 640 | * @generated |
641 | */ | 641 | */ |
642 | public EClass getVLSTerm() | ||
643 | { | ||
644 | return vlsTermEClass; | ||
645 | } | ||
646 | |||
647 | /** | ||
648 | * <!-- begin-user-doc --> | ||
649 | * <!-- end-user-doc --> | ||
650 | * @generated | ||
651 | */ | ||
652 | public EAttribute getVLSTerm_Comment() | ||
653 | { | ||
654 | return (EAttribute)vlsTermEClass.getEStructuralFeatures().get(0); | ||
655 | } | ||
656 | |||
657 | /** | ||
658 | * <!-- begin-user-doc --> | ||
659 | * <!-- end-user-doc --> | ||
660 | * @generated | ||
661 | */ | ||
642 | public EClass getVLSDeclaration() | 662 | public EClass getVLSDeclaration() |
643 | { | 663 | { |
644 | return vlsDeclarationEClass; | 664 | return vlsDeclarationEClass; |
@@ -749,16 +769,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
749 | * <!-- end-user-doc --> | 769 | * <!-- end-user-doc --> |
750 | * @generated | 770 | * @generated |
751 | */ | 771 | */ |
752 | public EClass getVLSTerm() | ||
753 | { | ||
754 | return vlsTermEClass; | ||
755 | } | ||
756 | |||
757 | /** | ||
758 | * <!-- begin-user-doc --> | ||
759 | * <!-- end-user-doc --> | ||
760 | * @generated | ||
761 | */ | ||
762 | public EClass getVLSVariable() | 772 | public EClass getVLSVariable() |
763 | { | 773 | { |
764 | return vlsVariableEClass; | 774 | return vlsVariableEClass; |
@@ -1464,6 +1474,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1464 | 1474 | ||
1465 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); | 1475 | vlsTffTermEClass = createEClass(VLS_TFF_TERM); |
1466 | 1476 | ||
1477 | vlsTermEClass = createEClass(VLS_TERM); | ||
1478 | createEAttribute(vlsTermEClass, VLS_TERM__COMMENT); | ||
1479 | |||
1467 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); | 1480 | vlsDeclarationEClass = createEClass(VLS_DECLARATION); |
1468 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); | 1481 | createEReference(vlsDeclarationEClass, VLS_DECLARATION__TYPE); |
1469 | 1482 | ||
@@ -1479,8 +1492,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1479 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__INIT_TYPE); | 1492 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__INIT_TYPE); |
1480 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); | 1493 | createEReference(vlsTypeDefEClass, VLS_TYPE_DEF__NEXT_TYPE); |
1481 | 1494 | ||
1482 | vlsTermEClass = createEClass(VLS_TERM); | ||
1483 | |||
1484 | vlsVariableEClass = createEClass(VLS_VARIABLE); | 1495 | vlsVariableEClass = createEClass(VLS_VARIABLE); |
1485 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); | 1496 | createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME); |
1486 | 1497 | ||
@@ -1604,10 +1615,10 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1604 | // Set bounds for type parameters | 1615 | // Set bounds for type parameters |
1605 | 1616 | ||
1606 | // Add supertypes to classes | 1617 | // Add supertypes to classes |
1618 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | ||
1607 | vlsDeclarationEClass.getESuperTypes().add(this.getVLSTffTerm()); | 1619 | vlsDeclarationEClass.getESuperTypes().add(this.getVLSTffTerm()); |
1608 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1620 | vlsOtherDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1609 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); | 1621 | vlsVariableDeclarationEClass.getESuperTypes().add(this.getVLSDeclaration()); |
1610 | vlsTermEClass.getESuperTypes().add(this.getVLSTffTerm()); | ||
1611 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1622 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1612 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1623 | vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm()); |
1613 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1624 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1668,6 +1679,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1668 | 1679 | ||
1669 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1680 | initEClass(vlsTffTermEClass, VLSTffTerm.class, "VLSTffTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1670 | 1681 | ||
1682 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1683 | initEAttribute(getVLSTerm_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1684 | |||
1671 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1685 | initEClass(vlsDeclarationEClass, VLSDeclaration.class, "VLSDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1672 | initEReference(getVLSDeclaration_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1686 | initEReference(getVLSDeclaration_Type(), this.getVLSTypeDef(), null, "type", null, 0, 1, VLSDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1673 | 1687 | ||
@@ -1683,8 +1697,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1683 | initEReference(getVLSTypeDef_InitType(), this.getVLSTerm(), null, "initType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1697 | initEReference(getVLSTypeDef_InitType(), this.getVLSTerm(), null, "initType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1684 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1698 | initEReference(getVLSTypeDef_NextType(), this.getVLSTerm(), null, "nextType", null, 0, 1, VLSTypeDef.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1685 | 1699 | ||
1686 | initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1687 | |||
1688 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1700 | initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1689 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 1701 | initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
1690 | 1702 | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java index 92b5a89d..9156e24f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -111,6 +111,11 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
111 | return createVLSTffTermAdapter(); | 111 | return createVLSTffTermAdapter(); |
112 | } | 112 | } |
113 | @Override | 113 | @Override |
114 | public Adapter caseVLSTerm(VLSTerm object) | ||
115 | { | ||
116 | return createVLSTermAdapter(); | ||
117 | } | ||
118 | @Override | ||
114 | public Adapter caseVLSDeclaration(VLSDeclaration object) | 119 | public Adapter caseVLSDeclaration(VLSDeclaration object) |
115 | { | 120 | { |
116 | return createVLSDeclarationAdapter(); | 121 | return createVLSDeclarationAdapter(); |
@@ -131,11 +136,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
131 | return createVLSTypeDefAdapter(); | 136 | return createVLSTypeDefAdapter(); |
132 | } | 137 | } |
133 | @Override | 138 | @Override |
134 | public Adapter caseVLSTerm(VLSTerm object) | ||
135 | { | ||
136 | return createVLSTermAdapter(); | ||
137 | } | ||
138 | @Override | ||
139 | public Adapter caseVLSVariable(VLSVariable object) | 139 | public Adapter caseVLSVariable(VLSVariable object) |
140 | { | 140 | { |
141 | return createVLSVariableAdapter(); | 141 | return createVLSVariableAdapter(); |
@@ -403,76 +403,76 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
403 | } | 403 | } |
404 | 404 | ||
405 | /** | 405 | /** |
406 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. | 406 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. |
407 | * <!-- begin-user-doc --> | 407 | * <!-- begin-user-doc --> |
408 | * This default implementation returns null so that we can easily ignore cases; | 408 | * This default implementation returns null so that we can easily ignore cases; |
409 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 409 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
410 | * <!-- end-user-doc --> | 410 | * <!-- end-user-doc --> |
411 | * @return the new adapter. | 411 | * @return the new adapter. |
412 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration | 412 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm |
413 | * @generated | 413 | * @generated |
414 | */ | 414 | */ |
415 | public Adapter createVLSDeclarationAdapter() | 415 | public Adapter createVLSTermAdapter() |
416 | { | 416 | { |
417 | return null; | 417 | return null; |
418 | } | 418 | } |
419 | 419 | ||
420 | /** | 420 | /** |
421 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. | 421 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration <em>VLS Declaration</em>}'. |
422 | * <!-- begin-user-doc --> | 422 | * <!-- begin-user-doc --> |
423 | * This default implementation returns null so that we can easily ignore cases; | 423 | * This default implementation returns null so that we can easily ignore cases; |
424 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 424 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
425 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
426 | * @return the new adapter. | 426 | * @return the new adapter. |
427 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration | 427 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration |
428 | * @generated | 428 | * @generated |
429 | */ | 429 | */ |
430 | public Adapter createVLSOtherDeclarationAdapter() | 430 | public Adapter createVLSDeclarationAdapter() |
431 | { | 431 | { |
432 | return null; | 432 | return null; |
433 | } | 433 | } |
434 | 434 | ||
435 | /** | 435 | /** |
436 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. | 436 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. |
437 | * <!-- begin-user-doc --> | 437 | * <!-- begin-user-doc --> |
438 | * This default implementation returns null so that we can easily ignore cases; | 438 | * This default implementation returns null so that we can easily ignore cases; |
439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
440 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
441 | * @return the new adapter. | 441 | * @return the new adapter. |
442 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration | 442 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration |
443 | * @generated | 443 | * @generated |
444 | */ | 444 | */ |
445 | public Adapter createVLSVariableDeclarationAdapter() | 445 | public Adapter createVLSOtherDeclarationAdapter() |
446 | { | 446 | { |
447 | return null; | 447 | return null; |
448 | } | 448 | } |
449 | 449 | ||
450 | /** | 450 | /** |
451 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. | 451 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. |
452 | * <!-- begin-user-doc --> | 452 | * <!-- begin-user-doc --> |
453 | * This default implementation returns null so that we can easily ignore cases; | 453 | * This default implementation returns null so that we can easily ignore cases; |
454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
455 | * <!-- end-user-doc --> | 455 | * <!-- end-user-doc --> |
456 | * @return the new adapter. | 456 | * @return the new adapter. |
457 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef | 457 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration |
458 | * @generated | 458 | * @generated |
459 | */ | 459 | */ |
460 | public Adapter createVLSTypeDefAdapter() | 460 | public Adapter createVLSVariableDeclarationAdapter() |
461 | { | 461 | { |
462 | return null; | 462 | return null; |
463 | } | 463 | } |
464 | 464 | ||
465 | /** | 465 | /** |
466 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'. | 466 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. |
467 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
468 | * This default implementation returns null so that we can easily ignore cases; | 468 | * This default implementation returns null so that we can easily ignore cases; |
469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
470 | * <!-- end-user-doc --> | 470 | * <!-- end-user-doc --> |
471 | * @return the new adapter. | 471 | * @return the new adapter. |
472 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm | 472 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef |
473 | * @generated | 473 | * @generated |
474 | */ | 474 | */ |
475 | public Adapter createVLSTermAdapter() | 475 | public Adapter createVLSTypeDefAdapter() |
476 | { | 476 | { |
477 | return null; | 477 | return null; |
478 | } | 478 | } |
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 193ac81b..e8c0fde1 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 | |||
@@ -122,6 +122,14 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
122 | if (result == null) result = defaultCase(theEObject); | 122 | if (result == null) result = defaultCase(theEObject); |
123 | return result; | 123 | return result; |
124 | } | 124 | } |
125 | case VampireLanguagePackage.VLS_TERM: | ||
126 | { | ||
127 | VLSTerm vlsTerm = (VLSTerm)theEObject; | ||
128 | T result = caseVLSTerm(vlsTerm); | ||
129 | if (result == null) result = caseVLSTffTerm(vlsTerm); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
125 | case VampireLanguagePackage.VLS_DECLARATION: | 133 | case VampireLanguagePackage.VLS_DECLARATION: |
126 | { | 134 | { |
127 | VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject; | 135 | VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject; |
@@ -155,14 +163,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
155 | if (result == null) result = defaultCase(theEObject); | 163 | if (result == null) result = defaultCase(theEObject); |
156 | return result; | 164 | return result; |
157 | } | 165 | } |
158 | case VampireLanguagePackage.VLS_TERM: | ||
159 | { | ||
160 | VLSTerm vlsTerm = (VLSTerm)theEObject; | ||
161 | T result = caseVLSTerm(vlsTerm); | ||
162 | if (result == null) result = caseVLSTffTerm(vlsTerm); | ||
163 | if (result == null) result = defaultCase(theEObject); | ||
164 | return result; | ||
165 | } | ||
166 | case VampireLanguagePackage.VLS_VARIABLE: | 166 | case VampireLanguagePackage.VLS_VARIABLE: |
167 | { | 167 | { |
168 | VLSVariable vlsVariable = (VLSVariable)theEObject; | 168 | VLSVariable vlsVariable = (VLSVariable)theEObject; |
@@ -530,81 +530,81 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
530 | } | 530 | } |
531 | 531 | ||
532 | /** | 532 | /** |
533 | * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. | 533 | * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'. |
534 | * <!-- begin-user-doc --> | 534 | * <!-- begin-user-doc --> |
535 | * This implementation returns null; | 535 | * This implementation returns null; |
536 | * returning a non-null result will terminate the switch. | 536 | * returning a non-null result will terminate the switch. |
537 | * <!-- end-user-doc --> | 537 | * <!-- end-user-doc --> |
538 | * @param object the target of the switch. | 538 | * @param object the target of the switch. |
539 | * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. | 539 | * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'. |
540 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 540 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
541 | * @generated | 541 | * @generated |
542 | */ | 542 | */ |
543 | public T caseVLSDeclaration(VLSDeclaration object) | 543 | public T caseVLSTerm(VLSTerm object) |
544 | { | 544 | { |
545 | return null; | 545 | return null; |
546 | } | 546 | } |
547 | 547 | ||
548 | /** | 548 | /** |
549 | * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. | 549 | * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. |
550 | * <!-- begin-user-doc --> | 550 | * <!-- begin-user-doc --> |
551 | * This implementation returns null; | 551 | * This implementation returns null; |
552 | * returning a non-null result will terminate the switch. | 552 | * returning a non-null result will terminate the switch. |
553 | * <!-- end-user-doc --> | 553 | * <!-- end-user-doc --> |
554 | * @param object the target of the switch. | 554 | * @param object the target of the switch. |
555 | * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. | 555 | * @return the result of interpreting the object as an instance of '<em>VLS Declaration</em>'. |
556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 556 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
557 | * @generated | 557 | * @generated |
558 | */ | 558 | */ |
559 | public T caseVLSOtherDeclaration(VLSOtherDeclaration object) | 559 | public T caseVLSDeclaration(VLSDeclaration object) |
560 | { | 560 | { |
561 | return null; | 561 | return null; |
562 | } | 562 | } |
563 | 563 | ||
564 | /** | 564 | /** |
565 | * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. | 565 | * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. |
566 | * <!-- begin-user-doc --> | 566 | * <!-- begin-user-doc --> |
567 | * This implementation returns null; | 567 | * This implementation returns null; |
568 | * returning a non-null result will terminate the switch. | 568 | * returning a non-null result will terminate the switch. |
569 | * <!-- end-user-doc --> | 569 | * <!-- end-user-doc --> |
570 | * @param object the target of the switch. | 570 | * @param object the target of the switch. |
571 | * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. | 571 | * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'. |
572 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 572 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
573 | * @generated | 573 | * @generated |
574 | */ | 574 | */ |
575 | public T caseVLSVariableDeclaration(VLSVariableDeclaration object) | 575 | public T caseVLSOtherDeclaration(VLSOtherDeclaration object) |
576 | { | 576 | { |
577 | return null; | 577 | return null; |
578 | } | 578 | } |
579 | 579 | ||
580 | /** | 580 | /** |
581 | * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. | 581 | * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. |
582 | * <!-- begin-user-doc --> | 582 | * <!-- begin-user-doc --> |
583 | * This implementation returns null; | 583 | * This implementation returns null; |
584 | * returning a non-null result will terminate the switch. | 584 | * returning a non-null result will terminate the switch. |
585 | * <!-- end-user-doc --> | 585 | * <!-- end-user-doc --> |
586 | * @param object the target of the switch. | 586 | * @param object the target of the switch. |
587 | * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. | 587 | * @return the result of interpreting the object as an instance of '<em>VLS Variable Declaration</em>'. |
588 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 588 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
589 | * @generated | 589 | * @generated |
590 | */ | 590 | */ |
591 | public T caseVLSTypeDef(VLSTypeDef object) | 591 | public T caseVLSVariableDeclaration(VLSVariableDeclaration object) |
592 | { | 592 | { |
593 | return null; | 593 | return null; |
594 | } | 594 | } |
595 | 595 | ||
596 | /** | 596 | /** |
597 | * Returns the result of interpreting the object as an instance of '<em>VLS Term</em>'. | 597 | * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. |
598 | * <!-- begin-user-doc --> | 598 | * <!-- begin-user-doc --> |
599 | * This implementation returns null; | 599 | * This implementation returns null; |
600 | * returning a non-null result will terminate the switch. | 600 | * returning a non-null result will terminate the switch. |
601 | * <!-- end-user-doc --> | 601 | * <!-- end-user-doc --> |
602 | * @param object the target of the switch. | 602 | * @param object the target of the switch. |
603 | * @return the result of interpreting the object as an instance of '<em>VLS Term</em>'. | 603 | * @return the result of interpreting the object as an instance of '<em>VLS Type Def</em>'. |
604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | 604 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) |
605 | * @generated | 605 | * @generated |
606 | */ | 606 | */ |
607 | public T caseVLSTerm(VLSTerm object) | 607 | public T caseVLSTypeDef(VLSTypeDef object) |
608 | { | 608 | { |
609 | return null; | 609 | return null; |
610 | } | 610 | } |