Update support for java and emf DATATYPES, and basic scope propagator

1 files changed, 30 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
index 39b6fbc0..329d3658 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/RelationDefinitionIndexer.xtend
@@ -24,6 +24,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeCo
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery

 

 import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*

+import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.TypeFilterConstraint

 

 class RelationDefinitionIndexer {

         val PatternGenerator base;

@@ -141,6 +142,35 @@ class RelationDefinitionIndexer {
                         throw new UnsupportedOperationException('''Unsupported touple size: «touple.size»''')

                 }

         }

+        private dispatch def transformConstraint(TypeFilterConstraint constraint, Modality modality) {

+                val touple = constraint.variablesTuple

+                if(touple.size == 1) {

+                        val inputKey = constraint.equivalentJudgement.inputKey

+                        if(inputKey instanceof EClassTransitiveInstancesKey) {

+                                return base.typeIndexer.referInstanceOf(inputKey.emfKey,modality.toMustMay,

+                                        (constraint.getVariablesTuple.get(0) as PVariable).canonizeName)

+                        } else if(inputKey instanceof EDataTypeInSlotsKey){

+                                return '''// type constraint is enforced by construction'''

+                        }

+                        

+                } else if(touple.size == 2){

+                        val key = (constraint.equivalentJudgement.inputKey as EStructuralFeatureInstancesKey).emfKey

+                        if(key instanceof EReference) {

+                                return base.referRelationByName(

+                                        key,

+                                        (constraint.getVariablesTuple.get(0) as PVariable).canonizeName,

+                                        (constraint.getVariablesTuple.get(1) as PVariable).canonizeName,

+                                        modality.toMustMay)

+                        } else if (key instanceof EAttribute) {

+                                return base.referAttributeByName(key,

+                                        (constraint.getVariablesTuple.get(0) as PVariable).canonizeName,

+                                        (constraint.getVariablesTuple.get(1) as PVariable).canonizeName,

+                                        modality.toMustMay)

+                        } else throw new UnsupportedOperationException('''unknown key: «key.class»''')

+                } else {

+                        throw new UnsupportedOperationException('''Unsupported touple size: «touple.size»''')

+                }

+        }

         

         private dispatch def transformConstraint(Equality equality, Modality modality) {

                 val a = equality.who