br.uerj.petrinetanalyzer.gui
Class AnalyzerWindow

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

All Implemented Interfaces:

IntfLanguageAnalyzerConstants, 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 AnalyzerWindow
extends javax.swing.JFrame
implements IntfLanguageAnalyzerConstants, javax.swing.event.TreeSelectionListener

Define a janela com o resultado da verificação das propriedades da Rede de Petri.

Author:

Felipe Lino
Data: 26/02/2007
Atualizado: 12/10/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 com.jgoodies.forms.builder.DefaultFormBuilder	builder
private com.jgoodies.forms.layout.CellConstraints	cc
private java.awt.Container	cp
private static java.awt.Font	defaultFont
private com.jgoodies.forms.layout.FormLayout	layout
private javax.swing.JLabel	lbAnalyzerTree
private javax.swing.JLabel	lbPnInfo
private javax.swing.JLabel	lbStateInfo
private ImplPetriNetBase	pn
private PetriNetProperties	pnProp
private javax.swing.JScrollPane	scrollPnInfo
private javax.swing.JScrollPane	scrollStateInfo
private javax.swing.JScrollPane	scrollTree
(package private) static long	serialVersionUID Variável requisitada na herança de JFrame
static int	TABULACAO
private javax.swing.JTree	tree
private javax.swing.JTextArea	txtPnInfo
private javax.swing.JTextArea	txtStateInfo

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.IntfLanguageAnalyzerConstants

AN_ERROR_01, AN_ERROR_01_KEY, AN_ERROR_02, AN_ERROR_02_KEY, AN_ERROR_03, AN_ERROR_03_KEY, AN_ERROR_04, AN_ERROR_04_KEY, AN_ERROR_TITLE, AN_ERROR_TITLE_KEY, AN_INFO_01, AN_INFO_01_KEY, AN_INFO_02, AN_INFO_02_KEY, AN_INFO_03, AN_INFO_03_KEY, AN_INFO_04, AN_INFO_04_KEY, AN_INFO_05, AN_INFO_05_KEY, AN_INFO_06, AN_INFO_06_KEY, anWindow, anWindowKey, lbAnalyzerTreeKey, lbPnInfoKey, lbStateInfoKey, PROP_INFO_01, PROP_INFO_01_KEY, PROP_INFO_02, PROP_INFO_02_KEY, PROP_INFO_03, PROP_INFO_03_KEY, PROP_INFO_04, PROP_INFO_04_KEY, PROP_INFO_05, PROP_INFO_05_KEY, PROP_INFO_06, PROP_INFO_06_KEY, PROP_INFO_07, PROP_INFO_07_KEY, PROP_INFO_08, PROP_INFO_08_KEY, PROP_INFO_09, PROP_INFO_09_KEY, PROP_INFO_10, PROP_INFO_10_KEY, PROP_INFO_11, PROP_INFO_11_KEY, PROP_INFO_12, PROP_INFO_12_KEY, PROP_INFO_13, PROP_INFO_13_KEY, PROP_INFO_14, PROP_INFO_14_KEY, PROP_INFO_15, PROP_INFO_15_KEY

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

AnalyzerWindow(ImplPetriNetBase pn, javax.swing.JTree tree, PetriNetProperties prop)
Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas.

Method Summary

static java.lang.String	completeWithSpaces(java.lang.String strIn, int qtdSpaces) Método que completa com espaços à esquerda a String recebida como parâmetro.
private void	createPanelTree(javax.swing.JTree tree) Cria o painel com a árvore mostrando a seqüência de disparos.
private void	createPnPanelInfo() Cria painel com as informações do estado selecionado.
private void	createStatePanelInfo() Cria painel com as informações do estado selecionado.
java.lang.String	getMatrizEntrada(int[][] matrizEntrada, int numTrans, int numPlace) Transforma a Matriz de Entrada para o formato de String
java.lang.String	getMatrizIncidencia(int[][] matrizIncidencia, int numTrans, int numPlace) Transforma a Matriz de Incidência para o formato de String
java.lang.String	getMatrizSaida(int[][] matrizSaida, int numTrans, int numPlace) Transforma a Matriz de Saída para o formato de String
java.lang.String	getStateInfo(PetriNetState state) Retorna String com as características do Estado.
java.lang.String	getStrProperties() Pega as Propriedades da Rede de Petri.
static java.lang.String	matrizToString(int[][] matriz, int numLin, int numCol) Transforma a Matriz recebida como parâmetro para forma de String
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

