diff options
author | 2020-05-12 20:53:13 +0200 | |
---|---|---|
committer | 2020-05-12 20:53:13 +0200 | |
commit | dc9eb4fed3bec74c0feeababa3b8b16fe06eb675 (patch) | |
tree | 23eae2122c0663cff921d68f80c3bce68366b319 /Application/hu.bme.mit.inf.dslreasoner.application/src | |
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/hu.bme.mit.inf.dslreasoner.application/src')
-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) |