From cf17186c9c84aec2c08836c362515faba9d6bf2a Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Thu, 14 May 2020 00:23:47 +0200 Subject: removeOne for object scope --- .../inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend index 0acae00f..abfa4554 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend @@ -148,7 +148,8 @@ class ScopePropagator { } private def removeOne(Scope scope) { if(scope.maxNewElements===0) { - throw new IllegalArgumentException('''Inconsistent object creation: «scope.targetTypeInterpretation»''') + scope.maxNewElements=0 + //throw new IllegalArgumentException('''Inconsistent object creation: «scope.targetTypeInterpretation»''') } else if(scope.maxNewElements>0) { scope.maxNewElements= scope.maxNewElements-1 } -- cgit v1.2.3-54-g00ecf