sos.koa
Class HelpAdapter

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      sos.koa.HelpAdapter

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, KOAConstants, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class HelpAdapter

extends javax.swing.JFrame

implements java.awt.event.ActionListener, KOAConstants

The help window.

Version:

$Id: HelpAdapter.java,v 1.23 2004/05/05 21:28:04 martijno Exp $

Author:

Engelbert Hubbers (hubbers@cs.kun.nl) Dehubbified by MO, meta-dehubbified and HTMLed by CB + MO.

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

(package private) javax.swing.JEditorPane	area The HTML text area of the help pane.
(package private) static java.lang.String	CANDIDATES_IMPORTED_STATE_STRING
(package private) static java.lang.String	CLEARED_STATE_STRING
(package private) static java.lang.String	FUNCTION_CLEAR
(package private) static java.lang.String	FUNCTION_COUNT
(package private) static java.lang.String	FUNCTION_DECRYPT
(package private) static java.lang.String	FUNCTION_EXIT
(package private) static java.lang.String	FUNCTION_EXIT_REPORT
(package private) static java.lang.String	FUNCTION_IMPORT_CANDIDATES
(package private) static java.lang.String	FUNCTION_IMPORT_PRIVATE_KEY
(package private) static java.lang.String	FUNCTION_IMPORT_PUBLIC_KEY
(package private) static java.lang.String	FUNCTION_IMPORT_VOTES
(package private) static java.lang.String	FUNCTION_REPORT
(package private) static java.lang.String	FUNCTION_RESTART
(package private) static java.lang.String	FUNCTIONS_STRING
(package private) static java.lang.String	INIT_STATE_STRING
(package private) static java.awt.Dimension	PREFERRED_SIZE
(package private) static java.lang.String	PRIVATE_KEY_IMPORTED_STATE_STRING
(package private) static java.lang.String	PUBLIC_KEY_IMPORTED_STATE_STRING
(package private) static java.lang.String	REPORT_GENERATED_STATE_STRING
(package private) static java.lang.String	VOTES_COUNTED_STATE_STRING
(package private) static java.lang.String	VOTES_DECRYPTED_STATE_STRING
(package private) static java.lang.String	VOTES_IMPORTED_STATE_STRING

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.Window

Fields inherited from class java.awt.Container

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface sos.koa.KOAConstants

ADDITIONAL_INFO_EXTRA, ADDITIONAL_INFO_MAX_HEIGHT, ADDITIONAL_INFO_MAX_WIDTH, AUDITLOG, AUDITLOG_PDF, AUDITLOG_XML, AUDITLOG_XSL, BASEDIR, CANDIDATES_IMPORTED_STATE, CLEAR_BUT_TXT, CLEAR_FAILURE_MSG, CLEAR_SUCCESS_MSG, CLEAR_TASK_MSG, CLEAR_WARNING_MSG, CLEAR_WARNING_MSG_1, CLEAR_WARNING_MSG_2, CLEARED_STATE, COUNT_BUT_TXT, COUNT_FAILURE_MSG, COUNT_SUCCESS_MSG, COUNT_TASK_MSG, COUNT_WARNING_MSG, DECRYPT_BUT_TXT, DECRYPT_ERROR_MSG, DECRYPT_ERROR_TAG, DECRYPT_FAILURE_MSG, DECRYPT_SUCCESS_MSG, DECRYPT_TASK_MSG, DECRYPT_WARNING_MSG, DECRYPTEDFILE, DEFAULT_VOTING_INTERVAL, EXIT_BUT_TXT, EXIT_FAILURE_MSG, EXIT_SUCCESS_MSG, EXIT_TASK_MSG, EXIT_WARNING_MSG, FORWARD_BACK_OPTIONS, FORWARD_MOREINFO_BACK_OPTIONS, HELP_BUT_TXT, HELP_TASK_MSG, IMPORT_CANDIDATES_BUT_TXT, IMPORT_CANDIDATES_FAILURE_MSG, IMPORT_CANDIDATES_SUCCESS_MSG, IMPORT_CANDIDATES_TASK_MSG, IMPORT_CANDIDATES_WARNING_MSG, IMPORT_KEY_FAILURE_MSG, IMPORT_KEY_SUCCESS_MSG, IMPORT_KEY_WARNING_MSG, IMPORT_PRIVATE_KEY_BUT_TXT, IMPORT_PRIVATE_KEY_TASK_MSG, IMPORT_PUBLIC_KEY_BUT_TXT, IMPORT_PUBLIC_KEY_TASK_MSG, IMPORT_VOTES_BUT_TXT, IMPORT_VOTES_FAILURE_MSG, IMPORT_VOTES_SUCCESS_MSG, IMPORT_VOTES_TASK_MSG, IMPORT_VOTES_WARNING_MSG, INIT_STATE, LESSINFO_OPTION, MAX_ENCRYPTED_VOTE_LENGTH, MAX_KEY_LENGTH, MOREINFO_OPTION, NO_ERRORS_MSG, NUMBER_OF_REDUNDANT_FIELDS, OK_CANCEL_OPTIONS, OK_LESSINFO_CANCEL_OPTIONS, OK_LESSINFO_OPTIONS, OK_MOREINFO_CANCEL_OPTIONS, OK_MOREINFO_OPTIONS, OK_OPTIONS, OUTDIR, PRIVATE_KEY_IMPORTED_STATE, PRIVATE_KEYTYPE, PUBLIC_KEY_IMPORTED_STATE, PUBLIC_KEYTYPE, RECOUNT, RECOUNT_PDF, RECOUNT_XML, RECOUNT_XSL, RELEASE, REPORT_BUT_TXT, REPORT_FAILURE_MSG, REPORT_GENERATED_STATE, REPORT_OPTIONS, REPORT_SUCCESS_MSG, REPORT_TASK_MSG, REPORT_WARNING_MSG, RESTART_BUT_TXT, RESTART_FAILURE_MSG, RESTART_SUCCESS_MSG, RESTART_TASK_MSG, RESTART_WARNING_MSG, TASK_CANCELED_MSG, TITLE, VOTES_COUNTED_STATE, VOTES_DECRYPTED_STATE, VOTES_IGNORED_SEE_MORE_INFO_MSG, VOTES_IMPORTED_STATE, YES_CANCEL_OPTIONS, YES_NO_OPTIONS

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

