circusRefine.gui
Class TelaDesenvolvimento

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JInternalFrame
                  circusRefine.gui.TelaDesenvolvimento

All Implemented Interfaces:

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

public class TelaDesenvolvimento
extends javax.swing.JInternalFrame

TelaDesenvolvimento é um tipo que representa a tela de desenvolvimento da ferramenta.

See Also:

Serialized Form

Nested Class Summary

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

javax.swing.JInternalFrame.AccessibleJInternalFrame, javax.swing.JInternalFrame.JDesktopIcon

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

javax.swing.JComponent.AccessibleJComponent

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	APLILEI
static int	COLACT
static int	Latex
static int	NOVO
static int	Unicode

Fields inherited from class javax.swing.JInternalFrame

closable, CONTENT_PANE_PROPERTY, desktopIcon, FRAME_ICON_PROPERTY, frameIcon, GLASS_PANE_PROPERTY, iconable, IS_CLOSED_PROPERTY, IS_ICON_PROPERTY, IS_MAXIMUM_PROPERTY, IS_SELECTED_PROPERTY, isClosed, isIcon, isMaximum, isSelected, LAYERED_PANE_PROPERTY, maximizable, MENU_BAR_PROPERTY, resizable, ROOT_PANE_PROPERTY, rootPane, rootPaneCheckingEnabled, title, TITLE_PROPERTY

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

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, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

TelaDesenvolvimento(GerenciadorExterno gerInterface)
Construtor da classe TelaDesenvolvimento

Method Summary

void	AtualizarContSpace(int aux) Metodo utilizado para definir o espaço que sera dado para o alinhamento da tela
void	atualizarInfoTela() Atualiza os campos de InfoTelas referentes a janela de Desenvolvimento
void	desfazer(int lastaction)
void	esvaziarRedoPilhas() Metodo utilizado para esvaziar as pilhas do redo
int	getCont() Metodo que retorna o valor de cont
java.lang.String	getContSpace() Metodo que retorna o valor de contSpace
java.lang.String	natToRom(int nat, int quant) Método que transforma um número natural em um número romano.
void	novaTela(GerenciadorExterno gerInterface) Método que funciona como uma espécie de reset da tela de desenvolvimento.
void	RemoverRelAntigos(int i) Metodo utilizado para remover todos os relacionamentos inseridos pela ultima acao Para isso ele verifica se a linha inicial desses programa é superior ao inteiro que representa a ultima posição do texto antes da ultima acao;
int	retornarIdentificador()
int	retornarLinhaDes(int idPrograma) Método que retorna a linha da tela de desenvolvimento que contém o programa passado como parâmetro.
int[]	retornarLinhaSelecionada() Método que retorna as linhas que estão selecionadas na tela de desenvolvimento.
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.
int	retornarNumLinhasSelecionadas() Método que retorna o número de linhas selecionadas na tela de desenvolvimento.
NoPrograma	retornarProgSelecionado() Retorna o programa selecionado na tela de desenvolvimento.
java.lang.Object[]	retornarTextoDesenvolvimento() Metodo que retorna o conteudo textual da janela de desenvolvimento em forma de um array de String.
javax.swing.JList	retTextoDes() Retorna uma lista que representa o texto da tela de desenvolvimento.
void	selecionarDesenvolvimento(int idPrograma, boolean obrigacao) Método que seleciona a parte da tela de desenvolvimento que possui o ID passado como argumento.
void	setarIdentificador(int newValue)
void	setarIdTelaNovo(int idProgramaAplicado) Seta o relacionamento do programa que foi aplicado uma lei com o id da tela de desenvolvimento.
void	setarRelacionamentoTotal() Método que guarda e inicializa a lista de relacionamento da tela.
void	setarTelaTexto(net.sourceforge.czt.base.ast.Term programa, java.lang.String modo) Método que pega uma String obtida a partir de um programa e seta na tela no formato padrão de cálculo de programas, dependendo do parâmetro modo(novo ou aplicar) ele seta o layout diferentemente.
void	setarTextoDesenvolvimento(java.lang.String[] textoDesenvolvimento) Método que seta o conteúdo textual da janela de desenvolvimento.
void	setCont(int x) Metodo para setar o valor de cont
void	showError(java.lang.String title, java.lang.String str, int tipo)
void	teste()
void	textoDes_mouseClicked(java.awt.event.MouseEvent e) Método responsável pelo evento realizado ao se clicar o botão direito do mouse.
void	textoDes_mouseReleased(java.awt.event.MouseEvent e) Verificar se o botão de aplicar lei deve estar habilitado.
void	tirarSelecao() Retira a seleção, se existir, da tela de desenvolvimento.

