java_cup
public class internal_error extends Exception
Constructor Summary | |
---|---|
internal_error(String msg) Constructor with a message |
Method Summary | |
---|---|
void | crash() Method called to do a forced error exit on an internal error
for cases when we can't actually throw the exception. |