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/src/hu/bme/mit/inf/dslreasoner | |
| 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/src/hu/bme/mit/inf/dslreasoner')
| -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 | } |