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