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 | 505 |
1 files changed, 248 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..b61e6832 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,248 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.17.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 | * <!-- end-user-doc --> |
57 | * If the meaning of '<em><b>SMT Solver</b></em>' literal object isn't clear, | 57 | * @see #SMT_SOLVER |
58 | * there really should be more of a description here... | 58 | * @model name="SMTSolver" |
59 | * </p> | 59 | * @generated |
60 | * <!-- end-user-doc --> | 60 | * @ordered |
61 | * @see #SMT_SOLVER | 61 | */ |
62 | * @model name="SMTSolver" | 62 | public static final int SMT_SOLVER_VALUE = 0; |
63 | * @generated | 63 | |
64 | * @ordered | 64 | /** |
65 | */ | 65 | * The '<em><b>Alloy Solver</b></em>' literal value. |
66 | public static final int SMT_SOLVER_VALUE = 0; | 66 | * <!-- begin-user-doc --> |
67 | 67 | * <!-- end-user-doc --> | |
68 | /** | 68 | * @see #ALLOY_SOLVER |
69 | * The '<em><b>Alloy Solver</b></em>' literal value. | 69 | * @model name="AlloySolver" |
70 | * <!-- begin-user-doc --> | 70 | * @generated |
71 | * <p> | 71 | * @ordered |
72 | * If the meaning of '<em><b>Alloy Solver</b></em>' literal object isn't clear, | 72 | */ |
73 | * there really should be more of a description here... | 73 | public static final int ALLOY_SOLVER_VALUE = 1; |
74 | * </p> | 74 | |
75 | * <!-- end-user-doc --> | 75 | /** |
76 | * @see #ALLOY_SOLVER | 76 | * The '<em><b>Viatra Solver</b></em>' literal value. |
77 | * @model name="AlloySolver" | 77 | * <!-- begin-user-doc --> |
78 | * @generated | 78 | * <!-- end-user-doc --> |
79 | * @ordered | 79 | * @see #VIATRA_SOLVER |
80 | */ | 80 | * @model name="ViatraSolver" |
81 | public static final int ALLOY_SOLVER_VALUE = 1; | 81 | * @generated |
82 | 82 | * @ordered | |
83 | /** | 83 | */ |
84 | * The '<em><b>Viatra Solver</b></em>' literal value. | 84 | public static final int VIATRA_SOLVER_VALUE = 2; |
85 | * <!-- begin-user-doc --> | 85 | |
86 | * <p> | 86 | /** |
87 | * If the meaning of '<em><b>Viatra Solver</b></em>' literal object isn't clear, | 87 | * An array of all the '<em><b>Solver</b></em>' enumerators. |
88 | * there really should be more of a description here... | 88 | * <!-- begin-user-doc --> |
89 | * </p> | 89 | * <!-- end-user-doc --> |
90 | * <!-- end-user-doc --> | 90 | * @generated |
91 | * @see #VIATRA_SOLVER | 91 | */ |
92 | * @model name="ViatraSolver" | 92 | private static final Solver[] VALUES_ARRAY = |
93 | * @generated | 93 | new Solver[] |
94 | * @ordered | 94 | { |
95 | */ | 95 | SMT_SOLVER, |
96 | public static final int VIATRA_SOLVER_VALUE = 2; | 96 | ALLOY_SOLVER, |
97 | 97 | VIATRA_SOLVER, | |
98 | /** | 98 | }; |
99 | * An array of all the '<em><b>Solver</b></em>' enumerators. | 99 | |
100 | * <!-- begin-user-doc --> | 100 | /** |
101 | * <!-- end-user-doc --> | 101 | * A public read-only list of all the '<em><b>Solver</b></em>' enumerators. |
102 | * @generated | 102 | * <!-- begin-user-doc --> |
103 | */ | 103 | * <!-- end-user-doc --> |
104 | private static final Solver[] VALUES_ARRAY = | 104 | * @generated |
105 | new Solver[] | 105 | */ |
106 | { | 106 | public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); |
107 | SMT_SOLVER, | 107 | |
108 | ALLOY_SOLVER, | 108 | /** |
109 | VIATRA_SOLVER, | 109 | * Returns the '<em><b>Solver</b></em>' literal with the specified literal value. |
110 | }; | 110 | * <!-- begin-user-doc --> |
111 | 111 | * <!-- end-user-doc --> | |
112 | /** | 112 | * @param literal the literal. |
113 | * A public read-only list of all the '<em><b>Solver</b></em>' enumerators. | 113 | * @return the matching enumerator or <code>null</code>. |
114 | * <!-- begin-user-doc --> | 114 | * @generated |
115 | * <!-- end-user-doc --> | 115 | */ |
116 | * @generated | 116 | public static Solver get(String literal) |
117 | */ | 117 | { |
118 | public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | 118 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
119 | 119 | { | |
120 | /** | 120 | Solver result = VALUES_ARRAY[i]; |
121 | * Returns the '<em><b>Solver</b></em>' literal with the specified literal value. | 121 | if (result.toString().equals(literal)) |
122 | * <!-- begin-user-doc --> | 122 | { |
123 | * <!-- end-user-doc --> | 123 | return result; |
124 | * @param literal the literal. | 124 | } |
125 | * @return the matching enumerator or <code>null</code>. | 125 | } |
126 | * @generated | 126 | return null; |
127 | */ | 127 | } |
128 | public static Solver get(String literal) | 128 | |
129 | { | 129 | /** |
130 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 130 | * Returns the '<em><b>Solver</b></em>' literal with the specified name. |
131 | { | 131 | * <!-- begin-user-doc --> |
132 | Solver result = VALUES_ARRAY[i]; | 132 | * <!-- end-user-doc --> |
133 | if (result.toString().equals(literal)) | 133 | * @param name the name. |
134 | { | 134 | * @return the matching enumerator or <code>null</code>. |
135 | return result; | 135 | * @generated |
136 | } | 136 | */ |
137 | } | 137 | public static Solver getByName(String name) |
138 | return null; | 138 | { |
139 | } | 139 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
140 | 140 | { | |
141 | /** | 141 | Solver result = VALUES_ARRAY[i]; |
142 | * Returns the '<em><b>Solver</b></em>' literal with the specified name. | 142 | if (result.getName().equals(name)) |
143 | * <!-- begin-user-doc --> | 143 | { |
144 | * <!-- end-user-doc --> | 144 | return result; |
145 | * @param name the name. | 145 | } |
146 | * @return the matching enumerator or <code>null</code>. | 146 | } |
147 | * @generated | 147 | return null; |
148 | */ | 148 | } |
149 | public static Solver getByName(String name) | 149 | |
150 | { | 150 | /** |
151 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 151 | * Returns the '<em><b>Solver</b></em>' literal with the specified integer value. |
152 | { | 152 | * <!-- begin-user-doc --> |
153 | Solver result = VALUES_ARRAY[i]; | 153 | * <!-- end-user-doc --> |
154 | if (result.getName().equals(name)) | 154 | * @param value the integer value. |
155 | { | 155 | * @return the matching enumerator or <code>null</code>. |
156 | return result; | 156 | * @generated |
157 | } | 157 | */ |
158 | } | 158 | public static Solver get(int value) |
159 | return null; | 159 | { |
160 | } | 160 | switch (value) |
161 | 161 | { | |
162 | /** | 162 | case SMT_SOLVER_VALUE: return SMT_SOLVER; |
163 | * Returns the '<em><b>Solver</b></em>' literal with the specified integer value. | 163 | case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; |
164 | * <!-- begin-user-doc --> | 164 | case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; |
165 | * <!-- end-user-doc --> | 165 | } |
166 | * @param value the integer value. | 166 | return null; |
167 | * @return the matching enumerator or <code>null</code>. | 167 | } |
168 | * @generated | 168 | |
169 | */ | 169 | /** |
170 | public static Solver get(int value) | 170 | * <!-- begin-user-doc --> |
171 | { | 171 | * <!-- end-user-doc --> |
172 | switch (value) | 172 | * @generated |
173 | { | 173 | */ |
174 | case SMT_SOLVER_VALUE: return SMT_SOLVER; | 174 | private final int value; |
175 | case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; | 175 | |
176 | case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; | 176 | /** |
177 | } | 177 | * <!-- begin-user-doc --> |
178 | return null; | 178 | * <!-- end-user-doc --> |
179 | } | 179 | * @generated |
180 | 180 | */ | |
181 | /** | 181 | private final String name; |
182 | * <!-- begin-user-doc --> | 182 | |
183 | * <!-- end-user-doc --> | 183 | /** |
184 | * @generated | 184 | * <!-- begin-user-doc --> |
185 | */ | 185 | * <!-- end-user-doc --> |
186 | private final int value; | 186 | * @generated |
187 | 187 | */ | |
188 | /** | 188 | private final String literal; |
189 | * <!-- begin-user-doc --> | 189 | |
190 | * <!-- end-user-doc --> | 190 | /** |
191 | * @generated | 191 | * Only this class can construct instances. |
192 | */ | 192 | * <!-- begin-user-doc --> |
193 | private final String name; | 193 | * <!-- end-user-doc --> |
194 | 194 | * @generated | |
195 | /** | 195 | */ |
196 | * <!-- begin-user-doc --> | 196 | private Solver(int value, String name, String literal) |
197 | * <!-- end-user-doc --> | 197 | { |
198 | * @generated | 198 | this.value = value; |
199 | */ | 199 | this.name = name; |
200 | private final String literal; | 200 | this.literal = literal; |
201 | 201 | } | |
202 | /** | 202 | |
203 | * Only this class can construct instances. | 203 | /** |
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 | @Override |
209 | { | 209 | public int getValue() |
210 | this.value = value; | 210 | { |
211 | this.name = name; | 211 | return value; |
212 | this.literal = literal; | 212 | } |
213 | } | 213 | |
214 | 214 | /** | |
215 | /** | 215 | * <!-- begin-user-doc --> |
216 | * <!-- begin-user-doc --> | 216 | * <!-- end-user-doc --> |
217 | * <!-- end-user-doc --> | 217 | * @generated |
218 | * @generated | 218 | */ |
219 | */ | 219 | @Override |
220 | public int getValue() | 220 | public String getName() |
221 | { | 221 | { |
222 | return value; | 222 | return name; |
223 | } | 223 | } |
224 | 224 | ||
225 | /** | 225 | /** |
226 | * <!-- begin-user-doc --> | 226 | * <!-- begin-user-doc --> |
227 | * <!-- end-user-doc --> | 227 | * <!-- end-user-doc --> |
228 | * @generated | 228 | * @generated |
229 | */ | 229 | */ |
230 | public String getName() | 230 | @Override |
231 | { | 231 | public String getLiteral() |
232 | return name; | 232 | { |
233 | } | 233 | return literal; |
234 | 234 | } | |
235 | /** | 235 | |
236 | * <!-- begin-user-doc --> | 236 | /** |
237 | * <!-- end-user-doc --> | 237 | * Returns the literal value of the enumerator, which is its string representation. |
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 toString() |
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 | } //Solver |
249 | * @generated | ||
250 | */ | ||
251 | @Override | ||
252 | public String toString() | ||
253 | { | ||
254 | return literal; | ||
255 | } | ||
256 | |||
257 | } //Solver | ||