diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-14 00:23:47 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-14 00:23:47 +0200 |
commit | cf17186c9c84aec2c08836c362515faba9d6bf2a (patch) | |
tree | 75a7295f4a67dd38cf4027380f9f97948fe7c705 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra | |
parent | upper limit is soft (diff) | |
download | VIATRA-Generator-cf17186c9c84aec2c08836c362515faba9d6bf2a.tar.gz VIATRA-Generator-cf17186c9c84aec2c08836c362515faba9d6bf2a.tar.zst VIATRA-Generator-cf17186c9c84aec2c08836c362515faba9d6bf2a.zip |
removeOne for object scope
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
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 { | |||
148 | } | 148 | } |
149 | private def removeOne(Scope scope) { | 149 | private def removeOne(Scope scope) { |
150 | if(scope.maxNewElements===0) { | 150 | if(scope.maxNewElements===0) { |
151 | throw new IllegalArgumentException('''Inconsistent object creation: «scope.targetTypeInterpretation»''') | 151 | scope.maxNewElements=0 |
152 | //throw new IllegalArgumentException('''Inconsistent object creation: «scope.targetTypeInterpretation»''') | ||
152 | } else if(scope.maxNewElements>0) { | 153 | } else if(scope.maxNewElements>0) { |
153 | scope.maxNewElements= scope.maxNewElements-1 | 154 | scope.maxNewElements= scope.maxNewElements-1 |
154 | } | 155 | } |