circusRefine.gui
Class TelaPrincipal

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      circusRefine.gui.TelaPrincipal

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class TelaPrincipal
extends javax.swing.JFrame

TelaPrincipal é um tipo que representa a tela central da ferramenta. Nela são encontrados botões e opções do menu.

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.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

static int	APLICACAOLEI
static int	CARREGARNOVO
static int	COLETARACAO
static int	UNLOAD

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

TelaPrincipal(GerenciadorExterno gerInterface, javax.swing.JInternalFrame des, javax.swing.JInternalFrame cod, javax.swing.JInternalFrame obri, javax.swing.JComboBox leis)
Construtor da classe TelaPrincipal.

Method Summary

void	addLastAction(int lastact) Metodo que atualiza a pilha que guarda a ultima ação
void	esvaziarPilhas() Metodo utilizado para esvaziar as pilhas do undo e redo quando um novo programa sera carregado
void	esvazirRedoPilhas() Método utilizado para usar as pilhas do redo
javax.swing.JComboBox	getActionsPara() Metodo que retorna o JCombox ActionsPara que possui as Ações Coletadas
javax.swing.JComboBox	getLaws() Metodo que retorna o JCombox Laws que contera as ações
java.util.Stack<java.lang.String>	getRedoAcoesColetadas()
java.util.Stack<java.lang.String>	getUndoAcoesColetadas()
boolean	getUnicoded() Metodo que retorna como deverá ser feita a exibição da especificação na tela
void	listarNomesActionsPara(java.util.List<java.lang.String> nomes) Metodo utilizado para atualizar o JComboBox que contem as ações a serem coletadas
void	MAbrir_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pela exibição de uma outra tela que proporciona a abertura de algum arquivo da ferramenta.
void	MAjuda_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de Help.
void	MCodigoAtual_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela com o código atual do programa que está sendo refinado.
void	MDesenvolvimento_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o metodo da classe PrincipalAlto para mostrar a tela de desenvolvimento.
void	MDesfazer_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método para desfazer uma ação.
void	MExplicacao_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de resumo das leis.
void	MFechar_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pelo fechamento da tela principal.
void	MImprimir_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pela impressão do programa corrente.
void	MLeis_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de leis.
void	MMorgan_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pela tela de leis da ferramenta.
void	MNovo_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de nova especificação.
void	MObrigacao_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de obrigação de prova.
void	MRefazer_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método para refazer uma ação.
void	MSair_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pelo fim da utilização da ferramenta.
void	MSalvar_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pelo salvamento do programa corrente.
void	MSalvarComo_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que é responsável pelo salvamento do programa corrente.
void	MSobre_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela Sobre.
void	MTaticas_actionPerformed(java.awt.event.ActionEvent e) Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de obrigação de prova.
java.lang.String	retornarMensagem(java.lang.String codigo) Método que retorna uma mensagem que será impressa na tela, tanto na forma de título quanto na forma de mensagem de erro.
boolean	saveAsFile(java.lang.String bloco1, java.lang.String bloco2, java.lang.String bloco3, java.lang.String bloco4) Salva o arquivo corrente dando a opção de o usuário escolher o caminho.
boolean	saveFile(java.lang.String bloco1, java.lang.String bloco2, java.lang.String bloco3, java.lang.String bloco4) Salva o arquivo corrente.
void	setarJanelasInternas(javax.swing.JInternalFrame des, javax.swing.JInternalFrame cod, javax.swing.JInternalFrame obri) Metodo publico que seta as janelas internas
void	setarStatus(java.lang.String status)

Methods inherited from class javax.swing.JFrame

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

Methods inherited from class java.awt.Frame

addNotify, 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, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

APLICACAOLEI

public static final int APLICACAOLEI

See Also:

Constant Field Values

COLETARACAO

public static final int COLETARACAO

See Also:

Constant Field Values

CARREGARNOVO

public static final int CARREGARNOVO

See Also:

Constant Field Values

UNLOAD

public static final int UNLOAD

See Also:

Constant Field Values

Constructor Detail

TelaPrincipal

public TelaPrincipal(GerenciadorExterno gerInterface,
                     javax.swing.JInternalFrame des,
                     javax.swing.JInternalFrame cod,
                     javax.swing.JInternalFrame obri,
                     javax.swing.JComboBox leis)

Construtor da classe TelaPrincipal.

Parameters:

gerInterface - Gerenciador de todas as telas do sistema.

des - a janela de desenvolvimento

cod - a janela de codigo

obri - a janela referente a obrigacoes de prova

Method Detail

MAbrir_actionPerformed

public void MAbrir_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pela exibição de uma outra tela que proporciona a abertura de algum arquivo da ferramenta.

Parameters:

e - Evento da opção menu da tela principal.

MAjuda_actionPerformed

public void MAjuda_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de Help.

Parameters:

e - Evento da opção menu da tela principal.

MCodigoAtual_actionPerformed

public void MCodigoAtual_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela com o código atual do programa que está sendo refinado.

Parameters:

e - Evento da opção menu da tela principal.

MDesenvolvimento_actionPerformed

public void MDesenvolvimento_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o metodo da classe PrincipalAlto para mostrar a tela de desenvolvimento.

Parameters:

e - Evento da opção menu da tela principal.

MDesfazer_actionPerformed

public void MDesfazer_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método para desfazer uma ação.

