diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl')
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>ALS String</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class ALSStringImpl extends ALSTermImpl implements ALSString | ||
18 | { | ||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @generated | ||
23 | */ | ||
24 | protected ALSStringImpl() | ||
25 | { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() | ||
36 | { | ||
37 | return AlloyLanguagePackage.Literals.ALS_STRING; | ||
38 | } | ||
39 | |||
40 | } //ALSStringImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java new file mode 100644 index 00000000..207be30b --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringLiteralImpl.java | |||
@@ -0,0 +1,176 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.common.notify.Notification; | ||
9 | |||
10 | import org.eclipse.emf.ecore.EClass; | ||
11 | |||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
13 | |||
14 | /** | ||
15 | * <!-- begin-user-doc --> | ||
16 | * An implementation of the model object '<em><b>ALS String Literal</b></em>'. | ||
17 | * <!-- end-user-doc --> | ||
18 | * <p> | ||
19 | * The following features are implemented: | ||
20 | * </p> | ||
21 | * <ul> | ||
22 | * <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.impl.ALSStringLiteralImpl#getValue <em>Value</em>}</li> | ||
23 | * </ul> | ||
24 | * | ||
25 | * @generated | ||
26 | */ | ||
27 | public class ALSStringLiteralImpl extends ALSTermImpl implements ALSStringLiteral | ||
28 | { | ||
29 | /** | ||
30 | * The default value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
31 | * <!-- begin-user-doc --> | ||
32 | * <!-- end-user-doc --> | ||
33 | * @see #getValue() | ||
34 | * @generated | ||
35 | * @ordered | ||
36 | */ | ||
37 | protected static final String VALUE_EDEFAULT = null; | ||
38 | |||
39 | /** | ||
40 | * The cached value of the '{@link #getValue() <em>Value</em>}' attribute. | ||
41 | * <!-- begin-user-doc --> | ||
42 | * <!-- end-user-doc --> | ||
43 | * @see #getValue() | ||
44 | * @generated | ||
45 | * @ordered | ||
46 | */ | ||
47 | protected String value = VALUE_EDEFAULT; | ||
48 | |||
49 | /** | ||
50 | * <!-- begin-user-doc --> | ||
51 | * <!-- end-user-doc --> | ||
52 | * @generated | ||
53 | */ | ||
54 | protected ALSStringLiteralImpl() | ||
55 | { | ||
56 | super(); | ||
57 | } | ||
58 | |||
59 | /** | ||
60 | * <!-- begin-user-doc --> | ||
61 | * <!-- end-user-doc --> | ||
62 | * @generated | ||
63 | */ | ||
64 | @Override | ||
65 | protected EClass eStaticClass() | ||
66 | { | ||
67 | return AlloyLanguagePackage.Literals.ALS_STRING_LITERAL; | ||
68 | } | ||
69 | |||
70 | /** | ||
71 | * <!-- begin-user-doc --> | ||
72 | * <!-- end-user-doc --> | ||
73 | * @generated | ||
74 | */ | ||
75 | public String getValue() | ||
76 | { | ||
77 | return value; | ||
78 | } | ||
79 | |||
80 | /** | ||
81 | * <!-- begin-user-doc --> | ||
82 | * <!-- end-user-doc --> | ||
83 | * @generated | ||
84 | */ | ||
85 | public void setValue(String newValue) | ||
86 | { | ||
87 | String oldValue = value; | ||
88 | value = newValue; | ||
89 | if (eNotificationRequired()) | ||
90 | eNotify(new ENotificationImpl(this, Notification.SET, AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE, oldValue, value)); | ||
91 | } | ||
92 | |||
93 | /** | ||
94 | * <!-- begin-user-doc --> | ||
95 | * <!-- end-user-doc --> | ||
96 | * @generated | ||
97 | */ | ||
98 | @Override | ||
99 | public Object eGet(int featureID, boolean resolve, boolean coreType) | ||
100 | { | ||
101 | switch (featureID) | ||
102 | { | ||
103 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
104 | return getValue(); | ||
105 | } | ||
106 | return super.eGet(featureID, resolve, coreType); | ||
107 | } | ||
108 | |||
109 | /** | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | */ | ||
114 | @Override | ||
115 | public void eSet(int featureID, Object newValue) | ||
116 | { | ||
117 | switch (featureID) | ||
118 | { | ||
119 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
120 | setValue((String)newValue); | ||
121 | return; | ||
122 | } | ||
123 | super.eSet(featureID, newValue); | ||
124 | } | ||
125 | |||
126 | /** | ||
127 | * <!-- begin-user-doc --> | ||
128 | * <!-- end-user-doc --> | ||
129 | * @generated | ||
130 | */ | ||
131 | @Override | ||
132 | public void eUnset(int featureID) | ||
133 | { | ||
134 | switch (featureID) | ||
135 | { | ||
136 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
137 | setValue(VALUE_EDEFAULT); | ||
138 | return; | ||
139 | } | ||
140 | super.eUnset(featureID); | ||
141 | } | ||
142 | |||
143 | /** | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <!-- end-user-doc --> | ||
146 | * @generated | ||
147 | */ | ||
148 | @Override | ||
149 | public boolean eIsSet(int featureID) | ||
150 | { | ||
151 | switch (featureID) | ||
152 | { | ||
153 | case AlloyLanguagePackage.ALS_STRING_LITERAL__VALUE: | ||
154 | return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value); | ||
155 | } | ||
156 | return super.eIsSet(featureID); | ||
157 | } | ||
158 | |||
159 | /** | ||
160 | * <!-- begin-user-doc --> | ||
161 | * <!-- end-user-doc --> | ||
162 | * @generated | ||
163 | */ | ||
164 | @Override | ||
165 | public String toString() | ||
166 | { | ||
167 | if (eIsProxy()) return super.toString(); | ||
168 | |||
169 | StringBuffer result = new StringBuffer(super.toString()); | ||
170 | result.append(" (value: "); | ||
171 | result.append(value); | ||
172 | result.append(')'); | ||
173 | return result.toString(); | ||
174 | } | ||
175 | |||
176 | } //ALSStringLiteralImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java new file mode 100644 index 00000000..244821c6 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/ALSStringScopeImpl.java | |||
@@ -0,0 +1,40 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope; | ||
6 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage; | ||
7 | |||
8 | import org.eclipse.emf.ecore.EClass; | ||
9 | |||
10 | /** | ||
11 | * <!-- begin-user-doc --> | ||
12 | * An implementation of the model object '<em><b>ALS String Scope</b></em>'. | ||
13 | * <!-- end-user-doc --> | ||
14 | * | ||
15 | * @generated | ||
16 | */ | ||
17 | public class ALSStringScopeImpl extends ALSTypeScopeImpl implements ALSStringScope | ||
18 | { | ||
19 | /** | ||
20 | * <!-- begin-user-doc --> | ||
21 | * <!-- end-user-doc --> | ||
22 | * @generated | ||
23 | */ | ||
24 | protected ALSStringScopeImpl() | ||
25 | { | ||
26 | super(); | ||
27 | } | ||
28 | |||
29 | /** | ||
30 | * <!-- begin-user-doc --> | ||
31 | * <!-- end-user-doc --> | ||
32 | * @generated | ||
33 | */ | ||
34 | @Override | ||
35 | protected EClass eStaticClass() | ||
36 | { | ||
37 | return AlloyLanguagePackage.Literals.ALS_STRING_SCOPE; | ||
38 | } | ||
39 | |||
40 | } //ALSStringScopeImpl | ||
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java index 45d92dca..11faf739 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguageFactoryImpl.java | |||
@@ -83,6 +83,7 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
83 | case AlloyLanguagePackage.ALS_TYPE_SCOPE: return createALSTypeScope(); | 83 | case AlloyLanguagePackage.ALS_TYPE_SCOPE: return createALSTypeScope(); |
84 | case AlloyLanguagePackage.ALS_SIG_SCOPE: return createALSSigScope(); | 84 | case AlloyLanguagePackage.ALS_SIG_SCOPE: return createALSSigScope(); |
85 | case AlloyLanguagePackage.ALS_INT_SCOPE: return createALSIntScope(); | 85 | case AlloyLanguagePackage.ALS_INT_SCOPE: return createALSIntScope(); |
86 | case AlloyLanguagePackage.ALS_STRING_SCOPE: return createALSStringScope(); | ||
86 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: return createALSQuantifiedEx(); | 87 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: return createALSQuantifiedEx(); |
87 | case AlloyLanguagePackage.ALS_OR: return createALSOr(); | 88 | case AlloyLanguagePackage.ALS_OR: return createALSOr(); |
88 | case AlloyLanguagePackage.ALS_IFF: return createALSIff(); | 89 | case AlloyLanguagePackage.ALS_IFF: return createALSIff(); |
@@ -115,8 +116,10 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
115 | case AlloyLanguagePackage.ALS_IDEN: return createALSIden(); | 116 | case AlloyLanguagePackage.ALS_IDEN: return createALSIden(); |
116 | case AlloyLanguagePackage.ALS_UNIV: return createALSUniv(); | 117 | case AlloyLanguagePackage.ALS_UNIV: return createALSUniv(); |
117 | case AlloyLanguagePackage.ALS_INT: return createALSInt(); | 118 | case AlloyLanguagePackage.ALS_INT: return createALSInt(); |
119 | case AlloyLanguagePackage.ALS_STRING: return createALSString(); | ||
118 | case AlloyLanguagePackage.ALS_REFERENCE: return createALSReference(); | 120 | case AlloyLanguagePackage.ALS_REFERENCE: return createALSReference(); |
119 | case AlloyLanguagePackage.ALS_NUMBER_LITERAL: return createALSNumberLiteral(); | 121 | case AlloyLanguagePackage.ALS_NUMBER_LITERAL: return createALSNumberLiteral(); |
122 | case AlloyLanguagePackage.ALS_STRING_LITERAL: return createALSStringLiteral(); | ||
120 | default: | 123 | default: |
121 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); | 124 | throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); |
122 | } | 125 | } |
@@ -363,6 +366,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
363 | * <!-- end-user-doc --> | 366 | * <!-- end-user-doc --> |
364 | * @generated | 367 | * @generated |
365 | */ | 368 | */ |
369 | public ALSStringScope createALSStringScope() | ||
370 | { | ||
371 | ALSStringScopeImpl alsStringScope = new ALSStringScopeImpl(); | ||
372 | return alsStringScope; | ||
373 | } | ||
374 | |||
375 | /** | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @generated | ||
379 | */ | ||
366 | public ALSQuantifiedEx createALSQuantifiedEx() | 380 | public ALSQuantifiedEx createALSQuantifiedEx() |
367 | { | 381 | { |
368 | ALSQuantifiedExImpl alsQuantifiedEx = new ALSQuantifiedExImpl(); | 382 | ALSQuantifiedExImpl alsQuantifiedEx = new ALSQuantifiedExImpl(); |
@@ -715,6 +729,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
715 | * <!-- end-user-doc --> | 729 | * <!-- end-user-doc --> |
716 | * @generated | 730 | * @generated |
717 | */ | 731 | */ |
732 | public ALSString createALSString() | ||
733 | { | ||
734 | ALSStringImpl alsString = new ALSStringImpl(); | ||
735 | return alsString; | ||
736 | } | ||
737 | |||
738 | /** | ||
739 | * <!-- begin-user-doc --> | ||
740 | * <!-- end-user-doc --> | ||
741 | * @generated | ||
742 | */ | ||
718 | public ALSReference createALSReference() | 743 | public ALSReference createALSReference() |
719 | { | 744 | { |
720 | ALSReferenceImpl alsReference = new ALSReferenceImpl(); | 745 | ALSReferenceImpl alsReference = new ALSReferenceImpl(); |
@@ -737,6 +762,17 @@ public class AlloyLanguageFactoryImpl extends EFactoryImpl implements AlloyLangu | |||
737 | * <!-- end-user-doc --> | 762 | * <!-- end-user-doc --> |
738 | * @generated | 763 | * @generated |
739 | */ | 764 | */ |
765 | public ALSStringLiteral createALSStringLiteral() | ||
766 | { | ||
767 | ALSStringLiteralImpl alsStringLiteral = new ALSStringLiteralImpl(); | ||
768 | return alsStringLiteral; | ||
769 | } | ||
770 | |||
771 | /** | ||
772 | * <!-- begin-user-doc --> | ||
773 | * <!-- end-user-doc --> | ||
774 | * @generated | ||
775 | */ | ||
740 | public ALSMultiplicity createALSMultiplicityFromString(EDataType eDataType, String initialValue) | 776 | public ALSMultiplicity createALSMultiplicityFromString(EDataType eDataType, String initialValue) |
741 | { | 777 | { |
742 | ALSMultiplicity result = ALSMultiplicity.get(initialValue); | 778 | ALSMultiplicity result = ALSMultiplicity.get(initialValue); |
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java index 1fd90aa9..6227ccd3 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/impl/AlloyLanguagePackageImpl.java | |||
@@ -47,6 +47,9 @@ import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRunCommand; | |||
47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; | 47 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSigScope; |
48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; | 48 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody; |
49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; | 49 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration; |
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString; | ||
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral; | ||
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope; | ||
50 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; | 53 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSubset; |
51 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; | 54 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSum; |
52 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; | 55 | import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm; |
@@ -206,6 +209,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
206 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
207 | * @generated | 210 | * @generated |
208 | */ | 211 | */ |
212 | private EClass alsStringScopeEClass = null; | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
209 | private EClass alsQuantifiedExEClass = null; | 219 | private EClass alsQuantifiedExEClass = null; |
210 | 220 | ||
211 | /** | 221 | /** |
@@ -430,6 +440,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
430 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
431 | * @generated | 441 | * @generated |
432 | */ | 442 | */ |
443 | private EClass alsStringEClass = null; | ||
444 | |||
445 | /** | ||
446 | * <!-- begin-user-doc --> | ||
447 | * <!-- end-user-doc --> | ||
448 | * @generated | ||
449 | */ | ||
433 | private EClass alsReferenceEClass = null; | 450 | private EClass alsReferenceEClass = null; |
434 | 451 | ||
435 | /** | 452 | /** |
@@ -444,6 +461,13 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
444 | * <!-- end-user-doc --> | 461 | * <!-- end-user-doc --> |
445 | * @generated | 462 | * @generated |
446 | */ | 463 | */ |
464 | private EClass alsStringLiteralEClass = null; | ||
465 | |||
466 | /** | ||
467 | * <!-- begin-user-doc --> | ||
468 | * <!-- end-user-doc --> | ||
469 | * @generated | ||
470 | */ | ||
447 | private EEnum alsMultiplicityEEnum = null; | 471 | private EEnum alsMultiplicityEEnum = null; |
448 | 472 | ||
449 | /** | 473 | /** |
@@ -971,6 +995,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
971 | * <!-- end-user-doc --> | 995 | * <!-- end-user-doc --> |
972 | * @generated | 996 | * @generated |
973 | */ | 997 | */ |
998 | public EClass getALSStringScope() | ||
999 | { | ||
1000 | return alsStringScopeEClass; | ||
1001 | } | ||
1002 | |||
1003 | /** | ||
1004 | * <!-- begin-user-doc --> | ||
1005 | * <!-- end-user-doc --> | ||
1006 | * @generated | ||
1007 | */ | ||
974 | public EClass getALSQuantifiedEx() | 1008 | public EClass getALSQuantifiedEx() |
975 | { | 1009 | { |
976 | return alsQuantifiedExEClass; | 1010 | return alsQuantifiedExEClass; |
@@ -1851,6 +1885,16 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1851 | * <!-- end-user-doc --> | 1885 | * <!-- end-user-doc --> |
1852 | * @generated | 1886 | * @generated |
1853 | */ | 1887 | */ |
1888 | public EClass getALSString() | ||
1889 | { | ||
1890 | return alsStringEClass; | ||
1891 | } | ||
1892 | |||
1893 | /** | ||
1894 | * <!-- begin-user-doc --> | ||
1895 | * <!-- end-user-doc --> | ||
1896 | * @generated | ||
1897 | */ | ||
1854 | public EClass getALSReference() | 1898 | public EClass getALSReference() |
1855 | { | 1899 | { |
1856 | return alsReferenceEClass; | 1900 | return alsReferenceEClass; |
@@ -1891,6 +1935,26 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1891 | * <!-- end-user-doc --> | 1935 | * <!-- end-user-doc --> |
1892 | * @generated | 1936 | * @generated |
1893 | */ | 1937 | */ |
1938 | public EClass getALSStringLiteral() | ||
1939 | { | ||
1940 | return alsStringLiteralEClass; | ||
1941 | } | ||
1942 | |||
1943 | /** | ||
1944 | * <!-- begin-user-doc --> | ||
1945 | * <!-- end-user-doc --> | ||
1946 | * @generated | ||
1947 | */ | ||
1948 | public EAttribute getALSStringLiteral_Value() | ||
1949 | { | ||
1950 | return (EAttribute)alsStringLiteralEClass.getEStructuralFeatures().get(0); | ||
1951 | } | ||
1952 | |||
1953 | /** | ||
1954 | * <!-- begin-user-doc --> | ||
1955 | * <!-- end-user-doc --> | ||
1956 | * @generated | ||
1957 | */ | ||
1894 | public EEnum getALSMultiplicity() | 1958 | public EEnum getALSMultiplicity() |
1895 | { | 1959 | { |
1896 | return alsMultiplicityEEnum; | 1960 | return alsMultiplicityEEnum; |
@@ -1999,6 +2063,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
1999 | 2063 | ||
2000 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); | 2064 | alsIntScopeEClass = createEClass(ALS_INT_SCOPE); |
2001 | 2065 | ||
2066 | alsStringScopeEClass = createEClass(ALS_STRING_SCOPE); | ||
2067 | |||
2002 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); | 2068 | alsQuantifiedExEClass = createEClass(ALS_QUANTIFIED_EX); |
2003 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); | 2069 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__TYPE); |
2004 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); | 2070 | createEAttribute(alsQuantifiedExEClass, ALS_QUANTIFIED_EX__DISJ); |
@@ -2119,12 +2185,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2119 | 2185 | ||
2120 | alsIntEClass = createEClass(ALS_INT); | 2186 | alsIntEClass = createEClass(ALS_INT); |
2121 | 2187 | ||
2188 | alsStringEClass = createEClass(ALS_STRING); | ||
2189 | |||
2122 | alsReferenceEClass = createEClass(ALS_REFERENCE); | 2190 | alsReferenceEClass = createEClass(ALS_REFERENCE); |
2123 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); | 2191 | createEReference(alsReferenceEClass, ALS_REFERENCE__REFERRED); |
2124 | 2192 | ||
2125 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); | 2193 | alsNumberLiteralEClass = createEClass(ALS_NUMBER_LITERAL); |
2126 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); | 2194 | createEAttribute(alsNumberLiteralEClass, ALS_NUMBER_LITERAL__VALUE); |
2127 | 2195 | ||
2196 | alsStringLiteralEClass = createEClass(ALS_STRING_LITERAL); | ||
2197 | createEAttribute(alsStringLiteralEClass, ALS_STRING_LITERAL__VALUE); | ||
2198 | |||
2128 | // Create enums | 2199 | // Create enums |
2129 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); | 2200 | alsMultiplicityEEnum = createEEnum(ALS_MULTIPLICITY); |
2130 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); | 2201 | alsNumericOperatorEEnum = createEEnum(ALS_NUMERIC_OPERATOR); |
@@ -2169,6 +2240,7 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2169 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); | 2240 | alsVariableDeclarationEClass.getESuperTypes().add(this.getALSRelationDeclaration()); |
2170 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2241 | alsSigScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2171 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | 2242 | alsIntScopeEClass.getESuperTypes().add(this.getALSTypeScope()); |
2243 | alsStringScopeEClass.getESuperTypes().add(this.getALSTypeScope()); | ||
2172 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); | 2244 | alsQuantifiedExEClass.getESuperTypes().add(this.getALSTerm()); |
2173 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); | 2245 | alsOrEClass.getESuperTypes().add(this.getALSTerm()); |
2174 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); | 2246 | alsIffEClass.getESuperTypes().add(this.getALSTerm()); |
@@ -2201,8 +2273,10 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2201 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); | 2273 | alsIdenEClass.getESuperTypes().add(this.getALSTerm()); |
2202 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); | 2274 | alsUnivEClass.getESuperTypes().add(this.getALSTerm()); |
2203 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); | 2275 | alsIntEClass.getESuperTypes().add(this.getALSTerm()); |
2276 | alsStringEClass.getESuperTypes().add(this.getALSTerm()); | ||
2204 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); | 2277 | alsReferenceEClass.getESuperTypes().add(this.getALSTerm()); |
2205 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); | 2278 | alsNumberLiteralEClass.getESuperTypes().add(this.getALSTerm()); |
2279 | alsStringLiteralEClass.getESuperTypes().add(this.getALSTerm()); | ||
2206 | 2280 | ||
2207 | // Initialize classes and features; add operations and parameters | 2281 | // Initialize classes and features; add operations and parameters |
2208 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2282 | initEClass(alsDocumentEClass, ALSDocument.class, "ALSDocument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -2268,6 +2342,8 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2268 | 2342 | ||
2269 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2343 | initEClass(alsIntScopeEClass, ALSIntScope.class, "ALSIntScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2270 | 2344 | ||
2345 | initEClass(alsStringScopeEClass, ALSStringScope.class, "ALSStringScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2346 | |||
2271 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2347 | initEClass(alsQuantifiedExEClass, ALSQuantifiedEx.class, "ALSQuantifiedEx", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2272 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2348 | initEAttribute(getALSQuantifiedEx_Type(), this.getALSMultiplicity(), "type", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2273 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2349 | initEAttribute(getALSQuantifiedEx_Disj(), ecorePackage.getEBoolean(), "disj", null, 0, 1, ALSQuantifiedEx.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
@@ -2388,12 +2464,17 @@ public class AlloyLanguagePackageImpl extends EPackageImpl implements AlloyLangu | |||
2388 | 2464 | ||
2389 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2465 | initEClass(alsIntEClass, ALSInt.class, "ALSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2390 | 2466 | ||
2467 | initEClass(alsStringEClass, ALSString.class, "ALSString", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2468 | |||
2391 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2469 | initEClass(alsReferenceEClass, ALSReference.class, "ALSReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2392 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2470 | initEReference(getALSReference_Referred(), this.getALSRelationDeclaration(), null, "referred", null, 0, 1, ALSReference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2393 | 2471 | ||
2394 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 2472 | initEClass(alsNumberLiteralEClass, ALSNumberLiteral.class, "ALSNumberLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
2395 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 2473 | initEAttribute(getALSNumberLiteral_Value(), ecorePackage.getEInt(), "value", null, 0, 1, ALSNumberLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
2396 | 2474 | ||
2475 | initEClass(alsStringLiteralEClass, ALSStringLiteral.class, "ALSStringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
2476 | initEAttribute(getALSStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, ALSStringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
2477 | |||
2397 | // Initialize enums and add enum literals | 2478 | // Initialize enums and add enum literals |
2398 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); | 2479 | initEEnum(alsMultiplicityEEnum, ALSMultiplicity.class, "ALSMultiplicity"); |
2399 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); | 2480 | addEEnumLiteral(alsMultiplicityEEnum, ALSMultiplicity.ALL); |