org.sat4j
Class ResultsManager

java.lang.Object
  org.sat4j.ResultsManager

public class ResultsManager
extends java.lang.Object

Field Summary

static java.lang.String	COMMENT
static java.lang.String	EXT_JU
static java.lang.String	SEPARATOR

Constructor Summary

ResultsManager(java.lang.String wxpFileName, boolean save)

Method Summary

ResultCode	compare(java.lang.String fileName, ExitCode newCode)
static java.lang.String	createPath()
java.lang.String[]	getFiles()
static java.util.Map<java.lang.String,ExitCode>	getInformations(java.io.Reader in)
static java.util.Map<java.lang.String,ExitCode>	getInformations(java.lang.String path)
static java.util.Map<java.lang.String,ExitCode>	getInformations(java.net.URL path)
static java.lang.String	printLine(java.lang.String fileName, ExitCode exitCode, ResultCode resultCode)
void	save()
void	save(java.lang.String wxpFileName)

Methods inherited from class java.lang.Object

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

Field Detail

SEPARATOR

public static final java.lang.String SEPARATOR

See Also:

Constant Field Values

EXT_JU

public static final java.lang.String EXT_JU

See Also:

Constant Field Values

COMMENT

public static final java.lang.String COMMENT

See Also:

Constant Field Values

Constructor Detail

ResultsManager

public ResultsManager(java.lang.String wxpFileName,
                      boolean save)
               throws java.net.MalformedURLException,
                      java.io.IOException

Throws:

java.net.MalformedURLException

java.io.IOException

Method Detail

compare

public final ResultCode compare(java.lang.String fileName,
                                ExitCode newCode)

save

public final void save()

getFiles

public java.lang.String[] getFiles()

save

public final void save(java.lang.String wxpFileName)

getInformations

public static final java.util.Map<java.lang.String,ExitCode> getInformations(java.net.URL path)
                                                                      throws java.io.IOException

Throws:

java.io.IOException

getInformations

public static final java.util.Map<java.lang.String,ExitCode> getInformations(java.lang.String path)
                                                                      throws java.net.MalformedURLException,
                                                                             java.io.IOException

Throws:

java.net.MalformedURLException

java.io.IOException

getInformations

public static final java.util.Map<java.lang.String,ExitCode> getInformations(java.io.Reader in)

printLine

public static final java.lang.String printLine(java.lang.String fileName,
                                               ExitCode exitCode,
                                               ResultCode resultCode)

createPath

public static final java.lang.String createPath()