aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java14
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java71
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java9
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java135
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java2
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java62
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java2
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java230
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java16
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java73
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java18
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java21
12 files changed, 648 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java
index 717b0436..4ae4d79b 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/TransfomedViatraQuery.java
@@ -3,6 +3,7 @@
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; 3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4 4
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; 5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
6import org.eclipse.emf.common.util.EList;
6 7
7/** 8/**
8 * <!-- begin-user-doc --> 9 * <!-- begin-user-doc -->
@@ -15,6 +16,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation;
15 * <ul> 16 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> 17 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li>
17 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li> 18 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getPatternPQuery <em>Pattern PQuery</em>}</li>
19 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace <em>Variable Trace</em>}</li>
18 * </ul> 20 * </ul>
19 * 21 *
20 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery() 22 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery()
@@ -74,4 +76,16 @@ public interface TransfomedViatraQuery extends RelationAnnotation {
74 * @generated 76 * @generated
75 */ 77 */
76 void setPatternPQuery(Object value); 78 void setPatternPQuery(Object value);
79
80 /**
81 * Returns the value of the '<em><b>Variable Trace</b></em>' containment reference list.
82 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping}.
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @return the value of the '<em>Variable Trace</em>' containment reference list.
86 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getTransfomedViatraQuery_VariableTrace()
87 * @model containment="true"
88 * @generated
89 */
90 EList<VariableMapping> getVariableTrace();
77} // TransfomedViatraQuery 91} // TransfomedViatraQuery
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java
new file mode 100644
index 00000000..f2b88394
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/VariableMapping.java
@@ -0,0 +1,71 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable;
6
7import org.eclipse.emf.ecore.EObject;
8
9/**
10 * <!-- begin-user-doc -->
11 * A representation of the model object '<em><b>Variable Mapping</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.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable <em>Source PVariable</em>}</li>
19 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable <em>Target Logic Variable</em>}</li>
20 * </ul>
21 *
22 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping()
23 * @model
24 * @generated
25 */
26public interface VariableMapping extends EObject {
27 /**
28 * Returns the value of the '<em><b>Source PVariable</b></em>' attribute.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Source PVariable</em>' attribute.
32 * @see #setSourcePVariable(Object)
33 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping_SourcePVariable()
34 * @model required="true" transient="true"
35 * @generated
36 */
37 Object getSourcePVariable();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable <em>Source PVariable</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Source PVariable</em>' attribute.
44 * @see #getSourcePVariable()
45 * @generated
46 */
47 void setSourcePVariable(Object value);
48
49 /**
50 * Returns the value of the '<em><b>Target Logic Variable</b></em>' reference.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @return the value of the '<em>Target Logic Variable</em>' reference.
54 * @see #setTargetLogicVariable(Variable)
55 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage#getVariableMapping_TargetLogicVariable()
56 * @model required="true"
57 * @generated
58 */
59 Variable getTargetLogicVariable();
60
61 /**
62 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable <em>Target Logic Variable</em>}' reference.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @param value the new value of the '<em>Target Logic Variable</em>' reference.
66 * @see #getTargetLogicVariable()
67 * @generated
68 */
69 void setTargetLogicVariable(Variable value);
70
71} // VariableMapping
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java
index 1343bee3..f9ad485a 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsFactory.java
@@ -49,6 +49,15 @@ public interface Viatra2LogicAnnotationsFactory extends EFactory {
49 DefinedByDerivedFeature createDefinedByDerivedFeature(); 49 DefinedByDerivedFeature createDefinedByDerivedFeature();
50 50
51 /** 51 /**
52 * Returns a new object of class '<em>Variable Mapping</em>'.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return a new object of class '<em>Variable Mapping</em>'.
56 * @generated
57 */
58 VariableMapping createVariableMapping();
59
60 /**
52 * Returns the package supported by this factory. 61 * Returns the package supported by this factory.
53 * <!-- begin-user-doc --> 62 * <!-- begin-user-doc -->
54 * <!-- end-user-doc --> 63 * <!-- end-user-doc -->
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java
index 97df7608..ef83a6cc 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java
@@ -96,13 +96,22 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
96 int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; 96 int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1;
97 97
98 /** 98 /**
99 * The feature id for the '<em><b>Variable Trace</b></em>' containment reference list.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 * @ordered
104 */
105 int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2;
106
107 /**
99 * The number of structural features of the '<em>Transfomed Viatra Query</em>' class. 108 * The number of structural features of the '<em>Transfomed Viatra Query</em>' class.
100 * <!-- begin-user-doc --> 109 * <!-- begin-user-doc -->
101 * <!-- end-user-doc --> 110 * <!-- end-user-doc -->
102 * @generated 111 * @generated
103 * @ordered 112 * @ordered
104 */ 113 */
105 int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; 114 int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3;
106 115
107 /** 116 /**
108 * The number of operations of the '<em>Transfomed Viatra Query</em>' class. 117 * The number of operations of the '<em>Transfomed Viatra Query</em>' class.
@@ -208,6 +217,53 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
208 217
209 218
210 /** 219 /**
220 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl <em>Variable Mapping</em>}' class.
221 * <!-- begin-user-doc -->
222 * <!-- end-user-doc -->
223 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl
224 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping()
225 * @generated
226 */
227 int VARIABLE_MAPPING = 3;
228
229 /**
230 * The feature id for the '<em><b>Source PVariable</b></em>' attribute.
231 * <!-- begin-user-doc -->
232 * <!-- end-user-doc -->
233 * @generated
234 * @ordered
235 */
236 int VARIABLE_MAPPING__SOURCE_PVARIABLE = 0;
237
238 /**
239 * The feature id for the '<em><b>Target Logic Variable</b></em>' reference.
240 * <!-- begin-user-doc -->
241 * <!-- end-user-doc -->
242 * @generated
243 * @ordered
244 */
245 int VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = 1;
246
247 /**
248 * The number of structural features of the '<em>Variable Mapping</em>' class.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @generated
252 * @ordered
253 */
254 int VARIABLE_MAPPING_FEATURE_COUNT = 2;
255
256 /**
257 * The number of operations of the '<em>Variable Mapping</em>' class.
258 * <!-- begin-user-doc -->
259 * <!-- end-user-doc -->
260 * @generated
261 * @ordered
262 */
263 int VARIABLE_MAPPING_OPERATION_COUNT = 0;
264
265
266 /**
211 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery <em>Transfomed Viatra Query</em>}'. 267 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery <em>Transfomed Viatra Query</em>}'.
212 * <!-- begin-user-doc --> 268 * <!-- begin-user-doc -->
213 * <!-- end-user-doc --> 269 * <!-- end-user-doc -->
@@ -240,6 +296,17 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
240 EAttribute getTransfomedViatraQuery_PatternPQuery(); 296 EAttribute getTransfomedViatraQuery_PatternPQuery();
241 297
242 /** 298 /**
299 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace <em>Variable Trace</em>}'.
300 * <!-- begin-user-doc -->
301 * <!-- end-user-doc -->
302 * @return the meta object for the containment reference list '<em>Variable Trace</em>'.
303 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace()
304 * @see #getTransfomedViatraQuery()
305 * @generated
306 */
307 EReference getTransfomedViatraQuery_VariableTrace();
308
309 /**
243 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'. 310 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint <em>Transformed Viatra Wellformedness Constraint</em>}'.
244 * <!-- begin-user-doc --> 311 * <!-- begin-user-doc -->
245 * <!-- end-user-doc --> 312 * <!-- end-user-doc -->
@@ -282,6 +349,38 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
282 EReference getDefinedByDerivedFeature_Query(); 349 EReference getDefinedByDerivedFeature_Query();
283 350
284 /** 351 /**
352 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping <em>Variable Mapping</em>}'.
353 * <!-- begin-user-doc -->
354 * <!-- end-user-doc -->
355 * @return the meta object for class '<em>Variable Mapping</em>'.
356 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping
357 * @generated
358 */
359 EClass getVariableMapping();
360
361 /**
362 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable <em>Source PVariable</em>}'.
363 * <!-- begin-user-doc -->
364 * <!-- end-user-doc -->
365 * @return the meta object for the attribute '<em>Source PVariable</em>'.
366 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable()
367 * @see #getVariableMapping()
368 * @generated
369 */
370 EAttribute getVariableMapping_SourcePVariable();
371
372 /**
373 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable <em>Target Logic Variable</em>}'.
374 * <!-- begin-user-doc -->
375 * <!-- end-user-doc -->
376 * @return the meta object for the reference '<em>Target Logic Variable</em>'.
377 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable()
378 * @see #getVariableMapping()
379 * @generated
380 */
381 EReference getVariableMapping_TargetLogicVariable();
382
383 /**
285 * Returns the factory that creates the instances of the model. 384 * Returns the factory that creates the instances of the model.
286 * <!-- begin-user-doc --> 385 * <!-- begin-user-doc -->
287 * <!-- end-user-doc --> 386 * <!-- end-user-doc -->
@@ -331,6 +430,14 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
331 EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery(); 430 EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery();
332 431
333 /** 432 /**
433 * The meta object literal for the '<em><b>Variable Trace</b></em>' containment reference list feature.
434 * <!-- begin-user-doc -->
435 * <!-- end-user-doc -->
436 * @generated
437 */
438 EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace();
439
440 /**
334 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class. 441 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl <em>Transformed Viatra Wellformedness Constraint</em>}' class.
335 * <!-- begin-user-doc --> 442 * <!-- begin-user-doc -->
336 * <!-- end-user-doc --> 443 * <!-- end-user-doc -->
@@ -366,6 +473,32 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage {
366 */ 473 */
367 EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query(); 474 EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query();
368 475
476 /**
477 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl <em>Variable Mapping</em>}' class.
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl
481 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping()
482 * @generated
483 */
484 EClass VARIABLE_MAPPING = eINSTANCE.getVariableMapping();
485
486 /**
487 * The meta object literal for the '<em><b>Source PVariable</b></em>' attribute feature.
488 * <!-- begin-user-doc -->
489 * <!-- end-user-doc -->
490 * @generated
491 */
492 EAttribute VARIABLE_MAPPING__SOURCE_PVARIABLE = eINSTANCE.getVariableMapping_SourcePVariable();
493
494 /**
495 * The meta object literal for the '<em><b>Target Logic Variable</b></em>' reference feature.
496 * <!-- begin-user-doc -->
497 * <!-- end-user-doc -->
498 * @generated
499 */
500 EReference VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = eINSTANCE.getVariableMapping_TargetLogicVariable();
501
369 } 502 }
370 503
371} //Viatra2LogicAnnotationsPackage 504} //Viatra2LogicAnnotationsPackage
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java
index c2098ed0..a489c673 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/DefinedByDerivedFeatureImpl.java
@@ -63,6 +63,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen
63 * <!-- end-user-doc --> 63 * <!-- end-user-doc -->
64 * @generated 64 * @generated
65 */ 65 */
66 @Override
66 public TransfomedViatraQuery getQuery() { 67 public TransfomedViatraQuery getQuery() {
67 if (query != null && query.eIsProxy()) { 68 if (query != null && query.eIsProxy()) {
68 InternalEObject oldQuery = (InternalEObject)query; 69 InternalEObject oldQuery = (InternalEObject)query;
@@ -89,6 +90,7 @@ public class DefinedByDerivedFeatureImpl extends RelationAnnotationImpl implemen
89 * <!-- end-user-doc --> 90 * <!-- end-user-doc -->
90 * @generated 91 * @generated
91 */ 92 */
93 @Override
92 public void setQuery(TransfomedViatraQuery newQuery) { 94 public void setQuery(TransfomedViatraQuery newQuery) {
93 TransfomedViatraQuery oldQuery = query; 95 TransfomedViatraQuery oldQuery = query;
94 query = newQuery; 96 query = newQuery;
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java
index d7f9ff68..469ba336 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransfomedViatraQueryImpl.java
@@ -5,11 +5,18 @@ package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; 5import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl;
6 6
7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; 7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; 9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
9 10
11import java.util.Collection;
10import org.eclipse.emf.common.notify.Notification; 12import org.eclipse.emf.common.notify.Notification;
13import org.eclipse.emf.common.notify.NotificationChain;
14import org.eclipse.emf.common.util.EList;
11import org.eclipse.emf.ecore.EClass; 15import org.eclipse.emf.ecore.EClass;
16import org.eclipse.emf.ecore.InternalEObject;
12import org.eclipse.emf.ecore.impl.ENotificationImpl; 17import org.eclipse.emf.ecore.impl.ENotificationImpl;
18import org.eclipse.emf.ecore.util.EObjectContainmentEList;
19import org.eclipse.emf.ecore.util.InternalEList;
13 20
14/** 21/**
15 * <!-- begin-user-doc --> 22 * <!-- begin-user-doc -->
@@ -21,6 +28,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
21 * <ul> 28 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li> 29 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternFullyQualifiedName <em>Pattern Fully Qualified Name</em>}</li>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li> 30 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getPatternPQuery <em>Pattern PQuery</em>}</li>
31 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransfomedViatraQueryImpl#getVariableTrace <em>Variable Trace</em>}</li>
24 * </ul> 32 * </ul>
25 * 33 *
26 * @generated 34 * @generated
@@ -64,6 +72,15 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
64 */ 72 */
65 protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT; 73 protected Object patternPQuery = PATTERN_PQUERY_EDEFAULT;
66 /** 74 /**
75 * The cached value of the '{@link #getVariableTrace() <em>Variable Trace</em>}' containment reference list.
76 * <!-- begin-user-doc -->
77 * <!-- end-user-doc -->
78 * @see #getVariableTrace()
79 * @generated
80 * @ordered
81 */
82 protected EList<VariableMapping> variableTrace;
83 /**
67 * <!-- begin-user-doc --> 84 * <!-- begin-user-doc -->
68 * <!-- end-user-doc --> 85 * <!-- end-user-doc -->
69 * @generated 86 * @generated
@@ -87,6 +104,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
87 * <!-- end-user-doc --> 104 * <!-- end-user-doc -->
88 * @generated 105 * @generated
89 */ 106 */
107 @Override
90 public String getPatternFullyQualifiedName() { 108 public String getPatternFullyQualifiedName() {
91 return patternFullyQualifiedName; 109 return patternFullyQualifiedName;
92 } 110 }
@@ -96,6 +114,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
96 * <!-- end-user-doc --> 114 * <!-- end-user-doc -->
97 * @generated 115 * @generated
98 */ 116 */
117 @Override
99 public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) { 118 public void setPatternFullyQualifiedName(String newPatternFullyQualifiedName) {
100 String oldPatternFullyQualifiedName = patternFullyQualifiedName; 119 String oldPatternFullyQualifiedName = patternFullyQualifiedName;
101 patternFullyQualifiedName = newPatternFullyQualifiedName; 120 patternFullyQualifiedName = newPatternFullyQualifiedName;
@@ -108,6 +127,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
108 * <!-- end-user-doc --> 127 * <!-- end-user-doc -->
109 * @generated 128 * @generated
110 */ 129 */
130 @Override
111 public Object getPatternPQuery() { 131 public Object getPatternPQuery() {
112 return patternPQuery; 132 return patternPQuery;
113 } 133 }
@@ -117,6 +137,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
117 * <!-- end-user-doc --> 137 * <!-- end-user-doc -->
118 * @generated 138 * @generated
119 */ 139 */
140 @Override
120 public void setPatternPQuery(Object newPatternPQuery) { 141 public void setPatternPQuery(Object newPatternPQuery) {
121 Object oldPatternPQuery = patternPQuery; 142 Object oldPatternPQuery = patternPQuery;
122 patternPQuery = newPatternPQuery; 143 patternPQuery = newPatternPQuery;
@@ -130,12 +151,41 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
130 * @generated 151 * @generated
131 */ 152 */
132 @Override 153 @Override
154 public EList<VariableMapping> getVariableTrace() {
155 if (variableTrace == null) {
156 variableTrace = new EObjectContainmentEList<VariableMapping>(VariableMapping.class, this, Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE);
157 }
158 return variableTrace;
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
168 switch (featureID) {
169 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE:
170 return ((InternalEList<?>)getVariableTrace()).basicRemove(otherEnd, msgs);
171 }
172 return super.eInverseRemove(otherEnd, featureID, msgs);
173 }
174
175 /**
176 * <!-- begin-user-doc -->
177 * <!-- end-user-doc -->
178 * @generated
179 */
180 @Override
133 public Object eGet(int featureID, boolean resolve, boolean coreType) { 181 public Object eGet(int featureID, boolean resolve, boolean coreType) {
134 switch (featureID) { 182 switch (featureID) {
135 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME: 183 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME:
136 return getPatternFullyQualifiedName(); 184 return getPatternFullyQualifiedName();
137 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: 185 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY:
138 return getPatternPQuery(); 186 return getPatternPQuery();
187 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE:
188 return getVariableTrace();
139 } 189 }
140 return super.eGet(featureID, resolve, coreType); 190 return super.eGet(featureID, resolve, coreType);
141 } 191 }
@@ -145,6 +195,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
145 * <!-- end-user-doc --> 195 * <!-- end-user-doc -->
146 * @generated 196 * @generated
147 */ 197 */
198 @SuppressWarnings("unchecked")
148 @Override 199 @Override
149 public void eSet(int featureID, Object newValue) { 200 public void eSet(int featureID, Object newValue) {
150 switch (featureID) { 201 switch (featureID) {
@@ -154,6 +205,10 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
154 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: 205 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY:
155 setPatternPQuery(newValue); 206 setPatternPQuery(newValue);
156 return; 207 return;
208 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE:
209 getVariableTrace().clear();
210 getVariableTrace().addAll((Collection<? extends VariableMapping>)newValue);
211 return;
157 } 212 }
158 super.eSet(featureID, newValue); 213 super.eSet(featureID, newValue);
159 } 214 }
@@ -172,6 +227,9 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
172 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: 227 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY:
173 setPatternPQuery(PATTERN_PQUERY_EDEFAULT); 228 setPatternPQuery(PATTERN_PQUERY_EDEFAULT);
174 return; 229 return;
230 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE:
231 getVariableTrace().clear();
232 return;
175 } 233 }
176 super.eUnset(featureID); 234 super.eUnset(featureID);
177 } 235 }
@@ -188,6 +246,8 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
188 return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName); 246 return PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT == null ? patternFullyQualifiedName != null : !PATTERN_FULLY_QUALIFIED_NAME_EDEFAULT.equals(patternFullyQualifiedName);
189 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY: 247 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY:
190 return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery); 248 return PATTERN_PQUERY_EDEFAULT == null ? patternPQuery != null : !PATTERN_PQUERY_EDEFAULT.equals(patternPQuery);
249 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE:
250 return variableTrace != null && !variableTrace.isEmpty();
191 } 251 }
192 return super.eIsSet(featureID); 252 return super.eIsSet(featureID);
193 } 253 }
@@ -201,7 +261,7 @@ public class TransfomedViatraQueryImpl extends RelationAnnotationImpl implements
201 public String toString() { 261 public String toString() {
202 if (eIsProxy()) return super.toString(); 262 if (eIsProxy()) return super.toString();
203 263
204 StringBuffer result = new StringBuffer(super.toString()); 264 StringBuilder result = new StringBuilder(super.toString());
205 result.append(" (patternFullyQualifiedName: "); 265 result.append(" (patternFullyQualifiedName: ");
206 result.append(patternFullyQualifiedName); 266 result.append(patternFullyQualifiedName);
207 result.append(", patternPQuery: "); 267 result.append(", patternPQuery: ");
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java
index be0c3078..3e41c3fd 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/TransformedViatraWellformednessConstraintImpl.java
@@ -63,6 +63,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno
63 * <!-- end-user-doc --> 63 * <!-- end-user-doc -->
64 * @generated 64 * @generated
65 */ 65 */
66 @Override
66 public TransfomedViatraQuery getQuery() { 67 public TransfomedViatraQuery getQuery() {
67 if (query != null && query.eIsProxy()) { 68 if (query != null && query.eIsProxy()) {
68 InternalEObject oldQuery = (InternalEObject)query; 69 InternalEObject oldQuery = (InternalEObject)query;
@@ -89,6 +90,7 @@ public class TransformedViatraWellformednessConstraintImpl extends AssertionAnno
89 * <!-- end-user-doc --> 90 * <!-- end-user-doc -->
90 * @generated 91 * @generated
91 */ 92 */
93 @Override
92 public void setQuery(TransfomedViatraQuery newQuery) { 94 public void setQuery(TransfomedViatraQuery newQuery) {
93 TransfomedViatraQuery oldQuery = query; 95 TransfomedViatraQuery oldQuery = query;
94 query = newQuery; 96 query = newQuery;
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java
new file mode 100644
index 00000000..020c71c7
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/VariableMappingImpl.java
@@ -0,0 +1,230 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl;
4
5import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable;
6
7import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping;
8import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
9
10import org.eclipse.emf.common.notify.Notification;
11
12import org.eclipse.emf.ecore.EClass;
13import org.eclipse.emf.ecore.InternalEObject;
14
15import org.eclipse.emf.ecore.impl.ENotificationImpl;
16import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
17
18/**
19 * <!-- begin-user-doc -->
20 * An implementation of the model object '<em><b>Variable Mapping</b></em>'.
21 * <!-- end-user-doc -->
22 * <p>
23 * The following features are implemented:
24 * </p>
25 * <ul>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl#getSourcePVariable <em>Source PVariable</em>}</li>
27 * <li>{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl#getTargetLogicVariable <em>Target Logic Variable</em>}</li>
28 * </ul>
29 *
30 * @generated
31 */
32public class VariableMappingImpl extends MinimalEObjectImpl.Container implements VariableMapping {
33 /**
34 * The default value of the '{@link #getSourcePVariable() <em>Source PVariable</em>}' attribute.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @see #getSourcePVariable()
38 * @generated
39 * @ordered
40 */
41 protected static final Object SOURCE_PVARIABLE_EDEFAULT = null;
42
43 /**
44 * The cached value of the '{@link #getSourcePVariable() <em>Source PVariable</em>}' attribute.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @see #getSourcePVariable()
48 * @generated
49 * @ordered
50 */
51 protected Object sourcePVariable = SOURCE_PVARIABLE_EDEFAULT;
52
53 /**
54 * The cached value of the '{@link #getTargetLogicVariable() <em>Target Logic Variable</em>}' reference.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @see #getTargetLogicVariable()
58 * @generated
59 * @ordered
60 */
61 protected Variable targetLogicVariable;
62
63 /**
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 protected VariableMappingImpl() {
69 super();
70 }
71
72 /**
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 */
77 @Override
78 protected EClass eStaticClass() {
79 return Viatra2LogicAnnotationsPackage.Literals.VARIABLE_MAPPING;
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 @Override
88 public Object getSourcePVariable() {
89 return sourcePVariable;
90 }
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 @Override
98 public void setSourcePVariable(Object newSourcePVariable) {
99 Object oldSourcePVariable = sourcePVariable;
100 sourcePVariable = newSourcePVariable;
101 if (eNotificationRequired())
102 eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE, oldSourcePVariable, sourcePVariable));
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 @Override
111 public Variable getTargetLogicVariable() {
112 if (targetLogicVariable != null && targetLogicVariable.eIsProxy()) {
113 InternalEObject oldTargetLogicVariable = (InternalEObject)targetLogicVariable;
114 targetLogicVariable = (Variable)eResolveProxy(oldTargetLogicVariable);
115 if (targetLogicVariable != oldTargetLogicVariable) {
116 if (eNotificationRequired())
117 eNotify(new ENotificationImpl(this, Notification.RESOLVE, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable));
118 }
119 }
120 return targetLogicVariable;
121 }
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 public Variable basicGetTargetLogicVariable() {
129 return targetLogicVariable;
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 public void setTargetLogicVariable(Variable newTargetLogicVariable) {
139 Variable oldTargetLogicVariable = targetLogicVariable;
140 targetLogicVariable = newTargetLogicVariable;
141 if (eNotificationRequired())
142 eNotify(new ENotificationImpl(this, Notification.SET, Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE, oldTargetLogicVariable, targetLogicVariable));
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 Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE:
154 return getSourcePVariable();
155 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE:
156 if (resolve) return getTargetLogicVariable();
157 return basicGetTargetLogicVariable();
158 }
159 return super.eGet(featureID, resolve, coreType);
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 @Override
168 public void eSet(int featureID, Object newValue) {
169 switch (featureID) {
170 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE:
171 setSourcePVariable(newValue);
172 return;
173 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE:
174 setTargetLogicVariable((Variable)newValue);
175 return;
176 }
177 super.eSet(featureID, newValue);
178 }
179
180 /**
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @generated
184 */
185 @Override
186 public void eUnset(int featureID) {
187 switch (featureID) {
188 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE:
189 setSourcePVariable(SOURCE_PVARIABLE_EDEFAULT);
190 return;
191 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE:
192 setTargetLogicVariable((Variable)null);
193 return;
194 }
195 super.eUnset(featureID);
196 }
197
198 /**
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @generated
202 */
203 @Override
204 public boolean eIsSet(int featureID) {
205 switch (featureID) {
206 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__SOURCE_PVARIABLE:
207 return SOURCE_PVARIABLE_EDEFAULT == null ? sourcePVariable != null : !SOURCE_PVARIABLE_EDEFAULT.equals(sourcePVariable);
208 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE:
209 return targetLogicVariable != null;
210 }
211 return super.eIsSet(featureID);
212 }
213
214 /**
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @generated
218 */
219 @Override
220 public String toString() {
221 if (eIsProxy()) return super.toString();
222
223 StringBuilder result = new StringBuilder(super.toString());
224 result.append(" (sourcePVariable: ");
225 result.append(sourcePVariable);
226 result.append(')');
227 return result.toString();
228 }
229
230} //VariableMappingImpl
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java
index fc8f23c7..33b726c2 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsFactoryImpl.java
@@ -59,6 +59,7 @@ public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements
59 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: return createTransfomedViatraQuery(); 59 case Viatra2LogicAnnotationsPackage.TRANSFOMED_VIATRA_QUERY: return createTransfomedViatraQuery();
60 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: return createTransformedViatraWellformednessConstraint(); 60 case Viatra2LogicAnnotationsPackage.TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT: return createTransformedViatraWellformednessConstraint();
61 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: return createDefinedByDerivedFeature(); 61 case Viatra2LogicAnnotationsPackage.DEFINED_BY_DERIVED_FEATURE: return createDefinedByDerivedFeature();
62 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING: return createVariableMapping();
62 default: 63 default:
63 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); 64 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
64 } 65 }
@@ -69,6 +70,7 @@ public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements
69 * <!-- end-user-doc --> 70 * <!-- end-user-doc -->
70 * @generated 71 * @generated
71 */ 72 */
73 @Override
72 public TransfomedViatraQuery createTransfomedViatraQuery() { 74 public TransfomedViatraQuery createTransfomedViatraQuery() {
73 TransfomedViatraQueryImpl transfomedViatraQuery = new TransfomedViatraQueryImpl(); 75 TransfomedViatraQueryImpl transfomedViatraQuery = new TransfomedViatraQueryImpl();
74 return transfomedViatraQuery; 76 return transfomedViatraQuery;
@@ -79,6 +81,7 @@ public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements
79 * <!-- end-user-doc --> 81 * <!-- end-user-doc -->
80 * @generated 82 * @generated
81 */ 83 */
84 @Override
82 public TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint() { 85 public TransformedViatraWellformednessConstraint createTransformedViatraWellformednessConstraint() {
83 TransformedViatraWellformednessConstraintImpl transformedViatraWellformednessConstraint = new TransformedViatraWellformednessConstraintImpl(); 86 TransformedViatraWellformednessConstraintImpl transformedViatraWellformednessConstraint = new TransformedViatraWellformednessConstraintImpl();
84 return transformedViatraWellformednessConstraint; 87 return transformedViatraWellformednessConstraint;
@@ -89,6 +92,7 @@ public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements
89 * <!-- end-user-doc --> 92 * <!-- end-user-doc -->
90 * @generated 93 * @generated
91 */ 94 */
95 @Override
92 public DefinedByDerivedFeature createDefinedByDerivedFeature() { 96 public DefinedByDerivedFeature createDefinedByDerivedFeature() {
93 DefinedByDerivedFeatureImpl definedByDerivedFeature = new DefinedByDerivedFeatureImpl(); 97 DefinedByDerivedFeatureImpl definedByDerivedFeature = new DefinedByDerivedFeatureImpl();
94 return definedByDerivedFeature; 98 return definedByDerivedFeature;
@@ -99,6 +103,18 @@ public class Viatra2LogicAnnotationsFactoryImpl extends EFactoryImpl implements
99 * <!-- end-user-doc --> 103 * <!-- end-user-doc -->
100 * @generated 104 * @generated
101 */ 105 */
106 @Override
107 public VariableMapping createVariableMapping() {
108 VariableMappingImpl variableMapping = new VariableMappingImpl();
109 return variableMapping;
110 }
111
112 /**
113 * <!-- begin-user-doc -->
114 * <!-- end-user-doc -->
115 * @generated
116 */
117 @Override
102 public Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage() { 118 public Viatra2LogicAnnotationsPackage getViatra2LogicAnnotationsPackage() {
103 return (Viatra2LogicAnnotationsPackage)getEPackage(); 119 return (Viatra2LogicAnnotationsPackage)getEPackage();
104 } 120 }
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java
index 06965e87..85474753 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/impl/Viatra2LogicAnnotationsPackageImpl.java
@@ -9,6 +9,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;
9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature; 9import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature;
10import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; 10import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery;
11import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint; 11import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint;
12import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping;
12import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory; 13import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory;
13import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; 14import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage;
14 15
@@ -48,6 +49,13 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
48 private EClass definedByDerivedFeatureEClass = null; 49 private EClass definedByDerivedFeatureEClass = null;
49 50
50 /** 51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 private EClass variableMappingEClass = null;
57
58 /**
51 * Creates an instance of the model <b>Package</b>, registered with 59 * Creates an instance of the model <b>Package</b>, registered with
52 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package 60 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
53 * package URI value. 61 * package URI value.
@@ -75,7 +83,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
75 83
76 /** 84 /**
77 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends. 85 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
78 * 86 *
79 * <p>This method is used to initialize {@link Viatra2LogicAnnotationsPackage#eINSTANCE} when that field is accessed. 87 * <p>This method is used to initialize {@link Viatra2LogicAnnotationsPackage#eINSTANCE} when that field is accessed.
80 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. 88 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
81 * <!-- begin-user-doc --> 89 * <!-- begin-user-doc -->
@@ -89,7 +97,8 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
89 if (isInited) return (Viatra2LogicAnnotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Viatra2LogicAnnotationsPackage.eNS_URI); 97 if (isInited) return (Viatra2LogicAnnotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Viatra2LogicAnnotationsPackage.eNS_URI);
90 98
91 // Obtain or create and register package 99 // Obtain or create and register package
92 Viatra2LogicAnnotationsPackageImpl theViatra2LogicAnnotationsPackage = (Viatra2LogicAnnotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Viatra2LogicAnnotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Viatra2LogicAnnotationsPackageImpl()); 100 Object registeredViatra2LogicAnnotationsPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
101 Viatra2LogicAnnotationsPackageImpl theViatra2LogicAnnotationsPackage = registeredViatra2LogicAnnotationsPackage instanceof Viatra2LogicAnnotationsPackageImpl ? (Viatra2LogicAnnotationsPackageImpl)registeredViatra2LogicAnnotationsPackage : new Viatra2LogicAnnotationsPackageImpl();
93 102
94 isInited = true; 103 isInited = true;
95 104
@@ -106,7 +115,6 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
106 // Mark meta-data to indicate it can't be changed 115 // Mark meta-data to indicate it can't be changed
107 theViatra2LogicAnnotationsPackage.freeze(); 116 theViatra2LogicAnnotationsPackage.freeze();
108 117
109
110 // Update the registry and return the package 118 // Update the registry and return the package
111 EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, theViatra2LogicAnnotationsPackage); 119 EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, theViatra2LogicAnnotationsPackage);
112 return theViatra2LogicAnnotationsPackage; 120 return theViatra2LogicAnnotationsPackage;
@@ -117,6 +125,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
117 * <!-- end-user-doc --> 125 * <!-- end-user-doc -->
118 * @generated 126 * @generated
119 */ 127 */
128 @Override
120 public EClass getTransfomedViatraQuery() { 129 public EClass getTransfomedViatraQuery() {
121 return transfomedViatraQueryEClass; 130 return transfomedViatraQueryEClass;
122 } 131 }
@@ -126,6 +135,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
126 * <!-- end-user-doc --> 135 * <!-- end-user-doc -->
127 * @generated 136 * @generated
128 */ 137 */
138 @Override
129 public EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName() { 139 public EAttribute getTransfomedViatraQuery_PatternFullyQualifiedName() {
130 return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(0); 140 return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(0);
131 } 141 }
@@ -135,6 +145,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
135 * <!-- end-user-doc --> 145 * <!-- end-user-doc -->
136 * @generated 146 * @generated
137 */ 147 */
148 @Override
138 public EAttribute getTransfomedViatraQuery_PatternPQuery() { 149 public EAttribute getTransfomedViatraQuery_PatternPQuery() {
139 return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(1); 150 return (EAttribute)transfomedViatraQueryEClass.getEStructuralFeatures().get(1);
140 } 151 }
@@ -144,6 +155,17 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
144 * <!-- end-user-doc --> 155 * <!-- end-user-doc -->
145 * @generated 156 * @generated
146 */ 157 */
158 @Override
159 public EReference getTransfomedViatraQuery_VariableTrace() {
160 return (EReference)transfomedViatraQueryEClass.getEStructuralFeatures().get(2);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
147 public EClass getTransformedViatraWellformednessConstraint() { 169 public EClass getTransformedViatraWellformednessConstraint() {
148 return transformedViatraWellformednessConstraintEClass; 170 return transformedViatraWellformednessConstraintEClass;
149 } 171 }
@@ -153,6 +175,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
153 * <!-- end-user-doc --> 175 * <!-- end-user-doc -->
154 * @generated 176 * @generated
155 */ 177 */
178 @Override
156 public EReference getTransformedViatraWellformednessConstraint_Query() { 179 public EReference getTransformedViatraWellformednessConstraint_Query() {
157 return (EReference)transformedViatraWellformednessConstraintEClass.getEStructuralFeatures().get(0); 180 return (EReference)transformedViatraWellformednessConstraintEClass.getEStructuralFeatures().get(0);
158 } 181 }
@@ -162,6 +185,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
162 * <!-- end-user-doc --> 185 * <!-- end-user-doc -->
163 * @generated 186 * @generated
164 */ 187 */
188 @Override
165 public EClass getDefinedByDerivedFeature() { 189 public EClass getDefinedByDerivedFeature() {
166 return definedByDerivedFeatureEClass; 190 return definedByDerivedFeatureEClass;
167 } 191 }
@@ -171,6 +195,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
171 * <!-- end-user-doc --> 195 * <!-- end-user-doc -->
172 * @generated 196 * @generated
173 */ 197 */
198 @Override
174 public EReference getDefinedByDerivedFeature_Query() { 199 public EReference getDefinedByDerivedFeature_Query() {
175 return (EReference)definedByDerivedFeatureEClass.getEStructuralFeatures().get(0); 200 return (EReference)definedByDerivedFeatureEClass.getEStructuralFeatures().get(0);
176 } 201 }
@@ -180,6 +205,37 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
180 * <!-- end-user-doc --> 205 * <!-- end-user-doc -->
181 * @generated 206 * @generated
182 */ 207 */
208 @Override
209 public EClass getVariableMapping() {
210 return variableMappingEClass;
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 @Override
219 public EAttribute getVariableMapping_SourcePVariable() {
220 return (EAttribute)variableMappingEClass.getEStructuralFeatures().get(0);
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 @Override
229 public EReference getVariableMapping_TargetLogicVariable() {
230 return (EReference)variableMappingEClass.getEStructuralFeatures().get(1);
231 }
232
233 /**
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 */
238 @Override
183 public Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory() { 239 public Viatra2LogicAnnotationsFactory getViatra2LogicAnnotationsFactory() {
184 return (Viatra2LogicAnnotationsFactory)getEFactoryInstance(); 240 return (Viatra2LogicAnnotationsFactory)getEFactoryInstance();
185 } 241 }
@@ -206,12 +262,17 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
206 transfomedViatraQueryEClass = createEClass(TRANSFOMED_VIATRA_QUERY); 262 transfomedViatraQueryEClass = createEClass(TRANSFOMED_VIATRA_QUERY);
207 createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME); 263 createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_FULLY_QUALIFIED_NAME);
208 createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY); 264 createEAttribute(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY);
265 createEReference(transfomedViatraQueryEClass, TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE);
209 266
210 transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT); 267 transformedViatraWellformednessConstraintEClass = createEClass(TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT);
211 createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY); 268 createEReference(transformedViatraWellformednessConstraintEClass, TRANSFORMED_VIATRA_WELLFORMEDNESS_CONSTRAINT__QUERY);
212 269
213 definedByDerivedFeatureEClass = createEClass(DEFINED_BY_DERIVED_FEATURE); 270 definedByDerivedFeatureEClass = createEClass(DEFINED_BY_DERIVED_FEATURE);
214 createEReference(definedByDerivedFeatureEClass, DEFINED_BY_DERIVED_FEATURE__QUERY); 271 createEReference(definedByDerivedFeatureEClass, DEFINED_BY_DERIVED_FEATURE__QUERY);
272
273 variableMappingEClass = createEClass(VARIABLE_MAPPING);
274 createEAttribute(variableMappingEClass, VARIABLE_MAPPING__SOURCE_PVARIABLE);
275 createEReference(variableMappingEClass, VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE);
215 } 276 }
216 277
217 /** 278 /**
@@ -239,6 +300,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
239 300
240 // Obtain other dependent packages 301 // Obtain other dependent packages
241 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI); 302 LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);
303 LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);
242 304
243 // Create type parameters 305 // Create type parameters
244 306
@@ -253,6 +315,7 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
253 initEClass(transfomedViatraQueryEClass, TransfomedViatraQuery.class, "TransfomedViatraQuery", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 315 initEClass(transfomedViatraQueryEClass, TransfomedViatraQuery.class, "TransfomedViatraQuery", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
254 initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 316 initEAttribute(getTransfomedViatraQuery_PatternFullyQualifiedName(), ecorePackage.getEString(), "patternFullyQualifiedName", null, 1, 1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
255 initEAttribute(getTransfomedViatraQuery_PatternPQuery(), ecorePackage.getEJavaObject(), "patternPQuery", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 317 initEAttribute(getTransfomedViatraQuery_PatternPQuery(), ecorePackage.getEJavaObject(), "patternPQuery", null, 1, 1, TransfomedViatraQuery.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
318 initEReference(getTransfomedViatraQuery_VariableTrace(), this.getVariableMapping(), null, "variableTrace", null, 0, -1, TransfomedViatraQuery.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
256 319
257 initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 320 initEClass(transformedViatraWellformednessConstraintEClass, TransformedViatraWellformednessConstraint.class, "TransformedViatraWellformednessConstraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
258 initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 321 initEReference(getTransformedViatraWellformednessConstraint_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, TransformedViatraWellformednessConstraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -260,6 +323,10 @@ public class Viatra2LogicAnnotationsPackageImpl extends EPackageImpl implements
260 initEClass(definedByDerivedFeatureEClass, DefinedByDerivedFeature.class, "DefinedByDerivedFeature", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 323 initEClass(definedByDerivedFeatureEClass, DefinedByDerivedFeature.class, "DefinedByDerivedFeature", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
261 initEReference(getDefinedByDerivedFeature_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, DefinedByDerivedFeature.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 324 initEReference(getDefinedByDerivedFeature_Query(), this.getTransfomedViatraQuery(), null, "query", null, 1, 1, DefinedByDerivedFeature.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
262 325
326 initEClass(variableMappingEClass, VariableMapping.class, "VariableMapping", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
327 initEAttribute(getVariableMapping_SourcePVariable(), ecorePackage.getEJavaObject(), "sourcePVariable", null, 1, 1, VariableMapping.class, IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
328 initEReference(getVariableMapping_TargetLogicVariable(), theLogiclanguagePackage.getVariable(), null, "targetLogicVariable", null, 1, 1, VariableMapping.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
329
263 // Create resource 330 // Create resource
264 createResource(eNS_URI); 331 createResource(eNS_URI);
265 } 332 }
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java
index 91bbdc9f..f66f480f 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsAdapterFactory.java
@@ -84,6 +84,10 @@ public class Viatra2LogicAnnotationsAdapterFactory extends AdapterFactoryImpl {
84 return createDefinedByDerivedFeatureAdapter(); 84 return createDefinedByDerivedFeatureAdapter();
85 } 85 }
86 @Override 86 @Override
87 public Adapter caseVariableMapping(VariableMapping object) {
88 return createVariableMappingAdapter();
89 }
90 @Override
87 public Adapter caseAnnotation(Annotation object) { 91 public Adapter caseAnnotation(Annotation object) {
88 return createAnnotationAdapter(); 92 return createAnnotationAdapter();
89 } 93 }
@@ -158,6 +162,20 @@ public class Viatra2LogicAnnotationsAdapterFactory extends AdapterFactoryImpl {
158 } 162 }
159 163
160 /** 164 /**
165 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping <em>Variable Mapping</em>}'.
166 * <!-- begin-user-doc -->
167 * This default implementation returns null so that we can easily ignore cases;
168 * it's useful to ignore a case when inheritance will catch all the cases anyway.
169 * <!-- end-user-doc -->
170 * @return the new adapter.
171 * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping
172 * @generated
173 */
174 public Adapter createVariableMappingAdapter() {
175 return null;
176 }
177
178 /**
161 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'. 179 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.
162 * <!-- begin-user-doc --> 180 * <!-- begin-user-doc -->
163 * This default implementation returns null so that we can easily ignore cases; 181 * This default implementation returns null so that we can easily ignore cases;
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java
index 09288a62..72b2fc4c 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/util/Viatra2LogicAnnotationsSwitch.java
@@ -94,6 +94,12 @@ public class Viatra2LogicAnnotationsSwitch<T> extends Switch<T> {
94 if (result == null) result = defaultCase(theEObject); 94 if (result == null) result = defaultCase(theEObject);
95 return result; 95 return result;
96 } 96 }
97 case Viatra2LogicAnnotationsPackage.VARIABLE_MAPPING: {
98 VariableMapping variableMapping = (VariableMapping)theEObject;
99 T result = caseVariableMapping(variableMapping);
100 if (result == null) result = defaultCase(theEObject);
101 return result;
102 }
97 default: return defaultCase(theEObject); 103 default: return defaultCase(theEObject);
98 } 104 }
99 } 105 }
@@ -144,6 +150,21 @@ public class Viatra2LogicAnnotationsSwitch<T> extends Switch<T> {
144 } 150 }
145 151
146 /** 152 /**
153 * Returns the result of interpreting the object as an instance of '<em>Variable Mapping</em>'.
154 * <!-- begin-user-doc -->
155 * This implementation returns null;
156 * returning a non-null result will terminate the switch.
157 * <!-- end-user-doc -->
158 * @param object the target of the switch.
159 * @return the result of interpreting the object as an instance of '<em>Variable Mapping</em>'.
160 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
161 * @generated
162 */
163 public T caseVariableMapping(VariableMapping object) {
164 return null;
165 }
166
167 /**
147 * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'. 168 * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
148 * <!-- begin-user-doc --> 169 * <!-- begin-user-doc -->
149 * This implementation returns null; 170 * This implementation returns null;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-07 23:28:28 +0000