Java IRascalMonitor.startJob Examples

Example #1

File: RascalExecutionContext.java Project: stil4m/rascal

 public void startJob(String name, int totalWork) {
   if (monitor != null) monitor.startJob(name, totalWork);
 }

Example #2

File: RascalExecutionContext.java Project: stil4m/rascal

 public void startJob(String name) {
   if (monitor != null) monitor.startJob(name);
   stdout.println(name);
   stdout.flush();
 }

Example #3

File: RascalExecutionContext.java Project: stil4m/rascal

 public void startJob(String name, int workShare, int totalWork) {
   if (monitor != null) monitor.startJob(name, workShare, totalWork);
   stdout.println(name);
   stdout.flush();
 }