From 30564f3e97f4b23cf297bcc955a558affa6fac9a Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Mar 2018 19:25:00 -0400 Subject: Factory for string literals. --- .../mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit') 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 ac9781e3..652db34c 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 @@ -478,7 +478,7 @@ public class LogicProblemBuilder{ def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } def public asTerm(int value) { createIntLiteral => [x|x.value = value] } def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } - + def public asTerm(String value) { createStringLiteral => [x|x.value = value]} def public InstanceOf(TermDescription term, TypeDescriptor type) { createInstanceOf => [ it.value = term.toTerm -- cgit v1.2.3-54-g00ecf