diff options
author | 2020-04-26 18:23:13 -0400 | |
---|---|---|
committer | 2020-04-26 18:23:13 -0400 | |
commit | c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e (patch) | |
tree | 0c2e212e4e95c1d2311629128641d5cd561210f3 /Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java | |
parent | Merge branch 'Attribute-Solver' (diff) | |
download | VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.tar.gz VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.tar.zst VIATRA-Generator-c0a758eedd457a5d8eb9f1a6c17fc24143aabb3e.zip |
Add PLEDGE case study files
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java | 255 |
1 files changed, 255 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java new file mode 100644 index 00000000..2b3969c3 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/src/Taxation/Tax_Office.java | |||
@@ -0,0 +1,255 @@ | |||
1 | /** | ||
2 | */ | ||
3 | package Taxation; | ||
4 | |||
5 | import java.util.Arrays; | ||
6 | import java.util.Collections; | ||
7 | import java.util.List; | ||
8 | |||
9 | import org.eclipse.emf.common.util.Enumerator; | ||
10 | |||
11 | /** | ||
12 | * <!-- begin-user-doc --> | ||
13 | * A representation of the literals of the enumeration '<em><b>Tax Office</b></em>', | ||
14 | * and utility methods for working with them. | ||
15 | * <!-- end-user-doc --> | ||
16 | * @see Taxation.TaxationPackage#getTax_Office() | ||
17 | * @model | ||
18 | * @generated | ||
19 | */ | ||
20 | public enum Tax_Office implements Enumerator { | ||
21 | /** | ||
22 | * The '<em><b>RTS 2</b></em>' literal object. | ||
23 | * <!-- begin-user-doc --> | ||
24 | * <!-- end-user-doc --> | ||
25 | * @see #RTS_2_VALUE | ||
26 | * @generated | ||
27 | * @ordered | ||
28 | */ | ||
29 | RTS_2(0, "RTS_2", "RTS_2"), | ||
30 | |||
31 | /** | ||
32 | * The '<em><b>RTS 3</b></em>' literal object. | ||
33 | * <!-- begin-user-doc --> | ||
34 | * <!-- end-user-doc --> | ||
35 | * @see #RTS_3_VALUE | ||
36 | * @generated | ||
37 | * @ordered | ||
38 | */ | ||
39 | RTS_3(1, "RTS_3", "RTS_3"), | ||
40 | |||
41 | /** | ||
42 | * The '<em><b>RTS 4</b></em>' literal object. | ||
43 | * <!-- begin-user-doc --> | ||
44 | * <!-- end-user-doc --> | ||
45 | * @see #RTS_4_VALUE | ||
46 | * @generated | ||
47 | * @ordered | ||
48 | */ | ||
49 | RTS_4(2, "RTS_4", "RTS_4"), | ||
50 | |||
51 | /** | ||
52 | * The '<em><b>RTS 5</b></em>' literal object. | ||
53 | * <!-- begin-user-doc --> | ||
54 | * <!-- end-user-doc --> | ||
55 | * @see #RTS_5_VALUE | ||
56 | * @generated | ||
57 | * @ordered | ||
58 | */ | ||
59 | RTS_5(3, "RTS_5", "RTS_5"); | ||
60 | |||
61 | /** | ||
62 | * The '<em><b>RTS 2</b></em>' literal value. | ||
63 | * <!-- begin-user-doc --> | ||
64 | * <!-- end-user-doc --> | ||
65 | * @see #RTS_2 | ||
66 | * @model | ||
67 | * @generated | ||
68 | * @ordered | ||
69 | */ | ||
70 | public static final int RTS_2_VALUE = 0; | ||
71 | |||
72 | /** | ||
73 | * The '<em><b>RTS 3</b></em>' literal value. | ||
74 | * <!-- begin-user-doc --> | ||
75 | * <!-- end-user-doc --> | ||
76 | * @see #RTS_3 | ||
77 | * @model | ||
78 | * @generated | ||
79 | * @ordered | ||
80 | */ | ||
81 | public static final int RTS_3_VALUE = 1; | ||
82 | |||
83 | /** | ||
84 | * The '<em><b>RTS 4</b></em>' literal value. | ||
85 | * <!-- begin-user-doc --> | ||
86 | * <!-- end-user-doc --> | ||
87 | * @see #RTS_4 | ||
88 | * @model | ||
89 | * @generated | ||
90 | * @ordered | ||
91 | */ | ||
92 | public static final int RTS_4_VALUE = 2; | ||
93 | |||
94 | /** | ||
95 | * The '<em><b>RTS 5</b></em>' literal value. | ||
96 | * <!-- begin-user-doc --> | ||
97 | * <!-- end-user-doc --> | ||
98 | * @see #RTS_5 | ||
99 | * @model | ||
100 | * @generated | ||
101 | * @ordered | ||
102 | */ | ||
103 | public static final int RTS_5_VALUE = 3; | ||
104 | |||
105 | /** | ||
106 | * An array of all the '<em><b>Tax Office</b></em>' enumerators. | ||
107 | * <!-- begin-user-doc --> | ||
108 | * <!-- end-user-doc --> | ||
109 | * @generated | ||
110 | */ | ||
111 | private static final Tax_Office[] VALUES_ARRAY = | ||
112 | new Tax_Office[] { | ||
113 | RTS_2, | ||
114 | RTS_3, | ||
115 | RTS_4, | ||
116 | RTS_5, | ||
117 | }; | ||
118 | |||
119 | /** | ||
120 | * A public read-only list of all the '<em><b>Tax Office</b></em>' enumerators. | ||
121 | * <!-- begin-user-doc --> | ||
122 | * <!-- end-user-doc --> | ||
123 | * @generated | ||
124 | */ | ||
125 | public static final List<Tax_Office> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); | ||
126 | |||
127 | /** | ||
128 | * Returns the '<em><b>Tax Office</b></em>' literal with the specified literal value. | ||
129 | * <!-- begin-user-doc --> | ||
130 | * <!-- end-user-doc --> | ||
131 | * @param literal the literal. | ||
132 | * @return the matching enumerator or <code>null</code>. | ||
133 | * @generated | ||
134 | */ | ||
135 | public static Tax_Office get(String literal) { | ||
136 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
137 | Tax_Office result = VALUES_ARRAY[i]; | ||
138 | if (result.toString().equals(literal)) { | ||
139 | return result; | ||
140 | } | ||
141 | } | ||
142 | return null; | ||
143 | } | ||
144 | |||
145 | /** | ||
146 | * Returns the '<em><b>Tax Office</b></em>' literal with the specified name. | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @param name the name. | ||
150 | * @return the matching enumerator or <code>null</code>. | ||
151 | * @generated | ||
152 | */ | ||
153 | public static Tax_Office getByName(String name) { | ||
154 | for (int i = 0; i < VALUES_ARRAY.length; ++i) { | ||
155 | Tax_Office result = VALUES_ARRAY[i]; | ||
156 | if (result.getName().equals(name)) { | ||
157 | return result; | ||
158 | } | ||
159 | } | ||
160 | return null; | ||
161 | } | ||
162 | |||
163 | /** | ||
164 | * Returns the '<em><b>Tax Office</b></em>' literal with the specified integer value. | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @param value the integer value. | ||
168 | * @return the matching enumerator or <code>null</code>. | ||
169 | * @generated | ||
170 | */ | ||
171 | public static Tax_Office get(int value) { | ||
172 | switch (value) { | ||
173 | case RTS_2_VALUE: return RTS_2; | ||
174 | case RTS_3_VALUE: return RTS_3; | ||
175 | case RTS_4_VALUE: return RTS_4; | ||
176 | case RTS_5_VALUE: return RTS_5; | ||
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 Tax_Office(int value, String name, String literal) { | ||
209 | this.value = value; | ||
210 | this.name = name; | ||
211 | this.literal = literal; | ||
212 | } | ||
213 | |||
214 | /** | ||
215 | * <!-- begin-user-doc --> | ||
216 | * <!-- end-user-doc --> | ||
217 | * @generated | ||
218 | */ | ||
219 | @Override | ||
220 | public int getValue() { | ||
221 | return value; | ||
222 | } | ||
223 | |||
224 | /** | ||
225 | * <!-- begin-user-doc --> | ||
226 | * <!-- end-user-doc --> | ||
227 | * @generated | ||
228 | */ | ||
229 | @Override | ||
230 | public String getName() { | ||
231 | return name; | ||
232 | } | ||
233 | |||
234 | /** | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @generated | ||
238 | */ | ||
239 | @Override | ||
240 | public String getLiteral() { | ||
241 | return literal; | ||
242 | } | ||
243 | |||
244 | /** | ||
245 | * Returns the literal value of the enumerator, which is its string representation. | ||
246 | * <!-- begin-user-doc --> | ||
247 | * <!-- end-user-doc --> | ||
248 | * @generated | ||
249 | */ | ||
250 | @Override | ||
251 | public String toString() { | ||
252 | return literal; | ||
253 | } | ||
254 | |||
255 | } //Tax_Office | ||