Methods inherited from class javax.swing.JInternalFrame

addImpl, addInternalFrameListener, createRootPane, dispose, doDefaultCloseAction, fireInternalFrameEvent, getAccessibleContext, getContentPane, getDefaultCloseOperation, getDesktopIcon, getDesktopPane, getFocusCycleRootAncestor, getFocusOwner, getFrameIcon, getGlassPane, getInternalFrameListeners, getJMenuBar, getLastCursor, getLayer, getLayeredPane, getMenuBar, getMostRecentFocusOwner, getNormalBounds, getRootPane, getTitle, getUI, getUIClassID, getWarningString, hide, isClosable, isClosed, isFocusCycleRoot, isIcon, isIconifiable, isMaximizable, isMaximum, isResizable, isRootPaneCheckingEnabled, isSelected, moveToBack, moveToFront, pack, paintComponent, paramString, remove, removeInternalFrameListener, reshape, restoreSubcomponentFocus, setClosable, setClosed, setContentPane, setCursor, setDefaultCloseOperation, setDesktopIcon, setFocusCycleRoot, setFrameIcon, setGlassPane, setIcon, setIconifiable, setJMenuBar, setLayer, setLayer, setLayeredPane, setLayout, setMaximizable, setMaximum, setMenuBar, setNormalBounds, setResizable, setRootPane, setRootPaneCheckingEnabled, setSelected, setTitle, setUI, show, toBack, toFront, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

APLILEI

public static final int APLILEI

See Also:

Constant Field Values

COLACT

public static final int COLACT

See Also:

Constant Field Values

NOVO

public static final int NOVO

See Also:

Constant Field Values

Unicode

public static final int Unicode

See Also:

Constant Field Values

Latex

public static final int Latex

See Also:

Constant Field Values

Constructor Detail

TelaDesenvolvimento

public TelaDesenvolvimento(GerenciadorExterno gerInterface)

Construtor da classe TelaDesenvolvimento

Parameters:

gerInterface - Gerenciador de todas as telas do sistema.

Method Detail

atualizarInfoTela

public void atualizarInfoTela()

Atualiza os campos de InfoTelas referentes a janela de Desenvolvimento

natToRom

public java.lang.String natToRom(int nat,
                                 int quant)

Método que transforma um número natural em um número romano.

Parameters:

nat - O número natural que será transformado em romano.

quant - Quantidade de vezes que este método foi chamado recursivamente (este parâmetro é útil para o controle de parênteses que serão impressos na tela).

Returns:

Uma String que representa o número romano.

novaTela

public void novaTela(GerenciadorExterno gerInterface)

Método que funciona como uma espécie de reset da tela de desenvolvimento. Responsável por inicializar a maioria dos atributos desta tela.

Parameters:

gerInterface - Gerenciador de todas as telas do sistema.

retornarIdentificador

public int retornarIdentificador()

retornarLinhaDes

public int retornarLinhaDes(int idPrograma)

Método que retorna a linha da tela de desenvolvimento que contém o programa passado como parâmetro.

Parameters:

idPrograma - O identificador do programa.

Returns:

A linha que contém o programa passado como parâmetro.

retornarLinhaSelecionada

public int[] retornarLinhaSelecionada()
                               throws java.lang.ArrayIndexOutOfBoundsException

Método que retorna as linhas que estão selecionadas na tela de desenvolvimento.

Returns:

Um array de inteiros que possui os indices das linhas selecionadas.

Throws:

java.lang.ArrayIndexOutOfBoundsException

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.

retornarNumLinhasSelecionadas

public int retornarNumLinhasSelecionadas()

