euler.output

Class Outputter

java.lang.Object

euler.output.Outputter

All Implemented Interfaces:

ILogger, IProof, IResult

public class Outputter
extends java.lang.Object
implements ILogger, IProof, IResult

This class manages the output from the euler component.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	log

Fields inherited from interface euler.output.ILogger

CONFIG, FINE, FINER, FINEST, INFO, SEVERE, WARNING

Method Summary

Modifier and Type	Method and Description
void	addLogger(ILogger logger) This method registers a log listener.
void	addProofListener(IProof proof) This method registers a proof listener.
void	addResultListener(IResult result) This method registers a result listener.
static Outputter	getInstance() This class acts as a singleton.
void	log(java.lang.String className, java.lang.String methodName, java.lang.String message, int logLevel) This method distributes a log message to the different interested log listeners
void	proof(java.lang.String testCase, java.lang.String proof) This method reports the proof for a specific test case
static void	releaseInstance() This method releases the only instance of this class.
void	removeLogger(ILogger logger) This method unregisters a log listener.
void	removeProofListener(IProof proof) This method unregisters a proof listener.
void	removeResultListener(IResult result) This method unregisters a result listener.
void	result(java.lang.String testCase, java.lang.String result) This method distributes the result of a test case to the different interested listeners.

Methods inherited from class java.lang.Object

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

Field Detail

log

public static boolean log

Method Detail

getInstance

public static Outputter getInstance()

This class acts as a singleton. getInstance() returns the only instance of this class.

Returns:

the only instance of this class

releaseInstance

public static void releaseInstance()

This method releases the only instance of this class. All internal state will be cleared.

addLogger

public void addLogger(ILogger logger)

This method registers a log listener. From now on this log listener will also receive log messages from the euler component

Parameters:

logger - the logger to be registered.

removeLogger

public void removeLogger(ILogger logger)

This method unregisters a log listener. From now on this log listener will receive no log messages anymore from the euler component.

Parameters:

logger - the logger to be removed as a listener.

addResultListener

public void addResultListener(IResult result)

This method registers a result listener. From now on this result listener will also receive the results of the different test cases

Parameters:

result - the result listener to be registered.

removeResultListener

public void removeResultListener(IResult result)

This method unregisters a result listener. From now on this result listener will receive no results anymore from the euler component.

Parameters:

result - the result listener to be removed.

addProofListener

public void addProofListener(IProof proof)

This method registers a proof listener. From now on this proof listener will also receive the proofs of the different test cases

Parameters:

proof - the proof listener to be registered.

removeProofListener

public void removeProofListener(IProof proof)

This method unregisters a proof listener. From now on this proof listener will receive no proofs anymore from the euler component.

Parameters:

proof - the proof listener to be removed.

log

public void log(java.lang.String className,
                java.lang.String methodName,
                java.lang.String message,
                int logLevel)

This method distributes a log message to the different interested log listeners

Specified by:

log in interface ILogger

Parameters:

className - the name of the class that initiated the message

methodName - the method that initiated the log message

message - the log message

logLevel - the log level

result

public void result(java.lang.String testCase,
                   java.lang.String result)

This method distributes the result of a test case to the different interested listeners.

Specified by:

result in interface IResult

Parameters:

testCase - the name of the test case

result - the result of the test case

proof

public void proof(java.lang.String testCase,
                  java.lang.String proof)

This method reports the proof for a specific test case

Specified by:

proof in interface IProof

Parameters:

testCase - the name of the test case

proof - the proof (if found)