diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ObjectiveKind.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ObjectiveKind.java | 225 |
1 files changed, 0 insertions, 225 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ObjectiveKind.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ObjectiveKind.java deleted file mode 100644 index d3a4f626..00000000 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/ObjectiveKind.java +++ /dev/null | |||
@@ -1,225 +0,0 @@ | |||
1 | /** | ||
2 | * generated by Xtext 2.21.0 | ||
3 | */ | ||
4 | package org.eclipse.viatra.solver.language.solverLanguage; | ||
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>Objective Kind</b></em>', | ||
15 | * and utility methods for working with them. | ||
16 | * <!-- end-user-doc --> | ||
17 | * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getObjectiveKind() | ||
18 | * @model | ||
19 | * @generated | ||
20 | */ | ||
21 | public enum ObjectiveKind implements Enumerator | ||
22 | { | ||
23 | /** | ||
24 | * The '<em><b>MINIMIZE</b></em>' literal object. | ||
25 | * <!-- begin-user-doc --> | ||
26 | * <!-- end-user-doc --> | ||
27 | * @see #MINIMIZE_VALUE | ||
28 | * @generated | ||
29 | * @ordered | ||
30 | */ | ||
31 | MINIMIZE(0, "MINIMIZE", "minimize"), | ||
32 | |||
33 | /** | ||
34 | * The '<em><b>MAXIMIZE</b></em>' literal object. | ||
35 | * <!-- begin-user-doc --> | ||
36 | * <!-- end-user-doc --> | ||
37 | * @see #MAXIMIZE_VALUE | ||
38 | * @generated | ||
39 | * @ordered | ||
40 | */ | ||
41 | MAXIMIZE(1, "MAXIMIZE", "maximize"); | ||
42 | |||
43 | /** | ||
44 | * The '<em><b>MINIMIZE</b></em>' literal value. | ||
45 | * <!-- begin-user-doc --> | ||
46 | * <!-- end-user-doc --> | ||
47 | * @see #MINIMIZE | ||
48 | * @model literal="minimize" | ||
49 | * @generated | ||
50 | * @ordered | ||
51 | */ | ||
52 | public static final int MINIMIZE_VALUE = 0; | ||
53 | |||
54 | /** | ||
55 | * The '<em><b>MAXIMIZE</b></em>' literal value. | ||
56 | * <!-- begin-user-doc --> | ||
57 | * <!-- end-user-doc --> | ||
58 | * @see #MAXIMIZE | ||
59 | * @model literal="maximize" | ||
60 | * @generated | ||
61 | * @ordered | ||
62 | */ | ||
63 | public static final int MAXIMIZE_VALUE = 1; | ||
64 | |||
65 | /** | ||
66 | * An array of all the '<em><b>Objective Kind</b></em>' enumerators. | ||
67 | * <!-- begin-user-doc --> | ||
68 | * <!-- end-user-doc --> | ||
69 | * @generated | ||
70 | */ | ||
71 | private static final ObjectiveKind[] VALUES_ARRAY = | ||
72 | new ObjectiveKind[] | ||
73 | { | ||
74 | MINIMIZE, | ||
75 | MAXIMIZE, | ||
76 | }; | ||
77 | |||
78 | /** | ||
79 | * A public read-only list of all the '<em><b>Objective Kind</b></em>' enumerators. | ||
80 | * <!-- begin-user-doc --> | ||
81 | * <!-- end-user-doc --> | ||
82 | * @generated | ||
83 | */ | ||
84 | public static final List<ObjectiveKind> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
85 | |||
86 | /** | ||
87 | * Returns the '<em><b>Objective Kind</b></em>' literal with the specified literal value. | ||
88 | * <!-- begin-user-doc --> | ||
89 | * <!-- end-user-doc --> | ||
90 | * @param literal the literal. | ||
91 | * @return the matching enumerator or <code>null</code>. | ||
92 | * @generated | ||
93 | */ | ||
94 | public static ObjectiveKind get(String literal) | ||
95 | { | ||
96 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
97 | { | ||
98 | ObjectiveKind result = VALUES_ARRAY[i]; | ||
99 | if (result.toString().equals(literal)) | ||
100 | { | ||
101 | return result; | ||
102 | } | ||
103 | } | ||
104 | return null; | ||
105 | } | ||
106 | |||
107 | /** | ||
108 | * Returns the '<em><b>Objective Kind</b></em>' literal with the specified name. | ||
109 | * <!-- begin-user-doc --> | ||
110 | * <!-- end-user-doc --> | ||
111 | * @param name the name. | ||
112 | * @return the matching enumerator or <code>null</code>. | ||
113 | * @generated | ||
114 | */ | ||
115 | public static ObjectiveKind getByName(String name) | ||
116 | { | ||
117 | for (int i = 0; i < VALUES_ARRAY.length; ++i) | ||
118 | { | ||
119 | ObjectiveKind result = VALUES_ARRAY[i]; | ||
120 | if (result.getName().equals(name)) | ||
121 | { | ||
122 | return result; | ||
123 | } | ||
124 | } | ||
125 | return null; | ||
126 | } | ||
127 | |||
128 | /** | ||
129 | * Returns the '<em><b>Objective Kind</b></em>' literal with the specified integer value. | ||
130 | * <!-- begin-user-doc --> | ||
131 | * <!-- end-user-doc --> | ||
132 | * @param value the integer value. | ||
133 | * @return the matching enumerator or <code>null</code>. | ||
134 | * @generated | ||
135 | */ | ||
136 | public static ObjectiveKind get(int value) | ||
137 | { | ||
138 | switch (value) | ||
139 | { | ||
140 | case MINIMIZE_VALUE: return MINIMIZE; | ||
141 | case MAXIMIZE_VALUE: return MAXIMIZE; | ||
142 | } | ||
143 | return null; | ||
144 | } | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | private final int value; | ||
152 | |||
153 | /** | ||
154 | * <!-- begin-user-doc --> | ||
155 | * <!-- end-user-doc --> | ||
156 | * @generated | ||
157 | */ | ||
158 | private final String name; | ||
159 | |||
160 | /** | ||
161 | * <!-- begin-user-doc --> | ||
162 | * <!-- end-user-doc --> | ||
163 | * @generated | ||
164 | */ | ||
165 | private final String literal; | ||
166 | |||
167 | /** | ||
168 | * Only this class can construct instances. | ||
169 | * <!-- begin-user-doc --> | ||
170 | * <!-- end-user-doc --> | ||
171 | * @generated | ||
172 | */ | ||
173 | private ObjectiveKind(int value, String name, String literal) | ||
174 | { | ||
175 | this.value = value; | ||
176 | this.name = name; | ||
177 | this.literal = literal; | ||
178 | } | ||
179 | |||
180 | /** | ||
181 | * <!-- begin-user-doc --> | ||
182 | * <!-- end-user-doc --> | ||
183 | * @generated | ||
184 | */ | ||
185 | @Override | ||
186 | public int getValue() | ||
187 | { | ||
188 | return value; | ||
189 | } | ||
190 | |||
191 | /** | ||
192 | * <!-- begin-user-doc --> | ||
193 | * <!-- end-user-doc --> | ||
194 | * @generated | ||
195 | */ | ||
196 | @Override | ||
197 | public String getName() | ||
198 | { | ||
199 | return name; | ||
200 | } | ||
201 | |||
202 | /** | ||
203 | * <!-- begin-user-doc --> | ||
204 | * <!-- end-user-doc --> | ||
205 | * @generated | ||
206 | */ | ||
207 | @Override | ||
208 | public String getLiteral() | ||
209 | { | ||
210 | return literal; | ||
211 | } | ||
212 | |||
213 | /** | ||
214 | * Returns the literal value of the enumerator, which is its string representation. | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | @Override | ||
220 | public String toString() | ||
221 | { | ||
222 | return literal; | ||
223 | } | ||
224 | |||
225 | } //ObjectiveKind | ||