br.uerj.petrinetanalyzer.gui
Class MainWindow

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      br.uerj.petrinetanalyzer.gui.MainWindow

All Implemented Interfaces:

IntfLanguageConstants, IntfMainConstants, java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class MainWindow
extends javax.swing.JFrame
implements IntfMainConstants, IntfLanguageConstants, java.awt.event.ActionListener, java.awt.event.FocusListener

Define a Janela Principal para o Editor/Simulador de Redes de Petri Toda a parte gráfica

Author:

Felipe Lino
Data: 04/01/2007
Atualizado: 20/04/2007

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

AnalyzerAction	anAction
ArcActionListener	arcAction
javax.swing.JComboBox	boxTransCurvaDensidade
ButtonActionListener	btAction
javax.swing.JButton	btEditArc
javax.swing.JButton	btEditDelete
javax.swing.JButton	btEditLabel
javax.swing.JButton	btEditPlace
javax.swing.JButton	btEditSeta
javax.swing.JButton	btEditTrans
javax.swing.JButton	btSimBack
javax.swing.JButton	btSimStart
javax.swing.JButton	btSimStop
private com.jgoodies.forms.builder.DefaultFormBuilder	builder
private com.jgoodies.forms.layout.CellConstraints	cc
private java.awt.Container	cp
PetriNetEditorCanvas	editor
javax.swing.JTextField	fieldArcPlace
javax.swing.JTextField	fieldArcTrans
javax.swing.JTextField	fieldPlaceNome
JTextFieldExtended	fieldStatus
javax.swing.JTextField	fieldTransName
javax.swing.JTextField	fieldTransSeft
javax.swing.JTextField	fieldTransSlft
private com.jgoodies.forms.layout.FormLayout	layout
private javax.swing.JLabel	lbArcInfo
private javax.swing.JLabel	lbArcPeso
private javax.swing.JLabel	lbArcPlace
private javax.swing.JLabel	lbArcTrans
private javax.swing.JLabel	lbPlaceFichas
private javax.swing.JLabel	lbPlaceInfo
private javax.swing.JLabel	lbPlaceName
private javax.swing.JLabel	lbTransCurvaDensidade
private javax.swing.JLabel	lbTransInfo
private javax.swing.JLabel	lbTransName
private javax.swing.JLabel	lbTransSeft
private javax.swing.JLabel	lbTransSlft
javax.swing.JMenuItem	m1English
javax.swing.JMenuItem	m1Exit
private javax.swing.JMenu	m1Language
javax.swing.JMenuItem	m1New
javax.swing.JMenuItem	m1Open
javax.swing.JMenuItem	m1Portugues
javax.swing.JMenuItem	m1Save
javax.swing.JMenuItem	m1SaveAs
javax.swing.JMenuItem	m2Back
javax.swing.JMenuItem	m2Start
javax.swing.JMenuItem	m2Stop
javax.swing.JMenuItem	m3Geral
javax.swing.JMenuItem	m4About
private javax.swing.JMenu	menu1File
private javax.swing.JMenu	menu2Simulator
private javax.swing.JMenu	menu3Analisys
private javax.swing.JMenu	menu4About
MenuActionListener	menuAction
private javax.swing.JMenuBar	menuBar
PlaceActionListener	placeAction
PetriNetGraph	pn Rede de Petri
(package private) static long	serialVersionUID Variável requisitada na herança de JFrame
SimulationAction	simAction
javax.swing.JSpinner	spinnerArcPeso
javax.swing.JSpinner	spinnerPlaceFichas
TransActionListener	transAction

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

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

Fields inherited from interface br.uerj.petrinetanalyzer.gui.interfaces.IntfLanguageConstants

