public class SettingsFactory extends Object
| Constructor and Description |
|---|
SettingsFactory(ReportOptions options,
PluginServices plugins) |
| Modifier and Type | Method and Description |
|---|---|
CoverageExporter |
createCoverageExporter() |
CoverageOptions |
createCoverageOptions() |
MutationEngineFactory |
createEngine() |
MutationResultListenerFactory |
createListener() |
void |
describeFeatures(SideEffect1<Feature> enabled,
SideEffect1<Feature> disabled) |
CompoundInterceptorFactory |
getInterceptor() |
JavaExecutableLocator |
getJavaExecutable() |
MutationGrouperFactory |
getMutationGrouper() |
ResultOutputStrategy |
getOutputStrategy() |
TestPrioritiserFactory |
getTestPrioritiser() |
public SettingsFactory(ReportOptions options, PluginServices plugins)
public ResultOutputStrategy getOutputStrategy()
public CoverageExporter createCoverageExporter()
public MutationEngineFactory createEngine()
public MutationResultListenerFactory createListener()
public JavaExecutableLocator getJavaExecutable()
public MutationGrouperFactory getMutationGrouper()
public void describeFeatures(SideEffect1<Feature> enabled, SideEffect1<Feature> disabled)
public TestPrioritiserFactory getTestPrioritiser()
public CoverageOptions createCoverageOptions()
public CompoundInterceptorFactory getInterceptor()
Copyright © 2019 MuDebug. All rights reserved.