aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu
diff options
context:
space:
mode:
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.xtend1
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]}