ABOUT_MSG_01, ABOUT_MSG_01_KEY, ABOUT_MSG_02, ABOUT_MSG_02_KEY, ABOUT_MSG_03, ABOUT_MSG_03_KEY, boxExponencialKey, boxNormalKey, boxTransCurvaDensidadeKey, boxTransDensidadeExponencial, boxTransDensidadeNormal, boxTransDensidadeUniforme, boxUniformeKey, btEditArcKey, btEditDeleteKey, btEditLabelKey, btEditPlaceKey, btEditSetaKey, btEditTransKey, btSimBackKey, btSimStartKey, btSimStopKey, ERROR_MSG_01, ERROR_MSG_01_KEY, ERROR_MSG_02, ERROR_MSG_02_KEY, ERROR_MSG_03, ERROR_MSG_03_KEY, ERROR_MSG_04, ERROR_MSG_04_KEY, fieldArcPlaceKey, fieldArcTransKey, fieldPlaceNomeKey, fieldStatusKey, fieldTransNameKey, fieldTransSeftKey, fieldTransSlftKey, lbArcInfoKey, lbArcPesoKey, lbArcPlaceKey, lbArcTransKey, lbPlaceFichasKey, lbPlaceInfoKey, lbPlaceNameKey, lbTransCurvaDensidadeKey, lbTransInfoKey, lbTransNameKey, lbTransSeftKey, lbTransSlftKey, m1EnglishKey, m1ExitKey, m1LanguageKey, m1NewKey, m1OpenKey, m1PortuguesKey, m1SaveAsKey, m1SaveKey, m2BackKey, m2StartKey, m2StopKey, m3GeralKey, m4AboutKey, menu1FileKey, menu2SimulatorKey, menu3AnalisysKey, menu4AboutKey, menuBarKey, spinnerArcPesoKey, spinnerPlaceFichasKey, STATUS_MSG_01, STATUS_MSG_01_KEY, STATUS_MSG_02, STATUS_MSG_02_KEY, STATUS_MSG_03, STATUS_MSG_03_KEY, STATUS_MSG_04, STATUS_MSG_04_KEY, STATUS_MSG_05, STATUS_MSG_05_KEY, STATUS_MSG_06, STATUS_MSG_06_KEY, STATUS_MSG_07, STATUS_MSG_07_KEY, STATUS_MSG_08, STATUS_MSG_08_KEY, STATUS_MSG_09, STATUS_MSG_09_KEY, STATUS_MSG_10, STATUS_MSG_10_KEY, STATUS_MSG_11, STATUS_MSG_11_KEY, STATUS_MSG_12, STATUS_MSG_12_KEY, STATUS_MSG_13, STATUS_MSG_13_KEY, STATUS_MSG_14, STATUS_MSG_14_KEY, STATUS_MSG_15, STATUS_MSG_15_KEY, STATUS_MSG_16, STATUS_MSG_16_KEY, STATUS_MSG_17, STATUS_MSG_17_KEY, STATUS_MSG_18, STATUS_MSG_18_KEY, STATUS_MSG_19, STATUS_MSG_19_KEY, title, titleKey

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

MainWindow()
Construtor da Classe, monta a janela principal.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent evt) Implementação da Interface ActionListener.
private void	createArcPanel() Cria os objetos do painel de informações de Arco
private void	createButtons() Método que cria os botões da janela principal
private void	createEditorPanel() Cria os objetos referentes ao Painel de desenho de Redes de Petri
private javax.swing.JButton	createJButton(java.lang.String strKey, java.lang.String strLabel) Cria um JButton com a chave passada como parâmetro e o adiciona a uma Map.
static javax.swing.JLabel	createJLabelDefault(java.lang.String strKey, java.lang.String strLabel) Cria um JLabel com configuração default.
static javax.swing.JLabel	createJLabelTitle(java.lang.String strKey, java.lang.String strLabel) Cria um JLabel com configuração de default para título.
javax.swing.JTextField	createJTextFieldDefault(java.lang.String strKey) Cria JTextField com configuração default.
private void	createPlaceInfoPanel() Cria os objetos do painel de informações da Lugar
private void	createStatusBar() Método que cria a Barra de Status
private void	createTransitionPanel() Cria os objetos do painel de informações de Transição
void	focusGained(java.awt.event.FocusEvent evt) Implementa a interface FocusListener.
void	focusLost(java.awt.event.FocusEvent evt) Implementa a interface FocusListener.
private void	montaMenu() Monta o Menu da Janela Principal
private java.awt.Component	montaPainel() Método que desenha a janela principal
void	refreshText() Atualiza os rótulos de todos os textos que aparecem na Janela Principal.
private void	setNameButon(javax.swing.JButton bt) Seta o rótulo do Botão recebido como parâmetro.
private void	setNameJLabel(javax.swing.JLabel lb) Seta o rótulo do Label recebido como parâmetro.

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

