Package wprover

Class PPDialog

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Dialog

javax.swing.JDialog

wprover.JBaseDialog

wprover.PPDialog

All Implemented Interfaces:

java.awt.event.ActionListener, java.awt.event.ContainerListener, java.awt.event.KeyListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class PPDialog
extends JBaseDialog
implements java.awt.event.ActionListener, java.awt.event.MouseMotionListener, java.awt.event.MouseListener, javax.swing.event.ChangeListener

PPDialog is a class that extends JBaseDialog and implements ActionListener, MouseMotionListener, MouseListener, and ChangeListener interfaces. It is used to display a dialog for nondegenerate conditions in a geometric context.

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, java.awt.Dialog.ModalExclusionType, java.awt.Dialog.ModalityType

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

java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type

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

Fields inherited from class javax.swing.JDialog

accessibleContext, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Dialog

DEFAULT_MODALITY_TYPE

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

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

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Constructor Summary

Constructors

Constructor	Description
PPDialog(GExpert gx, GTerm gt, DrawProcess dp)	Constructs a new PPDialog with the specified GExpert, GTerm, and DrawProcess.

Method Summary

Modifier and Type	Method	Description
void	actionPerformed(java.awt.event.ActionEvent e)	Handles action events.
void	getConstructions()	Retrieves and processes the constructions for the dialog.
void	getNDGs()	Retrieves and processes the nondegenerate conditions (NDGs) for the dialog.
void	mouseClicked(java.awt.event.MouseEvent e)	Handles mouse clicked events.
void	mouseDragged(java.awt.event.MouseEvent e)	Handles mouse dragged events.
void	mouseEntered(java.awt.event.MouseEvent e)	Handles mouse entered events.
void	mouseExited(java.awt.event.MouseEvent e)	Handles mouse exited events.
void	mouseMoved(java.awt.event.MouseEvent e)	Handles mouse moved events.
void	mousePressed(java.awt.event.MouseEvent e)	Handles mouse pressed events.
void	mouseReleased(java.awt.event.MouseEvent e)	Handles mouse released events.
void	stateChanged(javax.swing.event.ChangeEvent e)	Handles state change events for the tabbed pane.

Methods inherited from class wprover.JBaseDialog

componentAdded, componentRemoved, keyPressed, keyReleased, keyTyped

Methods inherited from class javax.swing.JDialog

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

Methods inherited from class java.awt.Dialog

addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setBackground, setModal, setModalityType, setOpacity, setResizable, setShape, setTitle, setUndecorated, setVisible, show, toBack

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeNotify, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImage, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, 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, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, 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, 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, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Constructor Detail

PPDialog

public PPDialog(GExpert gx,
                GTerm gt,
                DrawProcess dp)

Constructs a new PPDialog with the specified GExpert, GTerm, and DrawProcess.

Parameters:

gx - the GExpert instance to associate with this dialog

gt - the GTerm instance to associate with this dialog

dp - the DrawProcess instance to associate with this dialog

Method Detail

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Handles state change events for the tabbed pane.

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

Parameters:

e - the ChangeEvent triggered by the tabbed pane

mouseDragged

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

Handles mouse dragged events.

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

Parameters:

e - the MouseEvent triggered by dragging the mouse

mouseMoved

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

Handles mouse moved events.

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

Parameters:

e - the MouseEvent triggered by moving the mouse

mouseClicked

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

Handles mouse clicked events.

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Parameters:

e - the MouseEvent triggered by clicking the mouse

mousePressed

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

Handles mouse pressed events.

Specified by:

mousePressed in interface java.awt.event.MouseListener

Parameters:

e - the MouseEvent triggered by pressing the mouse

mouseReleased

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

Handles mouse released events.

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Parameters:

e - the MouseEvent triggered by releasing the mouse

mouseEntered

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

Handles mouse entered events.

Specified by:

mouseEntered in interface java.awt.event.MouseListener

Parameters:

e - the MouseEvent triggered by entering a component

mouseExited

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

Handles mouse exited events.

Specified by:

mouseExited in interface java.awt.event.MouseListener

Parameters:

e - the MouseEvent triggered by exiting a component

actionPerformed

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

Handles action events.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

e - the ActionEvent triggered by an action

getConstructions

public void getConstructions()

Retrieves and processes the constructions for the dialog.

getNDGs

public void getNDGs()

Retrieves and processes the nondegenerate conditions (NDGs) for the dialog.