aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage')
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSString.java18
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringLiteral.java50
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSStringScope.java18
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguageFactory.java27
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/AlloyLanguagePackage.java226
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringImpl.java40
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java176
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java40
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java36
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java81
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java60
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java72
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 */
3package 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 */
16public 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 */
3package 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 */
22public 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 */
3package 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 */
16public 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 */
3package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString;
6import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage;
7
8import 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 */
17public 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 */
3package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral;
6import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import 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 */
27public 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 */
3package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope;
6import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage;
7
8import 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 */
17public 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;
47import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; 47import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope;
48import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; 48import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody;
49import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; 49import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration;
50import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString;
51import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral;
52import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope;
50import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; 53import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset;
51import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; 54import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum;
52import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; 55import 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;
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-26 22:32:36 +0000