From 2b9c512e66147464301681c0bce63aa415f84287 Mon Sep 17 00:00:00 2001 From: Quang Truong Date: Tue, 7 Jul 2026 15:34:39 +0200 Subject: [PATCH 1/2] Add relevant route type --- .../ppmodel/extensions/TopKanteExtensions.xtend | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend b/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend index aca0bc9b4d..5695889665 100644 --- a/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend +++ b/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend @@ -709,15 +709,16 @@ class TopKanteExtensions extends BasisObjektExtensions { val anschlussOrigin = topKante.getTOPAnschluss(transition) val anschlussDestination = destination.getTOPAnschluss(transition) - if (anschlussOrigin.point) { - return anschlussDestination.branch + return switch (anschlussOrigin) { + case ENUMTOP_ANSCHLUSS_LINKS, + case ENUMTOP_ANSCHLUSS_RECHTS: anschlussDestination.point + case ENUMTOP_ANSCHLUSS_SPITZE: anschlussDestination.branch + case ENUMTOP_ANSCHLUSS_MERIDIANSPRUNG: anschlussDestination === + ENUMTOP_ANSCHLUSS_MERIDIANSPRUNG + case ENUMTOP_ANSCHLUSS_VERBINDUNG: anschlussDestination === + ENUMTOP_ANSCHLUSS_VERBINDUNG + default: false } - - if (anschlussOrigin.branch) { - return anschlussDestination.point - } - - return false } /** From 26ad3a4bce0f7ca394fd8634d0a52ad3926bd8f0 Mon Sep 17 00:00:00 2001 From: TruongQuangSB Date: Wed, 8 Jul 2026 10:19:20 +0200 Subject: [PATCH 2/2] add route check condition --- .../ppmodel/extensions/TopKanteExtensions.xtend | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend b/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend index 5695889665..91be8fddb0 100644 --- a/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend +++ b/java/bundles/org.eclipse.set.ppmodel.extensions/src/org/eclipse/set/ppmodel/extensions/TopKanteExtensions.xtend @@ -711,13 +711,16 @@ class TopKanteExtensions extends BasisObjektExtensions { return switch (anschlussOrigin) { case ENUMTOP_ANSCHLUSS_LINKS, - case ENUMTOP_ANSCHLUSS_RECHTS: anschlussDestination.point - case ENUMTOP_ANSCHLUSS_SPITZE: anschlussDestination.branch - case ENUMTOP_ANSCHLUSS_MERIDIANSPRUNG: anschlussDestination === - ENUMTOP_ANSCHLUSS_MERIDIANSPRUNG - case ENUMTOP_ANSCHLUSS_VERBINDUNG: anschlussDestination === - ENUMTOP_ANSCHLUSS_VERBINDUNG - default: false + case ENUMTOP_ANSCHLUSS_RECHTS: + anschlussDestination.point + case ENUMTOP_ANSCHLUSS_SPITZE: + anschlussDestination.branch + case ENUMTOP_ANSCHLUSS_MERIDIANSPRUNG, + case ENUMTOP_ANSCHLUSS_VERBINDUNG, + case ENUMTOP_ANSCHLUSS_STRECKENWECHSEL: + anschlussDestination === anschlussOrigin + default: + false } }