aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
diff options
context:
space:
mode:
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.java517
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 */
4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; 4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5 5
6import java.util.Arrays; 6import java.util.Arrays;
7import java.util.Collections; 7import java.util.Collections;
8import java.util.List; 8import java.util.List;
9 9
10import org.eclipse.emf.common.util.Enumerator; 10import 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 */
21public enum Solver implements Enumerator 21public 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 05:24:54 +0000