Package wprover

Class AllSolutionDialog

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.awt.event.ContainerListener, java.awt.event.KeyListener, java.awt.event.WindowListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants
    public class AllSolutionDialog
extends JBaseDialog
implements java.awt.event.ActionListener, java.awt.event.WindowListener
    The `AllSolutionDialog` class provides a dialog for displaying and interacting with all possible solutions of a given problem within the GExpert application.
    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 
      Modifier and Type Field Description
      int index  

      • 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
      AllSolutionDialog​(GExpert gx)
      Constructor for `AllSolutionDialog`.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void actionPerformed​(java.awt.event.ActionEvent e)
      Handles action events from the buttons.
      void autoFiltered()
      Automatically filters solutions based on certain criteria.
      void setFilted​(boolean r)
      Sets the filter state and updates the list of solutions accordingly.
      void setVisible​(boolean b)  
      void setVlist​(java.util.Vector v)
      Sets the list of solutions to be displayed.
      void update()
      Updates the displayed information in the dialog.
      void windowActivated​(java.awt.event.WindowEvent e)
      Invoked when a window is activated.
      void windowClosed​(java.awt.event.WindowEvent e)
      Invoked when a window has been closed.
      void windowClosing​(java.awt.event.WindowEvent e)
      Invoked when the user attempts to close the window from the window's system menu.
      void windowDeactivated​(java.awt.event.WindowEvent e)
      Invoked when a window is deactivated.
      void windowDeiconified​(java.awt.event.WindowEvent e)
      Invoked when a window is changed from a minimized to a normal state.
      void windowIconified​(java.awt.event.WindowEvent e)
      Invoked when a window is changed from a normal to a minimized state.
      void windowOpened​(java.awt.event.WindowEvent e)
      Invoked when a window has been opened.

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

    • Field Detail

      • index

        public int index

    • Constructor Detail

      • AllSolutionDialog

        public AllSolutionDialog​(GExpert gx)
        Constructor for `AllSolutionDialog`. Initializes the dialog with the necessary UI components and event listeners.
        Parameters:
        gx - The instance of GExpert.

    • Method Detail

      • setVlist

        public void setVlist​(java.util.Vector v)
        Sets the list of solutions to be displayed.
        Parameters:
        v - A vector containing the solutions.

      • autoFiltered

        public void autoFiltered()
        Automatically filters solutions based on certain criteria.

      • setFilted

        public void setFilted​(boolean r)
        Sets the filter state and updates the list of solutions accordingly.
        Parameters:
        r - A boolean indicating whether to apply the filter.

      • update

        public void update()
        Updates the displayed information in the dialog.

      • actionPerformed

        public void actionPerformed​(java.awt.event.ActionEvent e)
        Handles action events from the buttons.
        Specified by:
        actionPerformed in interface java.awt.event.ActionListener
        Parameters:
        e - The action event.

      • setVisible

        public void setVisible​(boolean b)
        Overrides:
        setVisible in class java.awt.Dialog
        Parameters:
        b - if true, makes the Dialog visible, otherwise hides the Dialog. If the dialog and/or its owner are not yet displayable, both are made displayable. The dialog will be validated prior to being made visible. If false, hides the Dialog and then causes setVisible(true) to return if it is currently blocked.

        Notes for modal dialogs.

        • setVisible(true): If the dialog is not already visible, this call will not return until the dialog is hidden by calling setVisible(false) or dispose.
        • setVisible(false): Hides the dialog and then returns on setVisible(true) if it is currently blocked.
        • It is OK to call this method from the event dispatching thread because the toolkit ensures that other events are not blocked while this method is blocked.

      • windowOpened

        public void windowOpened​(java.awt.event.WindowEvent e)
        Invoked when a window has been opened.
        Specified by:
        windowOpened in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowClosing

        public void windowClosing​(java.awt.event.WindowEvent e)
        Invoked when the user attempts to close the window from the window's system menu.
        Specified by:
        windowClosing in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowClosed

        public void windowClosed​(java.awt.event.WindowEvent e)
        Invoked when a window has been closed.
        Specified by:
        windowClosed in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowIconified

        public void windowIconified​(java.awt.event.WindowEvent e)
        Invoked when a window is changed from a normal to a minimized state.
        Specified by:
        windowIconified in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowDeiconified

        public void windowDeiconified​(java.awt.event.WindowEvent e)
        Invoked when a window is changed from a minimized to a normal state.
        Specified by:
        windowDeiconified in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowActivated

        public void windowActivated​(java.awt.event.WindowEvent e)
        Invoked when a window is activated.
        Specified by:
        windowActivated in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed

      • windowDeactivated

        public void windowDeactivated​(java.awt.event.WindowEvent e)
        Invoked when a window is deactivated.
        Specified by:
        windowDeactivated in interface java.awt.event.WindowListener
        Parameters:
        e - the event to be processed