package java_cup;

/** Exception subclass for reporting internal errors in JavaCup. */
public class internal_error extends Exception
  {
    /** Constructor with a message */
    public internal_error(String msg)
      {
	super(msg);
      }

    /** Method called to do a forced error exit on an internal error
	for cases when we can't actually throw the exception.  */
    public void crash()
      {
          ErrorManager.getManager().emit_fatal("JavaCUP Internal Error Detected: "+getMessage());
          printStackTrace();
          System.exit(-1);
      }
  }