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:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class VerifierAppFrame
extends javax.swing.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
javax.swing.JFrame.AccessibleJFrame
 
Nested classes/interfaces inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
Nested classes/interfaces inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
Nested classes/interfaces inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
(package private)  javax.swing.JMenuItem aboutMenuItem
           
(package private)  java.awt.CardLayout cardLayout1
           
(package private)  javax.swing.JList classNamesJList
           
(package private)  javax.swing.JPanel contentPane
           
private  java.lang.String current_class
           
(package private)  java.awt.GridLayout gridLayout1
           
(package private)  java.awt.GridLayout gridLayout2
           
(package private)  java.awt.GridLayout gridLayout3
           
(package private)  java.awt.GridLayout gridLayout4
           
(package private)  javax.swing.JMenu jMenu1
           
(package private)  javax.swing.JMenu jMenu2
           
(package private)  javax.swing.JMenuBar jMenuBar1
           
(package private)  javax.swing.JPanel jPanel1
           
(package private)  javax.swing.JPanel jPanel2
           
(package private)  javax.swing.JPanel jPanel3
           
(package private)  javax.swing.JScrollPane jScrollPane1
           
(package private)  javax.swing.JScrollPane jScrollPane2
           
(package private)  javax.swing.JScrollPane jScrollPane3
           
(package private)  javax.swing.JScrollPane jScrollPane4
           
(package private)  javax.swing.JScrollPane jScrollPane5
           
(package private)  javax.swing.JScrollPane jScrollPane6
           
(package private)  javax.swing.JScrollPane jScrollPane7
           
(package private)  javax.swing.JSplitPane jSplitPane1
           
(package private)  javax.swing.JSplitPane jSplitPane2
           
(package private)  javax.swing.JSplitPane jSplitPane3
           
(package private)  javax.swing.JSplitPane jSplitPane4
           
private  java.lang.String JUSTICE_VERSION
           
(package private)  javax.swing.JPanel messagesPanel
           
(package private)  javax.swing.JScrollPane messagesScrollPane
           
(package private)  javax.swing.JTextPane messagesTextPane
           
(package private)  javax.swing.JMenuItem newFileMenuItem
           
(package private)  javax.swing.JTextPane pass1TextPane
           
(package private)  javax.swing.JTextPane pass2TextPane
           
(package private)  javax.swing.JList pass3aJList
           
(package private)  javax.swing.JTextPane pass3aTextPane
           
(package private)  javax.swing.JList pass3bJList
           
(package private)  javax.swing.JTextPane pass3bTextPane
           
(package private)  javax.swing.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(java.awt.event.ActionEvent e)
           
(package private)  void classNamesJList_valueChanged(javax.swing.event.ListSelectionEvent e)
           
private  void jbInit()
          Initizalization of the components.
(package private)  void newFileMenuItem_actionPerformed(java.awt.event.ActionEvent e)
           
(package private)  void pass3aJList_valueChanged(javax.swing.event.ListSelectionEvent e)
           
(package private)  void pass3bJList_valueChanged(javax.swing.event.ListSelectionEvent e)
           
protected  void processWindowEvent(java.awt.event.WindowEvent e)
          Overridden to stop the application on a closing window.
private  void verify()
           
(package private)  void whatisMenuItem_actionPerformed(java.awt.event.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

javax.swing.JPanel contentPane

jSplitPane1

javax.swing.JSplitPane jSplitPane1

jPanel1

javax.swing.JPanel jPanel1

jPanel2

javax.swing.JPanel jPanel2

jSplitPane2

javax.swing.JSplitPane jSplitPane2

jPanel3

javax.swing.JPanel jPanel3

classNamesJList

javax.swing.JList classNamesJList

gridLayout1

java.awt.GridLayout gridLayout1

messagesPanel

javax.swing.JPanel messagesPanel

gridLayout2

java.awt.GridLayout gridLayout2

jMenuBar1

javax.swing.JMenuBar jMenuBar1

jMenu1

javax.swing.JMenu jMenu1

jScrollPane1

javax.swing.JScrollPane jScrollPane1

messagesScrollPane

javax.swing.JScrollPane messagesScrollPane

jScrollPane3

javax.swing.JScrollPane jScrollPane3

gridLayout4

java.awt.GridLayout gridLayout4

jScrollPane4

javax.swing.JScrollPane jScrollPane4

cardLayout1

java.awt.CardLayout cardLayout1

JUSTICE_VERSION

private java.lang.String JUSTICE_VERSION

current_class

private java.lang.String current_class

gridLayout3

java.awt.GridLayout gridLayout3

pass1TextPane

javax.swing.JTextPane pass1TextPane

pass2TextPane

javax.swing.JTextPane pass2TextPane

messagesTextPane

javax.swing.JTextPane messagesTextPane

newFileMenuItem

javax.swing.JMenuItem newFileMenuItem

jSplitPane3

javax.swing.JSplitPane jSplitPane3

jSplitPane4

javax.swing.JSplitPane jSplitPane4

jScrollPane2

javax.swing.JScrollPane jScrollPane2

jScrollPane5

javax.swing.JScrollPane jScrollPane5

jScrollPane6

javax.swing.JScrollPane jScrollPane6

jScrollPane7

javax.swing.JScrollPane jScrollPane7

pass3aJList

javax.swing.JList pass3aJList

pass3bJList

javax.swing.JList pass3bJList

pass3aTextPane

javax.swing.JTextPane pass3aTextPane

pass3bTextPane

javax.swing.JTextPane pass3bTextPane

jMenu2

javax.swing.JMenu jMenu2

whatisMenuItem

javax.swing.JMenuItem whatisMenuItem

aboutMenuItem

javax.swing.JMenuItem aboutMenuItem
Constructor Detail

VerifierAppFrame

public VerifierAppFrame()
Constructor.

Method Detail

jbInit

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

Throws:
java.lang.Exception

processWindowEvent

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

Overrides:
processWindowEvent in class javax.swing.JFrame

classNamesJList_valueChanged

void classNamesJList_valueChanged(javax.swing.event.ListSelectionEvent e)

verify

private void verify()
             throws java.lang.ClassNotFoundException
Throws:
java.lang.ClassNotFoundException

newFileMenuItem_actionPerformed

void newFileMenuItem_actionPerformed(java.awt.event.ActionEvent e)

pass3aJList_valueChanged

void pass3aJList_valueChanged(javax.swing.event.ListSelectionEvent e)

pass3bJList_valueChanged

void pass3bJList_valueChanged(javax.swing.event.ListSelectionEvent e)

aboutMenuItem_actionPerformed

void aboutMenuItem_actionPerformed(java.awt.event.ActionEvent e)

whatisMenuItem_actionPerformed

void whatisMenuItem_actionPerformed(java.awt.event.ActionEvent e)