defaultFont

private static final java.awt.Font defaultFont

TABULACAO

public static int TABULACAO

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

lbAnalyzerTree

private javax.swing.JLabel lbAnalyzerTree

lbStateInfo

private javax.swing.JLabel lbStateInfo

lbPnInfo

private javax.swing.JLabel lbPnInfo

txtStateInfo

private javax.swing.JTextArea txtStateInfo

txtPnInfo

private javax.swing.JTextArea txtPnInfo

tree

private javax.swing.JTree tree

scrollTree

private javax.swing.JScrollPane scrollTree

scrollStateInfo

private javax.swing.JScrollPane scrollStateInfo

scrollPnInfo

private javax.swing.JScrollPane scrollPnInfo

pn

private ImplPetriNetBase pn

pnProp

private PetriNetProperties pnProp

Constructor Detail

AnalyzerWindow

public AnalyzerWindow(ImplPetriNetBase pn,
                      javax.swing.JTree tree,
                      PetriNetProperties prop)

Construtor recebendo a rede de petri, de onde serão extraídas informações para serem exibidas. E a árvore de alcançabilidade.

Parameters:

pn - Rede de Petri

tree - Árvore de Alcançabilidade

Method Detail

montaPainel

private java.awt.Component montaPainel()

Monta a janela.

Returns:

Painel com a Janela

createPanelTree

private void createPanelTree(javax.swing.JTree tree)

Cria o painel com a árvore mostrando a seqüência de disparos.

Parameters:

tree - Nó Inicial

createStatePanelInfo

private void createStatePanelInfo()

Cria painel com as informações do estado selecionado.

createPnPanelInfo

private void createPnPanelInfo()

Cria painel com as informações do 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

getStateInfo

public java.lang.String getStateInfo(PetriNetState state)

Retorna String com as características do Estado.

getStrProperties

public java.lang.String getStrProperties()

Pega as Propriedades da Rede de Petri.

Returns:

String com o resumo das propriedades da Rede de Petri

refreshText

public void refreshText()

Atualiza o texto na Janela

getMatrizEntrada

public java.lang.String getMatrizEntrada(int[][] matrizEntrada,
                                         int numTrans,
                                         int numPlace)

Transforma a Matriz de Entrada para o formato de String

Parameters:

matrizEntrada - Matriz de Entrada

numTrans - Número de Transições

numPlace - Número de Lugares

Returns:

Matriz de Entrada no formato String

getMatrizSaida

public java.lang.String getMatrizSaida(int[][] matrizSaida,
                                       int numTrans,
                                       int numPlace)

Transforma a Matriz de Saída para o formato de String

Parameters:

matrizSaida - Matriz de Saída

numTrans - Número de Transições

numPlace - Número de Lugares

Returns:

Matriz de Saída no formato String

getMatrizIncidencia

public java.lang.String getMatrizIncidencia(int[][] matrizIncidencia,
                                            int numTrans,
                                            int numPlace)

Transforma a Matriz de Incidência para o formato de String

Parameters:

matrizIncidencia - Matriz de Incidência

numTrans - Número de Transições

numPlace - Número de Lugares

Returns:

Matriz de Incidência no formato String

matrizToString

public static java.lang.String matrizToString(int[][] matriz,
                                              int numLin,
                                              int numCol)

Transforma a Matriz recebida como parâmetro para forma de String

Parameters:

matriz - Matriz

numLin - Total de Linhas

numCol - Total de Colunas

Returns:

Matriz no formato de String

completeWithSpaces

public static java.lang.String completeWithSpaces(java.lang.String strIn,
                                                  int qtdSpaces)

Método que completa com espaços à esquerda a String recebida como parâmetro.

Parameters:

strIn - String a ser completada com espaços

qtdSpaces - Quantidade de caracteres

Returns:

String com espaços à esquerda