diff options
author | 2021-01-14 13:07:08 -0500 | |
---|---|---|
committer | 2021-01-14 13:07:08 -0500 | |
commit | 0de1dbfaed208ba70863abe3671f868f168bc9cd (patch) | |
tree | 24961120f0d94d4da6fd1ac03e6776e224d493b0 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java | |
parent | Add aird file for crossingScenario Ecore (diff) | |
download | VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.gz VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.zst VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.zip |
Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals
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 | 496 |
1 files changed, 248 insertions, 248 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 a2c3d17b..ba872400 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,248 +1,248 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.21.0 | 2 | * generated by Xtext 2.21.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 | * <!-- end-user-doc --> | 56 | * <!-- end-user-doc --> |
57 | * @see #SMT_SOLVER | 57 | * @see #SMT_SOLVER |
58 | * @model name="SMTSolver" | 58 | * @model name="SMTSolver" |
59 | * @generated | 59 | * @generated |
60 | * @ordered | 60 | * @ordered |
61 | */ | 61 | */ |
62 | public static final int SMT_SOLVER_VALUE = 0; | 62 | public static final int SMT_SOLVER_VALUE = 0; |
63 | 63 | ||
64 | /** | 64 | /** |
65 | * The '<em><b>Alloy Solver</b></em>' literal value. | 65 | * The '<em><b>Alloy Solver</b></em>' literal value. |
66 | * <!-- begin-user-doc --> | 66 | * <!-- begin-user-doc --> |
67 | * <!-- end-user-doc --> | 67 | * <!-- end-user-doc --> |
68 | * @see #ALLOY_SOLVER | 68 | * @see #ALLOY_SOLVER |
69 | * @model name="AlloySolver" | 69 | * @model name="AlloySolver" |
70 | * @generated | 70 | * @generated |
71 | * @ordered | 71 | * @ordered |
72 | */ | 72 | */ |
73 | public static final int ALLOY_SOLVER_VALUE = 1; | 73 | public static final int ALLOY_SOLVER_VALUE = 1; |
74 | 74 | ||
75 | /** | 75 | /** |
76 | * The '<em><b>Viatra Solver</b></em>' literal value. | 76 | * The '<em><b>Viatra Solver</b></em>' literal value. |
77 | * <!-- begin-user-doc --> | 77 | * <!-- begin-user-doc --> |
78 | * <!-- end-user-doc --> | 78 | * <!-- end-user-doc --> |
79 | * @see #VIATRA_SOLVER | 79 | * @see #VIATRA_SOLVER |
80 | * @model name="ViatraSolver" | 80 | * @model name="ViatraSolver" |
81 | * @generated | 81 | * @generated |
82 | * @ordered | 82 | * @ordered |
83 | */ | 83 | */ |
84 | public static final int VIATRA_SOLVER_VALUE = 2; | 84 | public static final int VIATRA_SOLVER_VALUE = 2; |
85 | 85 | ||
86 | /** | 86 | /** |
87 | * An array of all the '<em><b>Solver</b></em>' enumerators. | 87 | * An array of all the '<em><b>Solver</b></em>' enumerators. |
88 | * <!-- begin-user-doc --> | 88 | * <!-- begin-user-doc --> |
89 | * <!-- end-user-doc --> | 89 | * <!-- end-user-doc --> |
90 | * @generated | 90 | * @generated |
91 | */ | 91 | */ |
92 | private static final Solver[] VALUES_ARRAY = | 92 | private static final Solver[] VALUES_ARRAY = |
93 | new Solver[] | 93 | new Solver[] |
94 | { | 94 | { |
95 | SMT_SOLVER, | 95 | SMT_SOLVER, |
96 | ALLOY_SOLVER, | 96 | ALLOY_SOLVER, |
97 | VIATRA_SOLVER, | 97 | VIATRA_SOLVER, |
98 | }; | 98 | }; |
99 | 99 | ||
100 | /** | 100 | /** |
101 | * A public read-only list of all the '<em><b>Solver</b></em>' enumerators. | 101 | * A public read-only list of all the '<em><b>Solver</b></em>' enumerators. |
102 | * <!-- begin-user-doc --> | 102 | * <!-- begin-user-doc --> |
103 | * <!-- end-user-doc --> | 103 | * <!-- end-user-doc --> |
104 | * @generated | 104 | * @generated |
105 | */ | 105 | */ |
106 | public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | 106 | public static final List<Solver> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); |
107 | 107 | ||
108 | /** | 108 | /** |
109 | * Returns the '<em><b>Solver</b></em>' literal with the specified literal value. | 109 | * Returns the '<em><b>Solver</b></em>' literal with the specified literal value. |
110 | * <!-- begin-user-doc --> | 110 | * <!-- begin-user-doc --> |
111 | * <!-- end-user-doc --> | 111 | * <!-- end-user-doc --> |
112 | * @param literal the literal. | 112 | * @param literal the literal. |
113 | * @return the matching enumerator or <code>null</code>. | 113 | * @return the matching enumerator or <code>null</code>. |
114 | * @generated | 114 | * @generated |
115 | */ | 115 | */ |
116 | public static Solver get(String literal) | 116 | public static Solver get(String literal) |
117 | { | 117 | { |
118 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 118 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
119 | { | 119 | { |
120 | Solver result = VALUES_ARRAY[i]; | 120 | Solver result = VALUES_ARRAY[i]; |
121 | if (result.toString().equals(literal)) | 121 | if (result.toString().equals(literal)) |
122 | { | 122 | { |
123 | return result; | 123 | return result; |
124 | } | 124 | } |
125 | } | 125 | } |
126 | return null; | 126 | return null; |
127 | } | 127 | } |
128 | 128 | ||
129 | /** | 129 | /** |
130 | * Returns the '<em><b>Solver</b></em>' literal with the specified name. | 130 | * Returns the '<em><b>Solver</b></em>' literal with the specified name. |
131 | * <!-- begin-user-doc --> | 131 | * <!-- begin-user-doc --> |
132 | * <!-- end-user-doc --> | 132 | * <!-- end-user-doc --> |
133 | * @param name the name. | 133 | * @param name the name. |
134 | * @return the matching enumerator or <code>null</code>. | 134 | * @return the matching enumerator or <code>null</code>. |
135 | * @generated | 135 | * @generated |
136 | */ | 136 | */ |
137 | public static Solver getByName(String name) | 137 | public static Solver getByName(String name) |
138 | { | 138 | { |
139 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | 139 | for (int i = 0; i < VALUES_ARRAY.length; ++i) |
140 | { | 140 | { |
141 | Solver result = VALUES_ARRAY[i]; | 141 | Solver result = VALUES_ARRAY[i]; |
142 | if (result.getName().equals(name)) | 142 | if (result.getName().equals(name)) |
143 | { | 143 | { |
144 | return result; | 144 | return result; |
145 | } | 145 | } |
146 | } | 146 | } |
147 | return null; | 147 | return null; |
148 | } | 148 | } |
149 | 149 | ||
150 | /** | 150 | /** |
151 | * Returns the '<em><b>Solver</b></em>' literal with the specified integer value. | 151 | * Returns the '<em><b>Solver</b></em>' literal with the specified integer value. |
152 | * <!-- begin-user-doc --> | 152 | * <!-- begin-user-doc --> |
153 | * <!-- end-user-doc --> | 153 | * <!-- end-user-doc --> |
154 | * @param value the integer value. | 154 | * @param value the integer value. |
155 | * @return the matching enumerator or <code>null</code>. | 155 | * @return the matching enumerator or <code>null</code>. |
156 | * @generated | 156 | * @generated |
157 | */ | 157 | */ |
158 | public static Solver get(int value) | 158 | public static Solver get(int value) |
159 | { | 159 | { |
160 | switch (value) | 160 | switch (value) |
161 | { | 161 | { |
162 | case SMT_SOLVER_VALUE: return SMT_SOLVER; | 162 | case SMT_SOLVER_VALUE: return SMT_SOLVER; |
163 | case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; | 163 | case ALLOY_SOLVER_VALUE: return ALLOY_SOLVER; |
164 | case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; | 164 | case VIATRA_SOLVER_VALUE: return VIATRA_SOLVER; |
165 | } | 165 | } |
166 | return null; | 166 | return null; |
167 | } | 167 | } |
168 | 168 | ||
169 | /** | 169 | /** |
170 | * <!-- begin-user-doc --> | 170 | * <!-- begin-user-doc --> |
171 | * <!-- end-user-doc --> | 171 | * <!-- end-user-doc --> |
172 | * @generated | 172 | * @generated |
173 | */ | 173 | */ |
174 | private final int value; | 174 | private final int value; |
175 | 175 | ||
176 | /** | 176 | /** |
177 | * <!-- begin-user-doc --> | 177 | * <!-- begin-user-doc --> |
178 | * <!-- end-user-doc --> | 178 | * <!-- end-user-doc --> |
179 | * @generated | 179 | * @generated |
180 | */ | 180 | */ |
181 | private final String name; | 181 | private final String name; |
182 | 182 | ||
183 | /** | 183 | /** |
184 | * <!-- begin-user-doc --> | 184 | * <!-- begin-user-doc --> |
185 | * <!-- end-user-doc --> | 185 | * <!-- end-user-doc --> |
186 | * @generated | 186 | * @generated |
187 | */ | 187 | */ |
188 | private final String literal; | 188 | private final String literal; |
189 | 189 | ||
190 | /** | 190 | /** |
191 | * Only this class can construct instances. | 191 | * Only this class can construct instances. |
192 | * <!-- begin-user-doc --> | 192 | * <!-- begin-user-doc --> |
193 | * <!-- end-user-doc --> | 193 | * <!-- end-user-doc --> |
194 | * @generated | 194 | * @generated |
195 | */ | 195 | */ |
196 | private Solver(int value, String name, String literal) | 196 | private Solver(int value, String name, String literal) |
197 | { | 197 | { |
198 | this.value = value; | 198 | this.value = value; |
199 | this.name = name; | 199 | this.name = name; |
200 | this.literal = literal; | 200 | this.literal = literal; |
201 | } | 201 | } |
202 | 202 | ||
203 | /** | 203 | /** |
204 | * <!-- begin-user-doc --> | 204 | * <!-- begin-user-doc --> |
205 | * <!-- end-user-doc --> | 205 | * <!-- end-user-doc --> |
206 | * @generated | 206 | * @generated |
207 | */ | 207 | */ |
208 | @Override | 208 | @Override |
209 | public int getValue() | 209 | public int getValue() |
210 | { | 210 | { |
211 | return value; | 211 | return value; |
212 | } | 212 | } |
213 | 213 | ||
214 | /** | 214 | /** |
215 | * <!-- begin-user-doc --> | 215 | * <!-- begin-user-doc --> |
216 | * <!-- end-user-doc --> | 216 | * <!-- end-user-doc --> |
217 | * @generated | 217 | * @generated |
218 | */ | 218 | */ |
219 | @Override | 219 | @Override |
220 | public String getName() | 220 | public String getName() |
221 | { | 221 | { |
222 | return name; | 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 | @Override | 230 | @Override |
231 | public String getLiteral() | 231 | public String getLiteral() |
232 | { | 232 | { |
233 | return literal; | 233 | return literal; |
234 | } | 234 | } |
235 | 235 | ||
236 | /** | 236 | /** |
237 | * Returns the literal value of the enumerator, which is its string representation. | 237 | * Returns the literal value of the enumerator, which is its string representation. |
238 | * <!-- begin-user-doc --> | 238 | * <!-- begin-user-doc --> |
239 | * <!-- end-user-doc --> | 239 | * <!-- end-user-doc --> |
240 | * @generated | 240 | * @generated |
241 | */ | 241 | */ |
242 | @Override | 242 | @Override |
243 | public String toString() | 243 | public String toString() |
244 | { | 244 | { |
245 | return literal; | 245 | return literal; |
246 | } | 246 | } |
247 | 247 | ||
248 | } //Solver | 248 | } //Solver |