From 9b133c420ad79e36f1d577ccfb0b388feaf34741 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Wed, 15 Feb 2023 13:53:25 +0100
Subject: [PATCH] fixed default init of place / transition infos
---
.../pnml/splitter/postprocessing/PostProcessingUtils.java | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java
index 969e4bb..64f1f5f 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java
@@ -125,19 +125,19 @@ public class PostProcessingUtils {
ServiceTransitionInformation oldSti = t.asInputSignalTransition().getStaticTransitionInformation().asServiceTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new ServiceTransitionInformation(oldSti.getLocation(), oldSti.getType(),
- oldSti.getInputLimit(), oldSti.getOutputLimit(), oldSti.getSubNet(), instanceId, oldSti.getServiceName()));
+ oldSti.getInputLimit(), oldSti.getOutputLimit(), oldSti.getSubNet(), instanceId, null, oldSti.getServiceName()));
} else if (t.asInputSignalTransition().getStaticTransitionInformation().isTopicTransitionInformation()) {
TopicTransitionInformation oldTti = t.asInputSignalTransition().getStaticTransitionInformation().asTopicTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new TopicTransitionInformation(oldTti.getLocation(), oldTti.getType(),
- oldTti.getInputLimit(), oldTti.getOutputLimit(), oldTti.getSubNet(), instanceId, oldTti.getTopic()));
+ oldTti.getInputLimit(), oldTti.getOutputLimit(), oldTti.getSubNet(), instanceId, null, oldTti.getTopic()));
} else if (t.asInputSignalTransition().getStaticTransitionInformation().isDefaultTransitionInformation()) {
TransitionInformation oldTi = t.asInputSignalTransition().getStaticTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new DefaultTransitionInformation(oldTi.getLocation(), oldTi.getType(),
- oldTi.getInputLimit(), oldTi.getOutputLimit(), oldTi.getSubNet(), instanceId));
+ oldTi.getInputLimit(), oldTi.getOutputLimit(), oldTi.getSubNet(), instanceId, null));
}
} else {
t.asInputSignalTransition().getMutualTransitionInformation().setInstance(instanceId);
@@ -150,7 +150,7 @@ public class PostProcessingUtils {
if (p.asOutputSignalPlace().getMutualPlaceInformation() == null) {
PlaceInformation oldPi = p.asOutputSignalPlace().getStaticPlaceInformation();
- p.asOutputSignalPlace().setMutualPlaceInformation(new PlaceInformation(oldPi.getLocation(), oldPi.getType(), oldPi.getSubNet(), instanceId));
+ p.asOutputSignalPlace().setMutualPlaceInformation(new PlaceInformation(oldPi.getLocation(), oldPi.getType(), oldPi.getSubNet(), instanceId, null));
}else{
p.asOutputSignalPlace().getMutualPlaceInformation().setInstance(instanceId);
--
GitLab