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