|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
org.apache.bcel.verifier.VerifierAppFrame
public class VerifierAppFrame
This class implements a machine-generated frame for use with the GraphicalVerfifier.
GraphicalVerifier
,
Serialized FormNested 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 |
---|
javax.swing.JPanel contentPane
javax.swing.JSplitPane jSplitPane1
javax.swing.JPanel jPanel1
javax.swing.JPanel jPanel2
javax.swing.JSplitPane jSplitPane2
javax.swing.JPanel jPanel3
javax.swing.JList classNamesJList
java.awt.GridLayout gridLayout1
javax.swing.JPanel messagesPanel
java.awt.GridLayout gridLayout2
javax.swing.JMenuBar jMenuBar1
javax.swing.JMenu jMenu1
javax.swing.JScrollPane jScrollPane1
javax.swing.JScrollPane messagesScrollPane
javax.swing.JScrollPane jScrollPane3
java.awt.GridLayout gridLayout4
javax.swing.JScrollPane jScrollPane4
java.awt.CardLayout cardLayout1
private java.lang.String JUSTICE_VERSION
private java.lang.String current_class
java.awt.GridLayout gridLayout3
javax.swing.JTextPane pass1TextPane
javax.swing.JTextPane pass2TextPane
javax.swing.JTextPane messagesTextPane
javax.swing.JMenuItem newFileMenuItem
javax.swing.JSplitPane jSplitPane3
javax.swing.JSplitPane jSplitPane4
javax.swing.JScrollPane jScrollPane2
javax.swing.JScrollPane jScrollPane5
javax.swing.JScrollPane jScrollPane6
javax.swing.JScrollPane jScrollPane7
javax.swing.JList pass3aJList
javax.swing.JList pass3bJList
javax.swing.JTextPane pass3aTextPane
javax.swing.JTextPane pass3bTextPane
javax.swing.JMenu jMenu2
javax.swing.JMenuItem whatisMenuItem
javax.swing.JMenuItem aboutMenuItem
Constructor Detail |
---|
public VerifierAppFrame()
Method Detail |
---|
private void jbInit() throws java.lang.Exception
java.lang.Exception
protected void processWindowEvent(java.awt.event.WindowEvent e)
processWindowEvent
in class javax.swing.JFrame
void classNamesJList_valueChanged(javax.swing.event.ListSelectionEvent e)
private void verify() throws java.lang.ClassNotFoundException
java.lang.ClassNotFoundException
void newFileMenuItem_actionPerformed(java.awt.event.ActionEvent e)
void pass3aJList_valueChanged(javax.swing.event.ListSelectionEvent e)
void pass3bJList_valueChanged(javax.swing.event.ListSelectionEvent e)
void aboutMenuItem_actionPerformed(java.awt.event.ActionEvent e)
void whatisMenuItem_actionPerformed(java.awt.event.ActionEvent e)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |