diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java | 226 |
1 files changed, 190 insertions, 36 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java index 50e3d607..38d225e3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java | |||
@@ -769,6 +769,34 @@ public interface AlloyLanguagePackage extends EPackage | |||
769 | int ALS_INT_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; | 769 | int ALS_INT_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; |
770 | 770 | ||
771 | /** | 771 | /** |
772 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl <em>ALS String Scope</em>}' class. | ||
773 | * <!-- begin-user-doc --> | ||
774 | * <!-- end-user-doc --> | ||
775 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl | ||
776 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() | ||
777 | * @generated | ||
778 | */ | ||
779 | int ALS_STRING_SCOPE = 18; | ||
780 | |||
781 | /** | ||
782 | * The feature id for the '<em><b>Number</b></em>' attribute. | ||
783 | * <!-- begin-user-doc --> | ||
784 | * <!-- end-user-doc --> | ||
785 | * @generated | ||
786 | * @ordered | ||
787 | */ | ||
788 | int ALS_STRING_SCOPE__NUMBER = ALS_TYPE_SCOPE__NUMBER; | ||
789 | |||
790 | /** | ||
791 | * The number of structural features of the '<em>ALS String Scope</em>' class. | ||
792 | * <!-- begin-user-doc --> | ||
793 | * <!-- end-user-doc --> | ||
794 | * @generated | ||
795 | * @ordered | ||
796 | */ | ||
797 | int ALS_STRING_SCOPE_FEATURE_COUNT = ALS_TYPE_SCOPE_FEATURE_COUNT + 0; | ||
798 | |||
799 | /** | ||
772 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl <em>ALS Quantified Ex</em>}' class. | 800 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl <em>ALS Quantified Ex</em>}' class. |
773 | * <!-- begin-user-doc --> | 801 | * <!-- begin-user-doc --> |
774 | * <!-- end-user-doc --> | 802 | * <!-- end-user-doc --> |
@@ -776,7 +804,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
776 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSQuantifiedEx() | 804 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSQuantifiedEx() |
777 | * @generated | 805 | * @generated |
778 | */ | 806 | */ |
779 | int ALS_QUANTIFIED_EX = 18; | 807 | int ALS_QUANTIFIED_EX = 19; |
780 | 808 | ||
781 | /** | 809 | /** |
782 | * The feature id for the '<em><b>Type</b></em>' attribute. | 810 | * The feature id for the '<em><b>Type</b></em>' attribute. |
@@ -831,7 +859,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
831 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOr() | 859 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOr() |
832 | * @generated | 860 | * @generated |
833 | */ | 861 | */ |
834 | int ALS_OR = 19; | 862 | int ALS_OR = 20; |
835 | 863 | ||
836 | /** | 864 | /** |
837 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 865 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -868,7 +896,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
868 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIff() | 896 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIff() |
869 | * @generated | 897 | * @generated |
870 | */ | 898 | */ |
871 | int ALS_IFF = 20; | 899 | int ALS_IFF = 21; |
872 | 900 | ||
873 | /** | 901 | /** |
874 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 902 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -905,7 +933,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
905 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSImpl() | 933 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSImpl() |
906 | * @generated | 934 | * @generated |
907 | */ | 935 | */ |
908 | int ALS_IMPL = 21; | 936 | int ALS_IMPL = 22; |
909 | 937 | ||
910 | /** | 938 | /** |
911 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 939 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -951,7 +979,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
951 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSAnd() | 979 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSAnd() |
952 | * @generated | 980 | * @generated |
953 | */ | 981 | */ |
954 | int ALS_AND = 22; | 982 | int ALS_AND = 23; |
955 | 983 | ||
956 | /** | 984 | /** |
957 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 985 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -988,7 +1016,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
988 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEquals() | 1016 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSEquals() |
989 | * @generated | 1017 | * @generated |
990 | */ | 1018 | */ |
991 | int ALS_EQUALS = 23; | 1019 | int ALS_EQUALS = 24; |
992 | 1020 | ||
993 | /** | 1021 | /** |
994 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1022 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1025,7 +1053,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1025 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNotEquals() | 1053 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNotEquals() |
1026 | * @generated | 1054 | * @generated |
1027 | */ | 1055 | */ |
1028 | int ALS_NOT_EQUALS = 24; | 1056 | int ALS_NOT_EQUALS = 25; |
1029 | 1057 | ||
1030 | /** | 1058 | /** |
1031 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1059 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1062,7 +1090,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1062 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSubset() | 1090 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSubset() |
1063 | * @generated | 1091 | * @generated |
1064 | */ | 1092 | */ |
1065 | int ALS_SUBSET = 25; | 1093 | int ALS_SUBSET = 26; |
1066 | 1094 | ||
1067 | /** | 1095 | /** |
1068 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1096 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1099,7 +1127,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1099 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLess() | 1127 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLess() |
1100 | * @generated | 1128 | * @generated |
1101 | */ | 1129 | */ |
1102 | int ALS_LESS = 26; | 1130 | int ALS_LESS = 27; |
1103 | 1131 | ||
1104 | /** | 1132 | /** |
1105 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1133 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1136,7 +1164,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1136 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLeq() | 1164 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSLeq() |
1137 | * @generated | 1165 | * @generated |
1138 | */ | 1166 | */ |
1139 | int ALS_LEQ = 27; | 1167 | int ALS_LEQ = 28; |
1140 | 1168 | ||
1141 | /** | 1169 | /** |
1142 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1170 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1173,7 +1201,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1173 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMore() | 1201 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMore() |
1174 | * @generated | 1202 | * @generated |
1175 | */ | 1203 | */ |
1176 | int ALS_MORE = 28; | 1204 | int ALS_MORE = 29; |
1177 | 1205 | ||
1178 | /** | 1206 | /** |
1179 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1207 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1210,7 +1238,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1210 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMeq() | 1238 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMeq() |
1211 | * @generated | 1239 | * @generated |
1212 | */ | 1240 | */ |
1213 | int ALS_MEQ = 29; | 1241 | int ALS_MEQ = 30; |
1214 | 1242 | ||
1215 | /** | 1243 | /** |
1216 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1244 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1247,7 +1275,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1247 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOverride() | 1275 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSOverride() |
1248 | * @generated | 1276 | * @generated |
1249 | */ | 1277 | */ |
1250 | int ALS_OVERRIDE = 30; | 1278 | int ALS_OVERRIDE = 31; |
1251 | 1279 | ||
1252 | /** | 1280 | /** |
1253 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1281 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1284,7 +1312,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1284 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionRight() | 1312 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionRight() |
1285 | * @generated | 1313 | * @generated |
1286 | */ | 1314 | */ |
1287 | int ALS_RANGE_RESTRICTION_RIGHT = 31; | 1315 | int ALS_RANGE_RESTRICTION_RIGHT = 32; |
1288 | 1316 | ||
1289 | /** | 1317 | /** |
1290 | * The feature id for the '<em><b>Relation</b></em>' containment reference. | 1318 | * The feature id for the '<em><b>Relation</b></em>' containment reference. |
@@ -1321,7 +1349,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1321 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionLeft() | 1349 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSRangeRestrictionLeft() |
1322 | * @generated | 1350 | * @generated |
1323 | */ | 1351 | */ |
1324 | int ALS_RANGE_RESTRICTION_LEFT = 32; | 1352 | int ALS_RANGE_RESTRICTION_LEFT = 33; |
1325 | 1353 | ||
1326 | /** | 1354 | /** |
1327 | * The feature id for the '<em><b>Filter</b></em>' containment reference. | 1355 | * The feature id for the '<em><b>Filter</b></em>' containment reference. |
@@ -1358,7 +1386,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1358 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSJoin() | 1386 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSJoin() |
1359 | * @generated | 1387 | * @generated |
1360 | */ | 1388 | */ |
1361 | int ALS_JOIN = 33; | 1389 | int ALS_JOIN = 34; |
1362 | 1390 | ||
1363 | /** | 1391 | /** |
1364 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1392 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1395,7 +1423,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1395 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMinus() | 1423 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMinus() |
1396 | * @generated | 1424 | * @generated |
1397 | */ | 1425 | */ |
1398 | int ALS_MINUS = 34; | 1426 | int ALS_MINUS = 35; |
1399 | 1427 | ||
1400 | /** | 1428 | /** |
1401 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1429 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1432,7 +1460,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1432 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSPlus() | 1460 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSPlus() |
1433 | * @generated | 1461 | * @generated |
1434 | */ | 1462 | */ |
1435 | int ALS_PLUS = 35; | 1463 | int ALS_PLUS = 36; |
1436 | 1464 | ||
1437 | /** | 1465 | /** |
1438 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1466 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1469,7 +1497,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1469 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntersection() | 1497 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIntersection() |
1470 | * @generated | 1498 | * @generated |
1471 | */ | 1499 | */ |
1472 | int ALS_INTERSECTION = 36; | 1500 | int ALS_INTERSECTION = 37; |
1473 | 1501 | ||
1474 | /** | 1502 | /** |
1475 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1503 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1506,7 +1534,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1506 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDirectProduct() | 1534 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSDirectProduct() |
1507 | * @generated | 1535 | * @generated |
1508 | */ | 1536 | */ |
1509 | int ALS_DIRECT_PRODUCT = 37; | 1537 | int ALS_DIRECT_PRODUCT = 38; |
1510 | 1538 | ||
1511 | /** | 1539 | /** |
1512 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. | 1540 | * The feature id for the '<em><b>Left Operand</b></em>' containment reference. |
@@ -1561,7 +1589,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1561 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNot() | 1589 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNot() |
1562 | * @generated | 1590 | * @generated |
1563 | */ | 1591 | */ |
1564 | int ALS_NOT = 38; | 1592 | int ALS_NOT = 39; |
1565 | 1593 | ||
1566 | /** | 1594 | /** |
1567 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1595 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1589,7 +1617,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1589 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInverseRelation() | 1617 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInverseRelation() |
1590 | * @generated | 1618 | * @generated |
1591 | */ | 1619 | */ |
1592 | int ALS_INVERSE_RELATION = 39; | 1620 | int ALS_INVERSE_RELATION = 40; |
1593 | 1621 | ||
1594 | /** | 1622 | /** |
1595 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1623 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1617,7 +1645,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1617 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getAlSTransitiveClosure() | 1645 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getAlSTransitiveClosure() |
1618 | * @generated | 1646 | * @generated |
1619 | */ | 1647 | */ |
1620 | int AL_STRANSITIVE_CLOSURE = 40; | 1648 | int AL_STRANSITIVE_CLOSURE = 41; |
1621 | 1649 | ||
1622 | /** | 1650 | /** |
1623 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1651 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1645,7 +1673,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1645 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReflectiveTransitiveClosure() | 1673 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReflectiveTransitiveClosure() |
1646 | * @generated | 1674 | * @generated |
1647 | */ | 1675 | */ |
1648 | int ALS_REFLECTIVE_TRANSITIVE_CLOSURE = 41; | 1676 | int ALS_REFLECTIVE_TRANSITIVE_CLOSURE = 42; |
1649 | 1677 | ||
1650 | /** | 1678 | /** |
1651 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1679 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1673,7 +1701,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1673 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSCardinality() | 1701 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSCardinality() |
1674 | * @generated | 1702 | * @generated |
1675 | */ | 1703 | */ |
1676 | int ALS_CARDINALITY = 42; | 1704 | int ALS_CARDINALITY = 43; |
1677 | 1705 | ||
1678 | /** | 1706 | /** |
1679 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1707 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1701,7 +1729,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1701 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUnaryMinus() | 1729 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUnaryMinus() |
1702 | * @generated | 1730 | * @generated |
1703 | */ | 1731 | */ |
1704 | int ALS_UNARY_MINUS = 43; | 1732 | int ALS_UNARY_MINUS = 44; |
1705 | 1733 | ||
1706 | /** | 1734 | /** |
1707 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 1735 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -1729,7 +1757,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1729 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSum() | 1757 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSSum() |
1730 | * @generated | 1758 | * @generated |
1731 | */ | 1759 | */ |
1732 | int ALS_SUM = 44; | 1760 | int ALS_SUM = 45; |
1733 | 1761 | ||
1734 | /** | 1762 | /** |
1735 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 1763 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -1766,7 +1794,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1766 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionCall() | 1794 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSFunctionCall() |
1767 | * @generated | 1795 | * @generated |
1768 | */ | 1796 | */ |
1769 | int ALS_FUNCTION_CALL = 45; | 1797 | int ALS_FUNCTION_CALL = 46; |
1770 | 1798 | ||
1771 | /** | 1799 | /** |
1772 | * The feature id for the '<em><b>Referred Definition</b></em>' reference. | 1800 | * The feature id for the '<em><b>Referred Definition</b></em>' reference. |
@@ -1812,7 +1840,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1812 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNone() | 1840 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNone() |
1813 | * @generated | 1841 | * @generated |
1814 | */ | 1842 | */ |
1815 | int ALS_NONE = 46; | 1843 | int ALS_NONE = 47; |
1816 | 1844 | ||
1817 | /** | 1845 | /** |
1818 | * The number of structural features of the '<em>ALS None</em>' class. | 1846 | * The number of structural features of the '<em>ALS None</em>' class. |
@@ -1831,7 +1859,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1831 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIden() | 1859 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSIden() |
1832 | * @generated | 1860 | * @generated |
1833 | */ | 1861 | */ |
1834 | int ALS_IDEN = 47; | 1862 | int ALS_IDEN = 48; |
1835 | 1863 | ||
1836 | /** | 1864 | /** |
1837 | * The number of structural features of the '<em>ALS Iden</em>' class. | 1865 | * The number of structural features of the '<em>ALS Iden</em>' class. |
@@ -1850,7 +1878,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1850 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUniv() | 1878 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSUniv() |
1851 | * @generated | 1879 | * @generated |
1852 | */ | 1880 | */ |
1853 | int ALS_UNIV = 48; | 1881 | int ALS_UNIV = 49; |
1854 | 1882 | ||
1855 | /** | 1883 | /** |
1856 | * The number of structural features of the '<em>ALS Univ</em>' class. | 1884 | * The number of structural features of the '<em>ALS Univ</em>' class. |
@@ -1869,7 +1897,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1869 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInt() | 1897 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSInt() |
1870 | * @generated | 1898 | * @generated |
1871 | */ | 1899 | */ |
1872 | int ALS_INT = 49; | 1900 | int ALS_INT = 50; |
1873 | 1901 | ||
1874 | /** | 1902 | /** |
1875 | * The number of structural features of the '<em>ALS Int</em>' class. | 1903 | * The number of structural features of the '<em>ALS Int</em>' class. |
@@ -1881,6 +1909,25 @@ public interface AlloyLanguagePackage extends EPackage | |||
1881 | int ALS_INT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; | 1909 | int ALS_INT_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; |
1882 | 1910 | ||
1883 | /** | 1911 | /** |
1912 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl <em>ALS String</em>}' class. | ||
1913 | * <!-- begin-user-doc --> | ||
1914 | * <!-- end-user-doc --> | ||
1915 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl | ||
1916 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() | ||
1917 | * @generated | ||
1918 | */ | ||
1919 | int ALS_STRING = 51; | ||
1920 | |||
1921 | /** | ||
1922 | * The number of structural features of the '<em>ALS String</em>' class. | ||
1923 | * <!-- begin-user-doc --> | ||
1924 | * <!-- end-user-doc --> | ||
1925 | * @generated | ||
1926 | * @ordered | ||
1927 | */ | ||
1928 | int ALS_STRING_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 0; | ||
1929 | |||
1930 | /** | ||
1884 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl <em>ALS Reference</em>}' class. | 1931 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl <em>ALS Reference</em>}' class. |
1885 | * <!-- begin-user-doc --> | 1932 | * <!-- begin-user-doc --> |
1886 | * <!-- end-user-doc --> | 1933 | * <!-- end-user-doc --> |
@@ -1888,7 +1935,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1888 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReference() | 1935 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSReference() |
1889 | * @generated | 1936 | * @generated |
1890 | */ | 1937 | */ |
1891 | int ALS_REFERENCE = 50; | 1938 | int ALS_REFERENCE = 52; |
1892 | 1939 | ||
1893 | /** | 1940 | /** |
1894 | * The feature id for the '<em><b>Referred</b></em>' reference. | 1941 | * The feature id for the '<em><b>Referred</b></em>' reference. |
@@ -1916,7 +1963,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1916 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumberLiteral() | 1963 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumberLiteral() |
1917 | * @generated | 1964 | * @generated |
1918 | */ | 1965 | */ |
1919 | int ALS_NUMBER_LITERAL = 51; | 1966 | int ALS_NUMBER_LITERAL = 53; |
1920 | 1967 | ||
1921 | /** | 1968 | /** |
1922 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1969 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1937,6 +1984,34 @@ public interface AlloyLanguagePackage extends EPackage | |||
1937 | int ALS_NUMBER_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; | 1984 | int ALS_NUMBER_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; |
1938 | 1985 | ||
1939 | /** | 1986 | /** |
1987 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl <em>ALS String Literal</em>}' class. | ||
1988 | * <!-- begin-user-doc --> | ||
1989 | * <!-- end-user-doc --> | ||
1990 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl | ||
1991 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() | ||
1992 | * @generated | ||
1993 | */ | ||
1994 | int ALS_STRING_LITERAL = 54; | ||
1995 | |||
1996 | /** | ||
1997 | * The feature id for the '<em><b>Value</b></em>' attribute. | ||
1998 | * <!-- begin-user-doc --> | ||
1999 | * <!-- end-user-doc --> | ||
2000 | * @generated | ||
2001 | * @ordered | ||
2002 | */ | ||
2003 | int ALS_STRING_LITERAL__VALUE = ALS_TERM_FEATURE_COUNT + 0; | ||
2004 | |||
2005 | /** | ||
2006 | * The number of structural features of the '<em>ALS String Literal</em>' class. | ||
2007 | * <!-- begin-user-doc --> | ||
2008 | * <!-- end-user-doc --> | ||
2009 | * @generated | ||
2010 | * @ordered | ||
2011 | */ | ||
2012 | int ALS_STRING_LITERAL_FEATURE_COUNT = ALS_TERM_FEATURE_COUNT + 1; | ||
2013 | |||
2014 | /** | ||
1940 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}' enum. | 2015 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}' enum. |
1941 | * <!-- begin-user-doc --> | 2016 | * <!-- begin-user-doc --> |
1942 | * <!-- end-user-doc --> | 2017 | * <!-- end-user-doc --> |
@@ -1944,7 +2019,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1944 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMultiplicity() | 2019 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSMultiplicity() |
1945 | * @generated | 2020 | * @generated |
1946 | */ | 2021 | */ |
1947 | int ALS_MULTIPLICITY = 52; | 2022 | int ALS_MULTIPLICITY = 55; |
1948 | 2023 | ||
1949 | /** | 2024 | /** |
1950 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator <em>ALS Numeric Operator</em>}' enum. | 2025 | * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSNumericOperator <em>ALS Numeric Operator</em>}' enum. |
@@ -1954,7 +2029,7 @@ public interface AlloyLanguagePackage extends EPackage | |||
1954 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumericOperator() | 2029 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSNumericOperator() |
1955 | * @generated | 2030 | * @generated |
1956 | */ | 2031 | */ |
1957 | int ALS_NUMERIC_OPERATOR = 53; | 2032 | int ALS_NUMERIC_OPERATOR = 56; |
1958 | 2033 | ||
1959 | 2034 | ||
1960 | /** | 2035 | /** |
@@ -2435,6 +2510,16 @@ public interface AlloyLanguagePackage extends EPackage | |||
2435 | EClass getALSIntScope(); | 2510 | EClass getALSIntScope(); |
2436 | 2511 | ||
2437 | /** | 2512 | /** |
2513 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope <em>ALS String Scope</em>}'. | ||
2514 | * <!-- begin-user-doc --> | ||
2515 | * <!-- end-user-doc --> | ||
2516 | * @return the meta object for class '<em>ALS String Scope</em>'. | ||
2517 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope | ||
2518 | * @generated | ||
2519 | */ | ||
2520 | EClass getALSStringScope(); | ||
2521 | |||
2522 | /** | ||
2438 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. | 2523 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. |
2439 | * <!-- begin-user-doc --> | 2524 | * <!-- begin-user-doc --> |
2440 | * <!-- end-user-doc --> | 2525 | * <!-- end-user-doc --> |
@@ -3371,6 +3456,16 @@ public interface AlloyLanguagePackage extends EPackage | |||
3371 | EClass getALSInt(); | 3456 | EClass getALSInt(); |
3372 | 3457 | ||
3373 | /** | 3458 | /** |
3459 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString <em>ALS String</em>}'. | ||
3460 | * <!-- begin-user-doc --> | ||
3461 | * <!-- end-user-doc --> | ||
3462 | * @return the meta object for class '<em>ALS String</em>'. | ||
3463 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString | ||
3464 | * @generated | ||
3465 | */ | ||
3466 | EClass getALSString(); | ||
3467 | |||
3468 | /** | ||
3374 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. | 3469 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. |
3375 | * <!-- begin-user-doc --> | 3470 | * <!-- begin-user-doc --> |
3376 | * <!-- end-user-doc --> | 3471 | * <!-- end-user-doc --> |
@@ -3413,6 +3508,27 @@ public interface AlloyLanguagePackage extends EPackage | |||
3413 | EAttribute getALSNumberLiteral_Value(); | 3508 | EAttribute getALSNumberLiteral_Value(); |
3414 | 3509 | ||
3415 | /** | 3510 | /** |
3511 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral <em>ALS String Literal</em>}'. | ||
3512 | * <!-- begin-user-doc --> | ||
3513 | * <!-- end-user-doc --> | ||
3514 | * @return the meta object for class '<em>ALS String Literal</em>'. | ||
3515 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral | ||
3516 | * @generated | ||
3517 | */ | ||
3518 | EClass getALSStringLiteral(); | ||
3519 | |||
3520 | /** | ||
3521 | * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue <em>Value</em>}'. | ||
3522 | * <!-- begin-user-doc --> | ||
3523 | * <!-- end-user-doc --> | ||
3524 | * @return the meta object for the attribute '<em>Value</em>'. | ||
3525 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue() | ||
3526 | * @see #getALSStringLiteral() | ||
3527 | * @generated | ||
3528 | */ | ||
3529 | EAttribute getALSStringLiteral_Value(); | ||
3530 | |||
3531 | /** | ||
3416 | * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}'. | 3532 | * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}'. |
3417 | * <!-- begin-user-doc --> | 3533 | * <!-- begin-user-doc --> |
3418 | * <!-- end-user-doc --> | 3534 | * <!-- end-user-doc --> |
@@ -3852,6 +3968,16 @@ public interface AlloyLanguagePackage extends EPackage | |||
3852 | EClass ALS_INT_SCOPE = eINSTANCE.getALSIntScope(); | 3968 | EClass ALS_INT_SCOPE = eINSTANCE.getALSIntScope(); |
3853 | 3969 | ||
3854 | /** | 3970 | /** |
3971 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl <em>ALS String Scope</em>}' class. | ||
3972 | * <!-- begin-user-doc --> | ||
3973 | * <!-- end-user-doc --> | ||
3974 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringScopeImpl | ||
3975 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringScope() | ||
3976 | * @generated | ||
3977 | */ | ||
3978 | EClass ALS_STRING_SCOPE = eINSTANCE.getALSStringScope(); | ||
3979 | |||
3980 | /** | ||
3855 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl <em>ALS Quantified Ex</em>}' class. | 3981 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSQuantifiedExImpl <em>ALS Quantified Ex</em>}' class. |
3856 | * <!-- begin-user-doc --> | 3982 | * <!-- begin-user-doc --> |
3857 | * <!-- end-user-doc --> | 3983 | * <!-- end-user-doc --> |
@@ -4620,6 +4746,16 @@ public interface AlloyLanguagePackage extends EPackage | |||
4620 | EClass ALS_INT = eINSTANCE.getALSInt(); | 4746 | EClass ALS_INT = eINSTANCE.getALSInt(); |
4621 | 4747 | ||
4622 | /** | 4748 | /** |
4749 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl <em>ALS String</em>}' class. | ||
4750 | * <!-- begin-user-doc --> | ||
4751 | * <!-- end-user-doc --> | ||
4752 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringImpl | ||
4753 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSString() | ||
4754 | * @generated | ||
4755 | */ | ||
4756 | EClass ALS_STRING = eINSTANCE.getALSString(); | ||
4757 | |||
4758 | /** | ||
4623 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl <em>ALS Reference</em>}' class. | 4759 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSReferenceImpl <em>ALS Reference</em>}' class. |
4624 | * <!-- begin-user-doc --> | 4760 | * <!-- begin-user-doc --> |
4625 | * <!-- end-user-doc --> | 4761 | * <!-- end-user-doc --> |
@@ -4656,6 +4792,24 @@ public interface AlloyLanguagePackage extends EPackage | |||
4656 | EAttribute ALS_NUMBER_LITERAL__VALUE = eINSTANCE.getALSNumberLiteral_Value(); | 4792 | EAttribute ALS_NUMBER_LITERAL__VALUE = eINSTANCE.getALSNumberLiteral_Value(); |
4657 | 4793 | ||
4658 | /** | 4794 | /** |
4795 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl <em>ALS String Literal</em>}' class. | ||
4796 | * <!-- begin-user-doc --> | ||
4797 | * <!-- end-user-doc --> | ||
4798 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl | ||
4799 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.AlloyLanguagePackageImpl#getALSStringLiteral() | ||
4800 | * @generated | ||
4801 | */ | ||
4802 | EClass ALS_STRING_LITERAL = eINSTANCE.getALSStringLiteral(); | ||
4803 | |||
4804 | /** | ||
4805 | * The meta object literal for the '<em><b>Value</b></em>' attribute feature. | ||
4806 | * <!-- begin-user-doc --> | ||
4807 | * <!-- end-user-doc --> | ||
4808 | * @generated | ||
4809 | */ | ||
4810 | EAttribute ALS_STRING_LITERAL__VALUE = eINSTANCE.getALSStringLiteral_Value(); | ||
4811 | |||
4812 | /** | ||
4659 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}' enum. | 4813 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity <em>ALS Multiplicity</em>}' enum. |
4660 | * <!-- begin-user-doc --> | 4814 | * <!-- begin-user-doc --> |
4661 | * <!-- end-user-doc --> | 4815 | * <!-- end-user-doc --> |