diff --git a/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectSwitchMonitored.java b/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectSwitchMonitored.java index 28457d54aa73708b3e2916b24f82a3d391cf9787..4d747c62e7d4441b29dbb2cbf2704fb822a45581 100644 --- a/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectSwitchMonitored.java +++ b/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectSwitchMonitored.java @@ -23,21 +23,8 @@ public class JastaddTransformationInjectSwitchMonitored<TJastaddDriver extends J java.util.List<TrackElement> refsToBeRemoved = new ArrayList<>(); for (final JastaddSwitchMonitoredInjectMatch match : matches) { - for (final Sensor sensor : match.getSw().getMonitoringSensorList()) { - for (TrackElement trackElement : sensor.getMonitoredElementList()) { - if (trackElement == match.getSw()) { - refsToBeRemoved.add(trackElement); - } - } - } match.getSw().getMonitoringSensorList().clear(); } - - for(TrackElement ref : refsToBeRemoved) { - ref.removeSelf(); - } - - driver.flushCache(); }