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.java505
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..a2c3d17b 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.21.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 * <!-- 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-29 04:38:54 +0000