Método que retorna o número de linhas selecionadas na tela de desenvolvimento.

Returns:

O número de linhas selecionadas.

showError

public void showError(java.lang.String title,
                      java.lang.String str,
                      int tipo)

retornarProgSelecionado

public NoPrograma retornarProgSelecionado()

Retorna o programa selecionado na tela de desenvolvimento.

Returns:

O programa selecionado na tela de desenvolvimento.

retornarTextoDesenvolvimento

public java.lang.Object[] retornarTextoDesenvolvimento()

Metodo que retorna o conteudo textual da janela de desenvolvimento em forma de um array de String.

Returns:

Array de Strings com todo o desenvolvimento da tela de desenvolvimento.

retTextoDes

public javax.swing.JList retTextoDes()

Retorna uma lista que representa o texto da tela de desenvolvimento.

Returns:

Uma lista que representa o texto da tela de desenvolvimento.

selecionarDesenvolvimento

public void selecionarDesenvolvimento(int idPrograma,
                                      boolean obrigacao)

Método que seleciona a parte da tela de desenvolvimento que possui o ID passado como argumento.

Parameters:

idPrograma - Identidade do programa que será selecionado na tela de desenvolvimento.

setarIdTelaNovo

public void setarIdTelaNovo(int idProgramaAplicado)

Seta o relacionamento do programa que foi aplicado uma lei com o id da tela de desenvolvimento.

Parameters:

idProgramaAplicado - Inteiro que representa o identificador do programa que foi aplicado uma lei.

setarRelacionamentoTotal

public void setarRelacionamentoTotal()

Método que guarda e inicializa a lista de relacionamento da tela.

setarTelaTexto

public void setarTelaTexto(net.sourceforge.czt.base.ast.Term programa,
                           java.lang.String modo)

Método que pega uma String obtida a partir de um programa e seta na tela no formato padrão de cálculo de programas, dependendo do parâmetro modo(novo ou aplicar) ele seta o layout diferentemente.

Parameters:

programa - Programa a ser colocado na tela.

modo - Modo do programa a ser colocado na tela (novo ou aplicado uma lei).

idProgramaAplicado - Inteiro que representada a identidade do programa que sofreu uma aplicação de lei.

setarTextoDesenvolvimento

public void setarTextoDesenvolvimento(java.lang.String[] textoDesenvolvimento)

Método que seta o conteúdo textual da janela de desenvolvimento.

Parameters:

textoDesenvolvimento - Array de Strings com todo o desenvolvimento na tela de desenvolvimento.

textoDes_mouseClicked

public void textoDes_mouseClicked(java.awt.event.MouseEvent e)

Método responsável pelo evento realizado ao se clicar o botão direito do mouse.

Parameters:

e - O evento do mouse.

textoDes_mouseReleased

public void textoDes_mouseReleased(java.awt.event.MouseEvent e)

Verificar se o botão de aplicar lei deve estar habilitado.

Parameters:

e - O evento do mouse.

tirarSelecao

public void tirarSelecao()

Retira a seleção, se existir, da tela de desenvolvimento.

desfazer

public void desfazer(int lastaction)

teste

public void teste()

RemoverRelAntigos

public void RemoverRelAntigos(int i)

Metodo utilizado para remover todos os relacionamentos inseridos pela ultima acao Para isso ele verifica se a linha inicial desses programa é superior ao inteiro que representa a ultima posição do texto antes da ultima acao;

Parameters:

lastaction: - Variavel que indica o que foi alterado no programa

esvaziarRedoPilhas

public void esvaziarRedoPilhas()

Metodo utilizado para esvaziar as pilhas do redo

setCont

public void setCont(int x)

Metodo para setar o valor de cont

Parameters:

x - novo valor atribuido a cont

getCont

public int getCont()

Metodo que retorna o valor de cont

getContSpace

public java.lang.String getContSpace()

Metodo que retorna o valor de contSpace

AtualizarContSpace

public void AtualizarContSpace(int aux)

Metodo utilizado para definir o espaço que sera dado para o alinhamento da tela

Parameters:

aux - contador

setarIdentificador

public void setarIdentificador(int newValue)