Skip to content
Snippets Groups Projects
Commit 95f01b5c authored by Johannes Mey's avatar Johannes Mey
Browse files

move navigation to new file

parent a1889eeb
Branches
No related tags found
No related merge requests found
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();
}
...@@ -9,14 +9,6 @@ aspect References { ...@@ -9,14 +9,6 @@ aspect References {
throw new RuntimeException(new de.tudresden.inf.st.pnml.PnmlParseException("Unable to resolve id " + id)); 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.globallyResolveArcByToken(String id) = (Arc) petriNet().resolve(id);
eq PnObject.globallyResolveNodeByToken(String id) = (Node) petriNet().resolve(id); eq PnObject.globallyResolveNodeByToken(String id) = (Node) petriNet().resolve(id);
eq PnObject.globallyResolvePlaceNodeByToken(String id) = (PlaceNode) petriNet().resolve(id); eq PnObject.globallyResolvePlaceNodeByToken(String id) = (PlaceNode) petriNet().resolve(id);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment