From b2174e0df4bfd7954c966ff4f0ae005a61c70d9d Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 28 Aug 2018 18:45:46 +0200 Subject: Added support for SHORT type as integer --- .../InstanceModel2PartialInterpretation.xtend | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend index bd0f4ca4..8aaaacb5 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend @@ -163,6 +163,9 @@ class InstanceModel2PartialInterpretation { private def dispatch shortValue(Integer value, Set integers, Set reals, Set strings) { integers += value } + private def dispatch shortValue(Short value, Set integers, Set reals, Set strings) { + integers += Integer.valueOf(value) + } private def dispatch shortValue(Float value, Set integers, Set reals, Set strings) { reals += BigDecimal.valueOf(value) } @@ -199,6 +202,10 @@ class InstanceModel2PartialInterpretation { value.lookup(partialInterpretationTrace.primitiveValues.integerMap) } + dispatch protected def translateValue(Short value, Ecore2Logic_Trace ecore2LogicTrace, Problem2PartialInterpretationTrace partialInterpretationTrace) { + Integer.valueOf(value).lookup(partialInterpretationTrace.primitiveValues.integerMap) + } + dispatch protected def translateValue(Double value, Ecore2Logic_Trace ecore2LogicTrace, Problem2PartialInterpretationTrace partialInterpretationTrace) { BigDecimal.valueOf(value).lookup(partialInterpretationTrace.primitiveValues.realMap) } -- cgit v1.2.3-54-g00ecf