From 75cafbe84e8af64bb0a723ed249a493b5bbc4cb1 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 17 Apr 2020 00:16:07 +0200 Subject: Variable trace added to Viatra2Logic mapping --- .../Viatra2LogicAnnotationsPackage.java | 135 ++++++++++++++++++++- 1 file changed, 134 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/Viatra2LogicAnnotationsPackage.java') 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 @@ -95,6 +95,15 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ int TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 1; + /** + * The feature id for the 'Variable Trace' containment reference list. + * + * + * @generated + * @ordered + */ + int TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; + /** * The number of structural features of the 'Transfomed Viatra Query' class. * @@ -102,7 +111,7 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { * @generated * @ordered */ - int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 2; + int TRANSFOMED_VIATRA_QUERY_FEATURE_COUNT = LogicproblemPackage.RELATION_ANNOTATION_FEATURE_COUNT + 3; /** * The number of operations of the 'Transfomed Viatra Query' class. @@ -207,6 +216,53 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { int DEFINED_BY_DERIVED_FEATURE_OPERATION_COUNT = LogicproblemPackage.RELATION_ANNOTATION_OPERATION_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping() + * @generated + */ + int VARIABLE_MAPPING = 3; + + /** + * The feature id for the 'Source PVariable' attribute. + * + * + * @generated + * @ordered + */ + int VARIABLE_MAPPING__SOURCE_PVARIABLE = 0; + + /** + * The feature id for the 'Target Logic Variable' reference. + * + * + * @generated + * @ordered + */ + int VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = 1; + + /** + * The number of structural features of the 'Variable Mapping' class. + * + * + * @generated + * @ordered + */ + int VARIABLE_MAPPING_FEATURE_COUNT = 2; + + /** + * The number of operations of the 'Variable Mapping' class. + * + * + * @generated + * @ordered + */ + int VARIABLE_MAPPING_OPERATION_COUNT = 0; + + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery Transfomed Viatra Query}'. * @@ -239,6 +295,17 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EAttribute getTransfomedViatraQuery_PatternPQuery(); + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace Variable Trace}'. + * + * + * @return the meta object for the containment reference list 'Variable Trace'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransfomedViatraQuery#getVariableTrace() + * @see #getTransfomedViatraQuery() + * @generated + */ + EReference getTransfomedViatraQuery_VariableTrace(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.TransformedViatraWellformednessConstraint Transformed Viatra Wellformedness Constraint}'. * @@ -281,6 +348,38 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EReference getDefinedByDerivedFeature_Query(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping Variable Mapping}'. + * + * + * @return the meta object for class 'Variable Mapping'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping + * @generated + */ + EClass getVariableMapping(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable Source PVariable}'. + * + * + * @return the meta object for the attribute 'Source PVariable'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getSourcePVariable() + * @see #getVariableMapping() + * @generated + */ + EAttribute getVariableMapping_SourcePVariable(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable Target Logic Variable}'. + * + * + * @return the meta object for the reference 'Target Logic Variable'. + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.VariableMapping#getTargetLogicVariable() + * @see #getVariableMapping() + * @generated + */ + EReference getVariableMapping_TargetLogicVariable(); + /** * Returns the factory that creates the instances of the model. * @@ -330,6 +429,14 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EAttribute TRANSFOMED_VIATRA_QUERY__PATTERN_PQUERY = eINSTANCE.getTransfomedViatraQuery_PatternPQuery(); + /** + * The meta object literal for the 'Variable Trace' containment reference list feature. + * + * + * @generated + */ + EReference TRANSFOMED_VIATRA_QUERY__VARIABLE_TRACE = eINSTANCE.getTransfomedViatraQuery_VariableTrace(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.TransformedViatraWellformednessConstraintImpl Transformed Viatra Wellformedness Constraint}' class. * @@ -366,6 +473,32 @@ public interface Viatra2LogicAnnotationsPackage extends EPackage { */ EReference DEFINED_BY_DERIVED_FEATURE__QUERY = eINSTANCE.getDefinedByDerivedFeature_Query(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl Variable Mapping}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.VariableMappingImpl + * @see hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl.Viatra2LogicAnnotationsPackageImpl#getVariableMapping() + * @generated + */ + EClass VARIABLE_MAPPING = eINSTANCE.getVariableMapping(); + + /** + * The meta object literal for the 'Source PVariable' attribute feature. + * + * + * @generated + */ + EAttribute VARIABLE_MAPPING__SOURCE_PVARIABLE = eINSTANCE.getVariableMapping_SourcePVariable(); + + /** + * The meta object literal for the 'Target Logic Variable' reference feature. + * + * + * @generated + */ + EReference VARIABLE_MAPPING__TARGET_LOGIC_VARIABLE = eINSTANCE.getVariableMapping_TargetLogicVariable(); + } } //Viatra2LogicAnnotationsPackage -- cgit v1.2.3-70-g09d2