Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> bcel >> [ verifier overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.apache.bcel.verifier
Class VerifierAppFrame  

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      org.apache.bcel.verifier.VerifierAppFrame

All Implemented Interfaces:

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

---

Nested Class Summary

 

Nested classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

 

Nested classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

 

Nested classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

 

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

 

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, 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.Window

 

Fields inherited from class java.awt.Container

 

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, getJMenuBar, getLayeredPane, getPreferredSize, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processKeyEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

 

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

 

Methods inherited from class java.awt.Window

addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getGraphicsConfiguration, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront

 

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, 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, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, 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, isOpaque, 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, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, 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.

---

processWindowEvent

protected void processWindowEvent(java.awt.event.WindowEvent e)

Overridden to stop the application on a closing window.

---

classNamesJList_valueChanged

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

---

verify

private void verify()
             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)

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> apache >> bcel >> [ verifier overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---