public class KeYRecoderExcHandler extends java.lang.Object implements ErrorHandler
Modifier and Type | Field and Description |
---|---|
private int |
errorThreshold |
private java.util.List<java.lang.Throwable> |
exceptions |
Constructor and Description |
---|
KeYRecoderExcHandler() |
KeYRecoderExcHandler(int errorThreshold) |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
protected int |
getErrorCount() |
int |
getErrorThreshold() |
java.util.List<java.lang.Throwable> |
getExceptions() |
void |
modelUpdated(java.util.EventObject event) |
void |
modelUpdating(java.util.EventObject event) |
protected void |
recoderExitAction() |
void |
reportError(java.lang.Exception e) |
void |
reportException(java.lang.Throwable e) |
void |
setErrorThreshold(int maxCount) |
private java.util.List<java.lang.Throwable> exceptions
private int errorThreshold
public KeYRecoderExcHandler()
public KeYRecoderExcHandler(int errorThreshold)
public void reportException(java.lang.Throwable e)
public void clear()
public java.util.List<java.lang.Throwable> getExceptions()
protected int getErrorCount()
public int getErrorThreshold()
getErrorThreshold
in interface ErrorHandler
public final void setErrorThreshold(int maxCount)
setErrorThreshold
in interface ErrorHandler
protected void recoderExitAction()
public void reportError(java.lang.Exception e)
reportError
in interface ErrorHandler
public void modelUpdating(java.util.EventObject event)
modelUpdating
in interface ModelUpdateListener
public void modelUpdated(java.util.EventObject event)
modelUpdated
in interface ModelUpdateListener