From 56e617cd5e45524acb33feec858da292ddf1446f Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Tue, 15 Mar 2022 14:51:49 +0100
Subject: [PATCH] fixed exporter
---
.../inf/st/pnml/splitter/export/PnmlExporter.java | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java
index 0f1f0c9..a747c5a 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java
@@ -45,11 +45,20 @@ public class PnmlExporter {
Set<ArcHLAPI> convertedArcs = convertAndIncludeArcs(petriNet, convertedPages, convertedPlaces, convertedTransitions, convertedRefTransitions, convertedRefPlaces);
// export the created objects to pnml
- String targetPath = UUID.randomUUID().toString() + fileNameSuffix + ".pnml";
+ String homeDirectory = System.getProperty("user.dir");
+ String targetPath = homeDirectory + "/temp/pnml/" + UUID.randomUUID().toString() + fileNameSuffix + ".pnml";
boolean hasFailed = false;
+
+
+
try {
File myObj = new File(targetPath);
+
+ if (!myObj.exists()){
+ myObj.getParentFile().mkdirs();
+ }
+
if (myObj.createNewFile()) {
// logger.info("File created: " + myObj.getName());
} else {
--
GitLab