From 196e06c67071d129a07b79f4228124f819c5039b Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Fri, 11 Mar 2022 16:11:31 +0100
Subject: [PATCH] fixed export related bugs
---
.../st/pnml/splitter/export/PnmlExporter.java | 2 +-
.../export/PrimitiveElementsConverter.java | 16 +++++++++-------
2 files changed, 10 insertions(+), 8 deletions(-)
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 5a736f1..0f1f0c9 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
@@ -51,7 +51,7 @@ public class PnmlExporter {
try {
File myObj = new File(targetPath);
if (myObj.createNewFile()) {
- logger.info("File created: " + myObj.getName());
+ // logger.info("File created: " + myObj.getName());
} else {
logger.info("File already exists.");
}
diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java
index faa3353..6c1698f 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PrimitiveElementsConverter.java
@@ -9,25 +9,27 @@ public class PrimitiveElementsConverter {
private static StringBuffer clipToolSpecificsFormattedXmlBuffer(String toolName, String toolVersion, StringBuffer formattedXmlBuffer) {
- if (formattedXmlBuffer != null && formattedXmlBuffer.indexOf("</toolspecific>") > -1) {
+ StringBuffer bufferCopy = new StringBuffer(formattedXmlBuffer);
+
+ if (bufferCopy != null && bufferCopy.indexOf("</toolspecific>") > -1) {
int endCharsLength = 15;
int toolNameLenth = (toolName == null) ? 0 : toolName.length();
int toolVersionLength = (toolVersion == null) ? 0 : toolVersion.length();
int indexGt = 0;
- if (formattedXmlBuffer.indexOf("?xml") > -1) {
- indexGt = formattedXmlBuffer.indexOf(">", formattedXmlBuffer.indexOf(">") + 1);
+ if (bufferCopy.indexOf("?xml") > -1) {
+ indexGt = bufferCopy.indexOf(">", bufferCopy.indexOf(">") + 1);
} else {
- indexGt = formattedXmlBuffer.indexOf(">");
+ indexGt = bufferCopy.indexOf(">");
}
if (toolNameLenth > 0 || toolVersionLength > 0) {
- formattedXmlBuffer.delete(0, indexGt + 1);
- formattedXmlBuffer.delete(formattedXmlBuffer.length() - endCharsLength, formattedXmlBuffer.length());
+ bufferCopy.delete(0, indexGt + 1);
+ bufferCopy.delete(bufferCopy.length() - endCharsLength, bufferCopy.length());
}
}
- return formattedXmlBuffer;
+ return bufferCopy;
}
public static RefTransitionHLAPI convertRefTransitionToPnmlObject(RefTransition refTransition, TransitionHLAPI referencedTransition, RefTransitionHLAPI referencedRefTransition){
--
GitLab