Skip to content

Commit 3943ef1

Browse files
committed
export lpms for the discovery runner in both formats: csv and json
1 parent 509e7e4 commit 3943ef1

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

src/org/processmining/placebasedlpmdiscovery/runners/lpmdiscovery/LPMDiscoveryRunner.java

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
import org.processmining.placebasedlpmdiscovery.lpmdistances.serialization.ModelDistanceConfigDeserializer;
99
import org.processmining.placebasedlpmdiscovery.model.discovery.LPMDiscoveryResult;
1010
import org.processmining.placebasedlpmdiscovery.model.exporting.exporters.CSVExporter;
11+
import org.processmining.placebasedlpmdiscovery.model.exporting.exporters.ExporterFactory;
1112
import org.processmining.placebasedlpmdiscovery.runners.io.RunnerInput;
1213
import org.processmining.placebasedlpmdiscovery.runners.io.RunnerOutput;
1314
import org.processmining.placebasedlpmdiscovery.runners.serialization.RunnerInputAdapter;
@@ -17,6 +18,8 @@
1718

1819
import java.io.FileNotFoundException;
1920
import java.io.FileReader;
21+
import java.nio.file.Files;
22+
import java.nio.file.Paths;
2023
import java.util.List;
2124

2225
public class LPMDiscoveryRunner {
@@ -41,8 +44,8 @@ private static void run(String configPath) throws Exception {
4144
LPMDiscoveryResult result = LPMDiscovery.getInstance().from(log);
4245
System.out.println(result.getAllLPMs().size());
4346
CSVExporter.export(result, config.getOutput().get("lpms"));
44-
// result.export(ExporterFactory.createLPMDiscoveryResultExporter(),
45-
// Files.newOutputStream(Paths.get(config.getOutput().get("lpms"))));
47+
result.export(ExporterFactory.createLPMDiscoveryResultExporter(),
48+
Files.newOutputStream(Paths.get(config.getOutput().get("lpms")+".json")));
4649
// File coverageResFile = new File(config.getOutput().get("lpms").replaceFirst(".json", "-coverage.csv"));
4750
// ((LPMEvaluationController.EventCoverageSetLevel) result.getAdditionalResults().get("eventCoverageSetLevel"))
4851
// .export(coverageResFile);

0 commit comments

Comments
 (0)