serialVersionUID

static final long serialVersionUID

Variável requisitada na herança de JFrame

See Also:

Constant Field Values

pn

public PetriNetGraph pn

Rede de Petri

menuBar

private javax.swing.JMenuBar menuBar

menu1File

private javax.swing.JMenu menu1File

m1New

public javax.swing.JMenuItem m1New

m1Open

public javax.swing.JMenuItem m1Open

m1Save

public javax.swing.JMenuItem m1Save

m1SaveAs

public javax.swing.JMenuItem m1SaveAs

m1Exit

public javax.swing.JMenuItem m1Exit

m1Language

private javax.swing.JMenu m1Language

m1Portugues

public javax.swing.JMenuItem m1Portugues

m1English

public javax.swing.JMenuItem m1English

menu2Simulator

private javax.swing.JMenu menu2Simulator

m2Start

public javax.swing.JMenuItem m2Start

m2Stop

public javax.swing.JMenuItem m2Stop

m2Back

public javax.swing.JMenuItem m2Back

menu3Analisys

private javax.swing.JMenu menu3Analisys

m3Geral

public javax.swing.JMenuItem m3Geral

menu4About

private javax.swing.JMenu menu4About

m4About

public javax.swing.JMenuItem m4About

cp

private java.awt.Container cp

builder

private com.jgoodies.forms.builder.DefaultFormBuilder builder

layout

private com.jgoodies.forms.layout.FormLayout layout

cc

private com.jgoodies.forms.layout.CellConstraints cc

btEditSeta

public javax.swing.JButton btEditSeta

btEditPlace

public javax.swing.JButton btEditPlace

btEditTrans

public javax.swing.JButton btEditTrans

btEditDelete

public javax.swing.JButton btEditDelete

btEditArc

public javax.swing.JButton btEditArc

btEditLabel

public javax.swing.JButton btEditLabel

btSimStart

public javax.swing.JButton btSimStart

btSimStop

public javax.swing.JButton btSimStop

btSimBack

public javax.swing.JButton btSimBack

lbPlaceInfo

private javax.swing.JLabel lbPlaceInfo

lbPlaceName

private javax.swing.JLabel lbPlaceName

lbPlaceFichas

private javax.swing.JLabel lbPlaceFichas

fieldPlaceNome

public javax.swing.JTextField fieldPlaceNome

spinnerPlaceFichas

public javax.swing.JSpinner spinnerPlaceFichas

lbTransInfo

private javax.swing.JLabel lbTransInfo

lbTransName

private javax.swing.JLabel lbTransName

lbTransSeft

private javax.swing.JLabel lbTransSeft

lbTransSlft

private javax.swing.JLabel lbTransSlft

lbTransCurvaDensidade

private javax.swing.JLabel lbTransCurvaDensidade

fieldTransName

public javax.swing.JTextField fieldTransName

fieldTransSeft

public javax.swing.JTextField fieldTransSeft

fieldTransSlft

public javax.swing.JTextField fieldTransSlft

boxTransCurvaDensidade

public javax.swing.JComboBox boxTransCurvaDensidade

lbArcInfo

private javax.swing.JLabel lbArcInfo

lbArcPlace

private javax.swing.JLabel lbArcPlace

lbArcTrans

private javax.swing.JLabel lbArcTrans

lbArcPeso

private javax.swing.JLabel lbArcPeso

