Skip to content
Snippets Groups Projects
Commit 9b133c42 authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

fixed default init of place / transition infos

parent ac10eea8
No related branches found
No related tags found
No related merge requests found
...@@ -125,19 +125,19 @@ public class PostProcessingUtils { ...@@ -125,19 +125,19 @@ public class PostProcessingUtils {
ServiceTransitionInformation oldSti = t.asInputSignalTransition().getStaticTransitionInformation().asServiceTransitionInformation(); ServiceTransitionInformation oldSti = t.asInputSignalTransition().getStaticTransitionInformation().asServiceTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new ServiceTransitionInformation(oldSti.getLocation(), oldSti.getType(), 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()) { } else if (t.asInputSignalTransition().getStaticTransitionInformation().isTopicTransitionInformation()) {
TopicTransitionInformation oldTti = t.asInputSignalTransition().getStaticTransitionInformation().asTopicTransitionInformation(); TopicTransitionInformation oldTti = t.asInputSignalTransition().getStaticTransitionInformation().asTopicTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new TopicTransitionInformation(oldTti.getLocation(), oldTti.getType(), 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()) { } else if (t.asInputSignalTransition().getStaticTransitionInformation().isDefaultTransitionInformation()) {
TransitionInformation oldTi = t.asInputSignalTransition().getStaticTransitionInformation(); TransitionInformation oldTi = t.asInputSignalTransition().getStaticTransitionInformation();
t.asInputSignalTransition().setMutualTransitionInformation(new DefaultTransitionInformation(oldTi.getLocation(), oldTi.getType(), 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 { } else {
t.asInputSignalTransition().getMutualTransitionInformation().setInstance(instanceId); t.asInputSignalTransition().getMutualTransitionInformation().setInstance(instanceId);
...@@ -150,7 +150,7 @@ public class PostProcessingUtils { ...@@ -150,7 +150,7 @@ public class PostProcessingUtils {
if (p.asOutputSignalPlace().getMutualPlaceInformation() == null) { if (p.asOutputSignalPlace().getMutualPlaceInformation() == null) {
PlaceInformation oldPi = p.asOutputSignalPlace().getStaticPlaceInformation(); 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{ }else{
p.asOutputSignalPlace().getMutualPlaceInformation().setInstance(instanceId); p.asOutputSignalPlace().getMutualPlaceInformation().setInstance(instanceId);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment