public class KeYRecoderExcHandler extends java.lang.Object implements ErrorHandler
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) |
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
Copyright © 2003-2019 The KeY-Project.