diff options
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() { |