org.apache.bcel.verifier
Class VerifierAppFrame

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by org.apache.bcel.verifier.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.

Version:
$Id: VerifierAppFrame.java 386056 2006-03-15 11:31:56Z tcurdt $
Author:
Enver Haase
See Also:
GraphicalVerifier, Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JFrame
JFrame.AccessibleJFrame
 
Nested classes/interfaces inherited from class java.awt.Frame
Frame.AccessibleAWTFrame
 
Nested classes/interfaces inherited from class java.awt.Window
Window.AccessibleAWTWindow
 
Nested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
 
Field Summary
(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
           
private  String JUSTICE_VERSION
           
(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
           
 
Fields inherited from class javax.swing.JFrame
accessibleContext, EXIT_ON_CLOSE, 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 javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
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)
           
 
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, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, 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, paint, 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, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, 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, isOpaque, 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, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, 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

JPanel contentPane

jSplitPane1

JSplitPane jSplitPane1

jPanel1

JPanel jPanel1

jPanel2

JPanel jPanel2

jSplitPane2

JSplitPane jSplitPane2

jPanel3

JPanel jPanel3

classNamesJList

JList classNamesJList

gridLayout1

GridLayout gridLayout1

messagesPanel

JPanel messagesPanel

gridLayout2

GridLayout gridLayout2

jMenuBar1

JMenuBar jMenuBar1

jMenu1

JMenu jMenu1

jScrollPane1

JScrollPane jScrollPane1

messagesScrollPane

JScrollPane messagesScrollPane

jScrollPane3

JScrollPane jScrollPane3

gridLayout4

GridLayout gridLayout4

jScrollPane4

JScrollPane jScrollPane4

cardLayout1

CardLayout cardLayout1

JUSTICE_VERSION

private String JUSTICE_VERSION

current_class

private String current_class

gridLayout3

GridLayout gridLayout3

pass1TextPane

JTextPane pass1TextPane

pass2TextPane

JTextPane pass2TextPane

messagesTextPane

JTextPane messagesTextPane

newFileMenuItem

JMenuItem newFileMenuItem

jSplitPane3

JSplitPane jSplitPane3

jSplitPane4

JSplitPane jSplitPane4

jScrollPane2

JScrollPane jScrollPane2

jScrollPane5

JScrollPane jScrollPane5

jScrollPane6

JScrollPane jScrollPane6

jScrollPane7

JScrollPane jScrollPane7

pass3aJList

JList pass3aJList

pass3bJList

JList pass3bJList

pass3aTextPane

JTextPane pass3aTextPane

pass3bTextPane

JTextPane pass3bTextPane

jMenu2

JMenu jMenu2

whatisMenuItem

JMenuItem whatisMenuItem

aboutMenuItem

JMenuItem aboutMenuItem
Constructor Detail

VerifierAppFrame

public VerifierAppFrame()
Constructor.

Method Detail

jbInit

private void jbInit()
             throws Exception
Initizalization of the components.

Throws:
Exception

processWindowEvent

protected void processWindowEvent(WindowEvent e)
Overridden to stop the application on a closing window.

Overrides:
processWindowEvent in class JFrame

classNamesJList_valueChanged

void classNamesJList_valueChanged(ListSelectionEvent e)

verify

private void verify()
             throws ClassNotFoundException
Throws:
ClassNotFoundException

newFileMenuItem_actionPerformed

void newFileMenuItem_actionPerformed(ActionEvent e)

pass3aJList_valueChanged

void pass3aJList_valueChanged(ListSelectionEvent e)

pass3bJList_valueChanged

void pass3bJList_valueChanged(ListSelectionEvent e)

aboutMenuItem_actionPerformed

void aboutMenuItem_actionPerformed(ActionEvent e)

whatisMenuItem_actionPerformed

void whatisMenuItem_actionPerformed(ActionEvent e)