Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

br.uerj.petrinetanalyzer.gui
Class SimulationWindow

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by br.uerj.petrinetanalyzer.gui.SimulationWindow
All Implemented Interfaces:
IntfLanguageSimulationConstants, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.TreeSelectionListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants
public class SimulationWindow
extends javax.swing.JFrame
implements IntfLanguageSimulationConstants, javax.swing.event.TreeSelectionListener

Define a janela com a árvore mostrando a evolução da simulação.

Author:
Felipe Lino
Data: 11/02/2007
Atualizado: 03/01/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
private  javax.swing.tree.DefaultMutableTreeNode atual
           
private  com.jgoodies.forms.builder.DefaultFormBuilder builder
           
private  com.jgoodies.forms.layout.CellConstraints cc
           
private  java.awt.Container cp
           
private  com.jgoodies.forms.layout.FormLayout layout
           
private  javax.swing.JLabel lbInfo
           
private  javax.swing.JLabel lbTree
           
private  PetriNetGraph pn
           
private  javax.swing.tree.DefaultMutableTreeNode rootNode
           
private  javax.swing.JScrollPane scrollInfo
           
private  javax.swing.JScrollPane scrollTree
           
(package private) static long serialVersionUID
          Variável requisitada na herança de JFrame
private  javax.swing.JTree tree
           
private  javax.swing.tree.DefaultTreeModel treeModel
           
private  javax.swing.JTextArea txtInfo
           
 
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.IntfLanguageSimulationConstants
lbInfoKey, lbTreeKey, SIM_INFO_01, SIM_INFO_01_KEY, SIM_INFO_02, SIM_INFO_02_KEY, SIM_INFO_03, SIM_INFO_03_KEY, SIM_INFO_04, SIM_INFO_04_KEY, SIM_INFO_05, SIM_INFO_05_KEY, simWindow, simWindowKey
 
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
SimulationWindow(PetriNetGraph pn, TreeNodeState rootState)
          Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.
 
Method Summary
 javax.swing.tree.DefaultMutableTreeNode addObject(javax.swing.tree.DefaultMutableTreeNode parent, java.lang.Object child)
          Adiciona um novo nó na árvore de seqüência de disparos.
 void addTreeNodeState(TreeNodeState state)
          Adiciona um novo nó a árvore de seqüência de disparos.
 TreeNodeState backTreeStateNode()
          Volta um nó na árvore de seqüência de disparos.
 void changeAtualForSelectedState()
          Altera o Estado atual para o selecionado.
private  void createPanelInfo()
          Cria painel com as informações do estado selecionado.
private  void createPanelTree(TreeNodeState rootState)
          Cria o painel com a árvore mostrando a seqüência de disparos.
 TreeNodeState getSelectedState()
          Retorna o Estado selecionado.
 java.lang.String getStateInfo(TreeNodeState state)
          Retorna String com as características do Estado.
private  java.awt.Component montaPainel()
          Monta a janela.
 void refreshText()
          Atualiza o texto na Janela
 void valueChanged(javax.swing.event.TreeSelectionEvent evt)
          Requerido pela interface TreeSelectionListener.
 
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

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

lbTree

private javax.swing.JLabel lbTree

lbInfo

private javax.swing.JLabel lbInfo

txtInfo

private javax.swing.JTextArea txtInfo

tree

private javax.swing.JTree tree

scrollTree

private javax.swing.JScrollPane scrollTree

scrollInfo

private javax.swing.JScrollPane scrollInfo

pn

private PetriNetGraph pn

rootNode

private javax.swing.tree.DefaultMutableTreeNode rootNode

atual

private javax.swing.tree.DefaultMutableTreeNode atual

treeModel

private javax.swing.tree.DefaultTreeModel treeModel
Constructor Detail

SimulationWindow

public SimulationWindow(PetriNetGraph pn,
                        TreeNodeState rootState)
Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas. E o nó principal.

Parameters:
pn - Rede de Petri
rootState - Estado Inicial
Method Detail

montaPainel

private java.awt.Component montaPainel()
Monta a janela.

Returns:
Painel com a Janela

createPanelTree

private void createPanelTree(TreeNodeState rootState)
Cria o painel com a árvore mostrando a seqüência de disparos.

Parameters:
rootState - Nó Inicial

createPanelInfo

private void createPanelInfo()
Cria painel com as informações do estado selecionado.

addTreeNodeState

public void addTreeNodeState(TreeNodeState state)
Adiciona um novo nó a árvore de seqüência de disparos. O novo estado será adicionado ao último estado a ter sido disparado.

Parameters:
state - Nó estado da rede a ser acrescentado

addObject

public javax.swing.tree.DefaultMutableTreeNode addObject(javax.swing.tree.DefaultMutableTreeNode parent,
                                                         java.lang.Object child)
Adiciona um novo nó na árvore de seqüência de disparos.

Parameters:
parent - Nó pai
child - Estado filho
Returns:
Nó criado

backTreeStateNode

public TreeNodeState backTreeStateNode()
Volta um nó na árvore de seqüência de disparos.

Returns:
Nó Estado selecionado.

valueChanged

public void valueChanged(javax.swing.event.TreeSelectionEvent evt)
Requerido pela interface TreeSelectionListener.

Specified by:
valueChanged in interface javax.swing.event.TreeSelectionListener
Parameters:
evt - Evento da árvore de disparos

getSelectedState

public TreeNodeState getSelectedState()
Retorna o Estado selecionado.

Returns:
Estado Selecionado

changeAtualForSelectedState

public void changeAtualForSelectedState()
Altera o Estado atual para o selecionado.

getStateInfo

public java.lang.String getStateInfo(TreeNodeState state)
Retorna String com as características do Estado.

refreshText

public void refreshText()
Atualiza o texto na Janela

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD