public class SimpleRIFLExceptionHandler extends KeYRecoderExcHandler
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
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
Copyright © 2003-2019 The KeY-Project.