From 95f01b5c319726c604038b049b9a3b8d7a1238a7 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Tue, 23 Jun 2020 08:48:53 +0200
Subject: [PATCH] move navigation to new file
---
src/main/jastadd/Navigation.jrag | 14 ++++++++++++++
src/main/jastadd/References.jrag | 8 --------
2 files changed, 14 insertions(+), 8 deletions(-)
create mode 100644 src/main/jastadd/Navigation.jrag
diff --git a/src/main/jastadd/Navigation.jrag b/src/main/jastadd/Navigation.jrag
new file mode 100644
index 0000000..116505e
--- /dev/null
+++ b/src/main/jastadd/Navigation.jrag
@@ -0,0 +1,14 @@
+aspect Navigation {
+ inh PetriNet PnObject.petriNet();
+ eq PetriNet.getChild().petriNet() = this;
+
+ coll java.util.Set<PnObject> PetriNet.allObjects() [new java.util.HashSet()] root PetriNet;
+ PnObject contributes this
+ to PetriNet.allObjects()
+ for petriNet();
+
+ coll java.util.Set<Place> PetriNet.allPlaces() [new java.util.HashSet()] root PetriNet;
+ Place contributes this
+ to PetriNet.allPlaces()
+ for petriNet();
+}
diff --git a/src/main/jastadd/References.jrag b/src/main/jastadd/References.jrag
index 71bce53..bce6451 100644
--- a/src/main/jastadd/References.jrag
+++ b/src/main/jastadd/References.jrag
@@ -9,14 +9,6 @@ aspect References {
throw new RuntimeException(new de.tudresden.inf.st.pnml.PnmlParseException("Unable to resolve id " + id));
}
- coll java.util.Set<PnObject> PetriNet.allObjects() [new java.util.HashSet()] root PetriNet;
- PnObject contributes this
- to PetriNet.allObjects()
- for petriNet();
-
- inh PetriNet PnObject.petriNet();
- eq PetriNet.getChild().petriNet() = this;
-
eq PnObject.globallyResolveArcByToken(String id) = (Arc) petriNet().resolve(id);
eq PnObject.globallyResolveNodeByToken(String id) = (Node) petriNet().resolve(id);
eq PnObject.globallyResolvePlaceNodeByToken(String id) = (PlaceNode) petriNet().resolve(id);
--
GitLab