From 0f99d67f876191d0be478e31e6ee60410c881aa4 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 25 Oct 2021 10:39:45 +0200
Subject: [PATCH] add missing syn in navigation attributes
---
src/main/jastadd/Navigation.jrag | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/jastadd/Navigation.jrag b/src/main/jastadd/Navigation.jrag
index 34cda81..444a59e 100644
--- a/src/main/jastadd/Navigation.jrag
+++ b/src/main/jastadd/Navigation.jrag
@@ -2,7 +2,7 @@ aspect Navigation {
inh PetriNet PnObject.petriNet();
eq PetriNet.getChild().petriNet() = this;
- java.util.Collection<Place> Transition.incomingPlaces() {
+ syn java.util.Collection<Place> Transition.incomingPlaces() {
java.util.Set<Place> incomingPlaces = new java.util.HashSet<>();
for (Arc incomingArc : getInArcList()) {
incomingPlaces.add(incomingArc.getSource().asPlaceNode().place());
@@ -10,7 +10,7 @@ aspect Navigation {
return incomingPlaces;
}
- java.util.Collection<Place> Transition.outgoingPlaces() {
+ syn java.util.Collection<Place> Transition.outgoingPlaces() {
java.util.Set<Place> outgoingPlaces = new java.util.HashSet<>();
for (Arc outgoingArc : getOutArcList()) {
outgoingPlaces.add(outgoingArc.getTarget().asPlaceNode().place());
--
GitLab