Package wprover

Class PanelAlgebraic

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.lang.Runnable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.ScrollPaneConstants
    Direct Known Subclasses:
    PanelGB, PanelWu
    public abstract class PanelAlgebraic
extends javax.swing.JScrollPane
implements java.lang.Runnable, java.awt.event.ActionListener
    PanelAlgebraic is an abstract class that extends JScrollPane and implements Runnable and ActionListener interfaces. It provides methods for handling algebraic operations and displaying results in a text pane.
    See Also:
    Serialized Form

    • Nested Class Summary

      • Nested classes/interfaces inherited from class javax.swing.JScrollPane

        javax.swing.JScrollPane.AccessibleJScrollPane, javax.swing.JScrollPane.ScrollBar

      • 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

      Fields 
      Modifier and Type Field Description
      protected TMono _mremainder  
      protected DrawProcess dp  
      protected GTerm gt  
      protected GExpert gxInstance  
      protected Language lan  
      protected java.lang.Thread main  
      protected GeoPoly poly  
      protected RunningDialog rund  
      protected boolean running  
      protected WuTextPane tpane  

      • Fields inherited from class javax.swing.JScrollPane

        columnHeader, horizontalScrollBar, horizontalScrollBarPolicy, lowerLeft, lowerRight, rowHeader, upperLeft, upperRight, verticalScrollBar, verticalScrollBarPolicy, viewport

      • Fields inherited from class javax.swing.JComponent

        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

        accessibleContext, 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.ScrollPaneConstants

        COLUMN_HEADER, HORIZONTAL_SCROLLBAR, HORIZONTAL_SCROLLBAR_ALWAYS, HORIZONTAL_SCROLLBAR_AS_NEEDED, HORIZONTAL_SCROLLBAR_NEVER, HORIZONTAL_SCROLLBAR_POLICY, LOWER_LEADING_CORNER, LOWER_LEFT_CORNER, LOWER_RIGHT_CORNER, LOWER_TRAILING_CORNER, ROW_HEADER, UPPER_LEADING_CORNER, UPPER_LEFT_CORNER, UPPER_RIGHT_CORNER, UPPER_TRAILING_CORNER, VERTICAL_SCROLLBAR, VERTICAL_SCROLLBAR_ALWAYS, VERTICAL_SCROLLBAR_AS_NEEDED, VERTICAL_SCROLLBAR_NEVER, VERTICAL_SCROLLBAR_POLICY, VIEWPORT

    • Constructor Summary

      Constructors 
      Constructor Description
      PanelAlgebraic​(DrawProcess dp, WuTextPane tpane)
      Constructs a new PanelAlgebraic with the specified DrawProcess and WuTextPane.

    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      void actionPerformed​(java.awt.event.ActionEvent e)
      Handles action events for the panel.
      protected void addAlgebraicForm()
      Adds the algebraic form of the points to the text pane.
      protected void addButton()
      Adds a button to the text pane.
      protected void addString​(java.lang.String s)
      Adds a string to the text pane with a newline.
      protected void addString​(java.lang.String s, java.lang.String type)
      Adds a string to the text pane with the specified style.
      protected void addString1​(java.lang.String s)
      Adds a bold string to the text pane.
      protected void addString2​(java.lang.String s)
      Adds a header string to the text pane with newlines before and after.
      protected void addString2s​(java.lang.String s)
      Adds a header string to the text pane with a newline after.
      void clearAll()
      Clears all content from the text pane and stops the panel from running.
      java.lang.String getLanguage​(int n, java.lang.String s)
      Deprecated.
      This method is deprecated.
      protected TMono getTMono​(Cons c)
      Retrieves the TMono representation of the specified construction.
      boolean isRunning()
      Checks if the panel is currently running.
      void run()
      Runs the panel's main process.
      protected void scrollToEnd()
      Scrolls the text pane to the end.
      void setXInstance​(GExpert gx)
      Sets the GExpert instance and updates the language settings.
      void stop()
      Stops the panel from running.
      abstract void stopRunning()
      Abstract method to stop the panel from running.

      • Methods inherited from class javax.swing.JScrollPane

        createHorizontalScrollBar, createVerticalScrollBar, createViewport, getAccessibleContext, getColumnHeader, getCorner, getHorizontalScrollBar, getHorizontalScrollBarPolicy, getRowHeader, getUI, getUIClassID, getVerticalScrollBar, getVerticalScrollBarPolicy, getViewport, getViewportBorder, getViewportBorderBounds, isValidateRoot, isWheelScrollingEnabled, paramString, setColumnHeader, setColumnHeaderView, setComponentOrientation, setCorner, setHorizontalScrollBar, setHorizontalScrollBarPolicy, setLayout, setRowHeader, setRowHeaderView, setUI, setVerticalScrollBar, setVerticalScrollBarPolicy, setViewport, setViewportBorder, setViewportView, setWheelScrollingEnabled, 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, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, paint, paintBorder, paintChildren, paintComponent, 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, reshape, 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, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, 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, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, 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

      • PanelAlgebraic

        public PanelAlgebraic​(DrawProcess dp,
                      WuTextPane tpane)
        Constructs a new PanelAlgebraic with the specified DrawProcess and WuTextPane.
        Parameters:
        dp - the DrawProcess instance to associate with this panel
        tpane - the WuTextPane instance to associate with this panel

    • Method Detail

      • getLanguage

        @Deprecated
public java.lang.String getLanguage​(int n,
                                    java.lang.String s)
        Deprecated.
        This method is deprecated. Use GExpert.getLanguage(s) directly.
        Retrieves the language string for the specified key.
        Parameters:
        n - the key index (not used)
        s - the key for the language string
        Returns:
        the language string associated with the key

      • isRunning

        public boolean isRunning()
        Checks if the panel is currently running.
        Returns:
        true if the panel is running, false otherwise

      • stop

        public void stop()
        Stops the panel from running.

      • setXInstance

        public void setXInstance​(GExpert gx)
        Sets the GExpert instance and updates the language settings.
        Parameters:
        gx - the GExpert instance to set

      • stopRunning

        public abstract void stopRunning()
        Abstract method to stop the panel from running. Must be implemented by subclasses.

      • clearAll

        public void clearAll()
        Clears all content from the text pane and stops the panel from running.

      • addString

        protected void addString​(java.lang.String s)
        Adds a string to the text pane with a newline.
        Parameters:
        s - the string to add

      • addString

        protected void addString​(java.lang.String s,
                         java.lang.String type)
        Adds a string to the text pane with the specified style.
        Parameters:
        s - the string to add
        type - the style type to apply

      • addButton

        protected void addButton()
        Adds a button to the text pane.

      • addString1

        protected void addString1​(java.lang.String s)
        Adds a bold string to the text pane.
        Parameters:
        s - the string to add

      • addString2

        protected void addString2​(java.lang.String s)
        Adds a header string to the text pane with newlines before and after.
        Parameters:
        s - the string to add

      • addString2s

        protected void addString2s​(java.lang.String s)
        Adds a header string to the text pane with a newline after.
        Parameters:
        s - the string to add

      • addAlgebraicForm

        protected void addAlgebraicForm()
        Adds the algebraic form of the points to the text pane.

      • actionPerformed

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

      • scrollToEnd

        protected void scrollToEnd()
        Scrolls the text pane to the end.

      • getTMono

        protected TMono getTMono​(Cons c)
        Retrieves the TMono representation of the specified construction.
        Parameters:
        c - the construction
        Returns:
        the TMono representation of the construction

      • run

        public void run()
        Runs the panel's main process.
        Specified by:
        run in interface java.lang.Runnable