diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 20:53:13 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 20:53:13 +0200 |
| commit | dc9eb4fed3bec74c0feeababa3b8b16fe06eb675 (patch) | |
| tree | 23eae2122c0663cff921d68f80c3bce68366b319 /Application | |
| parent | memory cleaning for measurements (diff) | |
| download | VIATRA-Generator-dc9eb4fed3bec74c0feeababa3b8b16fe06eb675.tar.gz VIATRA-Generator-dc9eb4fed3bec74c0feeababa3b8b16fe06eb675.tar.zst VIATRA-Generator-dc9eb4fed3bec74c0feeababa3b8b16fe06eb675.zip | |
memory cleaning message between tasks
Diffstat (limited to 'Application')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend index 6037cfbf..04449a74 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ScriptExecutor.xtend | |||
| @@ -56,10 +56,11 @@ class ScriptExecutor { | |||
| 56 | public def executeScript(ConfigurationScript script, IProgressMonitor monitor) { | 56 | public def executeScript(ConfigurationScript script, IProgressMonitor monitor) { |
| 57 | script.activateAllEPackageReferences | 57 | script.activateAllEPackageReferences |
| 58 | val tasks = script.commands.filter(Task) | 58 | val tasks = script.commands.filter(Task) |
| 59 | val intermediateScriptConsole = new ScriptConsole(true,false,null,null,null) | ||
| 59 | 60 | ||
| 60 | for(taskIndex : 0..<tasks.size) { | 61 | for(taskIndex : 0..<tasks.size) { |
| 61 | if(taskIndex>0) { | 62 | if(taskIndex>0) { |
| 62 | restForMeasurements(null) | 63 | restForMeasurements(intermediateScriptConsole) |
| 63 | } | 64 | } |
| 64 | val task = tasks.get(taskIndex) | 65 | val task = tasks.get(taskIndex) |
| 65 | monitor.beginTask('''Executing task«IF tasks.size>1» «taskIndex+1»«ENDIF»: «task.name»''',task.totalWork) | 66 | monitor.beginTask('''Executing task«IF tasks.size>1» «taskIndex+1»«ENDIF»: «task.name»''',task.totalWork) |