public void worked(int work, String msg) throws MonitorCanceledException {
MON.checkMonitor(this);
checkWork(work);
this.work += work;
message(msg);
}
protected void message(String msg, int level) {
if (parent != null) {
parent.message(msg, level + 1);
} else {
trace(msg, level, false);
}
}
public void join(String msg) throws MonitorCanceledException {
MON.checkMonitor(this);
MON.setMonitor(parent);
parent.setChild(null);
parent.message(msg);
done();
}
public void fork(int workFromParent, Runnable runnable, String msg)
throws MonitorCanceledException {
MON.checkMonitor(this);
checkWork(workFromParent);
child = subMonitor(workFromParent);
MON.setMonitor(child);
try {
runnable.run();
} finally {
MON.checkMonitor(child);
MON.setMonitor(this);
child.done();
child = null;
}
work += workFromParent;
message(msg);
}
public void message(String msg) {
if (msg != null) {
message(msg, 0);
}
}