Package wprover
Class JBaseDialog
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- java.awt.Window
-
- java.awt.Dialog
-
- javax.swing.JDialog
-
- wprover.JBaseDialog
-
- All Implemented Interfaces:
java.awt.event.ContainerListener,java.awt.event.KeyListener,java.awt.image.ImageObserver,java.awt.MenuContainer,java.io.Serializable,java.util.EventListener,javax.accessibility.Accessible,javax.swing.RootPaneContainer,javax.swing.WindowConstants
- Direct Known Subclasses:
AllSolutionDialog,AttrToCondDialog,CDialogProve,ConcDialog,DialogProperty,DialogPsProperty,FactFinderDialog,GIFOptionDialog,GIFProcessDialog,ImageTimer,JPopExView,LeadVariableDialog,MiscDialog,NdgDialog,NumCheckDialog,PPDialog,RatioSelectDialog,RectangleSelectionDialog,RectChooser,RuleApplicationDialog,RuleDialog,RuleListDialog,SecondCounterDemo,SelectDialog,SpecificAngleDialog,TextFrame,TextValueEditor,TransformConfirmDialog,UndoEditDialog,VFontChooser
public class JBaseDialog extends javax.swing.JDialog implements java.awt.event.ContainerListener, java.awt.event.KeyListenerJBaseDialog is a custom dialog class that extends JDialog and implements ContainerListener and KeyListener interfaces. It provides functionality to handle key events and manage child components within the dialog.- 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
-
-
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
-
-
Constructor Summary
Constructors Constructor Description JBaseDialog()Constructs a new JBaseDialog with no specified frame, title, or modality.JBaseDialog(java.awt.Frame f)Constructs a new JBaseDialog with the specified frame.JBaseDialog(java.awt.Frame frame, boolean modal)Constructs a new JBaseDialog with the specified frame and modality.JBaseDialog(java.awt.Frame f, java.lang.String title)Constructs a new JBaseDialog with the specified frame and title.JBaseDialog(java.awt.Frame frame, java.lang.String title, boolean modal)Constructs a new JBaseDialog with the specified frame, title, and modality.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcomponentAdded(java.awt.event.ContainerEvent e)Called when a component is added to a container.voidcomponentRemoved(java.awt.event.ContainerEvent e)Called when a component is removed from a container.voidkeyPressed(java.awt.event.KeyEvent e)Called when a key is pressed in a component.voidkeyReleased(java.awt.event.KeyEvent e)Called when a key is released in a component.voidkeyTyped(java.awt.event.KeyEvent e)Called when a key is typed in a component.-
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
-
-
-
-
Constructor Detail
-
JBaseDialog
public JBaseDialog(java.awt.Frame frame, java.lang.String title, boolean modal)Constructs a new JBaseDialog with the specified frame, title, and modality.- Parameters:
frame- the parent frametitle- the title of the dialogmodal- true if the dialog should be modal, false otherwise
-
JBaseDialog
public JBaseDialog(java.awt.Frame frame, boolean modal)Constructs a new JBaseDialog with the specified frame and modality.- Parameters:
frame- the parent framemodal- true if the dialog should be modal, false otherwise
-
JBaseDialog
public JBaseDialog()
Constructs a new JBaseDialog with no specified frame, title, or modality.
-
JBaseDialog
public JBaseDialog(java.awt.Frame f, java.lang.String title)Constructs a new JBaseDialog with the specified frame and title.- Parameters:
f- the parent frametitle- the title of the dialog
-
JBaseDialog
public JBaseDialog(java.awt.Frame f)
Constructs a new JBaseDialog with the specified frame.- Parameters:
f- the parent frame
-
-
Method Detail
-
componentAdded
public void componentAdded(java.awt.event.ContainerEvent e)
Called when a component is added to a container.- Specified by:
componentAddedin interfacejava.awt.event.ContainerListener- Parameters:
e- the container event
-
componentRemoved
public void componentRemoved(java.awt.event.ContainerEvent e)
Called when a component is removed from a container.- Specified by:
componentRemovedin interfacejava.awt.event.ContainerListener- Parameters:
e- the container event
-
keyPressed
public void keyPressed(java.awt.event.KeyEvent e)
Called when a key is pressed in a component.- Specified by:
keyPressedin interfacejava.awt.event.KeyListener- Parameters:
e- the key event
-
keyReleased
public void keyReleased(java.awt.event.KeyEvent e)
Called when a key is released in a component.- Specified by:
keyReleasedin interfacejava.awt.event.KeyListener- Parameters:
e- the key event
-
keyTyped
public void keyTyped(java.awt.event.KeyEvent e)
Called when a key is typed in a component.- Specified by:
keyTypedin interfacejava.awt.event.KeyListener- Parameters:
e- the key event
-
-