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 | 21 |
1 files changed, 21 insertions, 0 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 new file mode 100644 index 00000000..624e75a5 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend | |||
@@ -0,0 +1,21 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.application.execution | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverProgressMonitor | ||
4 | import org.eclipse.core.runtime.IProgressMonitor | ||
5 | |||
6 | class EclipseBasedProgressMonitor extends SolverProgressMonitor{ | ||
7 | val IProgressMonitor internalMonitor | ||
8 | |||
9 | public new(IProgressMonitor internalMonitor) { | ||
10 | this.internalMonitor = internalMonitor | ||
11 | } | ||
12 | |||
13 | override protected processWorked(double amount) { | ||
14 | internalMonitor.worked((amount*1000).intValue) | ||
15 | } | ||
16 | |||
17 | override isCancelled() { | ||
18 | super.isCancelled() || internalMonitor.isCanceled | ||
19 | } | ||
20 | |||
21 | } \ No newline at end of file | ||