diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen')
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 @@ | |||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; | 3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; |
4 | 4 | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.RelationAnnotation; |
6 | import 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
6 | |||
7 | import 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 | */ | ||
26 | public 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; | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; | 5 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.RelationAnnotationImpl; |
6 | 6 | ||
7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; | 7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; |
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; | ||
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | 9 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; |
9 | 10 | ||
11 | import java.util.Collection; | ||
10 | import org.eclipse.emf.common.notify.Notification; | 12 | import org.eclipse.emf.common.notify.Notification; |
13 | import org.eclipse.emf.common.notify.NotificationChain; | ||
14 | import org.eclipse.emf.common.util.EList; | ||
11 | import org.eclipse.emf.ecore.EClass; | 15 | import org.eclipse.emf.ecore.EClass; |
16 | import org.eclipse.emf.ecore.InternalEObject; | ||
12 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | 17 | import org.eclipse.emf.ecore.impl.ENotificationImpl; |
18 | import org.eclipse.emf.ecore.util.EObjectContainmentEList; | ||
19 | import 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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable; | ||
6 | |||
7 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; | ||
8 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | ||
9 | |||
10 | import org.eclipse.emf.common.notify.Notification; | ||
11 | |||
12 | import org.eclipse.emf.ecore.EClass; | ||
13 | import org.eclipse.emf.ecore.InternalEObject; | ||
14 | |||
15 | import org.eclipse.emf.ecore.impl.ENotificationImpl; | ||
16 | import 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 | */ | ||
32 | public 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; | |||
9 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature; | 9 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.DefinedByDerivedFeature; |
10 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; | 10 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery; |
11 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint; | 11 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint; |
12 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping; | ||
12 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory; | 13 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsFactory; |
13 | import hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.Viatra2LogicAnnotationsPackage; | 14 | import 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; |