public final class TestEngine
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Statistics |
generate(Options options,
java.lang.String modelName,
java.lang.String templateFile,
java.util.List<Plugin> plugins) |
static GeneratorSettings |
getGeneratorSettings() |
static TestEngine |
getInstance() |
MetaModel |
getMetaModel() |
Model |
getModel() |
java.lang.String |
getModelName() |
java.lang.Object |
getOptionValue(java.lang.String optionName) |
Statistics |
getStatistics() |
Template |
newTemplate() |
void |
process(Template template) |
static void |
setGeneratorSettings(GeneratorSettings value) |
void |
setOptionValue(java.lang.String optionName,
java.lang.Object value) |
static void |
setRandomSeed(int seed) |
static void |
setSolver(java.lang.String solverName) |
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 java.lang.String getModelName()
public MetaModel getMetaModel()
public Statistics getStatistics()
public static GeneratorSettings getGeneratorSettings()
public static void setGeneratorSettings(GeneratorSettings value)
public static Statistics 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()
public void process(Template template) throws ConfigurationException, java.io.IOException
ConfigurationException
java.io.IOException
public static void setRandomSeed(int seed)
public static void setSolver(java.lang.String solverName)