Class VerifierAppFrame

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

    public class VerifierAppFrame
    extends javax.swing.JFrame
    This class implements a machine-generated frame for use with the GraphicalVerfifier.
    See Also:
    GraphicalVerifier, Serialized Form
    • Nested Class Summary

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

        javax.swing.JFrame.AccessibleJFrame
      • Nested classes/interfaces inherited from class java.awt.Frame

        java.awt.Frame.AccessibleAWTFrame
      • 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
      private javax.swing.JMenuItem aboutMenuItem  
      private java.awt.CardLayout cardLayout1  
      private javax.swing.JList<java.lang.String> classNamesJList  
      private javax.swing.JPanel contentPane  
      private java.lang.String current_class  
      private java.awt.GridLayout gridLayout1  
      private java.awt.GridLayout gridLayout2  
      private java.awt.GridLayout gridLayout3  
      private java.awt.GridLayout gridLayout4  
      private javax.swing.JMenu jMenu1  
      private javax.swing.JMenu jMenu2  
      private javax.swing.JMenuBar jMenuBar1  
      private javax.swing.JPanel jPanel1  
      private javax.swing.JPanel jPanel2  
      private javax.swing.JPanel jPanel3  
      private javax.swing.JScrollPane jScrollPane1  
      private javax.swing.JScrollPane jScrollPane2  
      private javax.swing.JScrollPane jScrollPane3  
      private javax.swing.JScrollPane jScrollPane4  
      private javax.swing.JScrollPane jScrollPane5  
      private javax.swing.JScrollPane jScrollPane6  
      private javax.swing.JScrollPane jScrollPane7  
      private javax.swing.JSplitPane jSplitPane1  
      private javax.swing.JSplitPane jSplitPane2  
      private javax.swing.JSplitPane jSplitPane3  
      private javax.swing.JSplitPane jSplitPane4  
      private static java.lang.String JUSTICE_VERSION  
      private javax.swing.JPanel messagesPanel  
      private javax.swing.JScrollPane messagesScrollPane  
      private javax.swing.JTextPane messagesTextPane  
      private javax.swing.JMenuItem newFileMenuItem  
      private javax.swing.JTextPane pass1TextPane  
      private javax.swing.JTextPane pass2TextPane  
      private javax.swing.JList<java.lang.String> pass3aJList  
      private javax.swing.JTextPane pass3aTextPane  
      private javax.swing.JList<java.lang.String> pass3bJList  
      private javax.swing.JTextPane pass3bTextPane  
      private static long serialVersionUID  
      private javax.swing.JMenuItem whatisMenuItem  
      • Fields inherited from class javax.swing.JFrame

        accessibleContext, rootPane, rootPaneCheckingEnabled
      • Fields inherited from class java.awt.Frame

        CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
      • 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
      VerifierAppFrame()
      Constructor.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) void aboutMenuItem_actionPerformed​(java.awt.event.ActionEvent e)  
      (package private) void classNamesJList_valueChanged​(javax.swing.event.ListSelectionEvent e)  
      (package private) javax.swing.JList<java.lang.String> getClassNamesJList()  
      private void jbInit()
      Initizalization of the components.
      (package private) void newFileMenuItem_actionPerformed​(java.awt.event.ActionEvent e)  
      (package private) void pass3aJList_valueChanged​(javax.swing.event.ListSelectionEvent e)  
      (package private) void pass3bJList_valueChanged​(javax.swing.event.ListSelectionEvent e)  
      protected void processWindowEvent​(java.awt.event.WindowEvent e)
      Overridden to stop the application on a closing window.
      private void verify()  
      (package private) void whatisMenuItem_actionPerformed​(java.awt.event.ActionEvent e)  
      • Methods inherited from class javax.swing.JFrame

        addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
      • Methods inherited from class java.awt.Frame

        addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
      • 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, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, 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, 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
      • Methods inherited from interface java.awt.MenuContainer

        getFont, postEvent
    • Field Detail

      • contentPane

        private javax.swing.JPanel contentPane
      • jSplitPane1

        private final javax.swing.JSplitPane jSplitPane1
      • jPanel1

        private final javax.swing.JPanel jPanel1
      • jPanel2

        private final javax.swing.JPanel jPanel2
      • jSplitPane2

        private final javax.swing.JSplitPane jSplitPane2
      • jPanel3

        private final javax.swing.JPanel jPanel3
      • classNamesJList

        private final javax.swing.JList<java.lang.String> classNamesJList
      • gridLayout1

        private final java.awt.GridLayout gridLayout1
      • messagesPanel

        private final javax.swing.JPanel messagesPanel
      • gridLayout2

        private final java.awt.GridLayout gridLayout2
      • jMenuBar1

        private final javax.swing.JMenuBar jMenuBar1
      • jMenu1

        private final javax.swing.JMenu jMenu1
      • jScrollPane1

        private final javax.swing.JScrollPane jScrollPane1
      • messagesScrollPane

        private final javax.swing.JScrollPane messagesScrollPane
      • jScrollPane3

        private final javax.swing.JScrollPane jScrollPane3
      • gridLayout4

        private final java.awt.GridLayout gridLayout4
      • jScrollPane4

        private final javax.swing.JScrollPane jScrollPane4
      • cardLayout1

        private final java.awt.CardLayout cardLayout1
      • current_class

        private java.lang.String current_class
      • gridLayout3

        private final java.awt.GridLayout gridLayout3
      • pass1TextPane

        private final javax.swing.JTextPane pass1TextPane
      • pass2TextPane

        private final javax.swing.JTextPane pass2TextPane
      • messagesTextPane

        private final javax.swing.JTextPane messagesTextPane
      • newFileMenuItem

        private final javax.swing.JMenuItem newFileMenuItem
      • jSplitPane3

        private final javax.swing.JSplitPane jSplitPane3
      • jSplitPane4

        private final javax.swing.JSplitPane jSplitPane4
      • jScrollPane2

        private final javax.swing.JScrollPane jScrollPane2
      • jScrollPane5

        private final javax.swing.JScrollPane jScrollPane5
      • jScrollPane6

        private final javax.swing.JScrollPane jScrollPane6
      • jScrollPane7

        private final javax.swing.JScrollPane jScrollPane7
      • pass3aJList

        private final javax.swing.JList<java.lang.String> pass3aJList
      • pass3bJList

        private final javax.swing.JList<java.lang.String> pass3bJList
      • pass3aTextPane

        private final javax.swing.JTextPane pass3aTextPane
      • pass3bTextPane

        private final javax.swing.JTextPane pass3bTextPane
      • jMenu2

        private final javax.swing.JMenu jMenu2
      • whatisMenuItem

        private final javax.swing.JMenuItem whatisMenuItem
      • aboutMenuItem

        private final javax.swing.JMenuItem aboutMenuItem
    • Constructor Detail

      • VerifierAppFrame

        public VerifierAppFrame()
        Constructor.
    • Method Detail

      • jbInit

        private void jbInit()
                     throws java.lang.Exception
        Initizalization of the components.
        Throws:
        java.lang.Exception
      • processWindowEvent

        protected void processWindowEvent​(java.awt.event.WindowEvent e)
        Overridden to stop the application on a closing window.
        Overrides:
        processWindowEvent in class javax.swing.JFrame
      • classNamesJList_valueChanged

        void classNamesJList_valueChanged​(javax.swing.event.ListSelectionEvent e)
      • verify

        private void verify()
                     throws java.lang.ClassNotFoundException
        Throws:
        java.lang.ClassNotFoundException
      • newFileMenuItem_actionPerformed

        void newFileMenuItem_actionPerformed​(java.awt.event.ActionEvent e)
      • pass3aJList_valueChanged

        void pass3aJList_valueChanged​(javax.swing.event.ListSelectionEvent e)
      • pass3bJList_valueChanged

        void pass3bJList_valueChanged​(javax.swing.event.ListSelectionEvent e)
      • aboutMenuItem_actionPerformed

        void aboutMenuItem_actionPerformed​(java.awt.event.ActionEvent e)
      • whatisMenuItem_actionPerformed

        void whatisMenuItem_actionPerformed​(java.awt.event.ActionEvent e)
      • getClassNamesJList

        javax.swing.JList<java.lang.String> getClassNamesJList()
        Returns:
        the classNamesJList