aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-07-05 14:51:12 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-07-05 14:51:12 +0200
commit35d887b2b0a2fcaf480019f070bd6c58b325d23f (patch)
tree1ed8a0dbd26959b243e7afd997fa800d958b4f9d /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu
parentFixing multiple true/false + bug preventing generation without PS (diff)
downloadVIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.tar.gz
VIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.tar.zst
VIATRA-Generator-35d887b2b0a2fcaf480019f070bd6c58b325d23f.zip
Added support for running application in plain java.
(However, I might added several unnecessary dependencies to the visualisation package.)
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.xtend3
1 files changed, 2 insertions, 1 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 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{
61 val element = result.get(0); 61 val element = result.get(0);
62 if(element == "bool" || 62 if(element == "bool" ||
63 element == "int" || 63 element == "int" ||
64 element == "real") throw new LogicProblemBuilderException('''Reserved keyword "«element»"!''') 64 element == "real" ||
65 element == "string") throw new LogicProblemBuilderException('''Reserved keyword "«element»"!''')
65 else return result.join(' ') 66 else return result.join(' ')
66 } 67 }
67 else return result.join(' ') 68 else return result.join(' ')