diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend index 20eed2e2..e4d6fe9f 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend | |||
@@ -12,7 +12,9 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RuntimeEn | |||
12 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification | 12 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification |
13 | import hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor | 13 | import hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor |
14 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor | 14 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor |
15 | import hu.bme.mit.inf.dslreasoner.application.execution.StandardOutputBasedScriptConsole | ||
15 | import java.io.File | 16 | import java.io.File |
17 | import java.io.PrintWriter | ||
16 | import java.text.SimpleDateFormat | 18 | import java.text.SimpleDateFormat |
17 | import java.util.Date | 19 | import java.util.Date |
18 | import org.apache.commons.cli.BasicParser | 20 | import org.apache.commons.cli.BasicParser |
@@ -23,8 +25,6 @@ import org.apache.commons.cli.Option | |||
23 | import org.apache.commons.cli.Options | 25 | import org.apache.commons.cli.Options |
24 | import org.apache.commons.cli.ParseException | 26 | import org.apache.commons.cli.ParseException |
25 | import org.eclipse.core.runtime.NullProgressMonitor | 27 | import org.eclipse.core.runtime.NullProgressMonitor |
26 | import com.google.common.io.Files | ||
27 | import java.io.PrintWriter | ||
28 | 28 | ||
29 | class RunGeneratorConfig { | 29 | class RunGeneratorConfig { |
30 | static var SIZE_LB = 20 | 30 | static var SIZE_LB = 20 |
@@ -102,7 +102,7 @@ class RunGeneratorConfig { | |||
102 | val SimpleDateFormat format = new SimpleDateFormat("dd-HHmm") | 102 | val SimpleDateFormat format = new SimpleDateFormat("dd-HHmm") |
103 | val formattedDate = format.format(date) | 103 | val formattedDate = format.format(date) |
104 | 104 | ||
105 | val executor = new ScriptExecutor | 105 | val executor = new ScriptExecutor(StandardOutputBasedScriptConsole.FACTORY) |
106 | val path = "config//generic" + DOMAIN + ".vsconfig" | 106 | val path = "config//generic" + DOMAIN + ".vsconfig" |
107 | var ConfigurationScript config = StandaloneScriptExecutor.loadScript(path) | 107 | var ConfigurationScript config = StandaloneScriptExecutor.loadScript(path) |
108 | 108 | ||