From 9ce21ae3e01967022051f423e6f54972e17053a2 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Tue, 22 May 2018 14:37:45 +0200 Subject: Cleared up visualisation thread --- .../application/execution/GenerationTaskExecutor.xtend | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'Application') 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 663c45a4..61526ce6 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 @@ -1,5 +1,6 @@ package hu.bme.mit.inf.dslreasoner.application.execution +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask import hu.bme.mit.inf.dslreasoner.application.validation.MetamodelValidator import hu.bme.mit.inf.dslreasoner.application.validation.QueryAndMetamodelValidator @@ -10,20 +11,20 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolutionScope import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.InconsistencyResult import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.UnknownResult +import hu.bme.mit.inf.dslreasoner.logic.model.statistics.StatisticSections2CSV import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2LogicConfiguration import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml -import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation +import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualiser import hu.bme.mit.inf.dslreasoner.workspace.ProjectWorkspace +import java.util.LinkedHashMap import java.util.Optional +import java.util.Scanner import org.eclipse.core.runtime.IProgressMonitor import org.eclipse.emf.common.util.URI -import java.util.LinkedHashMap -import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript -import hu.bme.mit.inf.dslreasoner.logic.model.statistics.StatisticSections2CSV class GenerationTaskExecutor { val metamodelLoader = new MetamodelLoader @@ -40,7 +41,7 @@ class GenerationTaskExecutor { GenerationTask task, ScriptExecutor scriptExecutor, IProgressMonitor monitor) - { + { monitor.subTask('''Collecting all resources''') // 1. Load all resources val metamodelSpecification = scriptExecutor.getMetamodelSpecification(task.metamodel) @@ -199,7 +200,7 @@ class GenerationTaskExecutor { val gml = vis1.transform(representation) outputWorkspaceForRun.writeText('''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1».gml''',gml) if(representation.newElements.size + representation.problem.elements.size < 150) { - val vis2 = new GraphvizVisualisation + val vis2 = new GraphvizVisualiser val dot = vis2.visualiseConcretization(representation) dot.writeToFile(outputWorkspaceForRun,'''model«IF runs>1»_«run»«ENDIF»_«interpretationIndex+1».png''') } -- cgit v1.2.3-54-g00ecf