//-*-java-*-

Main {
  public static void main(String[] args) throws ParseException (@
    Cool.cool(args);
  @)
}

Err {
  (@
   private static boolean shhh = false;
   private static int num_errors = 0;
   private static int num_warnings = 0;
   private static int num_bugs = 0; // :P
   @)

  static void beQuiet() (@ shhh = true; @)
  static void bug(String s) (@
    System.err.println("You found a bug in Cool: "+s);
    System.err.println("Mail josh about it.");
    num_bugs++;
  @)
  static void err(String s) (@
    System.err.println("Cool ERROR: "+s);
    num_errors++;
  @)
  static void warn(String s) (@
    if(!shhh) {
      System.err.println("Cool WARNING: "+s);
      num_warnings++;
    }
  @)
  static boolean trouble() (@ return num_errors > 0 || num_bugs > 0; @)
  static void report() (@
    if(num_warnings > 0) System.err.println(""+num_warnings+" warnings.");
    if(num_errors > 0) System.err.println(""+num_errors+" errors.");
    if(num_bugs > 0) System.err.println(""+num_bugs+" BUGS.  Junk.");
    if(num_errors+num_bugs > 0) {
      System.err.println("Abort.");
      System.exit(1);
    }
   @)
}