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 | 5 |
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 | |||
25 | import java.util.Scanner | 25 | import java.util.Scanner |
26 | import org.eclipse.core.runtime.IProgressMonitor | 26 | import org.eclipse.core.runtime.IProgressMonitor |
27 | import org.eclipse.emf.common.util.URI | 27 | import org.eclipse.emf.common.util.URI |
28 | import hu.bme.mit.inf.dslreasoner.workspace.URIBasedWorkspace | ||
28 | 29 | ||
29 | class GenerationTaskExecutor { | 30 | class 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 | } |