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 |
---|---|
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 |
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) |
(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) |
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
private static final java.lang.String JUSTICE_VERSION
private javax.swing.JPanel contentPane
private final javax.swing.JSplitPane jSplitPane1
private final javax.swing.JPanel jPanel1
private final javax.swing.JPanel jPanel2
private final javax.swing.JSplitPane jSplitPane2
private final javax.swing.JPanel jPanel3
private final javax.swing.JList<java.lang.String> classNamesJList
private final java.awt.GridLayout gridLayout1
private final javax.swing.JPanel messagesPanel
private final java.awt.GridLayout gridLayout2
private final javax.swing.JMenuBar jMenuBar1
private final javax.swing.JMenu jMenu1
private final javax.swing.JScrollPane jScrollPane1
private final javax.swing.JScrollPane messagesScrollPane
private final javax.swing.JScrollPane jScrollPane3
private final java.awt.GridLayout gridLayout4
private final javax.swing.JScrollPane jScrollPane4
private final java.awt.CardLayout cardLayout1
private java.lang.String current_class
private final java.awt.GridLayout gridLayout3
private final javax.swing.JTextPane pass1TextPane
private final javax.swing.JTextPane pass2TextPane
private final javax.swing.JTextPane messagesTextPane
private final javax.swing.JMenuItem newFileMenuItem
private final javax.swing.JSplitPane jSplitPane3
private final javax.swing.JSplitPane jSplitPane4
private final javax.swing.JScrollPane jScrollPane2
private final javax.swing.JScrollPane jScrollPane5
private final javax.swing.JScrollPane jScrollPane6
private final javax.swing.JScrollPane jScrollPane7
private final javax.swing.JList<java.lang.String> pass3aJList
private final javax.swing.JList<java.lang.String> pass3bJList
private final javax.swing.JTextPane pass3aTextPane
private final javax.swing.JTextPane pass3bTextPane
private final javax.swing.JMenu jMenu2
private final javax.swing.JMenuItem whatisMenuItem
private final 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)
javax.swing.JList<java.lang.String> getClassNamesJList()