This class implements a machine-generated frame for use with
the GraphicalVerfifier.
JUSTICE_VERSION
private String JUSTICE_VERSION
aboutMenuItem
(package private) JMenuItem aboutMenuItem
cardLayout1
(package private) CardLayout cardLayout1
classNamesJList
(package private) JList classNamesJList
contentPane
(package private) JPanel contentPane
current_class
private String current_class
gridLayout1
(package private) GridLayout gridLayout1
gridLayout2
(package private) GridLayout gridLayout2
gridLayout3
(package private) GridLayout gridLayout3
gridLayout4
(package private) GridLayout gridLayout4
jMenu1
(package private) JMenu jMenu1
jMenu2
(package private) JMenu jMenu2
jMenuBar1
(package private) JMenuBar jMenuBar1
jPanel1
(package private) JPanel jPanel1
jPanel2
(package private) JPanel jPanel2
jPanel3
(package private) JPanel jPanel3
jScrollPane1
(package private) JScrollPane jScrollPane1
jScrollPane2
(package private) JScrollPane jScrollPane2
jScrollPane3
(package private) JScrollPane jScrollPane3
jScrollPane4
(package private) JScrollPane jScrollPane4
jScrollPane5
(package private) JScrollPane jScrollPane5
jScrollPane6
(package private) JScrollPane jScrollPane6
jScrollPane7
(package private) JScrollPane jScrollPane7
jSplitPane1
(package private) JSplitPane jSplitPane1
jSplitPane2
(package private) JSplitPane jSplitPane2
jSplitPane3
(package private) JSplitPane jSplitPane3
jSplitPane4
(package private) JSplitPane jSplitPane4
messagesPanel
(package private) JPanel messagesPanel
messagesScrollPane
(package private) JScrollPane messagesScrollPane
messagesTextPane
(package private) JTextPane messagesTextPane
newFileMenuItem
(package private) JMenuItem newFileMenuItem
pass1TextPane
(package private) JTextPane pass1TextPane
pass2TextPane
(package private) JTextPane pass2TextPane
pass3aJList
(package private) JList pass3aJList
pass3aTextPane
(package private) JTextPane pass3aTextPane
pass3bJList
(package private) JList pass3bJList
pass3bTextPane
(package private) JTextPane pass3bTextPane
whatisMenuItem
(package private) JMenuItem whatisMenuItem
aboutMenuItem_actionPerformed
(package private) void aboutMenuItem_actionPerformed(ActionEvent e)
classNamesJList_valueChanged
(package private) void classNamesJList_valueChanged(ListSelectionEvent e)
jbInit
private void jbInit()
throws Exception
Initizalization of the components.
newFileMenuItem_actionPerformed
(package private) void newFileMenuItem_actionPerformed(ActionEvent e)
pass3aJList_valueChanged
(package private) void pass3aJList_valueChanged(ListSelectionEvent e)
pass3bJList_valueChanged
(package private) void pass3bJList_valueChanged(ListSelectionEvent e)
processWindowEvent
protected void processWindowEvent(WindowEvent e)
Overridden to stop the application on a closing window.
verify
private void verify()
throws ClassNotFoundException
whatisMenuItem_actionPerformed
(package private) void whatisMenuItem_actionPerformed(ActionEvent e)