2 files changed, 2 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
index 74f82a13..206fbde1 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/AttributeMapper.xtend
@@ -111,6 +111,7 @@ class EAttributeMapper_RelationsOverTypes implements EAttributeMapper {
                 else if(attribute.EType.name.equals("EBoolean")) return LogicBool

                 else if(attribute.EType.name.equals("EDouble") ||

                             attribute.EType.name.equals("EFloat")) return LogicReal

+                else if(attribute.EType.name.equals("EDouble")) return LogicString

                 else throw new UnsupportedOperationException('''Unsupported attribute type: «attribute.EType.name»''')

         }

         

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend
index ba1b9fd6..d09f77af 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend
@@ -120,6 +120,7 @@ public class LogicProblemBuilder{
         def public LogicBool() { createBoolTypeReference }

         def public LogicInt() { createIntTypeReference }

         def public LogicReal() { createRealTypeReference }

+        def public LogicString() { createStringTypeReference }

         def toTypeReference(TypeDescriptor descriptor) {

                 if(descriptor instanceof TypeReference) { return EcoreUtil.copy(descriptor); }

                 else if(descriptor instanceof Type) { return createComplexTypeReference => [referred = descriptor]}