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