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