public interface ProgressMonitor
void start(String message)
finish() is called.message - the description of the process.void report(int state,
int maxState)
state - the current value of the progress. Must not be larger then
maxState.maxState - the maximal (estimated) value of the progress.void finish()
start(String) was called before.Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.