![]() |
|
Navigation |
Synopsis Runtime error generated by Java code.
Function
data RunTimeException = Java(str class, str message) | Java(str class, str message, RuntimeExecption cause);
Usage
import Exception;
Description This error is generated when an unexpected Java execption is thrown in the Rascal implementation.
Remedy: Contact the Rascal developers:
![]() |