diff options
author | 2018-05-10 18:52:50 +0200 | |
---|---|---|
committer | 2018-05-10 18:52:50 +0200 | |
commit | f3001344053444ba93c8e26a306ca24bc04aaefa (patch) | |
tree | 9adb484345d0afce7b0166f55cef609da9628503 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/EclipseBasedProgressMonitor.xtend | |
parent | Regenerated Application Configuration Language (diff) | |
download | VIATRA-Generator-f3001344053444ba93c8e26a306ca24bc04aaefa.tar.gz VIATRA-Generator-f3001344053444ba93c8e26a306ca24bc04aaefa.tar.zst VIATRA-Generator-f3001344053444ba93c8e26a306ca24bc04aaefa.zip |
Renamed
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 | ||