diff options
author | 2020-04-17 00:16:07 +0200 | |
---|---|---|
committer | 2020-04-17 00:16:07 +0200 | |
commit | 75cafbe84e8af64bb0a723ed249a493b5bbc4cb1 (patch) | |
tree | aea70a373b47582667dc530e93f633b9e9c8d3e7 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java | |
parent | (lipstick) (diff) | |
download | VIATRA-Generator-75cafbe84e8af64bb0a723ed249a493b5bbc4cb1.tar.gz VIATRA-Generator-75cafbe84e8af64bb0a723ed249a493b5bbc4cb1.tar.zst VIATRA-Generator-75cafbe84e8af64bb0a723ed249a493b5bbc4cb1.zip |
Variable trace added to Viatra2Logic mapping
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java | 135 |
1 files changed, 134 insertions, 1 deletions
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 |