// public void startDocument(String path) {
// }
public void startDocument(String name, int current, int count) throws TerminatedException {
if (!monitor.proceed()) {
throw new TerminatedException("consistency check terminated");
}
if ((current % 1000 == 0) || (current == count)) {
log.write(" DOCUMENT: ");
log.write(Integer.valueOf(current).toString());
log.write(" of ");