From 35d887b2b0a2fcaf480019f070bd6c58b325d23f Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 5 Jul 2018 14:51:12 +0200 Subject: Added support for running application in plain java. (However, I might added several unnecessary dependencies to the visualisation package.) --- .../mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu') 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 652db34c..6fa1fcfd 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 @@ -61,7 +61,8 @@ public class LogicProblemBuilder{ val element = result.get(0); if(element == "bool" || element == "int" || - element == "real") throw new LogicProblemBuilderException('''Reserved keyword "«element»"!''') + element == "real" || + element == "string") throw new LogicProblemBuilderException('''Reserved keyword "«element»"!''') else return result.join(' ') } else return result.join(' ') -- cgit v1.2.3-54-g00ecf