From cc92ca5b77b4360b5ea1bc2da6af53a4e6982676 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Thu, 6 Jul 2023 18:32:20 +0200
Subject: [PATCH] util methods for navigation, constants

---
 src/main/jastadd/base/Navigation.jrag | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/jastadd/base/Navigation.jrag b/src/main/jastadd/base/Navigation.jrag
index 2cadc25..4c7bb07 100644
--- a/src/main/jastadd/base/Navigation.jrag
+++ b/src/main/jastadd/base/Navigation.jrag
@@ -63,6 +63,9 @@ aspect Navigation {
   syn boolean PnObject.isPlaceObject() = false;
   eq Place.isPlaceObject() = true;
 
+  syn boolean PnObject.isTransitionObject() = false;
+  eq Transition.isTransitionObject() = true;
+
   syn boolean Node.isPlaceNode() = false;
   eq PlaceNode.isPlaceNode() = true;
 
@@ -120,7 +123,7 @@ aspect Navigation {
   syn TransitionNode Node.asTransitionNode() = null;
   eq TransitionNode.asTransitionNode() = this;
 
-  syn DinerosTransition Transition.asDinerosTransition() = null;
+  syn DinerosTransition PnObject.asDinerosTransition() = null;
   eq DinerosTransition.asDinerosTransition() = this;
 
   syn Page PnObject.asPage() = null;
-- 
GitLab