diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSMultiplicity.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSMultiplicity.java | 337 |
1 files changed, 337 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSMultiplicity.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSMultiplicity.java new file mode 100644 index 00000000..3daae100 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSMultiplicity.java | |||
@@ -0,0 +1,337 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.alloyLanguage; | ||
4 | |||
5 | import java.util.Arrays; | ||
6 | import java.util.Collections; | ||
7 | import java.util.List; | ||
8 | |||
9 | import org.eclipse.emf.common.util.Enumerator; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the literals of the enumeration '<em><b>ALS Multiplicity</b></em>', | ||
14 | * and utility methods for working with them. | ||
15 | * <!-- end-user-doc --> | ||
16 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSMultiplicity() | ||
17 | * @model | ||
18 | * @generated | ||
19 | */ | ||
20 | public enum ALSMultiplicity implements Enumerator | ||
21 | { | ||
22 | /** | ||
23 | * The '<em><b>All</b></em>' literal object. | ||
24 | * <!-- begin-user-doc --> | ||
25 | * <!-- end-user-doc --> | ||
26 | * @see #ALL_VALUE | ||
27 | * @generated | ||
28 | * @ordered | ||
29 | */ | ||
30 | ALL(0, "all", "all"), | ||
31 | |||
32 | /** | ||
33 | * The '<em><b>No</b></em>' literal object. | ||
34 | * <!-- begin-user-doc --> | ||
35 | * <!-- end-user-doc --> | ||
36 | * @see #NO_VALUE | ||
37 | * @generated | ||
38 | * @ordered | ||
39 | */ | ||
40 | NO(1, "no", "no"), | ||
41 | |||
42 | /** | ||
43 | * The '<em><b>Some</b></em>' literal object. | ||
44 | * <!-- begin-user-doc --> | ||
45 | * <!-- end-user-doc --> | ||
46 | * @see #SOME_VALUE | ||
47 | * @generated | ||
48 | * @ordered | ||
49 | */ | ||
50 | SOME(2, "some", "some"), | ||
51 | |||
52 | /** | ||
53 | * The '<em><b>Lone</b></em>' literal object. | ||
54 | * <!-- begin-user-doc --> | ||
55 | * <!-- end-user-doc --> | ||
56 | * @see #LONE_VALUE | ||
57 | * @generated | ||
58 | * @ordered | ||
59 | */ | ||
60 | LONE(3, "lone", "lone"), | ||
61 | |||
62 | /** | ||
63 | * The '<em><b>One</b></em>' literal object. | ||
64 | * <!-- begin-user-doc --> | ||
65 | * <!-- end-user-doc --> | ||
66 | * @see #ONE_VALUE | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | ONE(4, "one", "one"), | ||
71 | |||
72 | /** | ||
73 | * The '<em><b>Set</b></em>' literal object. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #SET_VALUE | ||
77 | * @generated | ||
78 | * @ordered | ||
79 | */ | ||
80 | SET(5, "set", "set"); | ||
81 | |||
82 | /** | ||
83 | * The '<em><b>All</b></em>' literal value. | ||
84 | * <!-- begin-user-doc --> | ||
85 | * <p> | ||
86 | * If the meaning of '<em><b>All</b></em>' literal object isn't clear, | ||
87 | * there really should be more of a description here... | ||
88 | * </p> | ||
89 | * <!-- end-user-doc --> | ||
90 | * @see #ALL | ||
91 | * @model name="all" | ||
92 | * @generated | ||
93 | * @ordered | ||
94 | */ | ||
95 | public static final int ALL_VALUE = 0; | ||
96 | |||
97 | /** | ||
98 | * The '<em><b>No</b></em>' literal value. | ||
99 | * <!-- begin-user-doc --> | ||
100 | * <p> | ||
101 | * If the meaning of '<em><b>No</b></em>' literal object isn't clear, | ||
102 | * there really should be more of a description here... | ||
103 | * </p> | ||
104 | * <!-- end-user-doc --> | ||
105 | * @see #NO | ||
106 | * @model name="no" | ||
107 | * @generated | ||
108 | * @ordered | ||
109 | */ | ||
110 | public static final int NO_VALUE = 1; | ||
111 | |||
112 | /** | ||
113 | * The '<em><b>Some</b></em>' literal value. | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <p> | ||
116 | * If the meaning of '<em><b>Some</b></em>' literal object isn't clear, | ||
117 | * there really should be more of a description here... | ||
118 | * </p> | ||
119 | * <!-- end-user-doc --> | ||
120 | * @see #SOME | ||
121 | * @model name="some" | ||
122 | * @generated | ||
123 | * @ordered | ||
124 | */ | ||
125 | public static final int SOME_VALUE = 2; | ||
126 | |||
127 | /** | ||
128 | * The '<em><b>Lone</b></em>' literal value. | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <p> | ||
131 | * If the meaning of '<em><b>Lone</b></em>' literal object isn't clear, | ||
132 | * there really should be more of a description here... | ||
133 | * </p> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @see #LONE | ||
136 | * @model name="lone" | ||
137 | * @generated | ||
138 | * @ordered | ||
139 | */ | ||
140 | public static final int LONE_VALUE = 3; | ||
141 | |||
142 | /** | ||
143 | * The '<em><b>One</b></em>' literal value. | ||
144 | * <!-- begin-user-doc --> | ||
145 | * <p> | ||
146 | * If the meaning of '<em><b>One</b></em>' literal object isn't clear, | ||
147 | * there really should be more of a description here... | ||
148 | * </p> | ||
149 | * <!-- end-user-doc --> | ||
150 | * @see #ONE | ||
151 | * @model name="one" | ||
152 | * @generated | ||
153 | * @ordered | ||
154 | */ | ||
155 | public static final int ONE_VALUE = 4; | ||
156 | |||
157 | /** | ||
158 | * The '<em><b>Set</b></em>' literal value. | ||
159 | * <!-- begin-user-doc --> | ||
160 | * <p> | ||
161 | * If the meaning of '<em><b>Set</b></em>' literal object isn't clear, | ||
162 | * there really should be more of a description here... | ||
163 | * </p> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @see #SET | ||
166 | * @model name="set" | ||
167 | * @generated | ||
168 | * @ordered | ||
169 | */ | ||
170 | public static final int SET_VALUE = 5; | ||
171 | |||
172 | /** | ||
173 | * An array of all the '<em><b>ALS Multiplicity</b></em>' enumerators. | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @generated | ||
177 | */ | ||
178 | private static final ALSMultiplicity[] VALUES_ARRAY = | ||
179 | new ALSMultiplicity[] | ||
180 | { | ||
181 | ALL, | ||
182 | NO, | ||
183 | SOME, | ||
184 | LONE, | ||
185 | ONE, | ||
186 | SET, | ||
187 | }; | ||
188 | |||
189 | /** | ||
190 | * A public read-only list of all the '<em><b>ALS Multiplicity</b></em>' enumerators. | ||
191 | * <!-- begin-user-doc --> | ||
192 | * <!-- end-user-doc --> | ||
193 | * @generated | ||
194 | */ | ||
195 | public static final List<ALSMultiplicity> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
196 | |||
197 | /** | ||
198 | * Returns the '<em><b>ALS Multiplicity</b></em>' literal with the specified literal value. | ||
199 | * <!-- begin-user-doc --> | ||
200 | * <!-- end-user-doc --> | ||
201 | * @param literal the literal. | ||
202 | * @return the matching enumerator or <code>null</code>. | ||
203 | * @generated | ||
204 | */ | ||
205 | public static ALSMultiplicity get(String literal) | ||
206 | { | ||
207 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
208 | { | ||
209 | ALSMultiplicity result = VALUES_ARRAY[i]; | ||
210 | if (result.toString().equals(literal)) | ||
211 | { | ||
212 | return result; | ||
213 | } | ||
214 | } | ||
215 | return null; | ||
216 | } | ||
217 | |||
218 | /** | ||
219 | * Returns the '<em><b>ALS Multiplicity</b></em>' literal with the specified name. | ||
220 | * <!-- begin-user-doc --> | ||
221 | * <!-- end-user-doc --> | ||
222 | * @param name the name. | ||
223 | * @return the matching enumerator or <code>null</code>. | ||
224 | * @generated | ||
225 | */ | ||
226 | public static ALSMultiplicity getByName(String name) | ||
227 | { | ||
228 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
229 | { | ||
230 | ALSMultiplicity result = VALUES_ARRAY[i]; | ||
231 | if (result.getName().equals(name)) | ||
232 | { | ||
233 | return result; | ||
234 | } | ||
235 | } | ||
236 | return null; | ||
237 | } | ||
238 | |||
239 | /** | ||
240 | * Returns the '<em><b>ALS Multiplicity</b></em>' literal with the specified integer value. | ||
241 | * <!-- begin-user-doc --> | ||
242 | * <!-- end-user-doc --> | ||
243 | * @param value the integer value. | ||
244 | * @return the matching enumerator or <code>null</code>. | ||
245 | * @generated | ||
246 | */ | ||
247 | public static ALSMultiplicity get(int value) | ||
248 | { | ||
249 | switch (value) | ||
250 | { | ||
251 | case ALL_VALUE: return ALL; | ||
252 | case NO_VALUE: return NO; | ||
253 | case SOME_VALUE: return SOME; | ||
254 | case LONE_VALUE: return LONE; | ||
255 | case ONE_VALUE: return ONE; | ||
256 | case SET_VALUE: return SET; | ||
257 | } | ||
258 | return null; | ||
259 | } | ||
260 | |||
261 | /** | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @generated | ||
265 | */ | ||
266 | private final int value; | ||
267 | |||
268 | /** | ||
269 | * <!-- begin-user-doc --> | ||
270 | * <!-- end-user-doc --> | ||
271 | * @generated | ||
272 | */ | ||
273 | private final String name; | ||
274 | |||
275 | /** | ||
276 | * <!-- begin-user-doc --> | ||
277 | * <!-- end-user-doc --> | ||
278 | * @generated | ||
279 | */ | ||
280 | private final String literal; | ||
281 | |||
282 | /** | ||
283 | * Only this class can construct instances. | ||
284 | * <!-- begin-user-doc --> | ||
285 | * <!-- end-user-doc --> | ||
286 | * @generated | ||
287 | */ | ||
288 | private ALSMultiplicity(int value, String name, String literal) | ||
289 | { | ||
290 | this.value = value; | ||
291 | this.name = name; | ||
292 | this.literal = literal; | ||
293 | } | ||
294 | |||
295 | /** | ||
296 | * <!-- begin-user-doc --> | ||
297 | * <!-- end-user-doc --> | ||
298 | * @generated | ||
299 | */ | ||
300 | public int getValue() | ||
301 | { | ||
302 | return value; | ||
303 | } | ||
304 | |||
305 | /** | ||
306 | * <!-- begin-user-doc --> | ||
307 | * <!-- end-user-doc --> | ||
308 | * @generated | ||
309 | */ | ||
310 | public String getName() | ||
311 | { | ||
312 | return name; | ||
313 | } | ||
314 | |||
315 | /** | ||
316 | * <!-- begin-user-doc --> | ||
317 | * <!-- end-user-doc --> | ||
318 | * @generated | ||
319 | */ | ||
320 | public String getLiteral() | ||
321 | { | ||
322 | return literal; | ||
323 | } | ||
324 | |||
325 | /** | ||
326 | * Returns the literal value of the enumerator, which is its string representation. | ||
327 | * <!-- begin-user-doc --> | ||
328 | * <!-- end-user-doc --> | ||
329 | * @generated | ||
330 | */ | ||
331 | @Override | ||
332 | public String toString() | ||
333 | { | ||
334 | return literal; | ||
335 | } | ||
336 | |||
337 | } //ALSMultiplicity | ||