Java IRascalMonitor.event Examples

Example #1

File: RascalExecutionContext.java Project: stil4m/rascal

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

Example #2

File: RascalExecutionContext.java Project: stil4m/rascal

 public void event(String name) {
   if (monitor != null) monitor.event(name);
 }

Example #3

File: RascalExecutionContext.java Project: stil4m/rascal

 public void event(int inc) {
   if (monitor != null) monitor.event(inc);
 }