aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
diff options
context:
space:
mode:
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.xtend3
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/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend
index 975da665..69365add 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
@@ -28,6 +28,7 @@ import org.eclipse.emf.common.util.URI
28import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace 28import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace
29import java.util.LinkedList 29import java.util.LinkedList
30import java.io.File 30import java.io.File
31import org.eclipse.ui.console.ConsolePlugin
31 32
32class GenerationTaskExecutor { 33class GenerationTaskExecutor {
33 val metamodelLoader = new MetamodelLoader 34 val metamodelLoader = new MetamodelLoader
@@ -64,7 +65,7 @@ class GenerationTaskExecutor {
64 val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification) 65 val memoryLimit = scriptExecutor.getMemoryLimit(configSpecification)
65 66
66 // 2. create console 67 // 2. create console
67 val console = new ScriptConsole(false,true,false, 68 val console = new ScriptConsole(true,false,
68 if(messageFile!==null) URI.createURI(messageFile.path) else null, 69 if(messageFile!==null) URI.createURI(messageFile.path) else null,
69 if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null, 70 if(debugFolder!==null) URI.createURI('''«debugFolder.path»/errors.txt''') else null,
70 if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null 71 if(statisticsFile!==null) URI.createURI(statisticsFile.path) else null