aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsFactory.java69
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsPackage.java473
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/InverseRelationAssertion.java79
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/LowerMultiplicityAssertion.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/MultiplicityAssertion.java51
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/UpperMultiplicityAssertion.java49
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsFactoryImpl.java128
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsPackageImpl.java301
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/InverseRelationAssertionImpl.java216
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/LowerMultiplicityAssertionImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/MultiplicityAssertionImpl.java156
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/UpperMultiplicityAssertionImpl.java162
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsAdapterFactory.java213
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java216
14 files changed, 2324 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsFactory.java
new file mode 100644
index 00000000..d2781936
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsFactory.java
@@ -0,0 +1,69 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
13 * @generated
14 */
15public interface Ecore2logicannotationsFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 Ecore2logicannotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsFactoryImpl.init();
23
24 /**
25 * Returns a new object of class '<em>Multiplicity Assertion</em>'.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @return a new object of class '<em>Multiplicity Assertion</em>'.
29 * @generated
30 */
31 MultiplicityAssertion createMultiplicityAssertion();
32
33 /**
34 * Returns a new object of class '<em>Inverse Relation Assertion</em>'.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @return a new object of class '<em>Inverse Relation Assertion</em>'.
38 * @generated
39 */
40 InverseRelationAssertion createInverseRelationAssertion();
41
42 /**
43 * Returns a new object of class '<em>Lower Multiplicity Assertion</em>'.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @return a new object of class '<em>Lower Multiplicity Assertion</em>'.
47 * @generated
48 */
49 LowerMultiplicityAssertion createLowerMultiplicityAssertion();
50
51 /**
52 * Returns a new object of class '<em>Upper Multiplicity Assertion</em>'.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return a new object of class '<em>Upper Multiplicity Assertion</em>'.
56 * @generated
57 */
58 UpperMultiplicityAssertion createUpperMultiplicityAssertion();
59
60 /**
61 * Returns the package supported by this factory.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @return the package supported by this factory.
65 * @generated
66 */
67 Ecore2logicannotationsPackage getEcore2logicannotationsPackage();
68
69} //Ecore2logicannotationsFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsPackage.java
new file mode 100644
index 00000000..b53edc84
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/Ecore2logicannotationsPackage.java
@@ -0,0 +1,473 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
6
7import org.eclipse.emf.ecore.EAttribute;
8import org.eclipse.emf.ecore.EClass;
9import org.eclipse.emf.ecore.EPackage;
10import org.eclipse.emf.ecore.EReference;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Package</b> for the model.
15 * It contains accessors for the meta objects to represent
16 * <ul>
17 * <li>each class,</li>
18 * <li>each feature of each class,</li>
19 * <li>each operation of each class,</li>
20 * <li>each enum,</li>
21 * <li>and each data type</li>
22 * </ul>
23 * <!-- end-user-doc -->
24 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsFactory
25 * @model kind="package"
26 * @generated
27 */
28public interface Ecore2logicannotationsPackage extends EPackage {
29 /**
30 * The package name.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 String eNAME = "ecore2logicannotations";
36
37 /**
38 * The package namespace URI.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @generated
42 */
43 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation";
44
45 /**
46 * The package namespace name.
47 * <!-- begin-user-doc -->
48 * <!-- end-user-doc -->
49 * @generated
50 */
51 String eNS_PREFIX = "ecore2logicannotations";
52
53 /**
54 * The singleton instance of the package.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @generated
58 */
59 Ecore2logicannotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl.init();
60
61 /**
62 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.MultiplicityAssertionImpl <em>Multiplicity Assertion</em>}' class.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.MultiplicityAssertionImpl
66 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getMultiplicityAssertion()
67 * @generated
68 */
69 int MULTIPLICITY_ASSERTION = 0;
70
71 /**
72 * The feature id for the '<em><b>Target</b></em>' reference.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 * @ordered
77 */
78 int MULTIPLICITY_ASSERTION__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET;
79
80 /**
81 * The feature id for the '<em><b>Relation</b></em>' reference.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 * @ordered
86 */
87 int MULTIPLICITY_ASSERTION__RELATION = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0;
88
89 /**
90 * The number of structural features of the '<em>Multiplicity Assertion</em>' class.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 * @ordered
95 */
96 int MULTIPLICITY_ASSERTION_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1;
97
98 /**
99 * The number of operations of the '<em>Multiplicity Assertion</em>' class.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 * @ordered
104 */
105 int MULTIPLICITY_ASSERTION_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0;
106
107 /**
108 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl <em>Inverse Relation Assertion</em>}' class.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl
112 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getInverseRelationAssertion()
113 * @generated
114 */
115 int INVERSE_RELATION_ASSERTION = 1;
116
117 /**
118 * The feature id for the '<em><b>Target</b></em>' reference.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 * @ordered
123 */
124 int INVERSE_RELATION_ASSERTION__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET;
125
126 /**
127 * The feature id for the '<em><b>Inverse A</b></em>' reference.
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 * @ordered
132 */
133 int INVERSE_RELATION_ASSERTION__INVERSE_A = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0;
134
135 /**
136 * The feature id for the '<em><b>Inverse B</b></em>' reference.
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @generated
140 * @ordered
141 */
142 int INVERSE_RELATION_ASSERTION__INVERSE_B = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1;
143
144 /**
145 * The number of structural features of the '<em>Inverse Relation Assertion</em>' class.
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 * @ordered
150 */
151 int INVERSE_RELATION_ASSERTION_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 2;
152
153 /**
154 * The number of operations of the '<em>Inverse Relation Assertion</em>' class.
155 * <!-- begin-user-doc -->
156 * <!-- end-user-doc -->
157 * @generated
158 * @ordered
159 */
160 int INVERSE_RELATION_ASSERTION_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0;
161
162 /**
163 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.LowerMultiplicityAssertionImpl <em>Lower Multiplicity Assertion</em>}' class.
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.LowerMultiplicityAssertionImpl
167 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getLowerMultiplicityAssertion()
168 * @generated
169 */
170 int LOWER_MULTIPLICITY_ASSERTION = 2;
171
172 /**
173 * The feature id for the '<em><b>Target</b></em>' reference.
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 * @ordered
178 */
179 int LOWER_MULTIPLICITY_ASSERTION__TARGET = MULTIPLICITY_ASSERTION__TARGET;
180
181 /**
182 * The feature id for the '<em><b>Relation</b></em>' reference.
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 * @ordered
187 */
188 int LOWER_MULTIPLICITY_ASSERTION__RELATION = MULTIPLICITY_ASSERTION__RELATION;
189
190 /**
191 * The feature id for the '<em><b>Lower</b></em>' attribute.
192 * <!-- begin-user-doc -->
193 * <!-- end-user-doc -->
194 * @generated
195 * @ordered
196 */
197 int LOWER_MULTIPLICITY_ASSERTION__LOWER = MULTIPLICITY_ASSERTION_FEATURE_COUNT + 0;
198
199 /**
200 * The number of structural features of the '<em>Lower Multiplicity Assertion</em>' class.
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 * @ordered
205 */
206 int LOWER_MULTIPLICITY_ASSERTION_FEATURE_COUNT = MULTIPLICITY_ASSERTION_FEATURE_COUNT + 1;
207
208 /**
209 * The number of operations of the '<em>Lower Multiplicity Assertion</em>' class.
210 * <!-- begin-user-doc -->
211 * <!-- end-user-doc -->
212 * @generated
213 * @ordered
214 */
215 int LOWER_MULTIPLICITY_ASSERTION_OPERATION_COUNT = MULTIPLICITY_ASSERTION_OPERATION_COUNT + 0;
216
217 /**
218 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.UpperMultiplicityAssertionImpl <em>Upper Multiplicity Assertion</em>}' class.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.UpperMultiplicityAssertionImpl
222 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getUpperMultiplicityAssertion()
223 * @generated
224 */
225 int UPPER_MULTIPLICITY_ASSERTION = 3;
226
227 /**
228 * The feature id for the '<em><b>Target</b></em>' reference.
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 * @ordered
233 */
234 int UPPER_MULTIPLICITY_ASSERTION__TARGET = MULTIPLICITY_ASSERTION__TARGET;
235
236 /**
237 * The feature id for the '<em><b>Relation</b></em>' reference.
238 * <!-- begin-user-doc -->
239 * <!-- end-user-doc -->
240 * @generated
241 * @ordered
242 */
243 int UPPER_MULTIPLICITY_ASSERTION__RELATION = MULTIPLICITY_ASSERTION__RELATION;
244
245 /**
246 * The feature id for the '<em><b>Upper</b></em>' attribute.
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 * @ordered
251 */
252 int UPPER_MULTIPLICITY_ASSERTION__UPPER = MULTIPLICITY_ASSERTION_FEATURE_COUNT + 0;
253
254 /**
255 * The number of structural features of the '<em>Upper Multiplicity Assertion</em>' class.
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 * @ordered
260 */
261 int UPPER_MULTIPLICITY_ASSERTION_FEATURE_COUNT = MULTIPLICITY_ASSERTION_FEATURE_COUNT + 1;
262
263 /**
264 * The number of operations of the '<em>Upper Multiplicity Assertion</em>' class.
265 * <!-- begin-user-doc -->
266 * <!-- end-user-doc -->
267 * @generated
268 * @ordered
269 */
270 int UPPER_MULTIPLICITY_ASSERTION_OPERATION_COUNT = MULTIPLICITY_ASSERTION_OPERATION_COUNT + 0;
271
272
273 /**
274 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion <em>Multiplicity Assertion</em>}'.
275 * <!-- begin-user-doc -->
276 * <!-- end-user-doc -->
277 * @return the meta object for class '<em>Multiplicity Assertion</em>'.
278 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion
279 * @generated
280 */
281 EClass getMultiplicityAssertion();
282
283 /**
284 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion#getRelation <em>Relation</em>}'.
285 * <!-- begin-user-doc -->
286 * <!-- end-user-doc -->
287 * @return the meta object for the reference '<em>Relation</em>'.
288 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion#getRelation()
289 * @see #getMultiplicityAssertion()
290 * @generated
291 */
292 EReference getMultiplicityAssertion_Relation();
293
294 /**
295 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion <em>Inverse Relation Assertion</em>}'.
296 * <!-- begin-user-doc -->
297 * <!-- end-user-doc -->
298 * @return the meta object for class '<em>Inverse Relation Assertion</em>'.
299 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion
300 * @generated
301 */
302 EClass getInverseRelationAssertion();
303
304 /**
305 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseA <em>Inverse A</em>}'.
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @return the meta object for the reference '<em>Inverse A</em>'.
309 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseA()
310 * @see #getInverseRelationAssertion()
311 * @generated
312 */
313 EReference getInverseRelationAssertion_InverseA();
314
315 /**
316 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseB <em>Inverse B</em>}'.
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @return the meta object for the reference '<em>Inverse B</em>'.
320 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseB()
321 * @see #getInverseRelationAssertion()
322 * @generated
323 */
324 EReference getInverseRelationAssertion_InverseB();
325
326 /**
327 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion <em>Lower Multiplicity Assertion</em>}'.
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @return the meta object for class '<em>Lower Multiplicity Assertion</em>'.
331 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion
332 * @generated
333 */
334 EClass getLowerMultiplicityAssertion();
335
336 /**
337 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion#getLower <em>Lower</em>}'.
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @return the meta object for the attribute '<em>Lower</em>'.
341 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion#getLower()
342 * @see #getLowerMultiplicityAssertion()
343 * @generated
344 */
345 EAttribute getLowerMultiplicityAssertion_Lower();
346
347 /**
348 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion <em>Upper Multiplicity Assertion</em>}'.
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @return the meta object for class '<em>Upper Multiplicity Assertion</em>'.
352 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion
353 * @generated
354 */
355 EClass getUpperMultiplicityAssertion();
356
357 /**
358 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion#getUpper <em>Upper</em>}'.
359 * <!-- begin-user-doc -->
360 * <!-- end-user-doc -->
361 * @return the meta object for the attribute '<em>Upper</em>'.
362 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion#getUpper()
363 * @see #getUpperMultiplicityAssertion()
364 * @generated
365 */
366 EAttribute getUpperMultiplicityAssertion_Upper();
367
368 /**
369 * Returns the factory that creates the instances of the model.
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @return the factory that creates the instances of the model.
373 * @generated
374 */
375 Ecore2logicannotationsFactory getEcore2logicannotationsFactory();
376
377 /**
378 * <!-- begin-user-doc -->
379 * Defines literals for the meta objects that represent
380 * <ul>
381 * <li>each class,</li>
382 * <li>each feature of each class,</li>
383 * <li>each operation of each class,</li>
384 * <li>each enum,</li>
385 * <li>and each data type</li>
386 * </ul>
387 * <!-- end-user-doc -->
388 * @generated
389 */
390 interface Literals {
391 /**
392 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.MultiplicityAssertionImpl <em>Multiplicity Assertion</em>}' class.
393 * <!-- begin-user-doc -->
394 * <!-- end-user-doc -->
395 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.MultiplicityAssertionImpl
396 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getMultiplicityAssertion()
397 * @generated
398 */
399 EClass MULTIPLICITY_ASSERTION = eINSTANCE.getMultiplicityAssertion();
400
401 /**
402 * The meta object literal for the '<em><b>Relation</b></em>' reference feature.
403 * <!-- begin-user-doc -->
404 * <!-- end-user-doc -->
405 * @generated
406 */
407 EReference MULTIPLICITY_ASSERTION__RELATION = eINSTANCE.getMultiplicityAssertion_Relation();
408
409 /**
410 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl <em>Inverse Relation Assertion</em>}' class.
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl
414 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getInverseRelationAssertion()
415 * @generated
416 */
417 EClass INVERSE_RELATION_ASSERTION = eINSTANCE.getInverseRelationAssertion();
418
419 /**
420 * The meta object literal for the '<em><b>Inverse A</b></em>' reference feature.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 */
425 EReference INVERSE_RELATION_ASSERTION__INVERSE_A = eINSTANCE.getInverseRelationAssertion_InverseA();
426
427 /**
428 * The meta object literal for the '<em><b>Inverse B</b></em>' reference feature.
429 * <!-- begin-user-doc -->
430 * <!-- end-user-doc -->
431 * @generated
432 */
433 EReference INVERSE_RELATION_ASSERTION__INVERSE_B = eINSTANCE.getInverseRelationAssertion_InverseB();
434
435 /**
436 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.LowerMultiplicityAssertionImpl <em>Lower Multiplicity Assertion</em>}' class.
437 * <!-- begin-user-doc -->
438 * <!-- end-user-doc -->
439 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.LowerMultiplicityAssertionImpl
440 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getLowerMultiplicityAssertion()
441 * @generated
442 */
443 EClass LOWER_MULTIPLICITY_ASSERTION = eINSTANCE.getLowerMultiplicityAssertion();
444
445 /**
446 * The meta object literal for the '<em><b>Lower</b></em>' attribute feature.
447 * <!-- begin-user-doc -->
448 * <!-- end-user-doc -->
449 * @generated
450 */
451 EAttribute LOWER_MULTIPLICITY_ASSERTION__LOWER = eINSTANCE.getLowerMultiplicityAssertion_Lower();
452
453 /**
454 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.UpperMultiplicityAssertionImpl <em>Upper Multiplicity Assertion</em>}' class.
455 * <!-- begin-user-doc -->
456 * <!-- end-user-doc -->
457 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.UpperMultiplicityAssertionImpl
458 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.Ecore2logicannotationsPackageImpl#getUpperMultiplicityAssertion()
459 * @generated
460 */
461 EClass UPPER_MULTIPLICITY_ASSERTION = eINSTANCE.getUpperMultiplicityAssertion();
462
463 /**
464 * The meta object literal for the '<em><b>Upper</b></em>' attribute feature.
465 * <!-- begin-user-doc -->
466 * <!-- end-user-doc -->
467 * @generated
468 */
469 EAttribute UPPER_MULTIPLICITY_ASSERTION__UPPER = eINSTANCE.getUpperMultiplicityAssertion_Upper();
470
471 }
472
473} //Ecore2logicannotationsPackage
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/InverseRelationAssertion.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/InverseRelationAssertion.java
new file mode 100644
index 00000000..cbe8deef
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/InverseRelationAssertion.java
@@ -0,0 +1,79 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
8
9/**
10 * <!-- begin-user-doc -->
11 * A representation of the model object '<em><b>Inverse Relation Assertion</b></em>'.
12 * <!-- end-user-doc -->
13 *
14 * <p>
15 * The following features are supported:
16 * </p>
17 * <ul>
18 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseA <em>Inverse A</em>}</li>
19 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseB <em>Inverse B</em>}</li>
20 * </ul>
21 *
22 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getInverseRelationAssertion()
23 * @model
24 * @generated
25 */
26public interface InverseRelationAssertion extends AssertionAnnotation {
27 /**
28 * Returns the value of the '<em><b>Inverse A</b></em>' reference.
29 * <!-- begin-user-doc -->
30 * <p>
31 * If the meaning of the '<em>Inverse A</em>' reference isn't clear,
32 * there really should be more of a description here...
33 * </p>
34 * <!-- end-user-doc -->
35 * @return the value of the '<em>Inverse A</em>' reference.
36 * @see #setInverseA(Relation)
37 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getInverseRelationAssertion_InverseA()
38 * @model required="true"
39 * @generated
40 */
41 Relation getInverseA();
42
43 /**
44 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseA <em>Inverse A</em>}' reference.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @param value the new value of the '<em>Inverse A</em>' reference.
48 * @see #getInverseA()
49 * @generated
50 */
51 void setInverseA(Relation value);
52
53 /**
54 * Returns the value of the '<em><b>Inverse B</b></em>' reference.
55 * <!-- begin-user-doc -->
56 * <p>
57 * If the meaning of the '<em>Inverse B</em>' reference isn't clear,
58 * there really should be more of a description here...
59 * </p>
60 * <!-- end-user-doc -->
61 * @return the value of the '<em>Inverse B</em>' reference.
62 * @see #setInverseB(Relation)
63 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getInverseRelationAssertion_InverseB()
64 * @model required="true"
65 * @generated
66 */
67 Relation getInverseB();
68
69 /**
70 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion#getInverseB <em>Inverse B</em>}' reference.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @param value the new value of the '<em>Inverse B</em>' reference.
74 * @see #getInverseB()
75 * @generated
76 */
77 void setInverseB(Relation value);
78
79} // InverseRelationAssertion
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/LowerMultiplicityAssertion.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/LowerMultiplicityAssertion.java
new file mode 100644
index 00000000..d9a06c64
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/LowerMultiplicityAssertion.java
@@ -0,0 +1,49 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Lower Multiplicity Assertion</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion#getLower <em>Lower</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getLowerMultiplicityAssertion()
19 * @model
20 * @generated
21 */
22public interface LowerMultiplicityAssertion extends MultiplicityAssertion {
23 /**
24 * Returns the value of the '<em><b>Lower</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Lower</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Lower</em>' attribute.
32 * @see #setLower(int)
33 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getLowerMultiplicityAssertion_Lower()
34 * @model required="true"
35 * @generated
36 */
37 int getLower();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion#getLower <em>Lower</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Lower</em>' attribute.
44 * @see #getLower()
45 * @generated
46 */
47 void setLower(int value);
48
49} // LowerMultiplicityAssertion
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/MultiplicityAssertion.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/MultiplicityAssertion.java
new file mode 100644
index 00000000..d937a97c
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/MultiplicityAssertion.java
@@ -0,0 +1,51 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
6import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
7
8/**
9 * <!-- begin-user-doc -->
10 * A representation of the model object '<em><b>Multiplicity Assertion</b></em>'.
11 * <!-- end-user-doc -->
12 *
13 * <p>
14 * The following features are supported:
15 * </p>
16 * <ul>
17 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion#getRelation <em>Relation</em>}</li>
18 * </ul>
19 *
20 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getMultiplicityAssertion()
21 * @model
22 * @generated
23 */
24public interface MultiplicityAssertion extends AssertionAnnotation {
25
26 /**
27 * Returns the value of the '<em><b>Relation</b></em>' reference.
28 * <!-- begin-user-doc -->
29 * <p>
30 * If the meaning of the '<em>Relation</em>' reference isn't clear,
31 * there really should be more of a description here...
32 * </p>
33 * <!-- end-user-doc -->
34 * @return the value of the '<em>Relation</em>' reference.
35 * @see #setRelation(Relation)
36 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getMultiplicityAssertion_Relation()
37 * @model required="true"
38 * @generated
39 */
40 Relation getRelation();
41
42 /**
43 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion#getRelation <em>Relation</em>}' reference.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @param value the new value of the '<em>Relation</em>' reference.
47 * @see #getRelation()
48 * @generated
49 */
50 void setRelation(Relation value);
51} // MultiplicityAssertion
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/UpperMultiplicityAssertion.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/UpperMultiplicityAssertion.java
new file mode 100644
index 00000000..095ab187
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/UpperMultiplicityAssertion.java
@@ -0,0 +1,49 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Upper Multiplicity Assertion</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion#getUpper <em>Upper</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getUpperMultiplicityAssertion()
19 * @model
20 * @generated
21 */
22public interface UpperMultiplicityAssertion extends MultiplicityAssertion {
23 /**
24 * Returns the value of the '<em><b>Upper</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Upper</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Upper</em>' attribute.
32 * @see #setUpper(int)
33 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#getUpperMultiplicityAssertion_Upper()
34 * @model required="true"
35 * @generated
36 */
37 int getUpper();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion#getUpper <em>Upper</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Upper</em>' attribute.
44 * @see #getUpper()
45 * @generated
46 */
47 void setUpper(int value);
48
49} // UpperMultiplicityAssertion
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsFactoryImpl.java
new file mode 100644
index 00000000..1693c2aa
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsFactoryImpl.java
@@ -0,0 +1,128 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class Ecore2logicannotationsFactoryImpl extends EFactoryImpl implements Ecore2logicannotationsFactory {
22 /**
23 * Creates the default factory implementation.
24 * <!-- begin-user-doc -->
25 * <!-- end-user-doc -->
26 * @generated
27 */
28 public static Ecore2logicannotationsFactory init() {
29 try {
30 Ecore2logicannotationsFactory theEcore2logicannotationsFactory = (Ecore2logicannotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Ecore2logicannotationsPackage.eNS_URI);
31 if (theEcore2logicannotationsFactory != null) {
32 return theEcore2logicannotationsFactory;
33 }
34 }
35 catch (Exception exception) {
36 EcorePlugin.INSTANCE.log(exception);
37 }
38 return new Ecore2logicannotationsFactoryImpl();
39 }
40
41 /**
42 * Creates an instance of the factory.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 public Ecore2logicannotationsFactoryImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 public EObject create(EClass eClass) {
58 switch (eClass.getClassifierID()) {
59 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION: return createMultiplicityAssertion();
60 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION: return createInverseRelationAssertion();
61 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION: return createLowerMultiplicityAssertion();
62 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION: return createUpperMultiplicityAssertion();
63 default:
64 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
65 }
66 }
67
68 /**
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @generated
72 */
73 public MultiplicityAssertion createMultiplicityAssertion() {
74 MultiplicityAssertionImpl multiplicityAssertion = new MultiplicityAssertionImpl();
75 return multiplicityAssertion;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 public InverseRelationAssertion createInverseRelationAssertion() {
84 InverseRelationAssertionImpl inverseRelationAssertion = new InverseRelationAssertionImpl();
85 return inverseRelationAssertion;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 public LowerMultiplicityAssertion createLowerMultiplicityAssertion() {
94 LowerMultiplicityAssertionImpl lowerMultiplicityAssertion = new LowerMultiplicityAssertionImpl();
95 return lowerMultiplicityAssertion;
96 }
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 public UpperMultiplicityAssertion createUpperMultiplicityAssertion() {
104 UpperMultiplicityAssertionImpl upperMultiplicityAssertion = new UpperMultiplicityAssertionImpl();
105 return upperMultiplicityAssertion;
106 }
107
108 /**
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 */
113 public Ecore2logicannotationsPackage getEcore2logicannotationsPackage() {
114 return (Ecore2logicannotationsPackage)getEPackage();
115 }
116
117 /**
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @deprecated
121 * @generated
122 */
123 @Deprecated
124 public static Ecore2logicannotationsPackage getPackage() {
125 return Ecore2logicannotationsPackage.eINSTANCE;
126 }
127
128} //Ecore2logicannotationsFactoryImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsPackageImpl.java
new file mode 100644
index 00000000..33f94c36
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/Ecore2logicannotationsPackageImpl.java
@@ -0,0 +1,301 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsFactory;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage;
7import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion;
8import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion;
9import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion;
10import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion;
11
12import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;
13
14import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
15
16import org.eclipse.emf.ecore.EAttribute;
17import org.eclipse.emf.ecore.EClass;
18import org.eclipse.emf.ecore.EPackage;
19import org.eclipse.emf.ecore.EReference;
20
21import org.eclipse.emf.ecore.impl.EPackageImpl;
22
23/**
24 * <!-- begin-user-doc -->
25 * An implementation of the model <b>Package</b>.
26 * <!-- end-user-doc -->
27 * @generated
28 */
29public class Ecore2logicannotationsPackageImpl extends EPackageImpl implements Ecore2logicannotationsPackage {
30 /**
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 private EClass multiplicityAssertionEClass = null;
36
37 /**
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 private EClass inverseRelationAssertionEClass = null;
43
44 /**
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 private EClass lowerMultiplicityAssertionEClass = null;
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 private EClass upperMultiplicityAssertionEClass = null;
57
58 /**
59 * Creates an instance of the model <b>Package</b>, registered with
60 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
61 * package URI value.
62 * <p>Note: the correct way to create the package is via the static
63 * factory method {@link #init init()}, which also performs
64 * initialization of the package, or returns the registered package,
65 * if one already exists.
66 * <!-- begin-user-doc -->
67 * <!-- end-user-doc -->
68 * @see org.eclipse.emf.ecore.EPackage.Registry
69 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage#eNS_URI
70 * @see #init()
71 * @generated
72 */
73 private Ecore2logicannotationsPackageImpl() {
74 super(eNS_URI, Ecore2logicannotationsFactory.eINSTANCE);
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 private static boolean isInited = false;
83
84 /**
85 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
86 *
87 * <p>This method is used to initialize {@link Ecore2logicannotationsPackage#eINSTANCE} when that field is accessed.
88 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @see #eNS_URI
92 * @see #createPackageContents()
93 * @see #initializePackageContents()
94 * @generated
95 */
96 public static Ecore2logicannotationsPackage init() {
97 if (isInited) return (Ecore2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Ecore2logicannotationsPackage.eNS_URI);
98
99 // Obtain or create and register package
100 Ecore2logicannotationsPackageImpl theEcore2logicannotationsPackage = (Ecore2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Ecore2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Ecore2logicannotationsPackageImpl());
101
102 isInited = true;
103
104 // Initialize simple dependencies
105 LogiclanguagePackage.eINSTANCE.eClass();
106 LogicproblemPackage.eINSTANCE.eClass();
107
108 // Create package meta-data objects
109 theEcore2logicannotationsPackage.createPackageContents();
110
111 // Initialize created meta-data
112 theEcore2logicannotationsPackage.initializePackageContents();
113
114 // Mark meta-data to indicate it can't be changed
115 theEcore2logicannotationsPackage.freeze();
116
117
118 // Update the registry and return the package
119 EPackage.Registry.INSTANCE.put(Ecore2logicannotationsPackage.eNS_URI, theEcore2logicannotationsPackage);
120 return theEcore2logicannotationsPackage;
121 }
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 public EClass getMultiplicityAssertion() {
129 return multiplicityAssertionEClass;
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 public EReference getMultiplicityAssertion_Relation() {
138 return (EReference)multiplicityAssertionEClass.getEStructuralFeatures().get(0);
139 }
140
141 /**
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @generated
145 */
146 public EClass getInverseRelationAssertion() {
147 return inverseRelationAssertionEClass;
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 public EReference getInverseRelationAssertion_InverseA() {
156 return (EReference)inverseRelationAssertionEClass.getEStructuralFeatures().get(0);
157 }
158
159 /**
160 * <!-- begin-user-doc -->
161 * <!-- end-user-doc -->
162 * @generated
163 */
164 public EReference getInverseRelationAssertion_InverseB() {
165 return (EReference)inverseRelationAssertionEClass.getEStructuralFeatures().get(1);
166 }
167
168 /**
169 * <!-- begin-user-doc -->
170 * <!-- end-user-doc -->
171 * @generated
172 */
173 public EClass getLowerMultiplicityAssertion() {
174 return lowerMultiplicityAssertionEClass;
175 }
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 public EAttribute getLowerMultiplicityAssertion_Lower() {
183 return (EAttribute)lowerMultiplicityAssertionEClass.getEStructuralFeatures().get(0);
184 }
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 public EClass getUpperMultiplicityAssertion() {
192 return upperMultiplicityAssertionEClass;
193 }
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 public EAttribute getUpperMultiplicityAssertion_Upper() {
201 return (EAttribute)upperMultiplicityAssertionEClass.getEStructuralFeatures().get(0);
202 }
203
204 /**
205 * <!-- begin-user-doc -->
206 * <!-- end-user-doc -->
207 * @generated
208 */
209 public Ecore2logicannotationsFactory getEcore2logicannotationsFactory() {
210 return (Ecore2logicannotationsFactory)getEFactoryInstance();
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 private boolean isCreated = false;
219
220 /**
221 * Creates the meta-model objects for the package. This method is
222 * guarded to have no affect on any invocation but its first.
223 * <!-- begin-user-doc -->
224 * <!-- end-user-doc -->
225 * @generated
226 */
227 public void createPackageContents() {
228 if (isCreated) return;
229 isCreated = true;
230
231 // Create classes and their features
232 multiplicityAssertionEClass = createEClass(MULTIPLICITY_ASSERTION);
233 createEReference(multiplicityAssertionEClass, MULTIPLICITY_ASSERTION__RELATION);
234
235 inverseRelationAssertionEClass = createEClass(INVERSE_RELATION_ASSERTION);
236 createEReference(inverseRelationAssertionEClass, INVERSE_RELATION_ASSERTION__INVERSE_A);
237 createEReference(inverseRelationAssertionEClass, INVERSE_RELATION_ASSERTION__INVERSE_B);
238
239 lowerMultiplicityAssertionEClass = createEClass(LOWER_MULTIPLICITY_ASSERTION);
240 createEAttribute(lowerMultiplicityAssertionEClass, LOWER_MULTIPLICITY_ASSERTION__LOWER);
241
242 upperMultiplicityAssertionEClass = createEClass(UPPER_MULTIPLICITY_ASSERTION);
243 createEAttribute(upperMultiplicityAssertionEClass, UPPER_MULTIPLICITY_ASSERTION__UPPER);
244 }
245
246 /**
247 * <!-- begin-user-doc -->
248 * <!-- end-user-doc -->
249 * @generated
250 */
251 private boolean isInitialized = false;
252
253 /**
254 * Complete the initialization of the package and its meta-model. This
255 * method is guarded to have no affect on any invocation but its first.
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 */
260 public void initializePackageContents() {
261 if (isInitialized) return;
262 isInitialized = true;
263
264 // Initialize package
265 setName(eNAME);
266 setNsPrefix(eNS_PREFIX);
267 setNsURI(eNS_URI);
268
269 // Obtain other dependent packages
270 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
271 LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
272
273 // Create type parameters
274
275 // Set bounds for type parameters
276
277 // Add supertypes to classes
278 multiplicityAssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());
279 inverseRelationAssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());
280 lowerMultiplicityAssertionEClass.getESuperTypes().add(this.getMultiplicityAssertion());
281 upperMultiplicityAssertionEClass.getESuperTypes().add(this.getMultiplicityAssertion());
282
283 // Initialize classes, features, and operations; add parameters
284 initEClass(multiplicityAssertionEClass, MultiplicityAssertion.class, "MultiplicityAssertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
285 initEReference(getMultiplicityAssertion_Relation(), theLogiclanguagePackage.getRelation(), null, "relation", null, 1, 1, MultiplicityAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
286
287 initEClass(inverseRelationAssertionEClass, InverseRelationAssertion.class, "InverseRelationAssertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
288 initEReference(getInverseRelationAssertion_InverseA(), theLogiclanguagePackage.getRelation(), null, "inverseA", null, 1, 1, InverseRelationAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
289 initEReference(getInverseRelationAssertion_InverseB(), theLogiclanguagePackage.getRelation(), null, "inverseB", null, 1, 1, InverseRelationAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
290
291 initEClass(lowerMultiplicityAssertionEClass, LowerMultiplicityAssertion.class, "LowerMultiplicityAssertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
292 initEAttribute(getLowerMultiplicityAssertion_Lower(), ecorePackage.getEInt(), "lower", null, 1, 1, LowerMultiplicityAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
293
294 initEClass(upperMultiplicityAssertionEClass, UpperMultiplicityAssertion.class, "UpperMultiplicityAssertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
295 initEAttribute(getUpperMultiplicityAssertion_Upper(), ecorePackage.getEInt(), "upper", null, 1, 1, UpperMultiplicityAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
296
297 // Create resource
298 createResource(eNS_URI);
299 }
300
301} //Ecore2logicannotationsPackageImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/InverseRelationAssertionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/InverseRelationAssertionImpl.java
new file mode 100644
index 00000000..a2eb9157
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/InverseRelationAssertionImpl.java
@@ -0,0 +1,216 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion;
7
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
9
10import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl;
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.ecore.EClass;
13
14import org.eclipse.emf.ecore.InternalEObject;
15import org.eclipse.emf.ecore.impl.ENotificationImpl;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Inverse Relation Assertion</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl#getInverseA <em>Inverse A</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.InverseRelationAssertionImpl#getInverseB <em>Inverse B</em>}</li>
27 * </ul>
28 *
29 * @generated
30 */
31public class InverseRelationAssertionImpl extends AssertionAnnotationImpl implements InverseRelationAssertion {
32 /**
33 * The cached value of the '{@link #getInverseA() <em>Inverse A</em>}' reference.
34 * <!-- begin-user-doc -->
35 * <!-- end-user-doc -->
36 * @see #getInverseA()
37 * @generated
38 * @ordered
39 */
40 protected Relation inverseA;
41 /**
42 * The cached value of the '{@link #getInverseB() <em>Inverse B</em>}' reference.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @see #getInverseB()
46 * @generated
47 * @ordered
48 */
49 protected Relation inverseB;
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 protected InverseRelationAssertionImpl() {
56 super();
57 }
58
59 /**
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @generated
63 */
64 @Override
65 protected EClass eStaticClass() {
66 return Ecore2logicannotationsPackage.Literals.INVERSE_RELATION_ASSERTION;
67 }
68
69 /**
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 public Relation getInverseA() {
75 if (inverseA != null && inverseA.eIsProxy()) {
76 InternalEObject oldInverseA = (InternalEObject)inverseA;
77 inverseA = (Relation)eResolveProxy(oldInverseA);
78 if (inverseA != oldInverseA) {
79 if (eNotificationRequired())
80 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A, oldInverseA, inverseA));
81 }
82 }
83 return inverseA;
84 }
85
86 /**
87 * <!-- begin-user-doc -->
88 * <!-- end-user-doc -->
89 * @generated
90 */
91 public Relation basicGetInverseA() {
92 return inverseA;
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 public void setInverseA(Relation newInverseA) {
101 Relation oldInverseA = inverseA;
102 inverseA = newInverseA;
103 if (eNotificationRequired())
104 eNotify(new ENotificationImpl(this, Notification.SET, Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A, oldInverseA, inverseA));
105 }
106
107 /**
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 */
112 public Relation getInverseB() {
113 if (inverseB != null && inverseB.eIsProxy()) {
114 InternalEObject oldInverseB = (InternalEObject)inverseB;
115 inverseB = (Relation)eResolveProxy(oldInverseB);
116 if (inverseB != oldInverseB) {
117 if (eNotificationRequired())
118 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B, oldInverseB, inverseB));
119 }
120 }
121 return inverseB;
122 }
123
124 /**
125 * <!-- begin-user-doc -->
126 * <!-- end-user-doc -->
127 * @generated
128 */
129 public Relation basicGetInverseB() {
130 return inverseB;
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 public void setInverseB(Relation newInverseB) {
139 Relation oldInverseB = inverseB;
140 inverseB = newInverseB;
141 if (eNotificationRequired())
142 eNotify(new ENotificationImpl(this, Notification.SET, Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B, oldInverseB, inverseB));
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 @Override
151 public Object eGet(int featureID, boolean resolve, boolean coreType) {
152 switch (featureID) {
153 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A:
154 if (resolve) return getInverseA();
155 return basicGetInverseA();
156 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B:
157 if (resolve) return getInverseB();
158 return basicGetInverseB();
159 }
160 return super.eGet(featureID, resolve, coreType);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @SuppressWarnings("unchecked")
169 @Override
170 public void eSet(int featureID, Object newValue) {
171 switch (featureID) {
172 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A:
173 setInverseA((Relation)newValue);
174 return;
175 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B:
176 setInverseB((Relation)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A:
191 setInverseA((Relation)null);
192 return;
193 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B:
194 setInverseB((Relation)null);
195 return;
196 }
197 super.eUnset(featureID);
198 }
199
200 /**
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 */
205 @Override
206 public boolean eIsSet(int featureID) {
207 switch (featureID) {
208 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_A:
209 return inverseA != null;
210 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION__INVERSE_B:
211 return inverseB != null;
212 }
213 return super.eIsSet(featureID);
214 }
215
216} //InverseRelationAssertionImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/LowerMultiplicityAssertionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/LowerMultiplicityAssertionImpl.java
new file mode 100644
index 00000000..bc0cffc8
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/LowerMultiplicityAssertionImpl.java
@@ -0,0 +1,162 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Lower Multiplicity Assertion</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.LowerMultiplicityAssertionImpl#getLower <em>Lower</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class LowerMultiplicityAssertionImpl extends MultiplicityAssertionImpl implements LowerMultiplicityAssertion {
28 /**
29 * The default value of the '{@link #getLower() <em>Lower</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getLower()
33 * @generated
34 * @ordered
35 */
36 protected static final int LOWER_EDEFAULT = 0;
37
38 /**
39 * The cached value of the '{@link #getLower() <em>Lower</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getLower()
43 * @generated
44 * @ordered
45 */
46 protected int lower = LOWER_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected LowerMultiplicityAssertionImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return Ecore2logicannotationsPackage.Literals.LOWER_MULTIPLICITY_ASSERTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 public int getLower() {
73 return lower;
74 }
75
76 /**
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @generated
80 */
81 public void setLower(int newLower) {
82 int oldLower = lower;
83 lower = newLower;
84 if (eNotificationRequired())
85 eNotify(new ENotificationImpl(this, Notification.SET, Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION__LOWER, oldLower, lower));
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 @Override
94 public Object eGet(int featureID, boolean resolve, boolean coreType) {
95 switch (featureID) {
96 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION__LOWER:
97 return getLower();
98 }
99 return super.eGet(featureID, resolve, coreType);
100 }
101
102 /**
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @generated
106 */
107 @Override
108 public void eSet(int featureID, Object newValue) {
109 switch (featureID) {
110 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION__LOWER:
111 setLower((Integer)newValue);
112 return;
113 }
114 super.eSet(featureID, newValue);
115 }
116
117 /**
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 */
122 @Override
123 public void eUnset(int featureID) {
124 switch (featureID) {
125 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION__LOWER:
126 setLower(LOWER_EDEFAULT);
127 return;
128 }
129 super.eUnset(featureID);
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 public boolean eIsSet(int featureID) {
139 switch (featureID) {
140 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION__LOWER:
141 return lower != LOWER_EDEFAULT;
142 }
143 return super.eIsSet(featureID);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 @Override
152 public String toString() {
153 if (eIsProxy()) return super.toString();
154
155 StringBuffer result = new StringBuffer(super.toString());
156 result.append(" (lower: ");
157 result.append(lower);
158 result.append(')');
159 return result.toString();
160 }
161
162} //LowerMultiplicityAssertionImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/MultiplicityAssertionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/MultiplicityAssertionImpl.java
new file mode 100644
index 00000000..b5dafe5c
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/MultiplicityAssertionImpl.java
@@ -0,0 +1,156 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion;
7
8import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation;
9import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.ecore.EClass;
13import org.eclipse.emf.ecore.InternalEObject;
14import org.eclipse.emf.ecore.impl.ENotificationImpl;
15
16/**
17 * <!-- begin-user-doc -->
18 * An implementation of the model object '<em><b>Multiplicity Assertion</b></em>'.
19 * <!-- end-user-doc -->
20 * <p>
21 * The following features are implemented:
22 * </p>
23 * <ul>
24 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.MultiplicityAssertionImpl#getRelation <em>Relation</em>}</li>
25 * </ul>
26 *
27 * @generated
28 */
29public class MultiplicityAssertionImpl extends AssertionAnnotationImpl implements MultiplicityAssertion {
30 /**
31 * The cached value of the '{@link #getRelation() <em>Relation</em>}' reference.
32 * <!-- begin-user-doc -->
33 * <!-- end-user-doc -->
34 * @see #getRelation()
35 * @generated
36 * @ordered
37 */
38 protected Relation relation;
39
40 /**
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @generated
44 */
45 protected MultiplicityAssertionImpl() {
46 super();
47 }
48
49 /**
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @generated
53 */
54 @Override
55 protected EClass eStaticClass() {
56 return Ecore2logicannotationsPackage.Literals.MULTIPLICITY_ASSERTION;
57 }
58
59 /**
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @generated
63 */
64 public Relation getRelation() {
65 if (relation != null && relation.eIsProxy()) {
66 InternalEObject oldRelation = (InternalEObject)relation;
67 relation = (Relation)eResolveProxy(oldRelation);
68 if (relation != oldRelation) {
69 if (eNotificationRequired())
70 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION, oldRelation, relation));
71 }
72 }
73 return relation;
74 }
75
76 /**
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @generated
80 */
81 public Relation basicGetRelation() {
82 return relation;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 public void setRelation(Relation newRelation) {
91 Relation oldRelation = relation;
92 relation = newRelation;
93 if (eNotificationRequired())
94 eNotify(new ENotificationImpl(this, Notification.SET, Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION, oldRelation, relation));
95 }
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 @Override
103 public Object eGet(int featureID, boolean resolve, boolean coreType) {
104 switch (featureID) {
105 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION:
106 if (resolve) return getRelation();
107 return basicGetRelation();
108 }
109 return super.eGet(featureID, resolve, coreType);
110 }
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 @Override
118 public void eSet(int featureID, Object newValue) {
119 switch (featureID) {
120 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION:
121 setRelation((Relation)newValue);
122 return;
123 }
124 super.eSet(featureID, newValue);
125 }
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 @Override
133 public void eUnset(int featureID) {
134 switch (featureID) {
135 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION:
136 setRelation((Relation)null);
137 return;
138 }
139 super.eUnset(featureID);
140 }
141
142 /**
143 * <!-- begin-user-doc -->
144 * <!-- end-user-doc -->
145 * @generated
146 */
147 @Override
148 public boolean eIsSet(int featureID) {
149 switch (featureID) {
150 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION__RELATION:
151 return relation != null;
152 }
153 return super.eIsSet(featureID);
154 }
155
156} //MultiplicityAssertionImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/UpperMultiplicityAssertionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/UpperMultiplicityAssertionImpl.java
new file mode 100644
index 00000000..f7f39f4e
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/impl/UpperMultiplicityAssertionImpl.java
@@ -0,0 +1,162 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage;
6import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Upper Multiplicity Assertion</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl.UpperMultiplicityAssertionImpl#getUpper <em>Upper</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class UpperMultiplicityAssertionImpl extends MultiplicityAssertionImpl implements UpperMultiplicityAssertion {
28 /**
29 * The default value of the '{@link #getUpper() <em>Upper</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getUpper()
33 * @generated
34 * @ordered
35 */
36 protected static final int UPPER_EDEFAULT = 0;
37
38 /**
39 * The cached value of the '{@link #getUpper() <em>Upper</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getUpper()
43 * @generated
44 * @ordered
45 */
46 protected int upper = UPPER_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected UpperMultiplicityAssertionImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return Ecore2logicannotationsPackage.Literals.UPPER_MULTIPLICITY_ASSERTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 public int getUpper() {
73 return upper;
74 }
75
76 /**
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @generated
80 */
81 public void setUpper(int newUpper) {
82 int oldUpper = upper;
83 upper = newUpper;
84 if (eNotificationRequired())
85 eNotify(new ENotificationImpl(this, Notification.SET, Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION__UPPER, oldUpper, upper));
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 @Override
94 public Object eGet(int featureID, boolean resolve, boolean coreType) {
95 switch (featureID) {
96 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION__UPPER:
97 return getUpper();
98 }
99 return super.eGet(featureID, resolve, coreType);
100 }
101
102 /**
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @generated
106 */
107 @Override
108 public void eSet(int featureID, Object newValue) {
109 switch (featureID) {
110 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION__UPPER:
111 setUpper((Integer)newValue);
112 return;
113 }
114 super.eSet(featureID, newValue);
115 }
116
117 /**
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 */
122 @Override
123 public void eUnset(int featureID) {
124 switch (featureID) {
125 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION__UPPER:
126 setUpper(UPPER_EDEFAULT);
127 return;
128 }
129 super.eUnset(featureID);
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 public boolean eIsSet(int featureID) {
139 switch (featureID) {
140 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION__UPPER:
141 return upper != UPPER_EDEFAULT;
142 }
143 return super.eIsSet(featureID);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 @Override
152 public String toString() {
153 if (eIsProxy()) return super.toString();
154
155 StringBuffer result = new StringBuffer(super.toString());
156 result.append(" (upper: ");
157 result.append(upper);
158 result.append(')');
159 return result.toString();
160 }
161
162} //UpperMultiplicityAssertionImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsAdapterFactory.java
new file mode 100644
index 00000000..38b4f411
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsAdapterFactory.java
@@ -0,0 +1,213 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.*;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
9
10import org.eclipse.emf.common.notify.Adapter;
11import org.eclipse.emf.common.notify.Notifier;
12
13import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
14
15import org.eclipse.emf.ecore.EObject;
16
17/**
18 * <!-- begin-user-doc -->
19 * The <b>Adapter Factory</b> for the model.
20 * It provides an adapter <code>createXXX</code> method for each class of the model.
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
23 * @generated
24 */
25public class Ecore2logicannotationsAdapterFactory extends AdapterFactoryImpl {
26 /**
27 * The cached model package.
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 protected static Ecore2logicannotationsPackage modelPackage;
33
34 /**
35 * Creates an instance of the adapter factory.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 public Ecore2logicannotationsAdapterFactory() {
41 if (modelPackage == null) {
42 modelPackage = Ecore2logicannotationsPackage.eINSTANCE;
43 }
44 }
45
46 /**
47 * Returns whether this factory is applicable for the type of the object.
48 * <!-- begin-user-doc -->
49 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
50 * <!-- end-user-doc -->
51 * @return whether this factory is applicable for the type of the object.
52 * @generated
53 */
54 @Override
55 public boolean isFactoryForType(Object object) {
56 if (object == modelPackage) {
57 return true;
58 }
59 if (object instanceof EObject) {
60 return ((EObject)object).eClass().getEPackage() == modelPackage;
61 }
62 return false;
63 }
64
65 /**
66 * The switch that delegates to the <code>createXXX</code> methods.
67 * <!-- begin-user-doc -->
68 * <!-- end-user-doc -->
69 * @generated
70 */
71 protected Ecore2logicannotationsSwitch<Adapter> modelSwitch =
72 new Ecore2logicannotationsSwitch<Adapter>() {
73 @Override
74 public Adapter caseMultiplicityAssertion(MultiplicityAssertion object) {
75 return createMultiplicityAssertionAdapter();
76 }
77 @Override
78 public Adapter caseInverseRelationAssertion(InverseRelationAssertion object) {
79 return createInverseRelationAssertionAdapter();
80 }
81 @Override
82 public Adapter caseLowerMultiplicityAssertion(LowerMultiplicityAssertion object) {
83 return createLowerMultiplicityAssertionAdapter();
84 }
85 @Override
86 public Adapter caseUpperMultiplicityAssertion(UpperMultiplicityAssertion object) {
87 return createUpperMultiplicityAssertionAdapter();
88 }
89 @Override
90 public Adapter caseAnnotation(Annotation object) {
91 return createAnnotationAdapter();
92 }
93 @Override
94 public Adapter caseAssertionAnnotation(AssertionAnnotation object) {
95 return createAssertionAnnotationAdapter();
96 }
97 @Override
98 public Adapter defaultCase(EObject object) {
99 return createEObjectAdapter();
100 }
101 };
102
103 /**
104 * Creates an adapter for the <code>target</code>.
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @param target the object to adapt.
108 * @return the adapter for the <code>target</code>.
109 * @generated
110 */
111 @Override
112 public Adapter createAdapter(Notifier target) {
113 return modelSwitch.doSwitch((EObject)target);
114 }
115
116
117 /**
118 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion <em>Multiplicity Assertion</em>}'.
119 * <!-- begin-user-doc -->
120 * This default implementation returns null so that we can easily ignore cases;
121 * it's useful to ignore a case when inheritance will catch all the cases anyway.
122 * <!-- end-user-doc -->
123 * @return the new adapter.
124 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.MultiplicityAssertion
125 * @generated
126 */
127 public Adapter createMultiplicityAssertionAdapter() {
128 return null;
129 }
130
131 /**
132 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion <em>Inverse Relation Assertion</em>}'.
133 * <!-- begin-user-doc -->
134 * This default implementation returns null so that we can easily ignore cases;
135 * it's useful to ignore a case when inheritance will catch all the cases anyway.
136 * <!-- end-user-doc -->
137 * @return the new adapter.
138 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.InverseRelationAssertion
139 * @generated
140 */
141 public Adapter createInverseRelationAssertionAdapter() {
142 return null;
143 }
144
145 /**
146 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion <em>Lower Multiplicity Assertion</em>}'.
147 * <!-- begin-user-doc -->
148 * This default implementation returns null so that we can easily ignore cases;
149 * it's useful to ignore a case when inheritance will catch all the cases anyway.
150 * <!-- end-user-doc -->
151 * @return the new adapter.
152 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.LowerMultiplicityAssertion
153 * @generated
154 */
155 public Adapter createLowerMultiplicityAssertionAdapter() {
156 return null;
157 }
158
159 /**
160 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion <em>Upper Multiplicity Assertion</em>}'.
161 * <!-- begin-user-doc -->
162 * This default implementation returns null so that we can easily ignore cases;
163 * it's useful to ignore a case when inheritance will catch all the cases anyway.
164 * <!-- end-user-doc -->
165 * @return the new adapter.
166 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.UpperMultiplicityAssertion
167 * @generated
168 */
169 public Adapter createUpperMultiplicityAssertionAdapter() {
170 return null;
171 }
172
173 /**
174 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
175 * <!-- begin-user-doc -->
176 * This default implementation returns null so that we can easily ignore cases;
177 * it's useful to ignore a case when inheritance will catch all the cases anyway.
178 * <!-- end-user-doc -->
179 * @return the new adapter.
180 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation
181 * @generated
182 */
183 public Adapter createAnnotationAdapter() {
184 return null;
185 }
186
187 /**
188 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.
189 * <!-- begin-user-doc -->
190 * This default implementation returns null so that we can easily ignore cases;
191 * it's useful to ignore a case when inheritance will catch all the cases anyway.
192 * <!-- end-user-doc -->
193 * @return the new adapter.
194 * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation
195 * @generated
196 */
197 public Adapter createAssertionAnnotationAdapter() {
198 return null;
199 }
200
201 /**
202 * Creates a new adapter for the default case.
203 * <!-- begin-user-doc -->
204 * This default implementation returns null.
205 * <!-- end-user-doc -->
206 * @return the new adapter.
207 * @generated
208 */
209 public Adapter createEObjectAdapter() {
210 return null;
211 }
212
213} //Ecore2logicannotationsAdapterFactory
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java
new file mode 100644
index 00000000..06d3fe84
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java
@@ -0,0 +1,216 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util;
4
5import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.*;
6
7import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
8import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
9
10import org.eclipse.emf.ecore.EObject;
11import org.eclipse.emf.ecore.EPackage;
12
13import org.eclipse.emf.ecore.util.Switch;
14
15/**
16 * <!-- begin-user-doc -->
17 * The <b>Switch</b> for the model's inheritance hierarchy.
18 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
19 * to invoke the <code>caseXXX</code> method for each class of the model,
20 * starting with the actual class of the object
21 * and proceeding up the inheritance hierarchy
22 * until a non-null result is returned,
23 * which is the result of the switch.
24 * <!-- end-user-doc -->
25 * @see hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
26 * @generated
27 */
28public class Ecore2logicannotationsSwitch<T> extends Switch<T> {
29 /**
30 * The cached model package
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 protected static Ecore2logicannotationsPackage modelPackage;
36
37 /**
38 * Creates an instance of the switch.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @generated
42 */
43 public Ecore2logicannotationsSwitch() {
44 if (modelPackage == null) {
45 modelPackage = Ecore2logicannotationsPackage.eINSTANCE;
46 }
47 }
48
49 /**
50 * Checks whether this is a switch for the given package.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @param ePackage the package in question.
54 * @return whether this is a switch for the given package.
55 * @generated
56 */
57 @Override
58 protected boolean isSwitchFor(EPackage ePackage) {
59 return ePackage == modelPackage;
60 }
61
62 /**
63 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @return the first non-null result returned by a <code>caseXXX</code> call.
67 * @generated
68 */
69 @Override
70 protected T doSwitch(int classifierID, EObject theEObject) {
71 switch (classifierID) {
72 case Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION: {
73 MultiplicityAssertion multiplicityAssertion = (MultiplicityAssertion)theEObject;
74 T result = caseMultiplicityAssertion(multiplicityAssertion);
75 if (result == null) result = caseAssertionAnnotation(multiplicityAssertion);
76 if (result == null) result = caseAnnotation(multiplicityAssertion);
77 if (result == null) result = defaultCase(theEObject);
78 return result;
79 }
80 case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION: {
81 InverseRelationAssertion inverseRelationAssertion = (InverseRelationAssertion)theEObject;
82 T result = caseInverseRelationAssertion(inverseRelationAssertion);
83 if (result == null) result = caseAssertionAnnotation(inverseRelationAssertion);
84 if (result == null) result = caseAnnotation(inverseRelationAssertion);
85 if (result == null) result = defaultCase(theEObject);
86 return result;
87 }
88 case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION: {
89 LowerMultiplicityAssertion lowerMultiplicityAssertion = (LowerMultiplicityAssertion)theEObject;
90 T result = caseLowerMultiplicityAssertion(lowerMultiplicityAssertion);
91 if (result == null) result = caseMultiplicityAssertion(lowerMultiplicityAssertion);
92 if (result == null) result = caseAssertionAnnotation(lowerMultiplicityAssertion);
93 if (result == null) result = caseAnnotation(lowerMultiplicityAssertion);
94 if (result == null) result = defaultCase(theEObject);
95 return result;
96 }
97 case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION: {
98 UpperMultiplicityAssertion upperMultiplicityAssertion = (UpperMultiplicityAssertion)theEObject;
99 T result = caseUpperMultiplicityAssertion(upperMultiplicityAssertion);
100 if (result == null) result = caseMultiplicityAssertion(upperMultiplicityAssertion);
101 if (result == null) result = caseAssertionAnnotation(upperMultiplicityAssertion);
102 if (result == null) result = caseAnnotation(upperMultiplicityAssertion);
103 if (result == null) result = defaultCase(theEObject);
104 return result;
105 }
106 default: return defaultCase(theEObject);
107 }
108 }
109
110 /**
111 * Returns the result of interpreting the object as an instance of '<em>Multiplicity Assertion</em>'.
112 * <!-- begin-user-doc -->
113 * This implementation returns null;
114 * returning a non-null result will terminate the switch.
115 * <!-- end-user-doc -->
116 * @param object the target of the switch.
117 * @return the result of interpreting the object as an instance of '<em>Multiplicity Assertion</em>'.
118 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
119 * @generated
120 */
121 public T caseMultiplicityAssertion(MultiplicityAssertion object) {
122 return null;
123 }
124
125 /**
126 * Returns the result of interpreting the object as an instance of '<em>Inverse Relation Assertion</em>'.
127 * <!-- begin-user-doc -->
128 * This implementation returns null;
129 * returning a non-null result will terminate the switch.
130 * <!-- end-user-doc -->
131 * @param object the target of the switch.
132 * @return the result of interpreting the object as an instance of '<em>Inverse Relation Assertion</em>'.
133 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
134 * @generated
135 */
136 public T caseInverseRelationAssertion(InverseRelationAssertion object) {
137 return null;
138 }
139
140 /**
141 * Returns the result of interpreting the object as an instance of '<em>Lower Multiplicity Assertion</em>'.
142 * <!-- begin-user-doc -->
143 * This implementation returns null;
144 * returning a non-null result will terminate the switch.
145 * <!-- end-user-doc -->
146 * @param object the target of the switch.
147 * @return the result of interpreting the object as an instance of '<em>Lower Multiplicity Assertion</em>'.
148 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
149 * @generated
150 */
151 public T caseLowerMultiplicityAssertion(LowerMultiplicityAssertion object) {
152 return null;
153 }
154
155 /**
156 * Returns the result of interpreting the object as an instance of '<em>Upper Multiplicity Assertion</em>'.
157 * <!-- begin-user-doc -->
158 * This implementation returns null;
159 * returning a non-null result will terminate the switch.
160 * <!-- end-user-doc -->
161 * @param object the target of the switch.
162 * @return the result of interpreting the object as an instance of '<em>Upper Multiplicity Assertion</em>'.
163 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
164 * @generated
165 */
166 public T caseUpperMultiplicityAssertion(UpperMultiplicityAssertion object) {
167 return null;
168 }
169
170 /**
171 * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
172 * <!-- begin-user-doc -->
173 * This implementation returns null;
174 * returning a non-null result will terminate the switch.
175 * <!-- end-user-doc -->
176 * @param object the target of the switch.
177 * @return the result of interpreting the object as an instance of '<em>Annotation</em>'.
178 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
179 * @generated
180 */
181 public T caseAnnotation(Annotation object) {
182 return null;
183 }
184
185 /**
186 * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
187 * <!-- begin-user-doc -->
188 * This implementation returns null;
189 * returning a non-null result will terminate the switch.
190 * <!-- end-user-doc -->
191 * @param object the target of the switch.
192 * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
193 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
194 * @generated
195 */
196 public T caseAssertionAnnotation(AssertionAnnotation object) {
197 return null;
198 }
199
200 /**
201 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
202 * <!-- begin-user-doc -->
203 * This implementation returns null;
204 * returning a non-null result will terminate the switch, but this is the last case anyway.
205 * <!-- end-user-doc -->
206 * @param object the target of the switch.
207 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
208 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
209 * @generated
210 */
211 @Override
212 public T defaultCase(EObject object) {
213 return null;
214 }
215
216} //Ecore2logicannotationsSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 17:05:41 +0000