From 44d544b416316f716063337a4a1c1d6ab7d6fdd4 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 28 Jun 2018 08:37:14 +0200
Subject: [PATCH] fix SwitchMonitoredInject. It now only removes the intrinsic
reference and no longer the switch itself.
---
.../JastaddTransformationInjectSwitchMonitored.java | 13 -------------
1 file changed, 13 deletions(-)
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 28457d54a..4d747c62e 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();
}
--
GitLab