internal_error.java

package java_cup;


/** Exception subclass for reporting internal errors in JavaCup. */
@SuppressWarnings (
{ "all" } )
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 );
  }
}