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/VampireLanguagePackage.java | |
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/VampireLanguagePackage.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | 324 |
1 files changed, 284 insertions, 40 deletions
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 --> |