Uses of Class
pipe.dataLayer.Place

Packages that use Place

pipe.dataLayer
pipe.gui
pipe.modules.comparison

Uses of Place in pipe.dataLayer

Methods in pipe.dataLayer that return Place

private Place	DataLayer.createPlace(org.w3c.dom.Element inputPlaceElement) Creates a Place object from a Place DOM Element
Place[]	DataLayer.getPlaces() Get an List of all the Place objects in the Petri-Net
Place	DataLayer.getPlace(java.lang.String placeName) Return the Place called placeName from the Petri-Net
Place	DataLayer.getPlace(int placeNo) Return the Place called placeName from the Petri-Net

Methods in pipe.dataLayer with parameters of type Place

void	DataLayer.addPlace(Place placeInput) Add placeInput to the back of the Place ArrayList All observers are notified of this change (Model-View Architecture)
private org.w3c.dom.Element	DataLayer.createPlaceElement(Place inputPlace, org.w3c.dom.Document document) Creates a Place Element for a PNML Petri-Net DOM

Uses of Place in pipe.gui

Fields in pipe.gui declared as Place

private Place

EditTokenAction.selected

Constructors in pipe.gui with parameters of type Place

EditTokenAction(java.awt.Container contentPane, Place place)

Uses of Place in pipe.modules.comparison

Methods in pipe.modules.comparison with parameters of type Place

private void

Comparison.comparePlaces(Place[] source, Place[] comparison, java.io.FileWriter output)