aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl
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/impl')
-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
5 files changed, 373 insertions, 0 deletions
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);