Class VerifierAppFrame

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class VerifierAppFrame extends JFrame
This class implements a machine-generated frame for use with the GraphicalVerfifier.
See Also:
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
    • contentPane

      private JPanel contentPane
    • jSplitPane1

      private final JSplitPane jSplitPane1
    • jPanel1

      private final JPanel jPanel1
    • jPanel2

      private final JPanel jPanel2
    • jSplitPane2

      private final JSplitPane jSplitPane2
    • jPanel3

      private final JPanel jPanel3
    • classNamesJList

      private final JList<String> classNamesJList
    • gridLayout1

      private final GridLayout gridLayout1
    • messagesPanel

      private final JPanel messagesPanel
    • gridLayout2

      private final GridLayout gridLayout2
    • jMenuBar1

      private final JMenuBar jMenuBar1
    • jMenu1

      private final JMenu jMenu1
    • jScrollPane1

      private final JScrollPane jScrollPane1
    • messagesScrollPane

      private final JScrollPane messagesScrollPane
    • jScrollPane3

      private final JScrollPane jScrollPane3
    • gridLayout4

      private final GridLayout gridLayout4
    • jScrollPane4

      private final JScrollPane jScrollPane4
    • cardLayout1

      private final CardLayout cardLayout1
    • currentClass

      private String currentClass
    • gridLayout3

      private final GridLayout gridLayout3
    • pass1TextPane

      private final JTextPane pass1TextPane
    • pass2TextPane

      private final JTextPane pass2TextPane
    • messagesTextPane

      private final JTextPane messagesTextPane
    • newFileMenuItem

      private final JMenuItem newFileMenuItem
    • jSplitPane3

      private final JSplitPane jSplitPane3
    • jSplitPane4

      private final JSplitPane jSplitPane4
    • jScrollPane2

      private final JScrollPane jScrollPane2
    • jScrollPane5

      private final JScrollPane jScrollPane5
    • jScrollPane6

      private final JScrollPane jScrollPane6
    • jScrollPane7

      private final JScrollPane jScrollPane7
    • pass3aJList

      private final JList<String> pass3aJList
    • pass3bJList

      private final JList<String> pass3bJList
    • pass3aTextPane

      private final JTextPane pass3aTextPane
    • pass3bTextPane

      private final JTextPane pass3bTextPane
    • jMenu2

      private final JMenu jMenu2
    • whatisMenuItem

      private final JMenuItem whatisMenuItem
    • aboutMenuItem

      private final JMenuItem aboutMenuItem
  • Constructor Details

    • VerifierAppFrame

      public VerifierAppFrame()
      Constructs a new instance.
  • Method Details

    • aboutMenuItemActionPerformed

      void aboutMenuItemActionPerformed(ActionEvent e)
    • classNamesJListValueChanged

      void classNamesJListValueChanged(ListSelectionEvent e)
    • getClassNamesJList

      JList<String> getClassNamesJList()
      Returns:
      the classNamesJList
    • jbInit

      private void jbInit()
      Initizalization of the components.
    • newFileMenuItemActionPerformed

      void newFileMenuItemActionPerformed(ActionEvent e)
    • pass3aJList_valueChanged

      void pass3aJList_valueChanged(ListSelectionEvent e)
    • pass3bJList_valueChanged

      void pass3bJList_valueChanged(ListSelectionEvent e)
    • processWindowEvent

      protected void processWindowEvent(WindowEvent e)
      Overridden to stop the application on a closing window.
      Overrides:
      processWindowEvent in class JFrame
    • verify

      private void verify() throws ClassNotFoundException
      Throws:
      ClassNotFoundException
    • whatisMenuItemActionPerformed

      void whatisMenuItemActionPerformed(ActionEvent e)