FileDocCategorySizeDatePackage
internal_error.javaAPI DocJava SE 5 API568Fri Aug 26 14:54:54 BST 2005com.sun.java_cup.internal

internal_error.java

package com.sun.java_cup.internal;

/** 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()
      {
	System.err.println("JavaCUP Fatal Internal Error Detected");
	System.err.println(getMessage());
	printStackTrace();
	System.exit(-1);
      }
  }