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