Migrating Additional projects

1 files changed, 44 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/TypeDescriptor.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/TypeDescriptor.xtend
new file mode 100644
index 00000000..1aa5cf04
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/TypeDescriptor.xtend
@@ -0,0 +1,44 @@
+package hu.bme.mit.inf.dslreasoner.smt.reasoner

+

+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference

+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference

+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference

+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference

+import hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType

+import java.util.List

+import org.eclipse.xtend.lib.annotations.Accessors

+import org.eclipse.xtend.lib.annotations.Data

+

+@Data

+class Descriptor<T> {

+        List<TypeDescriptor> parameterTypes

+        T relation

+}

+

+@Data

+class TypeDescriptor {

+        val boolean logic

+        val boolean numeric

+        val SMTType complexType

+        

+        @Accessors(PUBLIC_GETTER)

+        static val LogicTypeDescriptor_Instance = new TypeDescriptor(true,false,null)

+        @Accessors(PUBLIC_GETTER)

+        static val NumericTypeDescriptor_Instance = new TypeDescriptor(false,true,null)

+        

+        private new(boolean logic, boolean numeric,     SMTType complexType) {

+                this.logic = logic

+                this.numeric = numeric

+                this.complexType = complexType

+        }

+        public new(SMTType complexType) {

+                this.logic = false

+                this.numeric = false

+                this.complexType = complexType

+        }

+        

+        def static dispatch createFromTypeReference(SMTBoolTypeReference ref) { return TypeDescriptor::LogicTypeDescriptor_Instance}

+        def static dispatch createFromTypeReference(SMTIntTypeReference ref) { return TypeDescriptor::NumericTypeDescriptor_Instance}

+        def static dispatch createFromTypeReference(SMTRealTypeReference ref) { return TypeDescriptor::NumericTypeDescriptor_Instance}

+        def static dispatch createFromTypeReference(SMTComplexTypeReference ref) { return new TypeDescriptor(false,false,ref.referred)}

+}
\ No newline at end of file