aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/RunGeneratorConfig.xtend
diff options
context:
space:
mode:
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.xtend6
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
12import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification 12import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification
13import hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor 13import hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor
14import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor 14import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor
15import hu.bme.mit.inf.dslreasoner.application.execution.StandardOutputBasedScriptConsole
15import java.io.File 16import java.io.File
17import java.io.PrintWriter
16import java.text.SimpleDateFormat 18import java.text.SimpleDateFormat
17import java.util.Date 19import java.util.Date
18import org.apache.commons.cli.BasicParser 20import org.apache.commons.cli.BasicParser
@@ -23,8 +25,6 @@ import org.apache.commons.cli.Option
23import org.apache.commons.cli.Options 25import org.apache.commons.cli.Options
24import org.apache.commons.cli.ParseException 26import org.apache.commons.cli.ParseException
25import org.eclipse.core.runtime.NullProgressMonitor 27import org.eclipse.core.runtime.NullProgressMonitor
26import com.google.common.io.Files
27import java.io.PrintWriter
28 28
29class RunGeneratorConfig { 29class 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