diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index ad950fc8..c9d38c7d 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
@@ -186,6 +186,7 @@ class GenerationTaskExecutor { | |||
186 | console.writeMessage("Model generation started") | 186 | console.writeMessage("Model generation started") |
187 | for(run : 1..runs) { | 187 | for(run : 1..runs) { |
188 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') | 188 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') |
189 | val visualisationProgressMonitor= new EclipseBasedProgressMonitor(monitor) | ||
189 | 190 | ||
190 | // 6.2 For each run, the configuration and the workspace is adjusted | 191 | // 6.2 For each run, the configuration and the workspace is adjusted |
191 | solverLoader.setRunIndex(solverConfig,configurationMap,run,console) | 192 | solverLoader.setRunIndex(solverConfig,configurationMap,run,console) |
@@ -240,44 +241,44 @@ class GenerationTaskExecutor { | |||
240 | dotRepresentations += outputWorkspaceForRun.getFile(dotFileName) | 241 | dotRepresentations += outputWorkspaceForRun.getFile(dotFileName) |
241 | } | 242 | } |
242 | else { | 243 | else { |
243 | dotRepresentations += null | 244 | dotRepresentations.add(null) |
244 | } | 245 | } |
245 | } else { | 246 | } else { |
246 | gmlRepresentations += null | 247 | gmlRepresentations.add(null) |
247 | dotRepresentations += null | 248 | dotRepresentations.add(null) |
248 | } | 249 | } |
249 | } | 250 | } |
250 | monitor.worked(100) | 251 | visualisationProgressMonitor.worked(1.0/interpretations.size) |
251 | } | 252 | } |
252 | if(!emfRepresentations.empty) { | 253 | if(!emfRepresentations.empty) { |
253 | console.writeMessage( | 254 | console.writeMessage( |
254 | '''Models: «FOR f : emfRepresentations»#«ENDFOR»''', | 255 | '''Models: «FOR f : emfRepresentations.filterNull»#«ENDFOR»''', |
255 | "#", | 256 | "#", |
256 | emfRepresentations.map[ | 257 | emfRepresentations.filterNull.map[ |
257 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) | 258 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) |
258 | ] | 259 | ] |
259 | ) | 260 | ) |
260 | } | 261 | } |
261 | if(!gmlRepresentations.empty) { | 262 | if(!gmlRepresentations.empty) { |
262 | console.writeMessage( | 263 | console.writeMessage( |
263 | '''Visualisations: «FOR f : gmlRepresentations»#«ENDFOR»''', | 264 | '''Visualisations: «FOR f : gmlRepresentations.filterNull»#«ENDFOR»''', |
264 | "#", | 265 | "#", |
265 | gmlRepresentations.map[ | 266 | gmlRepresentations.filterNull.map[ |
266 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) | 267 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) |
267 | ] | 268 | ] |
268 | ) | 269 | ) |
269 | } | 270 | } |
270 | if(!dotRepresentations.empty) { | 271 | if(!dotRepresentations.empty) { |
271 | console.writeMessage( | 272 | console.writeMessage( |
272 | '''Visualisations: «FOR f : dotRepresentations»#«ENDFOR»''', | 273 | '''Visualisations: «FOR f : dotRepresentations.filterNull»#«ENDFOR»''', |
273 | "#", | 274 | "#", |
274 | dotRepresentations.map[ | 275 | dotRepresentations.filterNull.map[ |
275 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) | 276 | new ScriptConsoleDecorator('''«it.fileRepresentationInConsole»''',it) |
276 | ] | 277 | ] |
277 | ) | 278 | ) |
278 | } | 279 | } |
279 | } else { | 280 | } else { |
280 | monitor.worked(solverConfig.solutionScope.numberOfRequiredSolution*100) | 281 | visualisationProgressMonitor.worked(1.0) |
281 | } | 282 | } |
282 | solutionVisualisationTime = System.nanoTime - solutionVisualisationTime | 283 | solutionVisualisationTime = System.nanoTime - solutionVisualisationTime |
283 | 284 | ||