|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectbr.uerj.petrinetanalyzer.gui.listener.AbstractActionListener
br.uerj.petrinetanalyzer.gui.listener.AnalyzerAction
public class AnalyzerAction
Classe que implementa a area de desenho da rede de petri.
| Field Summary | |
|---|---|
private PetriNetAnalyzer |
analyzerEngine
|
private AnalyzerWindow |
anWindow
|
private ImplPetriNetBase |
pn
|
| Fields inherited from class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener |
|---|
modo, sub_modo, window |
| Fields inherited from interface br.uerj.petrinetanalyzer.gui.interfaces.IntfMainConstants |
|---|
DRAW_ARC, EDIT_ARC, EDIT_DELETE, EDIT_LABEL, EDIT_LUGAR, EDIT_MOUSE, EDIT_TRANS, FILE_SAVE, MODO_ANALISE, MODO_EDICAO, MODO_SIMULACAO, PROP_LANGUAGE_FILE_DEFAULT, PROP_LANGUAGE_FILE_ENGLISH, PROP_LANGUAGE_FILE_PORT_BR, SIM_BACK, SIM_START, SIM_STOP |
| Constructor Summary | |
|---|---|
AnalyzerAction(ImplPetriNetBase pn)
Construtor. |
|
| Method Summary | |
|---|---|
void |
refreshText()
Atualiza os rótulos e o texto da janela de Analise. |
void |
showSimulationWindow()
Exibe a janela de Análise. |
static boolean |
verifyPn(ImplPetriNetBase pn)
Verifica se a Rede de Petri é uma rede válida para ser analisada. |
| Methods inherited from class br.uerj.petrinetanalyzer.gui.listener.AbstractActionListener |
|---|
cleanInfoPanel, disableEditButton, disableSimulationButton, enableEditButton, enableSimulationButton, getWindow, setWindow |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
private PetriNetAnalyzer analyzerEngine
private ImplPetriNetBase pn
private AnalyzerWindow anWindow
| Constructor Detail |
|---|
public AnalyzerAction(ImplPetriNetBase pn)
pn - Rede de Petri a ser simulada| Method Detail |
|---|
public static boolean verifyPn(ImplPetriNetBase pn)
pn - Rede de Petri
public void showSimulationWindow()
public void refreshText()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||