Variable trace added to Viatra2Logic mapping

1 files changed, 9 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
index b7d2dcc3..0d3a9755 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
@@ -8,6 +8,8 @@
     <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternPQuery" lowerBound="1"

         eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"

         transient="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1"

+        eType="#//VariableMapping" containment="true"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint"

       eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation">

@@ -16,4 +18,11 @@
   <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation">

     <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/>

   </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="VariableMapping">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="sourcePVariable" lowerBound="1"

+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"

+        transient="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogicVariable" lowerBound="1"

+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Variable"/>

+  </eClassifiers>

 </ecore:EPackage>