Repair/RepairCompiler/java_cup/internal_error.java

   1
   2 package java_cup;
   3
   4 /** Exception subclass for reporting internal errors in JavaCup. */
   5 public class internal_error extends Exception
   6   {
   7     /** Constructor with a message */
   8     public internal_error(String msg)
   9       {
  10         super(msg);
  11       }
  12
  13     /** Method called to do a forced error exit on an internal error
  14         for cases when we can't actually throw the exception.  */
  15     public void crash()
  16       {
  17         System.err.println("JavaCUP Fatal Internal Error Detected");
  18         System.err.println(getMessage());
  19         printStackTrace();
  20         System.exit(-1);
  21       }
  22   }