diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore | 9 |
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 @@ | |||
8 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternPQuery" lowerBound="1" | 8 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternPQuery" lowerBound="1" |
9 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" | 9 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" |
10 | transient="true"/> | 10 | transient="true"/> |
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1" | ||
12 | eType="#//VariableMapping" containment="true"/> | ||
11 | </eClassifiers> | 13 | </eClassifiers> |
12 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" | 14 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" |
13 | eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> | 15 | eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> |
@@ -16,4 +18,11 @@ | |||
16 | <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> | 18 | <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> |
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> | 19 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> |
18 | </eClassifiers> | 20 | </eClassifiers> |
21 | <eClassifiers xsi:type="ecore:EClass" name="VariableMapping"> | ||
22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="sourcePVariable" lowerBound="1" | ||
23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" | ||
24 | transient="true"/> | ||
25 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogicVariable" lowerBound="1" | ||
26 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Variable"/> | ||
27 | </eClassifiers> | ||
19 | </ecore:EPackage> | 28 | </ecore:EPackage> |