diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:30:51 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:30:51 +0200 |
commit | 2a42d51a552efce39ead852d3b76a58f4f9a5914 (patch) | |
tree | a5d9caa0846da2f962b1fe3edec9a1bdab33a060 /Framework/hu.bme.mit.inf.dslreasoner.logic.model | |
parent | cleanup imported package (diff) | |
download | VIATRA-Generator-2a42d51a552efce39ead852d3b76a58f4f9a5914.tar.gz VIATRA-Generator-2a42d51a552efce39ead852d3b76a58f4f9a5914.tar.zst VIATRA-Generator-2a42d51a552efce39ead852d3b76a58f4f9a5914.zip |
Support for building float, double and BigDecimal literals
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 4 |
1 files changed, 3 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 6fa1fcfd..b3b7da5a 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,9 @@ public class LogicProblemBuilder{ | |||
478 | 478 | ||
479 | def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } | 479 | def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } |
480 | def public asTerm(int value) { createIntLiteral => [x|x.value = value] } | 480 | def public asTerm(int value) { createIntLiteral => [x|x.value = value] } |
481 | def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } | 481 | def public asTerm(double value) { BigDecimal.valueOf(value).asTerm } |
482 | def public asTerm(float value) { BigDecimal.valueOf(value).asTerm } | ||
483 | def public asTerm(BigDecimal value) { createRealLiteral => [x|x.value = value] } | ||
482 | def public asTerm(String value) { createStringLiteral => [x|x.value = value]} | 484 | def public asTerm(String value) { createStringLiteral => [x|x.value = value]} |
483 | def public InstanceOf(TermDescription term, TypeDescriptor type) { | 485 | def public InstanceOf(TermDescription term, TypeDescriptor type) { |
484 | createInstanceOf => [ | 486 | createInstanceOf => [ |