public class VerifierAppFrame extends JFrame
GraphicalVerifier
,
Serialized FormJFrame.AccessibleJFrame
Frame.AccessibleAWTFrame
Window.AccessibleAWTWindow, Window.Type
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
(package private) JMenuItem |
aboutMenuItem |
(package private) CardLayout |
cardLayout1 |
(package private) JList |
classNamesJList |
(package private) JPanel |
contentPane |
private String |
current_class |
(package private) GridLayout |
gridLayout1 |
(package private) GridLayout |
gridLayout2 |
(package private) GridLayout |
gridLayout3 |
(package private) GridLayout |
gridLayout4 |
(package private) JMenu |
jMenu1 |
(package private) JMenu |
jMenu2 |
(package private) JMenuBar |
jMenuBar1 |
(package private) JPanel |
jPanel1 |
(package private) JPanel |
jPanel2 |
(package private) JPanel |
jPanel3 |
(package private) JScrollPane |
jScrollPane1 |
(package private) JScrollPane |
jScrollPane2 |
(package private) JScrollPane |
jScrollPane3 |
(package private) JScrollPane |
jScrollPane4 |
(package private) JScrollPane |
jScrollPane5 |
(package private) JScrollPane |
jScrollPane6 |
(package private) JScrollPane |
jScrollPane7 |
(package private) JSplitPane |
jSplitPane1 |
(package private) JSplitPane |
jSplitPane2 |
(package private) JSplitPane |
jSplitPane3 |
(package private) JSplitPane |
jSplitPane4 |
private String |
JUSTICE_VERSION |
(package private) JPanel |
messagesPanel |
(package private) JScrollPane |
messagesScrollPane |
(package private) JTextPane |
messagesTextPane |
(package private) JMenuItem |
newFileMenuItem |
(package private) JTextPane |
pass1TextPane |
(package private) JTextPane |
pass2TextPane |
(package private) JList |
pass3aJList |
(package private) JTextPane |
pass3aTextPane |
(package private) JList |
pass3bJList |
(package private) JTextPane |
pass3bTextPane |
(package private) JMenuItem |
whatisMenuItem |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
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
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
VerifierAppFrame()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
(package private) void |
aboutMenuItem_actionPerformed(ActionEvent e) |
(package private) void |
classNamesJList_valueChanged(ListSelectionEvent e) |
private void |
jbInit()
Initizalization of the components.
|
(package private) void |
newFileMenuItem_actionPerformed(ActionEvent e) |
(package private) void |
pass3aJList_valueChanged(ListSelectionEvent e) |
(package private) void |
pass3bJList_valueChanged(ListSelectionEvent e) |
protected void |
processWindowEvent(WindowEvent e)
Overridden to stop the application on a closing window.
|
private void |
verify() |
(package private) void |
whatisMenuItem_actionPerformed(ActionEvent e) |
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
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
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
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
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, 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, 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, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getFont, postEvent
JPanel contentPane
JSplitPane jSplitPane1
JPanel jPanel1
JPanel jPanel2
JSplitPane jSplitPane2
JPanel jPanel3
JList classNamesJList
GridLayout gridLayout1
JPanel messagesPanel
GridLayout gridLayout2
JMenuBar jMenuBar1
JMenu jMenu1
JScrollPane jScrollPane1
JScrollPane messagesScrollPane
JScrollPane jScrollPane3
GridLayout gridLayout4
JScrollPane jScrollPane4
CardLayout cardLayout1
private String JUSTICE_VERSION
private String current_class
GridLayout gridLayout3
JTextPane pass1TextPane
JTextPane pass2TextPane
JTextPane messagesTextPane
JMenuItem newFileMenuItem
JSplitPane jSplitPane3
JSplitPane jSplitPane4
JScrollPane jScrollPane2
JScrollPane jScrollPane5
JScrollPane jScrollPane6
JScrollPane jScrollPane7
JList pass3aJList
JList pass3bJList
JTextPane pass3aTextPane
JTextPane pass3bTextPane
JMenu jMenu2
JMenuItem whatisMenuItem
JMenuItem aboutMenuItem
protected void processWindowEvent(WindowEvent e)
processWindowEvent
in class JFrame
void classNamesJList_valueChanged(ListSelectionEvent e)
private void verify() throws ClassNotFoundException
ClassNotFoundException
void newFileMenuItem_actionPerformed(ActionEvent e)
void pass3aJList_valueChanged(ListSelectionEvent e)
void pass3bJList_valueChanged(ListSelectionEvent e)
void aboutMenuItem_actionPerformed(ActionEvent e)
void whatisMenuItem_actionPerformed(ActionEvent e)