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