ui
Class FormulaDialog

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Dialog
                  javax.swing.JDialog
                      ui.FormulaDialog

All Implemented Interfaces:

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

public class FormulaDialog
extends javax.swing.JDialog

Titre : Formula Dialog

Description : Cette classe est un assistant pour la génération et la vérification de formules.

Copyright : Copyright (c) 2005

Société : Université Laval

Version:

1.0

Author:

Frédérick Lemay

See Also:

Serialized Form

Nested Class Summary

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

javax.swing.JDialog.AccessibleJDialog

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

java.awt.Dialog.AccessibleAWTDialog

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

Fields inherited from class javax.swing.JDialog

accessibleContext, rootPane, rootPaneCheckingEnabled

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

FormulaDialog(javax.swing.JFrame parent, Engin engin, java.lang.String oldFormula, FormulaDialogListener listener)
Crée la fenêtre de saisie de formules.

Method Summary

void	B_AddTransition_actionPerformed(java.awt.event.ActionEvent e)
void	B_AllStates_actionPerformed(java.awt.event.ActionEvent e)
void	B_And_actionPerformed(java.awt.event.ActionEvent e)
void	B_Cancel_actionPerformed(java.awt.event.ActionEvent e)
void	B_InitialState_actionPerformed(java.awt.event.ActionEvent e)
void	B_Left_actionPerformed(java.awt.event.ActionEvent e)
void	B_LeftParenthesis_actionPerformed(java.awt.event.ActionEvent e)
void	B_Manual_actionPerformed(java.awt.event.ActionEvent e)
void	B_Not_actionPerformed(java.awt.event.ActionEvent e)
void	B_Or_actionPerformed(java.awt.event.ActionEvent e)
void	B_Right_actionPerformed(java.awt.event.ActionEvent e)
void	B_RightParenthesis_actionPerformed(java.awt.event.ActionEvent e)
void	B_Terminator_actionPerformed(java.awt.event.ActionEvent e)
void	B_Validate_actionPerformed(java.awt.event.ActionEvent e)
static java.lang.String	getFormula() Cette méthode permet d'obtenir la formule actuellement validée.
static int	getOperation() Cette méthode permet d'obtenir l'opération demandée
void	J_Remove_actionPerformed(java.awt.event.ActionEvent e)
protected void	processKeyEvent(java.awt.event.KeyEvent e)
static java.lang.String	showFormulaDialog(javax.swing.JFrame parent, Engin engin, java.lang.String oldFormula, FormulaDialogListener listener) Cette fonction statique permet d'afficher une boîte de dialogue, et de retourner le résultat.
void	T_Formula_focusLost(java.awt.event.FocusEvent e)
void	T_Formula_mouseClicked(java.awt.event.MouseEvent e)
void	T_Formula_mouseReleased(java.awt.event.MouseEvent e)
void	this_keyPressed(java.awt.event.KeyEvent e)
void	this_keyTyped(java.awt.event.KeyEvent e)
boolean	verify() On doit valider la formule avant de quitter la fenêtre de formules.

Methods inherited from class javax.swing.JDialog

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

Methods inherited from class java.awt.Dialog

addNotify, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setResizable, setTitle, setUndecorated, show

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, finalize, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, 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, removeNotify, 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, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, 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

Constructor Detail

FormulaDialog

public FormulaDialog(javax.swing.JFrame parent,
                     Engin engin,
                     java.lang.String oldFormula,
                     FormulaDialogListener listener)

Crée la fenêtre de saisie de formules.

Parameters:

engin - Référence vers l'engin utilisé dans l'interface de Cismo

oldFormula - La formule à modifier, nulle si on en crée une.

Method Detail

showFormulaDialog

public static java.lang.String showFormulaDialog(javax.swing.JFrame parent,
                                                 Engin engin,
                                                 java.lang.String oldFormula,
                                                 FormulaDialogListener listener)

Cette fonction statique permet d'afficher une boîte de dialogue, et de retourner le résultat.

Parameters:

engin - Une référence vers l'engin

oldFormula - Le formule à modifier, null si nouvelle.

getFormula

public static java.lang.String getFormula()

Cette méthode permet d'obtenir la formule actuellement validée.

getOperation

public static int getOperation()

Cette méthode permet d'obtenir l'opération demandée

verify

public boolean verify()

On doit valider la formule avant de quitter la fenêtre de formules.

processKeyEvent

protected void processKeyEvent(java.awt.event.KeyEvent e)

Overrides:

processKeyEvent in class java.awt.Component

B_Not_actionPerformed

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

B_Or_actionPerformed

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

B_And_actionPerformed

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

J_Remove_actionPerformed

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

B_LeftParenthesis_actionPerformed

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

B_RightParenthesis_actionPerformed

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

B_Terminator_actionPerformed

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

B_Left_actionPerformed

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

B_Right_actionPerformed

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

B_AddTransition_actionPerformed

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

B_Cancel_actionPerformed

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

B_Validate_actionPerformed

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

B_Manual_actionPerformed

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

B_InitialState_actionPerformed

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

B_AllStates_actionPerformed

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

this_keyTyped

public void this_keyTyped(java.awt.event.KeyEvent e)

T_Formula_focusLost

public void T_Formula_focusLost(java.awt.event.FocusEvent e)

this_keyPressed

public void this_keyPressed(java.awt.event.KeyEvent e)

T_Formula_mouseClicked

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

T_Formula_mouseReleased

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