diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 19:25:00 -0400 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-24 19:25:00 -0400 |
| commit | 30564f3e97f4b23cf297bcc955a558affa6fac9a (patch) | |
| tree | b138d63cf5647ad216e66f44b284b2ae2b8b1d37 | |
| parent | Renaming some configuration concepts (diff) | |
| download | VIATRA-Generator-30564f3e97f4b23cf297bcc955a558affa6fac9a.tar.gz VIATRA-Generator-30564f3e97f4b23cf297bcc955a558affa6fac9a.tar.zst VIATRA-Generator-30564f3e97f4b23cf297bcc955a558affa6fac9a.zip | |
Factory for string literals.
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 2 |
1 files changed, 1 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 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{ | |||
| 478 | def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } | 478 | def public asTerm(boolean value) { createBoolLiteral => [x|x.value = value] } |
| 479 | def public asTerm(int value) { createIntLiteral => [x|x.value = value] } | 479 | def public asTerm(int value) { createIntLiteral => [x|x.value = value] } |
| 480 | def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } | 480 | def public asTerm(double value) { createRealLiteral => [x|x.value = BigDecimal.valueOf(value)] } |
| 481 | 481 | def public asTerm(String value) { createStringLiteral => [x|x.value = value]} | |
| 482 | def public InstanceOf(TermDescription term, TypeDescriptor type) { | 482 | def public InstanceOf(TermDescription term, TypeDescriptor type) { |
| 483 | createInstanceOf => [ | 483 | createInstanceOf => [ |
| 484 | it.value = term.toTerm | 484 | it.value = term.toTerm |