|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Place | |
| pipe.dataLayer | |
| pipe.gui | |
| pipe.modules.comparison | |
| pipe.modules.dnamaca | |
| 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 | |
PlaceHandler(java.awt.Container contentpane,
Place obj)
|
|
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 java.lang.String |
Comparison.comparePlaces(Place[] source,
Place[] comparison,
boolean compareID,
boolean compareName,
boolean compareMarking)
|
| Uses of Place in pipe.modules.dnamaca |
| Fields in pipe.modules.dnamaca declared as Place | |
private Place[] |
Dnamaca.places
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||