Parameters:

e - Evento da opção menu da tela principal.

MExplicacao_actionPerformed

public void MExplicacao_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de resumo das leis.

Parameters:

e - Evento da opção menu da tela principal.

MFechar_actionPerformed

public void MFechar_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pelo fechamento da tela principal.

Parameters:

e - Evento da opção menu da tela principal.

MImprimir_actionPerformed

public void MImprimir_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pela impressão do programa corrente.

Parameters:

e - Evento da opção menu da tela principal.

MLeis_actionPerformed

public void MLeis_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de leis.

Parameters:

e - Evento da opção menu da tela principal.

MMorgan_actionPerformed

public void MMorgan_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pela tela de leis da ferramenta.

Parameters:

e - Evento da opção menu da tela principal.

MNovo_actionPerformed

public void MNovo_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de nova especificação.

Parameters:

e - Evento da opção menu da tela principal.

MObrigacao_actionPerformed

public void MObrigacao_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de obrigação de prova.

Parameters:

e - Evento da opção menu da tela principal.

MRefazer_actionPerformed

public void MRefazer_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método para refazer uma ação.

Parameters:

e - Evento da opção menu da tela principal.

MSair_actionPerformed

public void MSair_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pelo fim da utilização da ferramenta.

Parameters:

e - Evento da opção menu da tela principal.

MSalvar_actionPerformed

public void MSalvar_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pelo salvamento do programa corrente.

Parameters:

e - Evento da opção menu da tela principal.

MSalvarComo_actionPerformed

public void MSalvarComo_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que é responsável pelo salvamento do programa corrente.

Parameters:

e - Evento da opção menu da tela principal.

MSobre_actionPerformed

public void MSobre_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela Sobre.

Parameters:

e - Evento da opção menu da tela principal.

MTaticas_actionPerformed

public void MTaticas_actionPerformed(java.awt.event.ActionEvent e)

Evento do menu que chama o método da classe PrincipalAlto para mostrar a tela de obrigação de prova.

Parameters:

e - Evento da opção menu da tela principal.

retornarMensagem

public java.lang.String retornarMensagem(java.lang.String codigo)

Método que retorna uma mensagem que será impressa na tela, tanto na forma de título quanto na forma de mensagem de erro.

Parameters:

codigo - O código da mensagem que será retornada.

Returns:

Uma String que representa a mensagem de retorno.

saveAsFile

public boolean saveAsFile(java.lang.String bloco1,
                          java.lang.String bloco2,
                          java.lang.String bloco3,
                          java.lang.String bloco4)

Salva o arquivo corrente dando a opção de o usuário escolher o caminho. Não o faz caso já exista algum outro com o mesmo nome.

Parameters:

bloco1 - String que representa um resumo do desenvolvimento.

bloco2 - String que representa um resumo da obrigação de provas.

bloco3 - String que representa um resumo do código coletado.

Returns:

true caso a operação de salvamento tenha ocorrido; false caso contrário.

saveFile

public boolean saveFile(java.lang.String bloco1,
                        java.lang.String bloco2,
                        java.lang.String bloco3,
                        java.lang.String bloco4)

Salva o arquivo corrente. Não o faz caso já exista algum outro com o mesmo nome.

Parameters:

bloco1 - String que representa um resumo do desenvolvimento.

bloco2 - String que representa um resumo da obrigação de provas.

bloco3 - String que representa um resumo do código coletado.

Returns:

true caso a operação de salvamento tenha ocorrido; false caso contrário.

setarStatus

public void setarStatus(java.lang.String status)

getUnicoded

public boolean getUnicoded()

Metodo que retorna como deverá ser feita a exibição da especificação na tela

Returns:

Unicoded

listarNomesActionsPara

public void listarNomesActionsPara(java.util.List<java.lang.String> nomes)

Metodo utilizado para atualizar o JComboBox que contem as ações a serem coletadas

Parameters:

nomes -

addLastAction

public void addLastAction(int lastact)

Metodo que atualiza a pilha que guarda a ultima ação

Parameters:

lastact - ultima

getUndoAcoesColetadas

public java.util.Stack<java.lang.String> getUndoAcoesColetadas()

Returns:

A pilha de acaoes Coletadas a serem desfeitas

getRedoAcoesColetadas

public java.util.Stack<java.lang.String> getRedoAcoesColetadas()

Returns:

A pilha de acaoes coletadas a serem refeitas

esvaziarPilhas

public void esvaziarPilhas()

Metodo utilizado para esvaziar as pilhas do undo e redo quando um novo programa sera carregado

esvazirRedoPilhas

public void esvazirRedoPilhas()

Método utilizado para usar as pilhas do redo

setarJanelasInternas

public void setarJanelasInternas(javax.swing.JInternalFrame des,
                                 javax.swing.JInternalFrame cod,
                                 javax.swing.JInternalFrame obri)

Metodo publico que seta as janelas internas

Parameters:

des - a janela de desenvolvimento

cod - a janela de codigo

obri - a janela referente a obrigacoes de prova

getActionsPara

public javax.swing.JComboBox getActionsPara()

Metodo que retorna o JCombox ActionsPara que possui as Ações Coletadas

Returns:

JCombox ActionsPara

getLaws

public javax.swing.JComboBox getLaws()

Metodo que retorna o JCombox Laws que contera as ações

Returns:

JCombox laws