| An interface to some progress reporting mechanism. the
* setMaximum(int) method must always be called first to determine
the number of steps at which the task is finished. After that,
ProgressMonitor.setProgress will be called repeatedly to indicate how
far one has got. The progress monitor is assumed to have an
internal state in which it remembers the maximum value
set by the
ProgressMonitor.setMaximum method.
A more general alternative would be to have tasks accept
progress listeners, but we probably don't want more than one
progress bar anyway.
|