From 197d324b06e2b01e3b38613de84c0b273f9dae37 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Wed, 17 May 2023 16:55:57 +0200
Subject: [PATCH] exended nav
---
src/main/jastadd/base/Navigation.jrag | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/src/main/jastadd/base/Navigation.jrag b/src/main/jastadd/base/Navigation.jrag
index 0003ecb..7633e4f 100644
--- a/src/main/jastadd/base/Navigation.jrag
+++ b/src/main/jastadd/base/Navigation.jrag
@@ -218,16 +218,23 @@ aspect Navigation {
}
syn Transition PetriNet.getTransitionById(String id) {
-
for (Transition t : this.allTransitions()) {
if (t.getId().equals(id)) {
return t;
}
}
-
return null;
}
+ syn Place PetriNet.getPlaceById(String id) {
+ for (Place p : this.allPlaces()) {
+ if (p.getId().equals(id)) {
+ return p;
+ }
+ }
+ return null;
+ }
+
syn RefTransition PetriNet.getRefTransitionFromTransitionNode(TransitionNode tNode) {
if (tNode.isRefTransition()) {
--
GitLab