edu.udo.cs.yale.tools
Class ResultService

java.lang.Object
  edu.udo.cs.yale.tools.ResultService

public class ResultService
extends java.lang.Object

Some statical methods to write results in a file. The class must be set up properly before you can use these methods. Therefore the destination file is read from the global part of the experiment configuration file.

Version:

$Id: ResultService.java,v 2.14 2006/08/03 14:39:31 ingomierswa Exp $

Author:

Ingo Mierswa

Field Summary

private static java.io.PrintStream

out

Constructor Summary

ResultService()

Method Summary

static void	close() Closes the stream.
private static java.lang.String	getTime() Returns the current date and time as formatted string.
(package private) static java.lang.String	getTwoDigits(int i) Adds a leading zero.
static void	init(Experiment experiment) Initializes the ResultService.
static void	init(java.io.PrintStream outStream) Initializes the ResultService.
static void	init(java.lang.String filename, Experiment experiment) Initializes the ResultService.
static void	logResult(ResultObject resultObject) Writes the result string from the given result object in the result file.
static void	logResult(java.lang.String result) Writes the string in the result file.

Methods inherited from class java.lang.Object

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

Field Detail

out

private static java.io.PrintStream out

Constructor Detail

ResultService

public ResultService()

Method Detail

init

public static void init(java.lang.String filename,
                        Experiment experiment)

Initializes the ResultService.

Parameters:

filename - destination file.

experiment - the experiment which is used to resolve the filename

init

public static void init(java.io.PrintStream outStream)

Initializes the ResultService.

Parameters:

outStream - stream to write the results to.

init

public static void init(Experiment experiment)

Initializes the ResultService.

close

public static void close()

Closes the stream.

logResult

public static void logResult(java.lang.String result)

Writes the string in the result file.

logResult

public static void logResult(ResultObject resultObject)

Writes the result string from the given result object in the result file.

getTime

private static java.lang.String getTime()

Returns the current date and time as formatted string.

getTwoDigits

static java.lang.String getTwoDigits(int i)

Adds a leading zero.