de.uka.ilkd.key.util.rifl

Class SimpleRIFLExceptionHandler

java.lang.Object

de.uka.ilkd.key.util.KeYRecoderExcHandler

de.uka.ilkd.key.util.rifl.SimpleRIFLExceptionHandler

All Implemented Interfaces:

ErrorHandler, ModelUpdateListener

public class SimpleRIFLExceptionHandler
extends KeYRecoderExcHandler

Simple exception handler which just writes to standard output.

Author:

bruns

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static SimpleRIFLExceptionHandler	INSTANCE

Constructor Summary

Constructors

Constructor and Description
SimpleRIFLExceptionHandler()

Method Summary

Modifier and Type	Method and Description
void	clear()
java.util.List<java.lang.Throwable>	getExceptions()
void	reportException(java.lang.Throwable e)

Methods inherited from class de.uka.ilkd.key.util.KeYRecoderExcHandler

getErrorCount, getErrorThreshold, modelUpdated, modelUpdating, recoderExitAction, reportError, setErrorThreshold

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

static final SimpleRIFLExceptionHandler INSTANCE

Constructor Detail

SimpleRIFLExceptionHandler

public SimpleRIFLExceptionHandler()

Method Detail

clear

public void clear()

Overrides:

clear in class KeYRecoderExcHandler

getExceptions

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

Overrides:

getExceptions in class KeYRecoderExcHandler

reportException

public void reportException(java.lang.Throwable e)

Overrides:

reportException in class KeYRecoderExcHandler