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
current_class
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 static java.lang.String
JUSTICE_VERSION
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()
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
aboutMenuItem_actionPerformed(java.awt.event.ActionEvent e)
(package private) void
classNamesJList_valueChanged(javax.swing.event.ListSelectionEvent e)
(package private) javax.swing.JList<java.lang.String>
getClassNamesJList()
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, 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
-
JUSTICE_VERSION
private static final java.lang.String JUSTICE_VERSION
- 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
-
current_class
private java.lang.String current_class
-
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
-
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 classjavax.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)
-
getClassNamesJList
javax.swing.JList<java.lang.String> getClassNamesJList()
- Returns:
- the classNamesJList
-
-