Beispiel #1
0
 public void todo(int work) {
   if (monitor != null) monitor.todo(work);
 }
Beispiel #2
0
 public void startJob(String name, int totalWork) {
   if (monitor != null) monitor.startJob(name, totalWork);
 }
Beispiel #3
0
 public void startJob(String name) {
   if (monitor != null) monitor.startJob(name);
   stdout.println(name);
   stdout.flush();
 }
Beispiel #4
0
 public void startJob(String name, int workShare, int totalWork) {
   if (monitor != null) monitor.startJob(name, workShare, totalWork);
   stdout.println(name);
   stdout.flush();
 }
Beispiel #5
0
 public void event(String name) {
   if (monitor != null) monitor.event(name);
 }
Beispiel #6
0
 public void event(String name, int inc) {
   if (monitor != null) monitor.event(name, inc);
 }
Beispiel #7
0
 public void event(int inc) {
   if (monitor != null) monitor.event(inc);
 }
Beispiel #8
0
 public int endJob(boolean succeeded) {
   if (monitor != null) return monitor.endJob(succeeded);
   return 0;
 }