diff options
Diffstat (limited to 'Framework')
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 { | |||
111 | else if(attribute.EType.name.equals("EBoolean")) return LogicBool | 111 | else if(attribute.EType.name.equals("EBoolean")) return LogicBool |
112 | else if(attribute.EType.name.equals("EDouble") || | 112 | else if(attribute.EType.name.equals("EDouble") || |
113 | attribute.EType.name.equals("EFloat")) return LogicReal | 113 | attribute.EType.name.equals("EFloat")) return LogicReal |
114 | else if(attribute.EType.name.equals("EDouble")) return LogicString | ||
114 | else throw new UnsupportedOperationException('''Unsupported attribute type: «attribute.EType.name»''') | 115 | else throw new UnsupportedOperationException('''Unsupported attribute type: «attribute.EType.name»''') |
115 | } | 116 | } |
116 | 117 | ||
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{ | |||
120 | def public LogicBool() { createBoolTypeReference } | 120 | def public LogicBool() { createBoolTypeReference } |
121 | def public LogicInt() { createIntTypeReference } | 121 | def public LogicInt() { createIntTypeReference } |
122 | def public LogicReal() { createRealTypeReference } | 122 | def public LogicReal() { createRealTypeReference } |
123 | def public LogicString() { createStringTypeReference } | ||
123 | def toTypeReference(TypeDescriptor descriptor) { | 124 | def toTypeReference(TypeDescriptor descriptor) { |
124 | if(descriptor instanceof TypeReference) { return EcoreUtil.copy(descriptor); } | 125 | if(descriptor instanceof TypeReference) { return EcoreUtil.copy(descriptor); } |
125 | else if(descriptor instanceof Type) { return createComplexTypeReference => [referred = descriptor]} | 126 | else if(descriptor instanceof Type) { return createComplexTypeReference => [referred = descriptor]} |