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