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.xtend5
1 files changed, 3 insertions, 2 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 61526ce6..40ffaf28 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
@@ -25,6 +25,7 @@ import java.util.Optional
25import java.util.Scanner 25import java.util.Scanner
26import org.eclipse.core.runtime.IProgressMonitor 26import org.eclipse.core.runtime.IProgressMonitor
27import org.eclipse.emf.common.util.URI 27import org.eclipse.emf.common.util.URI
28import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace
28 29
29class GenerationTaskExecutor { 30class GenerationTaskExecutor {
30 val metamodelLoader = new MetamodelLoader 31 val metamodelLoader = new MetamodelLoader
@@ -69,13 +70,13 @@ class GenerationTaskExecutor {
69 70
70 try { 71 try {
71 val reasonerWorkspace = if(debugFolder!== null) { 72 val reasonerWorkspace = if(debugFolder!== null) {
72 new ProjectWorkspace(debugFolder.path,"") 73 new URIBasedWorkspace(debugFolder.path,"")
73 } else { 74 } else {
74 new NullWorkspace 75 new NullWorkspace
75 } 76 }
76 reasonerWorkspace.init 77 reasonerWorkspace.init
77 val outputWorkspace = if(outputFolder !== null) { 78 val outputWorkspace = if(outputFolder !== null) {
78 new ProjectWorkspace(outputFolder.path,"") 79 new URIBasedWorkspace(outputFolder.path,"")
79 } else { 80 } else {
80 new NullWorkspace 81 new NullWorkspace
81 } 82 }