public class VerifierAppFrame
extends javax.swing.JFrame
GraphicalVerifier
,
Serialized Formjavax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
(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 |
private static long |
serialVersionUID |
(package private) javax.swing.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
Constructor and Description |
---|
VerifierAppFrame()
Constructor.
|
Modifier and Type | Method and Description |
---|---|
(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) |
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
private static final long serialVersionUID
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
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)