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) } |