Overview  Package   Class  Tree  Deprecated  Index  Help 
SOA
© 2004 SoS Group
All Rights Reserved
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

sos.koa
Class CountAdapter

java.lang.Object
  extended bysos.koa.Task
      extended bysos.koa.CountAdapter
All Implemented Interfaces:
java.awt.event.ActionListener, java.util.EventListener, KOAConstants
public class CountAdapter
extends Task

Class to count the votes.

Version:
$Id: CountAdapter.java,v 1.30 2004/05/18 18:52:46 hubbers Exp $
Author:
Martijn Oostdijk (martijno@cs.kun.nl)

Class Specifications

Specifications inherited from class Task
invariant 0 <= subTaskCount&&subTaskCount <= maxSubTasks;

Nested Class Summary
 
Nested classes inherited from class sos.koa.Task
Task.ActionThread, Task.MonitoredThread
 
Field Summary
[spec_public] (package private)  java.util.ArrayList errors
          A list containing errors encountered this far.
[spec_public] (package private)  boolean keepRunning
          Whether to keep counting.
[spec_public] (package private)  int votesCounted
          The number of votes counted this far.
[spec_public] (package private)  VoteSet voteSet
          The datastructure containing counted votes.
 
Fields inherited from class sos.koa.Task
maxSubTasks, monitor, stillWorking, subTaskCount, success
 
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
 
Constructor Summary
CountAdapter()
          Constructs this adapter.
 
Method Summary
 void doAction()
          Counts the votes.
(package private)  java.lang.Object getAdditionalInfo()
          Gets even more information about this (completed) task.
(package private)  java.lang.String[] getErrors()
          Gets the errors encountered during execution of this task.
(package private)  java.lang.String getFailureMessage()
           
(package private)  java.lang.String getInfo()
          Gets information that should be displayed if this task completes successfully.
(package private)  java.lang.String getSuccessMessage()
           
(package private)  int getSuccessState()
           
(package private)  java.lang.String getTitle()
           
(package private)  boolean isAdditionalInfoAvailable()
          Indicates whether even more information is available about this (completed) task.
(package private)  boolean isPreStateAllowed(int state)
           
(package private)  boolean isProgressMonitoredTask()
          Indicates whether a progress monitor should be popped up.
(package private)  void logCompleted()
          Writes a 'task completed' entry in the log.
(package private)  void logFailed(java.lang.String reason)
          Writes a 'task failed' entry in the log.
(package private)  void logStarted()
          Writes a 'task started' entry in the log.
(package private)  void stopAction()
          What to do to halt the execution of the doAction method.
 
Methods inherited from class sos.koa.Task
actionPerformed, clear, getWarningMessage, isCancelableTask, isDangerousTask, isModalTask, logCanceled, logOpenedFile, popupAdditionalInfo, popupAdditionalInfo, popupFailure, popupGetFile, popupGetPassword, popupNext, popupNextOrBack, popupSuccess, popupWarning, setMaxSubTasks, setSubTaskCount
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

voteSet

VoteSet voteSet
The datastructure containing counted votes.

Specifications: spec_public

votesCounted

int votesCounted
The number of votes counted this far.

Specifications: spec_public

keepRunning

boolean keepRunning
Whether to keep counting.

Specifications: spec_public

errors

java.util.ArrayList errors
A list containing errors encountered this far.

Specifications: spec_public
Constructor Detail

CountAdapter

public CountAdapter()
Constructs this adapter.

Method Detail

getTitle

java.lang.String getTitle()
Description copied from class: Task
The title of this task. Is used in title-bar of dialogs.

Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

getSuccessMessage

java.lang.String getSuccessMessage()
Description copied from class: Task
What to print in success dialog.

Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

getFailureMessage

java.lang.String getFailureMessage()
Description copied from class: Task
What to print in failure dialog.

Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

isPreStateAllowed

boolean isPreStateAllowed(int state)
Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

getSuccessState

int getSuccessState()
Description copied from class: Task
The application state after successful termination of this task.

Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

logStarted

void logStarted()
Description copied from class: Task
Writes a 'task started' entry in the log.

Overrides:
logStarted in class Task
Specifications:
     also
assignable AuditLog.*;
Specifications inherited from overridden method in class Task:
assignable AuditLog.*;

logCompleted

void logCompleted()
Description copied from class: Task
Writes a 'task completed' entry in the log.

Overrides:
logCompleted in class Task
Specifications:
     also
assignable AuditLog.*;
Specifications inherited from overridden method in class Task:
      --- None ---

logFailed

void logFailed(java.lang.String reason)
Description copied from class: Task
Writes a 'task failed' entry in the log.

Overrides:
logFailed in class Task
Specifications:
     also
assignable AuditLog.*;
Specifications inherited from overridden method logFailed(String reason) in class Task:
assignable AuditLog.*;

isProgressMonitoredTask

boolean isProgressMonitoredTask()
Description copied from class: Task
Indicates whether a progress monitor should be popped up. Default is false.

Overrides:
isProgressMonitoredTask in class Task
Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

doAction

public void doAction()
              throws KOAException
Counts the votes. Part indexes: 0 kandidaatcode 1 achternaam 2 voorletters 3 positienummer 4 districtnummer 5 kieslijstnummer 6 lijstnaam 7 kieskringnummer.

Throws:
KOAException
Specifications:
     also
assignable objectState;
Specifications inherited from overridden method in class Task:
assignable objectState;

stopAction

void stopAction()
Description copied from class: Task
What to do to halt the execution of the doAction method.

Overrides:
stopAction in class Task
Specifications:
     also
behavior
assignable keepRunning;
ensures !keepRunning;
Specifications inherited from overridden method in class Task:
      --- None ---

getInfo

java.lang.String getInfo()
Description copied from class: Task
Gets information that should be displayed if this task completes successfully.

Overrides:
getInfo in class Task
Specifications: pure
Specifications inherited from overridden method in class Task:
assignable AuditLog.*;

getAdditionalInfo

java.lang.Object getAdditionalInfo()
Description copied from class: Task
Gets even more information about this (completed) task. The resulting Object can be used in a dialog message.

Overrides:
getAdditionalInfo in class Task
Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

isAdditionalInfoAvailable

boolean isAdditionalInfoAvailable()
Description copied from class: Task
Indicates whether even more information is available about this (completed) task.

Overrides:
isAdditionalInfoAvailable in class Task
Specifications: pure
Specifications inherited from overridden method in class Task:
       pure

getErrors

java.lang.String[] getErrors()
Gets the errors encountered during execution of this task.

Returns:
an array of error strings.
Specifications: pure
Overview  Package   Class  Tree  Deprecated  Index  Help 
SOA
© 2004 SoS Group
All Rights Reserved
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD