Package ru.ispras.microtesk.test
Class TestEngine
- java.lang.Object
-
- ru.ispras.microtesk.test.TestEngine
-
public final class TestEngine extends java.lang.Object
TestEngine
is responsible for test program generation.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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()
boolean
isRevision(java.lang.String revisionId)
Template
newTemplate()
void
setOptionValue(java.lang.String optionName, java.lang.Object value)
-
-
-
Method Detail
-
getInstance
public static TestEngine getInstance()
-
getOptionValue
public java.lang.Object getOptionValue(java.lang.String optionName)
-
setOptionValue
public void setOptionValue(java.lang.String optionName, java.lang.Object value)
-
getModel
public Model getModel()
-
isRevision
public boolean isRevision(java.lang.String revisionId)
-
getStatistics
public Statistics getStatistics()
-
generate
public static boolean generate(Options options, java.lang.String modelName, java.lang.String templateFile, java.util.List<Plugin> plugins) throws java.lang.Throwable
- Throws:
java.lang.Throwable
-
newTemplate
public Template newTemplate()
-
-