Package wprover

Class ConcPanel

  • All Implemented Interfaces:
    java.awt.event.ActionListener, java.awt.event.ItemListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible
    public class ConcPanel
extends javax.swing.JPanel
implements java.awt.event.ActionListener, java.awt.event.ItemListener
    ConcPanel is a JPanel that provides a user interface for selecting geometric assertions. It allows users to select points and check the validity of assertions based on the selected points.
    See Also:
    Serialized Form

    • Nested Class Summary

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

        javax.swing.JPanel.AccessibleJPanel

      • 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
      static javax.swing.ImageIcon icon_Question  
      static javax.swing.ImageIcon icon_Right  
      static javax.swing.ImageIcon icon_Wrong  

      • 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

    • Constructor Summary

      Constructors 
      Constructor Description
      ConcPanel​(GExpert gx)
      Constructs a ConcPanel with the specified GExpert instance.
      ConcPanel​(GExpert gx, MProveInputPanel ipanel)
      Constructs a ConcPanel with the specified GExpert instance and MProveInputPanel.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void actionPerformed​(java.awt.event.ActionEvent e)
      Handles action events for the buttons.
      void cancel()
      Cancels the current assertion and resets all combo boxes.
      java.lang.String getProve()
      Returns the proof statement for the selected geometric assertion.
      wprover.MObject getUserObject()
      Returns the user object for the panel.
      void itemStateChanged​(java.awt.event.ItemEvent e)
      Handles item state changes for the combo boxes.
      void revalidateValidState()
      Revalidates the state of the panel based on the current input.
      void selectAPoint​(CPoint p)
      Selects a point in the combo boxes.
      void setPoints​(java.util.Vector v)
      Sets the points in the combo boxes based on the provided vector of points.
      void setTypeSelection​(int k)
      Sets the selected index of the combo box and revalidates the state.
      void setUserObject​(wprover.MAssertion as)
      Sets the user object for the panel.
      void update()
      Updates the points in the panel based on the current point list from the GExpert instance.
      void updateBState()
      Updates the state of the button in the input panel based on the current selection.

      • Methods inherited from class javax.swing.JPanel

        getAccessibleContext, getUI, getUIClassID, paramString, setUI, 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, isValidateRoot, 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, setLayout, 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, setComponentOrientation, 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

    • Field Detail

      • icon_Right

        public static javax.swing.ImageIcon icon_Right

      • icon_Wrong

        public static javax.swing.ImageIcon icon_Wrong

      • icon_Question

        public static javax.swing.ImageIcon icon_Question

    • Constructor Detail

      • ConcPanel

        public ConcPanel​(GExpert gx)
        Constructs a ConcPanel with the specified GExpert instance. Initializes the panel and sets the selected index of the combo box to -1.
        Parameters:
        gx - the GExpert instance

      • ConcPanel

        public ConcPanel​(GExpert gx,
                 MProveInputPanel ipanel)
        Constructs a ConcPanel with the specified GExpert instance and MProveInputPanel. Calls the other constructor and sets the input panel.
        Parameters:
        gx - the GExpert instance
        ipanel - the MProveInputPanel instance

    • Method Detail

      • setTypeSelection

        public void setTypeSelection​(int k)
        Sets the selected index of the combo box and revalidates the state.
        Parameters:
        k - the index to set

      • setUserObject

        public void setUserObject​(wprover.MAssertion as)
        Sets the user object for the panel. Resets all items and updates the combo box and points based on the provided assertion.
        Parameters:
        as - the MAssertion object to set

      • getUserObject

        public wprover.MObject getUserObject()
        Returns the user object for the panel. Creates or updates the assertion object based on the selected points.
        Returns:
        the MObject representing the assertion

      • update

        public void update()
        Updates the points in the panel based on the current point list from the GExpert instance.

      • setPoints

        public void setPoints​(java.util.Vector v)
        Sets the points in the combo boxes based on the provided vector of points.
        Parameters:
        v - the vector of points to set

      • revalidateValidState

        public void revalidateValidState()
        Revalidates the state of the panel based on the current input. Checks if the input is finished and updates the validity state and combo box accordingly.

      • itemStateChanged

        public void itemStateChanged​(java.awt.event.ItemEvent e)
        Handles item state changes for the combo boxes. Resets all items, updates the combo box and points, and revalidates the state.
        Specified by:
        itemStateChanged in interface java.awt.event.ItemListener
        Parameters:
        e - the ItemEvent triggered by the user

      • updateBState

        public void updateBState()
        Updates the state of the button in the input panel based on the current selection. If the input panel is not null and the input is finished or the selected index is CONVEX, it sets the button state to true, otherwise sets it to false.

      • selectAPoint

        public void selectAPoint​(CPoint p)
        Selects a point in the combo boxes. Sets the selected item in the first available enabled combo box.
        Parameters:
        p - the point to select

      • actionPerformed

        public void actionPerformed​(java.awt.event.ActionEvent e)
        Handles action events for the buttons. Resets all items and updates the assertion based on the temporary assertion.
        Specified by:
        actionPerformed in interface java.awt.event.ActionListener
        Parameters:
        e - the ActionEvent triggered by the user

      • getProve

        public java.lang.String getProve()
        Returns the proof statement for the selected geometric assertion.
        Returns:
        the proof statement as a string, or "Not Yet Supported Conclusion" if the assertion type is not supported

      • cancel

        public void cancel()
        Cancels the current assertion and resets all combo boxes.