public class SuiteAPI
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
SuiteAPI() |
|
SuiteAPI(Config config) |
Modifier and Type | Method and Description |
---|---|
protected void |
flushReportStream() |
java.util.logging.Logger |
getT3logger() |
void |
injectOracles(SUITE S) |
SUITE |
load(java.lang.String filename)
Load a single suite-file, given a full path to the file.
|
java.util.List<SUITE> |
load(java.lang.String prefix,
java.lang.String dir)
Load all suite-files in the given directory, whose names start with the given prefix.
|
SUITE_RT_info |
replay(SUITE S)
To replay a suite.
|
public Config config
protected SuiteAPI()
public SuiteAPI(Config config)
protected void flushReportStream()
public java.util.logging.Logger getT3logger()
public void injectOracles(SUITE S)
public SUITE load(java.lang.String filename) throws java.lang.Exception
java.lang.Exception
public java.util.List<SUITE> load(java.lang.String prefix, java.lang.String dir) throws java.lang.Exception
java.lang.Exception
public SUITE_RT_info replay(SUITE S) throws java.lang.Exception
java.lang.Exception