public class SimpleRIFLExceptionHandler extends KeYRecoderExcHandler
Modifier and Type | Field and Description |
---|---|
(package private) static SimpleRIFLExceptionHandler |
INSTANCE |
Constructor and Description |
---|
SimpleRIFLExceptionHandler() |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
java.util.List<java.lang.Throwable> |
getExceptions() |
void |
reportException(java.lang.Throwable e) |
getErrorCount, getErrorThreshold, modelUpdated, modelUpdating, recoderExitAction, reportError, setErrorThreshold
static final SimpleRIFLExceptionHandler INSTANCE
public void clear()
clear
in class KeYRecoderExcHandler
public java.util.List<java.lang.Throwable> getExceptions()
getExceptions
in class KeYRecoderExcHandler
public void reportException(java.lang.Throwable e)
reportException
in class KeYRecoderExcHandler