de.uka.ilkd.key.util

Class KeYRecoderExcHandler

java.lang.Object

de.uka.ilkd.key.util.KeYRecoderExcHandler

All Implemented Interfaces:

ErrorHandler, ModelUpdateListener

Direct Known Subclasses:

SimpleRIFLExceptionHandler

public class KeYRecoderExcHandler
extends java.lang.Object
implements ErrorHandler

Field Summary

Fields

Modifier and Type	Field and Description
private int	errorThreshold
private java.util.List<java.lang.Throwable>	exceptions

Constructor Summary

Constructors

Constructor and Description
KeYRecoderExcHandler()
KeYRecoderExcHandler(int errorThreshold)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

exceptions

private java.util.List<java.lang.Throwable> exceptions

errorThreshold

private int errorThreshold

Constructor Detail

KeYRecoderExcHandler

public KeYRecoderExcHandler()

KeYRecoderExcHandler

public KeYRecoderExcHandler(int errorThreshold)

Method Detail

reportException

public void reportException(java.lang.Throwable e)

clear

public void clear()

getExceptions

public java.util.List<java.lang.Throwable> getExceptions()

getErrorCount

protected int getErrorCount()

getErrorThreshold

public int getErrorThreshold()

Specified by:

getErrorThreshold in interface ErrorHandler

setErrorThreshold

public final void setErrorThreshold(int maxCount)

Specified by:

setErrorThreshold in interface ErrorHandler

recoderExitAction

protected void recoderExitAction()

reportError

public void reportError(java.lang.Exception e)

Specified by:

reportError in interface ErrorHandler

modelUpdating

public void modelUpdating(java.util.EventObject event)

Specified by:

modelUpdating in interface ModelUpdateListener

modelUpdated

public void modelUpdated(java.util.EventObject event)

Specified by:

modelUpdated in interface ModelUpdateListener