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