diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 12:21:05 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 12:21:05 +0100 |
commit | db3adfd1bf3d0a05aa4ba562b70bc2e89c290015 (patch) | |
tree | dd4623aae2716208774a8b72346630309bb43ecf | |
parent | Fixes in string scope and string interpretation for Alloy (diff) | |
download | VIATRA-Generator-db3adfd1bf3d0a05aa4ba562b70bc2e89c290015.tar.gz VIATRA-Generator-db3adfd1bf3d0a05aa4ba562b70bc2e89c290015.tar.zst VIATRA-Generator-db3adfd1bf3d0a05aa4ba562b70bc2e89c290015.zip |
Logic structure builder fix for string building
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicStructureBuilder.xtend | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicStructureBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicStructureBuilder.xtend index 42f85a2d..7ca67d83 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicStructureBuilder.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicStructureBuilder.xtend | |||
@@ -59,6 +59,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference | |||
59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference | 59 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference |
60 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference | 60 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference |
61 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference | 61 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringTypeReference |
62 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.StringLiteral | ||
62 | 63 | ||
63 | @Data class InterpretationValidationResult { | 64 | @Data class InterpretationValidationResult { |
64 | val List<String> problems; | 65 | val List<String> problems; |
@@ -171,6 +172,7 @@ class LogicStructureBuilder{ | |||
171 | def protected dispatch Object resolve(IntLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value as Integer } | 172 | def protected dispatch Object resolve(IntLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value as Integer } |
172 | def protected dispatch Object resolve(BoolLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value } | 173 | def protected dispatch Object resolve(BoolLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value } |
173 | def protected dispatch Object resolve(RealLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value as BigDecimal } | 174 | def protected dispatch Object resolve(RealLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value as BigDecimal } |
175 | def protected dispatch Object resolve(StringLiteral literal, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { return literal.value } | ||
174 | 176 | ||
175 | def protected dispatch Object resolve(Not not, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { | 177 | def protected dispatch Object resolve(Not not, LogicModelInterpretation interpretation, Map<Variable,Object> variableBinding) { |
176 | return ! (not.operand.resolve(interpretation,variableBinding) as Boolean) } | 178 | return ! (not.operand.resolve(interpretation,variableBinding) as Boolean) } |