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