From fb3907190b5d35f418366a4a112e46edb15ff60b Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 29 Jun 2018 00:19:36 +0200
Subject: [PATCH] improve ConnectedSegmentsInject

---
 .../JastaddTransformationInjectConnectedSegments.java      | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectConnectedSegments.java b/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectConnectedSegments.java
index a840cbf99..bd762b99b 100644
--- a/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectConnectedSegments.java
+++ b/trainbenchmark-tool-jastadd-specialized-base/src/main/java/de/tudresden/inf/st/train/jastadd/transformations/inject/JastaddTransformationInjectConnectedSegments.java
@@ -31,12 +31,7 @@ public class JastaddTransformationInjectConnectedSegments<TJastaddDriver extends
       match.getSensor().addMonitoredElement(segment2);
 
       // remove the connection of segment1 to segment3
-      for (int i = 0; i < match.getSegment1().getConnectsToList().getNumChild(); i++) {
-        if (match.getSegment1().getConnectsTo(i) == match.getSegment3()) {
-          match.getSegment1().getConnectsToList().removeChild(i);
-          break;
-        }
-      }
+      match.getSegment1().removeConnectsTo(match.getSegment3());
 
       // connect segment1 to segment2
       match.getSegment1().addConnectsTo(segment2);
-- 
GitLab