org.sat4j
Class ResultsManager

java.lang.Object
  extended by 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()


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.