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 | 10 |
1 files changed, 3 insertions, 7 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 1ee69827..c3ba9f81 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 | |||
@@ -2,8 +2,6 @@ package hu.bme.mit.inf.dslreasoner.application.execution | |||
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript | 3 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript |
4 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask | 4 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask |
5 | import hu.bme.mit.inf.dslreasoner.application.validation.MetamodelValidator | ||
6 | import hu.bme.mit.inf.dslreasoner.application.validation.QueryAndMetamodelValidator | ||
7 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic | 5 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic |
8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration | 6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration |
9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel | 7 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel |
@@ -35,9 +33,6 @@ class GenerationTaskExecutor { | |||
35 | val scopeLoader = new ScopeLoader | 33 | val scopeLoader = new ScopeLoader |
36 | val statisticsUtil = new StatisticSections2CSV | 34 | val statisticsUtil = new StatisticSections2CSV |
37 | 35 | ||
38 | val metamodelValidator = new MetamodelValidator | ||
39 | val queryAndMetamodelValidator = new QueryAndMetamodelValidator | ||
40 | |||
41 | def executeGenerationTask( | 36 | def executeGenerationTask( |
42 | GenerationTask task, | 37 | GenerationTask task, |
43 | ScriptExecutor scriptExecutor, | 38 | ScriptExecutor scriptExecutor, |
@@ -136,8 +131,6 @@ class GenerationTaskExecutor { | |||
136 | val objectiveSpecification = scriptExecutor.getObjectiveSpecification(task.objectives) | 131 | val objectiveSpecification = scriptExecutor.getObjectiveSpecification(task.objectives) |
137 | val objectiveEntries = objectiveSpecification?.entries ?: emptyList | 132 | val objectiveEntries = objectiveSpecification?.entries ?: emptyList |
138 | val solverConfig = solverLoader.loadSolverConfig(task.solver,configurationMap,objectiveEntries,console) | 133 | val solverConfig = solverLoader.loadSolverConfig(task.solver,configurationMap,objectiveEntries,console) |
139 | |||
140 | |||
141 | // 5.2 set values that defined directly | 134 | // 5.2 set values that defined directly |
142 | solverConfig.solutionScope = new SolutionScope => [ | 135 | solverConfig.solutionScope = new SolutionScope => [ |
143 | it.numberOfRequiredSolutions = if(task.numberSpecified) { | 136 | it.numberOfRequiredSolutions = if(task.numberSpecified) { |
@@ -188,6 +181,9 @@ class GenerationTaskExecutor { | |||
188 | 181 | ||
189 | console.writeMessage("Model generation started") | 182 | console.writeMessage("Model generation started") |
190 | for(run : 1..runs) { | 183 | for(run : 1..runs) { |
184 | if(run > 1) { | ||
185 | ScriptExecutor::restForMeasurements(console) | ||
186 | } | ||
191 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') | 187 | monitor.subTask('''Solving problem«IF runs>0» «run»/«runs»«ENDIF»''') |
192 | val visualisationProgressMonitor= new EclipseBasedProgressMonitor(monitor) | 188 | val visualisationProgressMonitor= new EclipseBasedProgressMonitor(monitor) |
193 | 189 | ||