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.
|