From d24451ed79bf1080ed8be195eac5047ef91e587f Mon Sep 17 00:00:00 2001 From: anqili426 Date: Mon, 11 May 2020 14:12:17 -0400 Subject: Fixed bug in setting constant types --- .../inf/dslreasoner/viatra2logic/NumericProblemSolver.java | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java index 7240f612..070b71ad 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java @@ -204,8 +204,15 @@ public class NumericProblemSolver { // Constants else if (e instanceof XNumberLiteral) { String value = ((XNumberLiteral) e).getValue(); - try{ int val = Integer.parseInt(value); expr = (ArithExpr) ctx.mkInt(val);} catch(NumberFormatException err){} - try{ long val = Long.parseLong(value); expr = (ArithExpr) ctx.mkReal(val);} catch(NumberFormatException err){} + try{ + int val = Integer.parseInt(value); + expr = (ArithExpr) ctx.mkInt(val); + } catch(NumberFormatException err){ + try{ + long val = Long.parseLong(value); + expr = (ArithExpr) ctx.mkReal(val); + } catch(NumberFormatException err2){} + } } // Expressions with operators else if (e instanceof XBinaryOperation) { -- cgit v1.2.3-54-g00ecf