|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use PlaceGraph | |
|---|---|
| br.uerj.petrinetanalyzer.gui.listener | |
| br.uerj.petrinetanalyzer.gui.objects | |
| Uses of PlaceGraph in br.uerj.petrinetanalyzer.gui.listener |
|---|
| Fields in br.uerj.petrinetanalyzer.gui.listener declared as PlaceGraph | |
|---|---|
(package private) PlaceGraph |
PlaceActionListener.place
Lugar correntemente selecionado. |
| Methods in br.uerj.petrinetanalyzer.gui.listener with parameters of type PlaceGraph | |
|---|---|
void |
PlaceActionListener.setSelectedPlace(PlaceGraph place)
Seta o Lugar selecionado pelo Mouse. |
| Uses of PlaceGraph in br.uerj.petrinetanalyzer.gui.objects |
|---|
| Methods in br.uerj.petrinetanalyzer.gui.objects that return PlaceGraph | |
|---|---|
PlaceGraph |
PetriNetGraph.getPlace(int posicao)
Retorna Lugar através da posição. |
PlaceGraph |
PetriNetGraph.getPlace(java.lang.String nome)
Retorna Lugar através do nome. |
| Methods in br.uerj.petrinetanalyzer.gui.objects with parameters of type PlaceGraph | |
|---|---|
void |
PetriNetGraph.addLugar(PlaceGraph place)
Adiciona Lugar. |
boolean |
PetriNetGraph.verifyPlaceSelected(PlaceGraph place)
Verifica se o Lugar passado como parâmetro foi o último selecionado. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||