1 files changed, 75 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend
new file mode 100644
index 00000000..abb05e83
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/consistencychecker/TypeConsistencyChecker.xtend
@@ -0,0 +1,75 @@
+package hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker

+

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasoner

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration

+import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace

+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicReasonerException

+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult

+import org.eclipse.viatra.query.runtime.emf.EMFScope

+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage

+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicresultFactory

+import hu.bme.mit.inf.dslreasoner.logic.model.patterns.TypeSystemIsInconsistentMatcher

+import hu.bme.mit.inf.dslreasoner.logic.model.patterns.ElementNotDefinedInSupertypeMatcher

+import hu.bme.mit.inf.dslreasoner.logic.model.patterns.ElementWithNoPossibleDynamicTypeMatcher

+import hu.bme.mit.inf.dslreasoner.logic.model.patterns.PossibleDynamicTypeMatcher

+

+class TypeConsistencyChecker extends LogicReasoner{

+        val extension LogicresultFactory factory = LogicresultFactory.eINSTANCE

+                

+        new() {

+                LogicproblemPackage.eINSTANCE.class

+        }

+        

+        override solve(LogicProblem problem, LogicSolverConfiguration configuration, ReasonerWorkspace workspace) throws LogicReasonerException {

+                val statistics = createStatistics => [

+                        it.transformationTime = 0

+                        it.solverMemory = -1

+                ]

+                

+                val start = System.currentTimeMillis

+                

+                val queryEngine = ViatraQueryEngine.on(new EMFScope(problem))

+                

+                val typeSystemInconsistencyMatcher = TypeSystemIsInconsistentMatcher.on(queryEngine)

+                val elementNotDefinedInSupertype = ElementNotDefinedInSupertypeMatcher.on(queryEngine)

+                val elementWithNoPossibleDynamicType = ElementWithNoPossibleDynamicTypeMatcher.on(queryEngine)

+                val possibleDynamicType = PossibleDynamicTypeMatcher.on(queryEngine)

+                

+                val hasErrorPatternMatch = typeSystemInconsistencyMatcher.hasMatch(problem)

+                

+                statistics.solverTime = (System.currentTimeMillis - start) as int

+                

+                val possibleDynamicTypeStatisticEntry = problem.elements.map[e|

+                        '''«e.name»: [«possibleDynamicType.getAllValuesOfdynamic(problem,e).map[it.name].join(", ")»]'''

+                ].join("\n")

+                

+                if(hasErrorPatternMatch) {

+                        return createInconsistencyResult =>[

+                                it.problem = problem 

+                                it.statistics = statistics 

+                                it.statistics.entries += createStringStatisticEntry => [

+                                        it.name = "possibleDynamicType"

+                                        it.value = possibleDynamicTypeStatisticEntry

+                                ]

+                                it.statistics.entries += createStringStatisticEntry => [

+                                                it.name = "elementNotDefinedInSupertype"

+                                                it.value=elementNotDefinedInSupertype.allValuesOfelement.map[it.name].join(", ")

+                                        ]

+                                

+                                it.statistics.entries += createStringStatisticEntry => [

+                                        it.name = "elementWithNoPossibleDynamicType"

+                                        it.value=elementWithNoPossibleDynamicType.allValuesOfelement.map[it.name].join(", ")

+                                ]

+                        ]

+                } else {

+                        return createUndecidableResult => 

+                                [it.problem = problem it.statistics = statistics]

+                }

+        }

+        

+        override getInterpretation(ModelResult modelResult) {

+                throw new UnsupportedOperationException('''This solver is unable to create interpretations!''')

+        }

+}
\ No newline at end of file