org.apache.bcel.verifier

Class VerifierAppFrame


public class VerifierAppFrame
extends JFrame

This class implements a machine-generated frame for use with the GraphicalVerfifier.
Version:
$Id: VerifierAppFrame.java 386056 2006-03-15 11:31:56Z tcurdt $
Author:
Enver Haase
See Also:
GraphicalVerifier

Field Summary

private String
JUSTICE_VERSION
(package private) JMenuItem
aboutMenuItem
(package private) CardLayout
cardLayout1
(package private) JList
classNamesJList
(package private) JPanel
contentPane
private String
current_class
(package private) GridLayout
gridLayout1
(package private) GridLayout
gridLayout2
(package private) GridLayout
gridLayout3
(package private) GridLayout
gridLayout4
(package private) JMenu
jMenu1
(package private) JMenu
jMenu2
(package private) JMenuBar
jMenuBar1
(package private) JPanel
jPanel1
(package private) JPanel
jPanel2
(package private) JPanel
jPanel3
(package private) JScrollPane
jScrollPane1
(package private) JScrollPane
jScrollPane2
(package private) JScrollPane
jScrollPane3
(package private) JScrollPane
jScrollPane4
(package private) JScrollPane
jScrollPane5
(package private) JScrollPane
jScrollPane6
(package private) JScrollPane
jScrollPane7
(package private) JSplitPane
jSplitPane1
(package private) JSplitPane
jSplitPane2
(package private) JSplitPane
jSplitPane3
(package private) JSplitPane
jSplitPane4
(package private) JPanel
messagesPanel
(package private) JScrollPane
messagesScrollPane
(package private) JTextPane
messagesTextPane
(package private) JMenuItem
newFileMenuItem
(package private) JTextPane
pass1TextPane
(package private) JTextPane
pass2TextPane
(package private) JList
pass3aJList
(package private) JTextPane
pass3aTextPane
(package private) JList
pass3bJList
(package private) JTextPane
pass3bTextPane
(package private) JMenuItem
whatisMenuItem

Constructor Summary

VerifierAppFrame()
Constructor.

Method Summary

(package private) void
aboutMenuItem_actionPerformed(ActionEvent e)
(package private) void
classNamesJList_valueChanged(ListSelectionEvent e)
private void
jbInit()
Initizalization of the components.
(package private) void
newFileMenuItem_actionPerformed(ActionEvent e)
(package private) void
pass3aJList_valueChanged(ListSelectionEvent e)
(package private) void
pass3bJList_valueChanged(ListSelectionEvent e)
protected void
processWindowEvent(WindowEvent e)
Overridden to stop the application on a closing window.
private void
verify()
(package private) void
whatisMenuItem_actionPerformed(ActionEvent e)

Field Details

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

Constructor Details

VerifierAppFrame

public VerifierAppFrame()
Constructor.

Method Details

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)