public final class TestEngine
extends java.lang.Object
TestEngine
class is responsible for generation of test programs.Modifier and Type | Method and Description |
---|---|
static boolean |
generate(Options options,
java.lang.String modelName,
java.lang.String templateFile,
java.util.List<Plugin> plugins) |
static TestEngine |
getInstance() |
Model |
getModel() |
java.lang.Object |
getOptionValue(java.lang.String optionName) |
Statistics |
getStatistics() |
Template |
newTemplate() |
void |
setOptionValue(java.lang.String optionName,
java.lang.Object value) |
public static TestEngine getInstance()
public java.lang.Object getOptionValue(java.lang.String optionName)
public void setOptionValue(java.lang.String optionName, java.lang.Object value)
public Model getModel()
public Statistics getStatistics()
public static boolean generate(Options options, java.lang.String modelName, java.lang.String templateFile, java.util.List<Plugin> plugins) throws java.lang.Throwable
java.lang.Throwable
public Template newTemplate()