diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-05 14:51:12 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-05 14:51:12 +0200 |
commit | 35d887b2b0a2fcaf480019f070bd6c58b325d23f (patch) | |
tree | 1ed8a0dbd26959b243e7afd997fa800d958b4f9d /Framework | |
parent | Fixing multiple true/false + bug preventing generation without PS (diff) | |
download | VIATRA-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')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 3 |
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(' ') |