HelpAdapter()
Constructs the help window.

Method Summary

void	actionPerformed(java.awt.event.ActionEvent ae) Gets executed when user presses the help button.
java.awt.Dimension	getPreferredSize() The preferred size of the help window.
void	setText(int state) Generates a text based on the current state and puts it in the help window.
void	setText(java.lang.String txt) Sets the text in the help window to txt.
private java.lang.String	stateString(int state) Gets a string that describes the current state.
void	windowClosing(java.awt.event.WindowEvent e) Gets executed when user closes the help window.

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, 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, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, 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, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, 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, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, 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, isOpaque, 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, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

PREFERRED_SIZE

static final java.awt.Dimension PREFERRED_SIZE

FUNCTIONS_STRING

static final java.lang.String FUNCTIONS_STRING

See Also:

Constant Field Values

INIT_STATE_STRING

static final java.lang.String INIT_STATE_STRING

See Also:

Constant Field Values

CLEARED_STATE_STRING

static final java.lang.String CLEARED_STATE_STRING

See Also:

Constant Field Values

CANDIDATES_IMPORTED_STATE_STRING

static final java.lang.String CANDIDATES_IMPORTED_STATE_STRING

See Also:

Constant Field Values

VOTES_IMPORTED_STATE_STRING

static final java.lang.String VOTES_IMPORTED_STATE_STRING

See Also:

Constant Field Values

PRIVATE_KEY_IMPORTED_STATE_STRING

static final java.lang.String PRIVATE_KEY_IMPORTED_STATE_STRING

See Also:

Constant Field Values

PUBLIC_KEY_IMPORTED_STATE_STRING

static final java.lang.String PUBLIC_KEY_IMPORTED_STATE_STRING

See Also:

Constant Field Values

VOTES_DECRYPTED_STATE_STRING

static final java.lang.String VOTES_DECRYPTED_STATE_STRING

See Also:

Constant Field Values

VOTES_COUNTED_STATE_STRING

static final java.lang.String VOTES_COUNTED_STATE_STRING

See Also:

Constant Field Values

REPORT_GENERATED_STATE_STRING

static final java.lang.String REPORT_GENERATED_STATE_STRING

See Also:

Constant Field Values

FUNCTION_CLEAR

static final java.lang.String FUNCTION_CLEAR

See Also:

Constant Field Values

FUNCTION_RESTART

static final java.lang.String FUNCTION_RESTART

See Also:

Constant Field Values

FUNCTION_IMPORT_CANDIDATES

static final java.lang.String FUNCTION_IMPORT_CANDIDATES

See Also:

Constant Field Values

FUNCTION_IMPORT_VOTES

static final java.lang.String FUNCTION_IMPORT_VOTES

See Also:

Constant Field Values

FUNCTION_IMPORT_PRIVATE_KEY

static final java.lang.String FUNCTION_IMPORT_PRIVATE_KEY

See Also:

Constant Field Values

FUNCTION_IMPORT_PUBLIC_KEY

static final java.lang.String FUNCTION_IMPORT_PUBLIC_KEY

See Also:

Constant Field Values

FUNCTION_DECRYPT

static final java.lang.String FUNCTION_DECRYPT

See Also:

Constant Field Values

FUNCTION_COUNT

static final java.lang.String FUNCTION_COUNT

See Also:

Constant Field Values

FUNCTION_REPORT

static final java.lang.String FUNCTION_REPORT

See Also:

Constant Field Values

FUNCTION_EXIT

static final java.lang.String FUNCTION_EXIT

See Also:

Constant Field Values

FUNCTION_EXIT_REPORT

static final java.lang.String FUNCTION_EXIT_REPORT

See Also:

Constant Field Values

area

javax.swing.JEditorPane area

The HTML text area of the help pane.

Constructor Detail

HelpAdapter

public HelpAdapter()

Constructs the help window.

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent ae)

Gets executed when user presses the help button.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Parameters:

ae - an event indicating the user pressed the help button.

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)

Gets executed when user closes the help window.

Parameters:

e - event indicating the user closed the help window.

setText

public void setText(int state)

Generates a text based on the current state and puts it in the help window.

Parameters:

state - the current state.

setText

public void setText(java.lang.String txt)

Sets the text in the help window to txt. The text can be a HTML document.

Parameters:

txt - the new text.

stateString

private java.lang.String stateString(int state)

Gets a string that describes the current state.

Parameters:

state - the current state.

getPreferredSize

public java.awt.Dimension getPreferredSize()

The preferred size of the help window.

Returns:

PREFERRED_SIZE.