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