jscover.util

Class ExceptionRecordingHandler

java.lang.Object

java.util.logging.Handler

jscover.util.ExceptionRecordingHandler

public class ExceptionRecordingHandler
extends java.util.logging.Handler

Constructor Summary

Constructors

Constructor and Description
ExceptionRecordingHandler()

Method Summary

Modifier and Type	Method and Description
void	close()
void	flush()
boolean	isExceptionThrown()
void	publish(java.util.logging.LogRecord record)

Methods inherited from class java.util.logging.Handler

getEncoding, getErrorManager, getFilter, getFormatter, getLevel, isLoggable, reportError, setEncoding, setErrorManager, setFilter, setFormatter, setLevel

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionRecordingHandler

public ExceptionRecordingHandler()

Method Detail

isExceptionThrown

public boolean isExceptionThrown()

publish

public void publish(java.util.logging.LogRecord record)

Specified by:

publish in class java.util.logging.Handler

flush

public void flush()

Specified by:

flush in class java.util.logging.Handler

close

public void close()
           throws java.lang.SecurityException

Specified by:

close in class java.util.logging.Handler

Throws:

java.lang.SecurityException