diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 1 |
1 files changed, 1 insertions, 0 deletions
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]} |