Migrating Additional projects

1 files changed, 33 insertions, 0 deletions

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

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory

+import java.util.List

+import java.util.LinkedList

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor

+

+class VariableContext {

+        val extension LogiclanguageFactory language;

+        val extension LogicProblemBuilder logicProblemBuilder;

+        

+        new(LogicProblemBuilder logicProblemBuilder, LogiclanguageFactory language) {

+                this.logicProblemBuilder = logicProblemBuilder

+                this.language = language

+        }

+        

+        private List<Variable> variables = new LinkedList;

+        def public getVariables(){variables}

+        

+        

+        //def public -(TypeDescriptor type) { Variable(type) }

+        def public Variable addVar(TypeDescriptor type) {       

+                return addVar(null, type);

+        }

+        

+        def public Variable addVar(CharSequence variableName, TypeDescriptor type) {

+                if(variables.exists[name.equals(variableName)]) throw new IllegalArgumentException("Variable with name " + variableName +" is already defined.")

+                val variable = createVariable => [name = variableName.canonize range = type.toTypeReference]

+                variables += variable

+                return variable

+        }

+}
\ No newline at end of file