diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-01-24 01:06:37 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-01-24 01:06:37 +0100 |
commit | e55fc0c91990c1de9cfdc02b5859b7419735abd3 (patch) | |
tree | b0f879a78dad307b5f786f0bdee2107ece8b2444 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java | |
parent | Removed PQuery from API, IQuerySpecification is used instead (diff) | |
download | VIATRA-Generator-e55fc0c91990c1de9cfdc02b5859b7419735abd3.tar.gz VIATRA-Generator-e55fc0c91990c1de9cfdc02b5859b7419735abd3.tar.zst VIATRA-Generator-e55fc0c91990c1de9cfdc02b5859b7419735abd3.zip |
New Scope format: #String += 2..*
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 | 257 |
1 files changed, 257 insertions, 0 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 new file mode 100644 index 00000000..50ffd4e1 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java | |||
@@ -0,0 +1,257 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.10.0 | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; | ||
5 | |||
6 | import java.util.Arrays; | ||
7 | import java.util.Collections; | ||
8 | import java.util.List; | ||
9 | |||
10 | import org.eclipse.emf.common.util.Enumerator; | ||
11 | |||
12 | /** | ||
13 | * <!-- begin-user-doc --> | ||
14 | * A representation of the literals of the enumeration '<em><b>Solver</b></em>', | ||
15 | * and utility methods for working with them. | ||
16 | * <!-- end-user-doc --> | ||
17 | * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getSolver() | ||
18 | * @model | ||
19 | * @generated | ||
20 | */ | ||
21 | public enum Solver implements Enumerator | ||
22 | { | ||
23 | /** | ||
24 | * The '<em><b>SMT Solver</b></em>' literal object. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @see #SMT_SOLVER_VALUE | ||
28 | * @generated | ||
29 | * @ordered | ||
30 | */ | ||
31 | SMT_SOLVER(0, "SMTSolver", "SMTSolver"), | ||
32 | |||
33 | /** | ||
34 | * The '<em><b>Alloy Solver</b></em>' literal object. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #ALLOY_SOLVER_VALUE | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | ALLOY_SOLVER(1, "AlloySolver", "AlloySolver"), | ||
42 | |||
43 | /** | ||
44 | * The '<em><b>Viatra Solver</b></em>' literal object. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @see #VIATRA_SOLVER_VALUE | ||
48 | * @generated | ||
49 | * @ordered | ||
50 | */ | ||
51 | VIATRA_SOLVER(2, "ViatraSolver", "ViatraSolver"); | ||
52 | |||
53 | /** | ||
54 | * The '<em><b>SMT Solver</b></em>' literal value. | ||
55 | * <!-- begin-user-doc --> | ||
56 | * <p> | ||
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... | ||
59 | * </p> | ||
60 | * <!-- end-user-doc --> | ||
61 | * @see #SMT_SOLVER | ||
62 | * @model name="SMTSolver" | ||
63 | * @generated | ||
64 | * @ordered | ||
65 | */ | ||
66 | public static final int SMT_SOLVER_VALUE = 0; | ||
67 | |||
68 | /** | ||
69 | * The '<em><b>Alloy Solver</b></em>' literal value. | ||
70 | * <!-- begin-user-doc --> | ||
71 | * <p> | ||
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... | ||
74 | * </p> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #ALLOY_SOLVER | ||
77 | * @model name="AlloySolver" | ||
78 | * @generated | ||
79 | * @ordered | ||
80 | */ | ||
81 | public static final int ALLOY_SOLVER_VALUE = 1; | ||
82 | |||
83 | /** | ||
84 | * The '<em><b>Viatra Solver</b></em>' literal value. | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <p> | ||
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... | ||
89 | * </p> | ||
90 | * <!-- end-user-doc --> | ||
91 | * @see #VIATRA_SOLVER | ||
92 | * @model name="ViatraSolver" | ||
93 | * @generated | ||
94 | * @ordered | ||
95 | */ | ||
96 | public static final int VIATRA_SOLVER_VALUE = 2; | ||
97 | |||
98 | /** | ||
99 | * An array of all the '<em><b>Solver</b></em>' enumerators. | ||
100 | * <!-- begin-user-doc --> | ||
101 | * <!-- end-user-doc --> | ||
102 | * @generated | ||
103 | */ | ||
104 | private static final Solver[] VALUES_ARRAY = | ||
105 | new Solver[] | ||
106 | { | ||
107 | SMT_SOLVER, | ||
108 | ALLOY_SOLVER, | ||
109 | VIATRA_SOLVER, | ||
110 | }; | ||
111 | |||
112 | /** | ||
113 | * A public read-only list of all the '<em><b>Solver</b></em>' enumerators. | ||
114 | * <!-- begin-user-doc --> | ||
115 | * <!-- end-user-doc --> | ||
116 | * @generated | ||
117 | */ | ||
118 | public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
119 | |||
120 | /** | ||
121 | * Returns the '<em><b>Solver</b></em>' literal with the specified literal value. | ||
122 | * <!-- begin-user-doc --> | ||
123 | * <!-- end-user-doc --> | ||
124 | * @param literal the literal. | ||
125 | * @return the matching enumerator or <code>null</code>. | ||
126 | * @generated | ||
127 | */ | ||
128 | public static Solver get(String literal) | ||
129 | { | ||
130 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
131 | { | ||
132 | Solver result = VALUES_ARRAY[i]; | ||
133 | if (result.toString().equals(literal)) | ||
134 | { | ||
135 | return result; | ||
136 | } | ||
137 | } | ||
138 | return null; | ||
139 | } | ||
140 | |||
141 | /** | ||
142 | * Returns the '<em><b>Solver</b></em>' literal with the specified name. | ||
143 | * <!-- begin-user-doc --> | ||
144 | * <!-- end-user-doc --> | ||
145 | * @param name the name. | ||
146 | * @return the matching enumerator or <code>null</code>. | ||
147 | * @generated | ||
148 | */ | ||
149 | public static Solver getByName(String name) | ||
150 | { | ||
151 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
152 | { | ||
153 | Solver result = VALUES_ARRAY[i]; | ||
154 | if (result.getName().equals(name)) | ||
155 | { | ||
156 | return result; | ||
157 | } | ||
158 | } | ||
159 | return null; | ||
160 | } | ||
161 | |||
162 | /** | ||
163 | * Returns the '<em><b>Solver</b></em>' literal with the specified integer value. | ||
164 | * <!-- begin-user-doc --> | ||
165 | * <!-- end-user-doc --> | ||
166 | * @param value the integer value. | ||
167 | * @return the matching enumerator or <code>null</code>. | ||
168 | * @generated | ||
169 | */ | ||
170 | public static Solver get(int value) | ||
171 | { | ||
172 | switch (value) | ||
173 | { | ||
174 | case SMT_SOLVER_VALUE: return SMT_SOLVER; | ||
175 | case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; | ||
176 | case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; | ||
177 | } | ||
178 | return null; | ||
179 | } | ||
180 | |||
181 | /** | ||
182 | * <!-- begin-user-doc --> | ||
183 | * <!-- end-user-doc --> | ||
184 | * @generated | ||
185 | */ | ||
186 | private final int value; | ||
187 | |||
188 | /** | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | */ | ||
193 | private final String name; | ||
194 | |||
195 | /** | ||
196 | * <!-- begin-user-doc --> | ||
197 | * <!-- end-user-doc --> | ||
198 | * @generated | ||
199 | */ | ||
200 | private final String literal; | ||
201 | |||
202 | /** | ||
203 | * Only this class can construct instances. | ||
204 | * <!-- begin-user-doc --> | ||
205 | * <!-- end-user-doc --> | ||
206 | * @generated | ||
207 | */ | ||
208 | private Solver(int value, String name, String literal) | ||
209 | { | ||
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 | public int getValue() | ||
221 | { | ||
222 | return value; | ||
223 | } | ||
224 | |||
225 | /** | ||
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @generated | ||
229 | */ | ||
230 | public String getName() | ||
231 | { | ||
232 | return name; | ||
233 | } | ||
234 | |||
235 | /** | ||
236 | * <!-- begin-user-doc --> | ||
237 | * <!-- end-user-doc --> | ||
238 | * @generated | ||
239 | */ | ||
240 | public String getLiteral() | ||
241 | { | ||
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 | { | ||
254 | return literal; | ||
255 | } | ||
256 | |||
257 | } //Solver | ||