diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/LogicValue.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/LogicValue.java | 271 |
1 files changed, 271 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/LogicValue.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/LogicValue.java new file mode 100644 index 00000000..61be81f7 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/LogicValue.java | |||
@@ -0,0 +1,271 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
5 | |||
6 | import java.util.Arrays; | ||
7 | import java.util.Collections; | ||
8 | import java.util.List; | ||
9 | |||
10 | import org.eclipse.emf.common.util.Enumerator; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * A representation of the literals of the enumeration '<em><b>Logic Value</b></em>', | ||
15 | * and utility methods for working with them. | ||
16 | * <!-- end-user-doc --> | ||
17 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getLogicValue() | ||
18 | * @model | ||
19 | * @generated | ||
20 | */ | ||
21 | public enum LogicValue implements Enumerator | ||
22 | { | ||
23 | /** | ||
24 | * The '<em><b>TRUE</b></em>' literal object. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @see #TRUE_VALUE | ||
28 | * @generated | ||
29 | * @ordered | ||
30 | */ | ||
31 | TRUE(0, "TRUE", "true"), | ||
32 | |||
33 | /** | ||
34 | * The '<em><b>FALSE</b></em>' literal object. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #FALSE_VALUE | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | FALSE(1, "FALSE", "false"), | ||
42 | |||
43 | /** | ||
44 | * The '<em><b>UNKNOWN</b></em>' literal object. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @see #UNKNOWN_VALUE | ||
48 | * @generated | ||
49 | * @ordered | ||
50 | */ | ||
51 | UNKNOWN(2, "UNKNOWN", "unknown"), | ||
52 | |||
53 | /** | ||
54 | * The '<em><b>ERROR</b></em>' literal object. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <!-- end-user-doc --> | ||
57 | * @see #ERROR_VALUE | ||
58 | * @generated | ||
59 | * @ordered | ||
60 | */ | ||
61 | ERROR(3, "ERROR", "error"); | ||
62 | |||
63 | /** | ||
64 | * The '<em><b>TRUE</b></em>' literal value. | ||
65 | * <!-- begin-user-doc --> | ||
66 | * <!-- end-user-doc --> | ||
67 | * @see #TRUE | ||
68 | * @model literal="true" | ||
69 | * @generated | ||
70 | * @ordered | ||
71 | */ | ||
72 | public static final int TRUE_VALUE = 0; | ||
73 | |||
74 | /** | ||
75 | * The '<em><b>FALSE</b></em>' literal value. | ||
76 | * <!-- begin-user-doc --> | ||
77 | * <!-- end-user-doc --> | ||
78 | * @see #FALSE | ||
79 | * @model literal="false" | ||
80 | * @generated | ||
81 | * @ordered | ||
82 | */ | ||
83 | public static final int FALSE_VALUE = 1; | ||
84 | |||
85 | /** | ||
86 | * The '<em><b>UNKNOWN</b></em>' literal value. | ||
87 | * <!-- begin-user-doc --> | ||
88 | * <!-- end-user-doc --> | ||
89 | * @see #UNKNOWN | ||
90 | * @model literal="unknown" | ||
91 | * @generated | ||
92 | * @ordered | ||
93 | */ | ||
94 | public static final int UNKNOWN_VALUE = 2; | ||
95 | |||
96 | /** | ||
97 | * The '<em><b>ERROR</b></em>' literal value. | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @see #ERROR | ||
101 | * @model literal="error" | ||
102 | * @generated | ||
103 | * @ordered | ||
104 | */ | ||
105 | public static final int ERROR_VALUE = 3; | ||
106 | |||
107 | /** | ||
108 | * An array of all the '<em><b>Logic Value</b></em>' enumerators. | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @generated | ||
112 | */ | ||
113 | private static final LogicValue[] VALUES_ARRAY = | ||
114 | new LogicValue[] | ||
115 | { | ||
116 | TRUE, | ||
117 | FALSE, | ||
118 | UNKNOWN, | ||
119 | ERROR, | ||
120 | }; | ||
121 | |||
122 | /** | ||
123 | * A public read-only list of all the '<em><b>Logic Value</b></em>' enumerators. | ||
124 | * <!-- begin-user-doc --> | ||
125 | * <!-- end-user-doc --> | ||
126 | * @generated | ||
127 | */ | ||
128 | public static final List<LogicValue> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
129 | |||
130 | /** | ||
131 | * Returns the '<em><b>Logic Value</b></em>' literal with the specified literal value. | ||
132 | * <!-- begin-user-doc --> | ||
133 | * <!-- end-user-doc --> | ||
134 | * @param literal the literal. | ||
135 | * @return the matching enumerator or <code>null</code>. | ||
136 | * @generated | ||
137 | */ | ||
138 | public static LogicValue get(String literal) | ||
139 | { | ||
140 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
141 | { | ||
142 | LogicValue result = VALUES_ARRAY[i]; | ||
143 | if (result.toString().equals(literal)) | ||
144 | { | ||
145 | return result; | ||
146 | } | ||
147 | } | ||
148 | return null; | ||
149 | } | ||
150 | |||
151 | /** | ||
152 | * Returns the '<em><b>Logic Value</b></em>' literal with the specified name. | ||
153 | * <!-- begin-user-doc --> | ||
154 | * <!-- end-user-doc --> | ||
155 | * @param name the name. | ||
156 | * @return the matching enumerator or <code>null</code>. | ||
157 | * @generated | ||
158 | */ | ||
159 | public static LogicValue getByName(String name) | ||
160 | { | ||
161 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
162 | { | ||
163 | LogicValue result = VALUES_ARRAY[i]; | ||
164 | if (result.getName().equals(name)) | ||
165 | { | ||
166 | return result; | ||
167 | } | ||
168 | } | ||
169 | return null; | ||
170 | } | ||
171 | |||
172 | /** | ||
173 | * Returns the '<em><b>Logic Value</b></em>' literal with the specified integer value. | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @param value the integer value. | ||
177 | * @return the matching enumerator or <code>null</code>. | ||
178 | * @generated | ||
179 | */ | ||
180 | public static LogicValue get(int value) | ||
181 | { | ||
182 | switch (value) | ||
183 | { | ||
184 | case TRUE_VALUE: return TRUE; | ||
185 | case FALSE_VALUE: return FALSE; | ||
186 | case UNKNOWN_VALUE: return UNKNOWN; | ||
187 | case ERROR_VALUE: return ERROR; | ||
188 | } | ||
189 | return null; | ||
190 | } | ||
191 | |||
192 | /** | ||
193 | * <!-- begin-user-doc --> | ||
194 | * <!-- end-user-doc --> | ||
195 | * @generated | ||
196 | */ | ||
197 | private final int value; | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | private final String name; | ||
205 | |||
206 | /** | ||
207 | * <!-- begin-user-doc --> | ||
208 | * <!-- end-user-doc --> | ||
209 | * @generated | ||
210 | */ | ||
211 | private final String literal; | ||
212 | |||
213 | /** | ||
214 | * Only this class can construct instances. | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | private LogicValue(int value, String name, String literal) | ||
220 | { | ||
221 | this.value = value; | ||
222 | this.name = name; | ||
223 | this.literal = literal; | ||
224 | } | ||
225 | |||
226 | /** | ||
227 | * <!-- begin-user-doc --> | ||
228 | * <!-- end-user-doc --> | ||
229 | * @generated | ||
230 | */ | ||
231 | @Override | ||
232 | public int getValue() | ||
233 | { | ||
234 | return value; | ||
235 | } | ||
236 | |||
237 | /** | ||
238 | * <!-- begin-user-doc --> | ||
239 | * <!-- end-user-doc --> | ||
240 | * @generated | ||
241 | */ | ||
242 | @Override | ||
243 | public String getName() | ||
244 | { | ||
245 | return name; | ||
246 | } | ||
247 | |||
248 | /** | ||
249 | * <!-- begin-user-doc --> | ||
250 | * <!-- end-user-doc --> | ||
251 | * @generated | ||
252 | */ | ||
253 | @Override | ||
254 | public String getLiteral() | ||
255 | { | ||
256 | return literal; | ||
257 | } | ||
258 | |||
259 | /** | ||
260 | * Returns the literal value of the enumerator, which is its string representation. | ||
261 | * <!-- begin-user-doc --> | ||
262 | * <!-- end-user-doc --> | ||
263 | * @generated | ||
264 | */ | ||
265 | @Override | ||
266 | public String toString() | ||
267 | { | ||
268 | return literal; | ||
269 | } | ||
270 | |||
271 | } //LogicValue | ||