diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:43:01 +0200 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-09-14 16:43:01 +0200 |
commit | 1656194bb55cfccb78132df252de3bdea51bd869 (patch) | |
tree | 20742b65197097bbb82c7d8189630e091a1fb123 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend | |
parent | Scope in partial model initialised by the given model scope (diff) | |
download | VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.tar.gz VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.tar.zst VIATRA-Generator-1656194bb55cfccb78132df252de3bdea51bd869.zip |
Updated progress monitor for huge amount instance generation processes
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend index 624e75a5..be35b64a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend | |||
@@ -9,9 +9,15 @@ class EclipseBasedProgressMonitor extends SolverProgressMonitor{ | |||
9 | public new(IProgressMonitor internalMonitor) { | 9 | public new(IProgressMonitor internalMonitor) { |
10 | this.internalMonitor = internalMonitor | 10 | this.internalMonitor = internalMonitor |
11 | } | 11 | } |
12 | var double currentDouble = 0.0 | ||
13 | var int currentInt = 0 | ||
12 | 14 | ||
13 | override protected processWorked(double amount) { | 15 | override protected processWorked(double amount) { |
14 | internalMonitor.worked((amount*1000).intValue) | 16 | val newDouble = currentDouble+amount |
17 | val newInt = (newDouble*1000).intValue | ||
18 | internalMonitor.worked(newInt-currentInt) | ||
19 | currentDouble = newDouble | ||
20 | currentInt = newInt | ||
15 | } | 21 | } |
16 | 22 | ||
17 | override isCancelled() { | 23 | override isCancelled() { |