Package 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:
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.- 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.Window
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
-
-
Field Summary
Fields Modifier and Type Field Description private javax.swing.JMenuItem
aboutMenuItem
private java.awt.CardLayout
cardLayout1
private javax.swing.JList<java.lang.String>
classNamesJList
private javax.swing.JPanel
contentPane
private java.lang.String
currentClass
private java.awt.GridLayout
gridLayout1
private java.awt.GridLayout
gridLayout2
private java.awt.GridLayout
gridLayout3
private java.awt.GridLayout
gridLayout4
private javax.swing.JMenu
jMenu1
private javax.swing.JMenu
jMenu2
private javax.swing.JMenuBar
jMenuBar1
private javax.swing.JPanel
jPanel1
private javax.swing.JPanel
jPanel2
private javax.swing.JPanel
jPanel3
private javax.swing.JScrollPane
jScrollPane1
private javax.swing.JScrollPane
jScrollPane2
private javax.swing.JScrollPane
jScrollPane3
private javax.swing.JScrollPane
jScrollPane4
private javax.swing.JScrollPane
jScrollPane5
private javax.swing.JScrollPane
jScrollPane6
private javax.swing.JScrollPane
jScrollPane7
private javax.swing.JSplitPane
jSplitPane1
private javax.swing.JSplitPane
jSplitPane2
private javax.swing.JSplitPane
jSplitPane3
private javax.swing.JSplitPane
jSplitPane4
private javax.swing.JPanel
messagesPanel
private javax.swing.JScrollPane
messagesScrollPane
private javax.swing.JTextPane
messagesTextPane
private javax.swing.JMenuItem
newFileMenuItem
private javax.swing.JTextPane
pass1TextPane
private javax.swing.JTextPane
pass2TextPane
private javax.swing.JList<java.lang.String>
pass3aJList
private javax.swing.JTextPane
pass3aTextPane
private javax.swing.JList<java.lang.String>
pass3bJList
private javax.swing.JTextPane
pass3bTextPane
private static long
serialVersionUID
private javax.swing.JMenuItem
whatisMenuItem
-
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
-
-
Constructor Summary
Constructors Constructor Description VerifierAppFrame()
Constructs a new instance.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
aboutMenuItemActionPerformed(java.awt.event.ActionEvent e)
(package private) void
classNamesJListValueChanged(javax.swing.event.ListSelectionEvent e)
(package private) javax.swing.JList<java.lang.String>
getClassNamesJList()
private void
jbInit()
Initizalization of the components.(package private) void
newFileMenuItemActionPerformed(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
whatisMenuItemActionPerformed(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, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
-
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, 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, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, 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, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
-
-
-
-
Field Detail
-
serialVersionUID
private static final long serialVersionUID
- See Also:
- Constant Field Values
-
contentPane
private javax.swing.JPanel contentPane
-
jSplitPane1
private final javax.swing.JSplitPane jSplitPane1
-
jPanel1
private final javax.swing.JPanel jPanel1
-
jPanel2
private final javax.swing.JPanel jPanel2
-
jSplitPane2
private final javax.swing.JSplitPane jSplitPane2
-
jPanel3
private final javax.swing.JPanel jPanel3
-
classNamesJList
private final javax.swing.JList<java.lang.String> classNamesJList
-
gridLayout1
private final java.awt.GridLayout gridLayout1
-
messagesPanel
private final javax.swing.JPanel messagesPanel
-
gridLayout2
private final java.awt.GridLayout gridLayout2
-
jMenuBar1
private final javax.swing.JMenuBar jMenuBar1
-
jMenu1
private final javax.swing.JMenu jMenu1
-
jScrollPane1
private final javax.swing.JScrollPane jScrollPane1
-
messagesScrollPane
private final javax.swing.JScrollPane messagesScrollPane
-
jScrollPane3
private final javax.swing.JScrollPane jScrollPane3
-
gridLayout4
private final java.awt.GridLayout gridLayout4
-
jScrollPane4
private final javax.swing.JScrollPane jScrollPane4
-
cardLayout1
private final java.awt.CardLayout cardLayout1
-
currentClass
private java.lang.String currentClass
-
gridLayout3
private final java.awt.GridLayout gridLayout3
-
pass1TextPane
private final javax.swing.JTextPane pass1TextPane
-
pass2TextPane
private final javax.swing.JTextPane pass2TextPane
-
messagesTextPane
private final javax.swing.JTextPane messagesTextPane
-
newFileMenuItem
private final javax.swing.JMenuItem newFileMenuItem
-
jSplitPane3
private final javax.swing.JSplitPane jSplitPane3
-
jSplitPane4
private final javax.swing.JSplitPane jSplitPane4
-
jScrollPane2
private final javax.swing.JScrollPane jScrollPane2
-
jScrollPane5
private final javax.swing.JScrollPane jScrollPane5
-
jScrollPane6
private final javax.swing.JScrollPane jScrollPane6
-
jScrollPane7
private final javax.swing.JScrollPane jScrollPane7
-
pass3aJList
private final javax.swing.JList<java.lang.String> pass3aJList
-
pass3bJList
private final javax.swing.JList<java.lang.String> pass3bJList
-
pass3aTextPane
private final javax.swing.JTextPane pass3aTextPane
-
pass3bTextPane
private final javax.swing.JTextPane pass3bTextPane
-
jMenu2
private final javax.swing.JMenu jMenu2
-
whatisMenuItem
private final javax.swing.JMenuItem whatisMenuItem
-
aboutMenuItem
private final javax.swing.JMenuItem aboutMenuItem
-
-
Method Detail
-
aboutMenuItemActionPerformed
void aboutMenuItemActionPerformed(java.awt.event.ActionEvent e)
-
classNamesJListValueChanged
void classNamesJListValueChanged(javax.swing.event.ListSelectionEvent e)
-
getClassNamesJList
javax.swing.JList<java.lang.String> getClassNamesJList()
- Returns:
- the classNamesJList
-
jbInit
private void jbInit()
Initizalization of the components.
-
newFileMenuItemActionPerformed
void newFileMenuItemActionPerformed(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)
-
processWindowEvent
protected void processWindowEvent(java.awt.event.WindowEvent e)
Overridden to stop the application on a closing window.- Overrides:
processWindowEvent
in classjavax.swing.JFrame
-
verify
private void verify() throws java.lang.ClassNotFoundException
- Throws:
java.lang.ClassNotFoundException
-
whatisMenuItemActionPerformed
void whatisMenuItemActionPerformed(java.awt.event.ActionEvent e)
-
-