From bd9d6001d6d288b98f20ba2b4886a147088a6f99 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@152.66.252.189>
Date: Wed, 21 Jun 2017 21:19:27 +0200
Subject: Logic interpretation -> standard EMF instance model

---
 .../inf/dslreasoner/logic2ecore/Logic2Ecore.xtend  | 91 ++++++++++++++++++++++
 1 file changed, 91 insertions(+)
 create mode 100644 Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend
new file mode 100644
index 00000000..2ab7091e
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/src/hu/bme/mit/inf/dslreasoner/logic2ecore/Logic2Ecore.xtend
@@ -0,0 +1,91 @@
+package hu.bme.mit.inf.dslreasoner.logic2ecore
+
+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace
+import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult
+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicStructureBuilder
+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder
+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic
+import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicModelInterpretation
+import java.util.HashSet
+import java.util.HashMap
+import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*
+import org.eclipse.emf.ecore.EClass
+import java.util.Set
+import org.eclipse.emf.ecore.EObject
+import java.util.List
+import java.util.Collection
+
+class Logic2Ecore {
+	private val extension LogicProblemBuilder problemBuilder = new LogicProblemBuilder
+	private val extension LogicStructureBuilder structureBuilder = new LogicStructureBuilder
+	val Ecore2Logic ecore2Logic;
+	
+	new (Ecore2Logic ecore2Logic) {
+		this.ecore2Logic = ecore2Logic
+	}
+	
+	def transformInterpretation(LogicModelInterpretation interpretation, Ecore2Logic_Trace forwardTrace) {
+		val allClasses = ecore2Logic.allClassesInScope(forwardTrace)
+		val elements = new HashSet
+		val element2Classes = new HashMap
+		
+		
+		for(clazz: allClasses) {
+			val type = ecore2Logic.TypeofEClass(forwardTrace,clazz);
+			val elementsOfClass = getElements(interpretation,type)
+			for(element : elementsOfClass) {
+				elements += element
+				element2Classes.putOrAddToSet(element,clazz)
+			}
+		}
+		
+		val element2Object = new HashMap
+		for(element: elements) {
+			val clazz = element.lookup(element2Classes).mostConcreteType
+			val eobject = clazz.EPackage.EFactoryInstance.create(clazz)
+			element2Object.put(element,eobject)
+		}
+		
+		val allReferences = ecore2Logic.allReferencesInScope(forwardTrace)
+		for(referenceType : allReferences) {
+			for(sourceElement : elements) {
+				val sourceObject = sourceElement.lookup(element2Object)
+				if(sourceObject.eClass.isSuperTypeOf(referenceType.EContainingClass)) {
+					for(targetElement: elements) {
+						val targetObject = targetElement.lookup(element2Object)
+						if(targetObject.eClass.isSuperTypeOf(referenceType.EReferenceType)) {
+							val expression = ecore2Logic.IsInReference(forwardTrace,sourceElement,targetElement,referenceType)
+							val linkExist = interpretation.evalAsBool(expression)
+							if(linkExist) {
+								if(referenceType.isMany) {
+									val list = sourceObject.eGet(referenceType) as List<? super EObject>
+									list+= targetObject
+								} else {
+									sourceObject.eSet(referenceType,targetObject)
+								}
+							}
+						}
+					}
+				}
+			}
+		}
+		
+		/// Attributes
+		
+		return element2Object.values.root
+	}
+	
+	def  mostConcreteType(Set<EClass> classes) {
+		for(candidate : classes) {
+			val subtypeOfAll = classes.forall[it.isSuperTypeOf(candidate)]
+			if(subtypeOfAll) {
+				return candidate
+			}
+		}
+		throw new AssertionError("Object has no unique concrete type!")
+	}
+	
+	def getRoot(Collection<EObject> objects) {
+		objects.filter[eContainer === null].head
+	}
+}
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf