From 92f94b063ec9a65d04178788f3858c750fbf16e7 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszkar.semerath@gmail.com>
Date: Thu, 15 Feb 2018 23:03:20 +0100
Subject: Generation specification -> execution

---
 .../application/execution/ScopeLoader.xtend        | 83 ++++++++++++++++++++++
 1 file changed, 83 insertions(+)
 create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend
new file mode 100644
index 00000000..ee1a92f0
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScopeLoader.xtend
@@ -0,0 +1,83 @@
+package hu.bme.mit.inf.dslreasoner.application.execution
+
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration
+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope
+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic
+import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace
+import hu.bme.mit.inf.dslreasoner.logic.model.builder.TypeScopes
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem
+import org.eclipse.emf.ecore.EClass
+
+class ScopeLoader {	
+	def TypeScopes loadScope(ScopeSpecification specification, LogicProblem problem, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		val res = new TypeScopes
+		for(scopeSpecification : specification.scopes) {
+			setSpecification(scopeSpecification,res,ecore2Logic,trace)
+		}
+		return res 
+	}
+	
+	def dispatch setSpecification(ObjectTypeScope scope, TypeScopes aggregated, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		//val existingObjects = 
+		aggregated.minNewElements = getLowerLimit(scope.number)
+		aggregated.maxNewElements = getUpperLimit(scope.number)
+	}
+	def dispatch setSpecification(ClassTypeScope scope, TypeScopes aggregated, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		val target = scope.type.element
+		if(target.feature != null) {
+			throw new IllegalArgumentException('''Feature scopes are not supported: "«target.feature.name»"!''')
+		} else {
+			val targetClassifier = target.classifier
+			if(targetClassifier instanceof EClass) {
+				val type = ecore2Logic.TypeofEClass(trace,targetClassifier)
+				aggregated.minNewElementsByType.put(type,getLowerLimit(scope.number))
+				aggregated.maxNewElementsByType.put(type,getUpperLimit(scope.number))
+			} else {
+				throw new IllegalArgumentException('''Non-EClass scopes are not supported: "«targetClassifier.name»"!''')
+			}
+		}
+	}
+	def dispatch setSpecification(IntegerTypeScope scope, TypeScopes aggregated, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		aggregated.minNewIntegers = scope.number.lowerLimit
+		aggregated.maxNewIntegers = scope.number.upperLimit
+	}
+	def dispatch setSpecification(RealTypeScope scope, TypeScopes aggregated, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		aggregated.minNewReals = scope.number.lowerLimit
+		aggregated.maxNewReals = scope.number.upperLimit
+	}
+	def dispatch setSpecification(StringTypeScope scope, TypeScopes aggregated, Ecore2Logic ecore2Logic, Ecore2Logic_Trace trace) {
+		aggregated.minNewStrings = scope.number.lowerLimit
+		aggregated.maxNewStrings = scope.number.upperLimit
+	}
+	
+	def dispatch getLowerLimit(IntervallNumber specification) {
+		return specification.min
+	}
+	def dispatch getLowerLimit(ExactNumber specification) {
+		if(specification.isExactUnlimited) return 0
+		else return specification.exactNumber
+	}
+	def dispatch getLowerLimit(IntEnumberation specification) { 0 }
+	def dispatch getLowerLimit(RealEnumeration specification) { 0 }
+	def dispatch getLowerLimit(StringEnumeration specification) { 0 }
+	def dispatch getUpperLimit(IntervallNumber specification) {
+		if(specification.isMaxUnlimited) return -1
+		else return specification.maxNumber
+	}
+	def dispatch getUpperLimit(ExactNumber specification) {
+		if(specification.isExactUnlimited) return -1
+		else return specification.exactNumber
+	}
+	def dispatch getUpperLimit(IntEnumberation specification) { 0 }
+	def dispatch getUpperLimit(RealEnumeration specification) { 0 }
+	def dispatch getUpperLimit(StringEnumeration specification) { 0 }
+}
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2