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
JMenuItemaboutMenuItem
CardLayoutcardLayout1
JListclassNamesJList
JPanelcontentPane
Stringcurrent_class
GridLayoutgridLayout1
GridLayoutgridLayout2
GridLayoutgridLayout3
GridLayoutgridLayout4
JMenujMenu1
JMenujMenu2
JMenuBarjMenuBar1
JPaneljPanel1
JPaneljPanel2
JPaneljPanel3
JScrollPanejScrollPane1
JScrollPanejScrollPane2
JScrollPanejScrollPane3
JScrollPanejScrollPane4
JScrollPanejScrollPane5
JScrollPanejScrollPane6
JScrollPanejScrollPane7
JSplitPanejSplitPane1
JSplitPanejSplitPane2
JSplitPanejSplitPane3
JSplitPanejSplitPane4
StringJUSTICE_VERSION
JPanelmessagesPanel
JScrollPanemessagesScrollPane
JTextPanemessagesTextPane
JMenuItemnewFileMenuItem
JTextPanepass1TextPane
JTextPanepass2TextPane
JListpass3aJList
JTextPanepass3aTextPane
JListpass3bJList
JTextPanepass3bTextPane
JMenuItemwhatisMenuItem
Constructor Summary
VerifierAppFrame()
Constructor.
Method Summary
voidaboutMenuItem_actionPerformed(ActionEvent e)
voidclassNamesJList_valueChanged(ListSelectionEvent e)
voidjbInit()
Initizalization of the components.
voidnewFileMenuItem_actionPerformed(ActionEvent e)
voidpass3aJList_valueChanged(ListSelectionEvent e)
voidpass3bJList_valueChanged(ListSelectionEvent e)
protected voidprocessWindowEvent(WindowEvent e)
Overridden to stop the application on a closing window.
voidverify()
voidwhatisMenuItem_actionPerformed(ActionEvent e)

Field Detail

aboutMenuItem

JMenuItem aboutMenuItem

cardLayout1

CardLayout cardLayout1

classNamesJList

JList classNamesJList

contentPane

JPanel contentPane

current_class

private String current_class

gridLayout1

GridLayout gridLayout1

gridLayout2

GridLayout gridLayout2

gridLayout3

GridLayout gridLayout3

gridLayout4

GridLayout gridLayout4

jMenu1

JMenu jMenu1

jMenu2

JMenu jMenu2

jMenuBar1

JMenuBar jMenuBar1

jPanel1

JPanel jPanel1

jPanel2

JPanel jPanel2

jPanel3

JPanel jPanel3

jScrollPane1

JScrollPane jScrollPane1

jScrollPane2

JScrollPane jScrollPane2

jScrollPane3

JScrollPane jScrollPane3

jScrollPane4

JScrollPane jScrollPane4

jScrollPane5

JScrollPane jScrollPane5

jScrollPane6

JScrollPane jScrollPane6

jScrollPane7

JScrollPane jScrollPane7

jSplitPane1

JSplitPane jSplitPane1

jSplitPane2

JSplitPane jSplitPane2

jSplitPane3

JSplitPane jSplitPane3

jSplitPane4

JSplitPane jSplitPane4

JUSTICE_VERSION

private String JUSTICE_VERSION

messagesPanel

JPanel messagesPanel

messagesScrollPane

JScrollPane messagesScrollPane

messagesTextPane

JTextPane messagesTextPane

newFileMenuItem

JMenuItem newFileMenuItem

pass1TextPane

JTextPane pass1TextPane

pass2TextPane

JTextPane pass2TextPane

pass3aJList

JList pass3aJList

pass3aTextPane

JTextPane pass3aTextPane

pass3bJList

JList pass3bJList

pass3bTextPane

JTextPane pass3bTextPane

whatisMenuItem

JMenuItem whatisMenuItem

Constructor Detail

VerifierAppFrame

public VerifierAppFrame()
Constructor.

Method Detail

aboutMenuItem_actionPerformed

void aboutMenuItem_actionPerformed(ActionEvent e)

classNamesJList_valueChanged

void classNamesJList_valueChanged(ListSelectionEvent e)

jbInit

private void jbInit()
Initizalization of the components.

newFileMenuItem_actionPerformed

void newFileMenuItem_actionPerformed(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.

verify

private void verify()

whatisMenuItem_actionPerformed

void whatisMenuItem_actionPerformed(ActionEvent e)