fieldArcPlace

public javax.swing.JTextField fieldArcPlace

fieldArcTrans

public javax.swing.JTextField fieldArcTrans

spinnerArcPeso

public javax.swing.JSpinner spinnerArcPeso

editor

public PetriNetEditorCanvas editor

fieldStatus

public JTextFieldExtended fieldStatus

arcAction

public ArcActionListener arcAction

placeAction

public PlaceActionListener placeAction

transAction

public TransActionListener transAction

btAction

public ButtonActionListener btAction

menuAction

public MenuActionListener menuAction

simAction

public SimulationAction simAction

anAction

public AnalyzerAction anAction

Constructor Detail

MainWindow

MainWindow()

Construtor da Classe, monta a janela principal.

Method Detail

montaMenu

private void montaMenu()

Monta o Menu da Janela Principal

createButtons

private void createButtons()

Método que cria os botões da janela principal

createPlaceInfoPanel

private void createPlaceInfoPanel()

Cria os objetos do painel de informações da Lugar

createTransitionPanel

private void createTransitionPanel()

Cria os objetos do painel de informações de Transição

createArcPanel

private void createArcPanel()

Cria os objetos do painel de informações de Arco

createStatusBar

private void createStatusBar()

Método que cria a Barra de Status

createEditorPanel

private void createEditorPanel()

Cria os objetos referentes ao Painel de desenho de Redes de Petri

montaPainel

private java.awt.Component montaPainel()

Método que desenha a janela principal

Returns:

Painel com a janela

refreshText

public void refreshText()

Atualiza os rótulos de todos os textos que aparecem na Janela Principal.

setNameButon

private void setNameButon(javax.swing.JButton bt)

Seta o rótulo do Botão recebido como parâmetro.

Parameters:

bt - Botão

setNameJLabel

private void setNameJLabel(javax.swing.JLabel lb)

Seta o rótulo do Label recebido como parâmetro.

Parameters:

lb - Rótulo

createJLabelDefault

public static javax.swing.JLabel createJLabelDefault(java.lang.String strKey,
                                                     java.lang.String strLabel)

Cria um JLabel com configuração default.

Parameters:

strKey - Chave a ser usada pelo JLabel

Returns:

Instância de JLabel

createJLabelTitle

public static javax.swing.JLabel createJLabelTitle(java.lang.String strKey,
                                                   java.lang.String strLabel)

Cria um JLabel com configuração de default para título.

Parameters:

strKey - Chave a ser usada pelo JLabel

Returns:

Instãncia de JLabel

createJTextFieldDefault

public javax.swing.JTextField createJTextFieldDefault(java.lang.String strKey)

Cria JTextField com configuração default.

Parameters:

strKey - Chave a ser usada pelo JTextField

Returns:

Instância de JTextField

createJButton

private javax.swing.JButton createJButton(java.lang.String strKey,
                                          java.lang.String strLabel)

Cria um JButton com a chave passada como parâmetro e o adiciona a uma Map.

Parameters:

strKey - Chave a ser usada no botão criado

strLabel - Rótulo default a ser usado no botão

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent evt)

Implementação da Interface ActionListener. Responsável por controlar os eventos dos objetos da janela principal.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

evt - Evento

See Also:

ActionListener.actionPerformed(java.awt.event.ActionEvent)

focusGained

public void focusGained(java.awt.event.FocusEvent evt)

Implementa a interface FocusListener. Responsável por tratar eventos de ganho de foco em um objeto.

Specified by:

focusGained in interface java.awt.event.FocusListener

Parameters:

evt -

See Also:

FocusListener.focusGained(java.awt.event.FocusEvent)

focusLost

public void focusLost(java.awt.event.FocusEvent evt)

Implementa a interface FocusListener. Responsável por tratar eventos de perda de foco em um objeto.

Specified by:

focusLost in interface java.awt.event.FocusListener

Parameters:

evt -

See Also:

FocusListener.focusLost(java.awt.event.FocusEvent)