diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage')
12 files changed, 808 insertions, 36 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSString.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSString.java new file mode 100644 index 00000000..12addd5f --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSString.java | |||
@@ -0,0 +1,18 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>ALS String</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * | ||
12 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSString() | ||
13 | * @model | ||
14 | * @generated | ||
15 | */ | ||
16 | public interface ALSString extends ALSTerm | ||
17 | { | ||
18 | } // ALSString | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringLiteral.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringLiteral.java new file mode 100644 index 00000000..015319f2 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringLiteral.java | |||
@@ -0,0 +1,50 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>ALS String Literal</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * <p> | ||
12 | * The following features are supported: | ||
13 | * </p> | ||
14 | * <ul> | ||
15 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue <em>Value</em>}</li> | ||
16 | * </ul> | ||
17 | * | ||
18 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSStringLiteral() | ||
19 | * @model | ||
20 | * @generated | ||
21 | */ | ||
22 | public interface ALSStringLiteral extends ALSTerm | ||
23 | { | ||
24 | /** | ||
25 | * Returns the value of the '<em><b>Value</b></em>' attribute. | ||
26 | * <!-- begin-user-doc --> | ||
27 | * <p> | ||
28 | * If the meaning of the '<em>Value</em>' attribute isn't clear, | ||
29 | * there really should be more of a description here... | ||
30 | * </p> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @return the value of the '<em>Value</em>' attribute. | ||
33 | * @see #setValue(String) | ||
34 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSStringLiteral_Value() | ||
35 | * @model | ||
36 | * @generated | ||
37 | */ | ||
38 | String getValue(); | ||
39 | |||
40 | /** | ||
41 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral#getValue <em>Value</em>}' attribute. | ||
42 | * <!-- begin-user-doc --> | ||
43 | * <!-- end-user-doc --> | ||
44 | * @param value the new value of the '<em>Value</em>' attribute. | ||
45 | * @see #getValue() | ||
46 | * @generated | ||
47 | */ | ||
48 | void setValue(String value); | ||
49 | |||
50 | } // ALSStringLiteral | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringScope.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringScope.java new file mode 100644 index 00000000..6bf0ce5b --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringScope.java | |||
@@ -0,0 +1,18 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage; | ||
4 | |||
5 | |||
6 | /** | ||
7 | * <!-- begin-user-doc --> | ||
8 | * A representation of the model object '<em><b>ALS String Scope</b></em>'. | ||
9 | * <!-- end-user-doc --> | ||
10 | * | ||
11 | * | ||
12 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSStringScope() | ||
13 | * @model | ||
14 | * @generated | ||
15 | */ | ||
16 | public interface ALSStringScope extends ALSTypeScope | ||
17 | { | ||
18 | } // ALSStringScope | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java index 06919ba8..e2998ff6 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java | |||
@@ -185,6 +185,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
185 | ALSIntScope createALSIntScope(); | 185 | ALSIntScope createALSIntScope(); |
186 | 186 | ||
187 | /** | 187 | /** |
188 | * Returns a new object of class '<em>ALS String Scope</em>'. | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @return a new object of class '<em>ALS String Scope</em>'. | ||
192 | * @generated | ||
193 | */ | ||
194 | ALSStringScope createALSStringScope(); | ||
195 | |||
196 | /** | ||
188 | * Returns a new object of class '<em>ALS Quantified Ex</em>'. | 197 | * Returns a new object of class '<em>ALS Quantified Ex</em>'. |
189 | * <!-- begin-user-doc --> | 198 | * <!-- begin-user-doc --> |
190 | * <!-- end-user-doc --> | 199 | * <!-- end-user-doc --> |
@@ -473,6 +482,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
473 | ALSInt createALSInt(); | 482 | ALSInt createALSInt(); |
474 | 483 | ||
475 | /** | 484 | /** |
485 | * Returns a new object of class '<em>ALS String</em>'. | ||
486 | * <!-- begin-user-doc --> | ||
487 | * <!-- end-user-doc --> | ||
488 | * @return a new object of class '<em>ALS String</em>'. | ||
489 | * @generated | ||
490 | */ | ||
491 | ALSString createALSString(); | ||
492 | |||
493 | /** | ||
476 | * Returns a new object of class '<em>ALS Reference</em>'. | 494 | * Returns a new object of class '<em>ALS Reference</em>'. |
477 | * <!-- begin-user-doc --> | 495 | * <!-- begin-user-doc --> |
478 | * <!-- end-user-doc --> | 496 | * <!-- end-user-doc --> |
@@ -491,6 +509,15 @@ public interface AlloyLanguageFactory extends EFactory | |||
491 | ALSNumberLiteral createALSNumberLiteral(); | 509 | ALSNumberLiteral createALSNumberLiteral(); |
492 | 510 | ||
493 | /** | 511 | /** |
512 | * Returns a new object of class '<em>ALS String Literal</em>'. | ||
513 | * <!-- begin-user-doc --> | ||
514 | * <!-- end-user-doc --> | ||
515 | * @return a new object of class '<em>ALS String Literal</em>'. | ||
516 | * @generated | ||
517 | */ | ||
518 | ALSStringLiteral createALSStringLiteral(); | ||
519 | |||
520 | /** | ||
494 | * Returns the package supported by this factory. | 521 | * Returns the package supported by this factory. |
495 | * <!-- begin-user-doc --> | 522 | * <!-- begin-user-doc --> |
496 | * <!-- end-user-doc --> | 523 | * <!-- end-user-doc --> |
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 --> |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringImpl.java new file mode 100644 index 00000000..d6ce0712 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringImpl.java | |||
@@ -0,0 +1,40 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>ALS String</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class ALSStringImpl extends ALSTermImpl implements ALSString | ||
18 | { | ||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @generated | ||
23 | */ | ||
24 | protected ALSStringImpl() | ||
25 | { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() | ||
36 | { | ||
37 | return AlloyLanguagePackage.Literals.ALS_STRING; | ||
38 | } | ||
39 | |||
40 | } //ALSStringImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java new file mode 100644 index 00000000..207be30b --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java | |||
@@ -0,0 +1,176 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>ALS String Literal</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class ALSStringLiteralImpl extends ALSTermImpl implements ALSStringLiteral | ||
28 | { | ||
29 | /** | ||
30 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getValue() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final String VALUE_EDEFAULT = null; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getValue() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected String value = VALUE_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | protected ALSStringLiteralImpl() | ||
55 | { | ||
56 | super(); | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * <!-- begin-user-doc --> | ||
61 | * <!-- end-user-doc --> | ||
62 | * @generated | ||
63 | */ | ||
64 | @Override | ||
65 | protected EClass eStaticClass() | ||
66 | { | ||
67 | return AlloyLanguagePackage.Literals.ALS_STRING_LITERAL; | ||
68 | } | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | public String getValue() | ||
76 | { | ||
77 | return value; | ||
78 | } | ||
79 | |||
80 | /** | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | */ | ||
85 | public void setValue(String newValue) | ||
86 | { | ||
87 | String oldValue = value; | ||
88 | value = newValue; | ||
89 | if (eNotificationRequired()) | ||
90 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE, oldValue, value)); | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | @Override | ||
99 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
100 | { | ||
101 | switch (featureID) | ||
102 | { | ||
103 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
104 | return getValue(); | ||
105 | } | ||
106 | return super.eGet(featureID, resolve, coreType); | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | @Override | ||
115 | public void eSet(int featureID, Object newValue) | ||
116 | { | ||
117 | switch (featureID) | ||
118 | { | ||
119 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
120 | setValue((String)newValue); | ||
121 | return; | ||
122 | } | ||
123 | super.eSet(featureID, newValue); | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | @Override | ||
132 | public void eUnset(int featureID) | ||
133 | { | ||
134 | switch (featureID) | ||
135 | { | ||
136 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
137 | setValue(VALUE_EDEFAULT); | ||
138 | return; | ||
139 | } | ||
140 | super.eUnset(featureID); | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | @Override | ||
149 | public boolean eIsSet(int featureID) | ||
150 | { | ||
151 | switch (featureID) | ||
152 | { | ||
153 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
154 | return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value); | ||
155 | } | ||
156 | return super.eIsSet(featureID); | ||
157 | } | ||
158 | |||
159 | /** | ||
160 | * <!-- begin-user-doc --> | ||
161 | * <!-- end-user-doc --> | ||
162 | * @generated | ||
163 | */ | ||
164 | @Override | ||
165 | public String toString() | ||
166 | { | ||
167 | if (eIsProxy()) return super.toString(); | ||
168 | |||
169 | StringBuffer result = new StringBuffer(super.toString()); | ||
170 | result.append(" (value: "); | ||
171 | result.append(value); | ||
172 | result.append(')'); | ||
173 | return result.toString(); | ||
174 | } | ||
175 | |||
176 | } //ALSStringLiteralImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java new file mode 100644 index 00000000..244821c6 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java | |||
@@ -0,0 +1,40 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>ALS String Scope</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class ALSStringScopeImpl extends ALSTypeScopeImpl implements ALSStringScope | ||
18 | { | ||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @generated | ||
23 | */ | ||
24 | protected ALSStringScopeImpl() | ||
25 | { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() | ||
36 | { | ||
37 | return AlloyLanguagePackage.Literals.ALS_STRING_SCOPE; | ||
38 | } | ||
39 | |||
40 | } //ALSStringScopeImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java index 45d92dca..11faf739 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java | |||
@@ -83,6 +83,7 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
83 | case AlloyLanguagePackage.ALS_TYPE_SCOPE: return createALSTypeScope(); | 83 | case AlloyLanguagePackage.ALS_TYPE_SCOPE: return createALSTypeScope(); |
84 | case AlloyLanguagePackage.ALS_SIG_SCOPE: return createALSSigScope(); | 84 | case AlloyLanguagePackage.ALS_SIG_SCOPE: return createALSSigScope(); |
85 | case AlloyLanguagePackage.ALS_INT_SCOPE: return createALSIntScope(); | 85 | case AlloyLanguagePackage.ALS_INT_SCOPE: return createALSIntScope(); |
86 | case AlloyLanguagePackage.ALS_STRING_SCOPE: return createALSStringScope(); | ||
86 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: return createALSQuantifiedEx(); | 87 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: return createALSQuantifiedEx(); |
87 | case AlloyLanguagePackage.ALS_OR: return createALSOr(); | 88 | case AlloyLanguagePackage.ALS_OR: return createALSOr(); |
88 | case AlloyLanguagePackage.ALS_IFF: return createALSIff(); | 89 | case AlloyLanguagePackage.ALS_IFF: return createALSIff(); |
@@ -115,8 +116,10 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
115 | case AlloyLanguagePackage.ALS_IDEN: return createALSIden(); | 116 | case AlloyLanguagePackage.ALS_IDEN: return createALSIden(); |
116 | case AlloyLanguagePackage.ALS_UNIV: return createALSUniv(); | 117 | case AlloyLanguagePackage.ALS_UNIV: return createALSUniv(); |
117 | case AlloyLanguagePackage.ALS_INT: return createALSInt(); | 118 | case AlloyLanguagePackage.ALS_INT: return createALSInt(); |
119 | case AlloyLanguagePackage.ALS_STRING: return createALSString(); | ||
118 | case AlloyLanguagePackage.ALS_REFERENCE: return createALSReference(); | 120 | case AlloyLanguagePackage.ALS_REFERENCE: return createALSReference(); |
119 | case AlloyLanguagePackage.ALS_NUMBER_LITERAL: return createALSNumberLiteral(); | 121 | case AlloyLanguagePackage.ALS_NUMBER_LITERAL: return createALSNumberLiteral(); |
122 | case AlloyLanguagePackage.ALS_STRING_LITERAL: return createALSStringLiteral(); | ||
120 | default: | 123 | default: |
121 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 124 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
122 | } | 125 | } |
@@ -363,6 +366,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
363 | * <!-- end-user-doc --> | 366 | * <!-- end-user-doc --> |
364 | * @generated | 367 | * @generated |
365 | */ | 368 | */ |
369 | public ALSStringScope createALSStringScope() | ||
370 | { | ||
371 | ALSStringScopeImpl alsStringScope = new ALSStringScopeImpl(); | ||
372 | return alsStringScope; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
366 | public ALSQuantifiedEx createALSQuantifiedEx() | 380 | public ALSQuantifiedEx createALSQuantifiedEx() |
367 | { | 381 | { |
368 | ALSQuantifiedExImpl alsQuantifiedEx = new ALSQuantifiedExImpl(); | 382 | ALSQuantifiedExImpl alsQuantifiedEx = new ALSQuantifiedExImpl(); |
@@ -715,6 +729,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
715 | * <!-- end-user-doc --> | 729 | * <!-- end-user-doc --> |
716 | * @generated | 730 | * @generated |
717 | */ | 731 | */ |
732 | public ALSString createALSString() | ||
733 | { | ||
734 | ALSStringImpl alsString = new ALSStringImpl(); | ||
735 | return alsString; | ||
736 | } | ||
737 | |||
738 | /** | ||
739 | * <!-- begin-user-doc --> | ||
740 | * <!-- end-user-doc --> | ||
741 | * @generated | ||
742 | */ | ||
718 | public ALSReference createALSReference() | 743 | public ALSReference createALSReference() |
719 | { | 744 | { |
720 | ALSReferenceImpl alsReference = new ALSReferenceImpl(); | 745 | ALSReferenceImpl alsReference = new ALSReferenceImpl(); |
@@ -737,6 +762,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
737 | * <!-- end-user-doc --> | 762 | * <!-- end-user-doc --> |
738 | * @generated | 763 | * @generated |
739 | */ | 764 | */ |
765 | public ALSStringLiteral createALSStringLiteral() | ||
766 | { | ||
767 | ALSStringLiteralImpl alsStringLiteral = new ALSStringLiteralImpl(); | ||
768 | return alsStringLiteral; | ||
769 | } | ||
770 | |||
771 | /** | ||
772 | * <!-- begin-user-doc --> | ||
773 | * <!-- end-user-doc --> | ||
774 | * @generated | ||
775 | */ | ||
740 | public ALSMultiplicity createALSMultiplicityFromString(EDataType eDataType, String initialValue) | 776 | public ALSMultiplicity createALSMultiplicityFromString(EDataType eDataType, String initialValue) |
741 | { | 777 | { |
742 | ALSMultiplicity result = ALSMultiplicity.get(initialValue); | 778 | ALSMultiplicity result = ALSMultiplicity.get(initialValue); |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java index 1fd90aa9..6227ccd3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java | |||
@@ -47,6 +47,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand; | |||
47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; | 47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; |
48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; | 48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; |
49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; | 49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; |
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString; | ||
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral; | ||
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope; | ||
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; | 53 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; |
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; | 54 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; |
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; | 55 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; |
@@ -206,6 +209,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
206 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
207 | * @generated | 210 | * @generated |
208 | */ | 211 | */ |
212 | private EClass alsStringScopeEClass = null; | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
209 | private EClass alsQuantifiedExEClass = null; | 219 | private EClass alsQuantifiedExEClass = null; |
210 | 220 | ||
211 | /** | 221 | /** |
@@ -430,6 +440,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
430 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
431 | * @generated | 441 | * @generated |
432 | */ | 442 | */ |
443 | private EClass alsStringEClass = null; | ||
444 | |||
445 | /** | ||
446 | * <!-- begin-user-doc --> | ||
447 | * <!-- end-user-doc --> | ||
448 | * @generated | ||
449 | */ | ||
433 | private EClass alsReferenceEClass = null; | 450 | private EClass alsReferenceEClass = null; |
434 | 451 | ||
435 | /** | 452 | /** |
@@ -444,6 +461,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
444 | * <!-- end-user-doc --> | 461 | * <!-- end-user-doc --> |
445 | * @generated | 462 | * @generated |
446 | */ | 463 | */ |
464 | private EClass alsStringLiteralEClass = null; | ||
465 | |||
466 | /** | ||
467 | * <!-- begin-user-doc --> | ||
468 | * <!-- end-user-doc --> | ||
469 | * @generated | ||
470 | */ | ||
447 | private EEnum alsMultiplicityEEnum = null; | 471 | private EEnum alsMultiplicityEEnum = null; |
448 | 472 | ||
449 | /** | 473 | /** |
@@ -971,6 +995,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
971 | * <!-- end-user-doc --> | 995 | * <!-- end-user-doc --> |
972 | * @generated | 996 | * @generated |
973 | */ | 997 | */ |
998 | public EClass getALSStringScope() | ||
999 | { | ||
1000 | return alsStringScopeEClass; | ||
1001 | } | ||
1002 | |||
1003 | /** | ||
1004 | * <!-- begin-user-doc --> | ||
1005 | * <!-- end-user-doc --> | ||
1006 | * @generated | ||
1007 | */ | ||
974 | public EClass getALSQuantifiedEx() | 1008 | public EClass getALSQuantifiedEx() |
975 | { | 1009 | { |
976 | return alsQuantifiedExEClass; | 1010 | return alsQuantifiedExEClass; |
@@ -1851,6 +1885,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1851 | * <!-- end-user-doc --> | 1885 | * <!-- end-user-doc --> |
1852 | * @generated | 1886 | * @generated |
1853 | */ | 1887 | */ |
1888 | public EClass getALSString() | ||
1889 | { | ||
1890 | return alsStringEClass; | ||
1891 | } | ||
1892 | |||
1893 | /** | ||
1894 | * <!-- begin-user-doc --> | ||
1895 | * <!-- end-user-doc --> | ||
1896 | * @generated | ||
1897 | */ | ||
1854 | public EClass getALSReference() | 1898 | public EClass getALSReference() |
1855 | { | 1899 | { |
1856 | return alsReferenceEClass; | 1900 | return alsReferenceEClass; |
@@ -1891,6 +1935,26 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1891 | * <!-- end-user-doc --> | 1935 | * <!-- end-user-doc --> |
1892 | * @generated | 1936 | * @generated |
1893 | */ | 1937 | */ |
1938 | public EClass getALSStringLiteral() | ||
1939 | { | ||
1940 | return alsStringLiteralEClass; | ||
1941 | } | ||
1942 | |||
1943 | /** | ||
1944 | * <!-- begin-user-doc --> | ||
1945 | * <!-- end-user-doc --> | ||
1946 | * @generated | ||
1947 | */ | ||
1948 | public EAttribute getALSStringLiteral_Value() | ||
1949 | { | ||
1950 | return (EAttribute)alsStringLiteralEClass.getEStructuralFeatures().get(0); | ||
1951 | } | ||
1952 | |||
1953 | /** | ||
1954 | * <!-- begin-user-doc --> | ||
1955 | * <!-- end-user-doc --> | ||
1956 | * @generated | ||
1957 | */ | ||
1894 | public EEnum getALSMultiplicity() | 1958 | public EEnum getALSMultiplicity() |
1895 | { | 1959 | { |
1896 | return alsMultiplicityEEnum; | 1960 | return alsMultiplicityEEnum; |
@@ -1999,6 +2063,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1999 | 2063 | ||
2000 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); | 2064 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); |
2001 | 2065 | ||
2066 | alsStringScopeEClass = createEClass(ALS_STRING_SCOPE); | ||
2067 | |||
2002 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); | 2068 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); |
2003 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); | 2069 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); |
2004 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); | 2070 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); |
@@ -2119,12 +2185,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2119 | 2185 | ||
2120 | alsIntEClass = createEClass(ALS_INT); | 2186 | alsIntEClass = createEClass(ALS_INT); |
2121 | 2187 | ||
2188 | alsStringEClass = createEClass(ALS_STRING); | ||
2189 | |||
2122 | alsReferenceEClass = createEClass(ALS_REFERENCE); | 2190 | alsReferenceEClass = createEClass(ALS_REFERENCE); |
2123 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); | 2191 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); |
2124 | 2192 | ||
2125 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); | 2193 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); |
2126 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); | 2194 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); |
2127 | 2195 | ||
2196 | alsStringLiteralEClass = createEClass(ALS_STRING_LITERAL); | ||
2197 | createEAttribute(alsStringLiteralEClass, ALS_STRING_LITERAL__VALUE); | ||
2198 | |||
2128 | // Create enums | 2199 | // Create enums |
2129 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); | 2200 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); |
2130 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); | 2201 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); |
@@ -2169,6 +2240,7 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2169 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); | 2240 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); |
2170 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2241 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2171 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2242 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2243 | alsStringScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | ||
2172 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); | 2244 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); |
2173 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); | 2245 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); |
2174 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); | 2246 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); |
@@ -2201,8 +2273,10 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2201 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); | 2273 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); |
2202 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); | 2274 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); |
2203 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); | 2275 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); |
2276 | alsStringEClass.getESuperTypes().add(this.getALSTerm()); | ||
2204 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); | 2277 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); |
2205 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); | 2278 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); |
2279 | alsStringLiteralEClass.getESuperTypes().add(this.getALSTerm()); | ||
2206 | 2280 | ||
2207 | // Initialize classes and features; add operations and parameters | 2281 | // Initialize classes and features; add operations and parameters |
2208 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2282 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -2268,6 +2342,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2268 | 2342 | ||
2269 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2343 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2270 | 2344 | ||
2345 | initEClass(alsStringScopeEClass, ALSStringScope.class, "ALSStringScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2346 | |||
2271 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2347 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2272 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2348 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2273 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2349 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -2388,12 +2464,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2388 | 2464 | ||
2389 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2465 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2390 | 2466 | ||
2467 | initEClass(alsStringEClass, ALSString.class, "ALSString", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2468 | |||
2391 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2469 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2392 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2470 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2393 | 2471 | ||
2394 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2472 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2395 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2473 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2396 | 2474 | ||
2475 | initEClass(alsStringLiteralEClass, ALSStringLiteral.class, "ALSStringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2476 | initEAttribute(getALSStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, ALSStringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2477 | |||
2397 | // Initialize enums and add enum literals | 2478 | // Initialize enums and add enum literals |
2398 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); | 2479 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); |
2399 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); | 2480 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java index d3d842af..5ca262fe 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java | |||
@@ -165,6 +165,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
165 | return createALSIntScopeAdapter(); | 165 | return createALSIntScopeAdapter(); |
166 | } | 166 | } |
167 | @Override | 167 | @Override |
168 | public Adapter caseALSStringScope(ALSStringScope object) | ||
169 | { | ||
170 | return createALSStringScopeAdapter(); | ||
171 | } | ||
172 | @Override | ||
168 | public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object) | 173 | public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object) |
169 | { | 174 | { |
170 | return createALSQuantifiedExAdapter(); | 175 | return createALSQuantifiedExAdapter(); |
@@ -325,6 +330,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
325 | return createALSIntAdapter(); | 330 | return createALSIntAdapter(); |
326 | } | 331 | } |
327 | @Override | 332 | @Override |
333 | public Adapter caseALSString(ALSString object) | ||
334 | { | ||
335 | return createALSStringAdapter(); | ||
336 | } | ||
337 | @Override | ||
328 | public Adapter caseALSReference(ALSReference object) | 338 | public Adapter caseALSReference(ALSReference object) |
329 | { | 339 | { |
330 | return createALSReferenceAdapter(); | 340 | return createALSReferenceAdapter(); |
@@ -335,6 +345,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
335 | return createALSNumberLiteralAdapter(); | 345 | return createALSNumberLiteralAdapter(); |
336 | } | 346 | } |
337 | @Override | 347 | @Override |
348 | public Adapter caseALSStringLiteral(ALSStringLiteral object) | ||
349 | { | ||
350 | return createALSStringLiteralAdapter(); | ||
351 | } | ||
352 | @Override | ||
338 | public Adapter defaultCase(EObject object) | 353 | public Adapter defaultCase(EObject object) |
339 | { | 354 | { |
340 | return createEObjectAdapter(); | 355 | return createEObjectAdapter(); |
@@ -627,6 +642,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
627 | } | 642 | } |
628 | 643 | ||
629 | /** | 644 | /** |
645 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope <em>ALS String Scope</em>}'. | ||
646 | * <!-- begin-user-doc --> | ||
647 | * This default implementation returns null so that we can easily ignore cases; | ||
648 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
649 | * <!-- end-user-doc --> | ||
650 | * @return the new adapter. | ||
651 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope | ||
652 | * @generated | ||
653 | */ | ||
654 | public Adapter createALSStringScopeAdapter() | ||
655 | { | ||
656 | return null; | ||
657 | } | ||
658 | |||
659 | /** | ||
630 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. | 660 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. |
631 | * <!-- begin-user-doc --> | 661 | * <!-- begin-user-doc --> |
632 | * This default implementation returns null so that we can easily ignore cases; | 662 | * This default implementation returns null so that we can easily ignore cases; |
@@ -1107,6 +1137,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
1107 | } | 1137 | } |
1108 | 1138 | ||
1109 | /** | 1139 | /** |
1140 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString <em>ALS String</em>}'. | ||
1141 | * <!-- begin-user-doc --> | ||
1142 | * This default implementation returns null so that we can easily ignore cases; | ||
1143 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1144 | * <!-- end-user-doc --> | ||
1145 | * @return the new adapter. | ||
1146 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString | ||
1147 | * @generated | ||
1148 | */ | ||
1149 | public Adapter createALSStringAdapter() | ||
1150 | { | ||
1151 | return null; | ||
1152 | } | ||
1153 | |||
1154 | /** | ||
1110 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. | 1155 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. |
1111 | * <!-- begin-user-doc --> | 1156 | * <!-- begin-user-doc --> |
1112 | * This default implementation returns null so that we can easily ignore cases; | 1157 | * This default implementation returns null so that we can easily ignore cases; |
@@ -1137,6 +1182,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
1137 | } | 1182 | } |
1138 | 1183 | ||
1139 | /** | 1184 | /** |
1185 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral <em>ALS String Literal</em>}'. | ||
1186 | * <!-- begin-user-doc --> | ||
1187 | * This default implementation returns null so that we can easily ignore cases; | ||
1188 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1189 | * <!-- end-user-doc --> | ||
1190 | * @return the new adapter. | ||
1191 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral | ||
1192 | * @generated | ||
1193 | */ | ||
1194 | public Adapter createALSStringLiteralAdapter() | ||
1195 | { | ||
1196 | return null; | ||
1197 | } | ||
1198 | |||
1199 | /** | ||
1140 | * Creates a new adapter for the default case. | 1200 | * Creates a new adapter for the default case. |
1141 | * <!-- begin-user-doc --> | 1201 | * <!-- begin-user-doc --> |
1142 | * This default implementation returns null. | 1202 | * This default implementation returns null. |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java index 91fa2086..3551c90f 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java | |||
@@ -210,6 +210,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
210 | if (result == null) result = defaultCase(theEObject); | 210 | if (result == null) result = defaultCase(theEObject); |
211 | return result; | 211 | return result; |
212 | } | 212 | } |
213 | case AlloyLanguagePackage.ALS_STRING_SCOPE: | ||
214 | { | ||
215 | ALSStringScope alsStringScope = (ALSStringScope)theEObject; | ||
216 | T result = caseALSStringScope(alsStringScope); | ||
217 | if (result == null) result = caseALSTypeScope(alsStringScope); | ||
218 | if (result == null) result = defaultCase(theEObject); | ||
219 | return result; | ||
220 | } | ||
213 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: | 221 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: |
214 | { | 222 | { |
215 | ALSQuantifiedEx alsQuantifiedEx = (ALSQuantifiedEx)theEObject; | 223 | ALSQuantifiedEx alsQuantifiedEx = (ALSQuantifiedEx)theEObject; |
@@ -466,6 +474,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
466 | if (result == null) result = defaultCase(theEObject); | 474 | if (result == null) result = defaultCase(theEObject); |
467 | return result; | 475 | return result; |
468 | } | 476 | } |
477 | case AlloyLanguagePackage.ALS_STRING: | ||
478 | { | ||
479 | ALSString alsString = (ALSString)theEObject; | ||
480 | T result = caseALSString(alsString); | ||
481 | if (result == null) result = caseALSTerm(alsString); | ||
482 | if (result == null) result = defaultCase(theEObject); | ||
483 | return result; | ||
484 | } | ||
469 | case AlloyLanguagePackage.ALS_REFERENCE: | 485 | case AlloyLanguagePackage.ALS_REFERENCE: |
470 | { | 486 | { |
471 | ALSReference alsReference = (ALSReference)theEObject; | 487 | ALSReference alsReference = (ALSReference)theEObject; |
@@ -482,6 +498,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
482 | if (result == null) result = defaultCase(theEObject); | 498 | if (result == null) result = defaultCase(theEObject); |
483 | return result; | 499 | return result; |
484 | } | 500 | } |
501 | case AlloyLanguagePackage.ALS_STRING_LITERAL: | ||
502 | { | ||
503 | ALSStringLiteral alsStringLiteral = (ALSStringLiteral)theEObject; | ||
504 | T result = caseALSStringLiteral(alsStringLiteral); | ||
505 | if (result == null) result = caseALSTerm(alsStringLiteral); | ||
506 | if (result == null) result = defaultCase(theEObject); | ||
507 | return result; | ||
508 | } | ||
485 | default: return defaultCase(theEObject); | 509 | default: return defaultCase(theEObject); |
486 | } | 510 | } |
487 | } | 511 | } |
@@ -775,6 +799,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
775 | } | 799 | } |
776 | 800 | ||
777 | /** | 801 | /** |
802 | * Returns the result of interpreting the object as an instance of '<em>ALS String Scope</em>'. | ||
803 | * <!-- begin-user-doc --> | ||
804 | * This implementation returns null; | ||
805 | * returning a non-null result will terminate the switch. | ||
806 | * <!-- end-user-doc --> | ||
807 | * @param object the target of the switch. | ||
808 | * @return the result of interpreting the object as an instance of '<em>ALS String Scope</em>'. | ||
809 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
810 | * @generated | ||
811 | */ | ||
812 | public T caseALSStringScope(ALSStringScope object) | ||
813 | { | ||
814 | return null; | ||
815 | } | ||
816 | |||
817 | /** | ||
778 | * Returns the result of interpreting the object as an instance of '<em>ALS Quantified Ex</em>'. | 818 | * Returns the result of interpreting the object as an instance of '<em>ALS Quantified Ex</em>'. |
779 | * <!-- begin-user-doc --> | 819 | * <!-- begin-user-doc --> |
780 | * This implementation returns null; | 820 | * This implementation returns null; |
@@ -1287,6 +1327,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
1287 | } | 1327 | } |
1288 | 1328 | ||
1289 | /** | 1329 | /** |
1330 | * Returns the result of interpreting the object as an instance of '<em>ALS String</em>'. | ||
1331 | * <!-- begin-user-doc --> | ||
1332 | * This implementation returns null; | ||
1333 | * returning a non-null result will terminate the switch. | ||
1334 | * <!-- end-user-doc --> | ||
1335 | * @param object the target of the switch. | ||
1336 | * @return the result of interpreting the object as an instance of '<em>ALS String</em>'. | ||
1337 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1338 | * @generated | ||
1339 | */ | ||
1340 | public T caseALSString(ALSString object) | ||
1341 | { | ||
1342 | return null; | ||
1343 | } | ||
1344 | |||
1345 | /** | ||
1290 | * Returns the result of interpreting the object as an instance of '<em>ALS Reference</em>'. | 1346 | * Returns the result of interpreting the object as an instance of '<em>ALS Reference</em>'. |
1291 | * <!-- begin-user-doc --> | 1347 | * <!-- begin-user-doc --> |
1292 | * This implementation returns null; | 1348 | * This implementation returns null; |
@@ -1319,6 +1375,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
1319 | } | 1375 | } |
1320 | 1376 | ||
1321 | /** | 1377 | /** |
1378 | * Returns the result of interpreting the object as an instance of '<em>ALS String Literal</em>'. | ||
1379 | * <!-- begin-user-doc --> | ||
1380 | * This implementation returns null; | ||
1381 | * returning a non-null result will terminate the switch. | ||
1382 | * <!-- end-user-doc --> | ||
1383 | * @param object the target of the switch. | ||
1384 | * @return the result of interpreting the object as an instance of '<em>ALS String Literal</em>'. | ||
1385 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1386 | * @generated | ||
1387 | */ | ||
1388 | public T caseALSStringLiteral(ALSStringLiteral object) | ||
1389 | { | ||
1390 | return null; | ||
1391 | } | ||
1392 | |||
1393 | /** | ||
1322 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 1394 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
1323 | * <!-- begin-user-doc --> | 1395 | * <!-- begin-user-doc --> |
1324 | * This implementation returns null; | 1396 | * This implementation returns null; |