Class DynamicInterleavingPhaseManagerConfiguration
- java.lang.Object
-
- de.rwth.swc.coffee4j.engine.process.interleaving.DynamicInterleavingPhaseManagerConfiguration
-
public class DynamicInterleavingPhaseManagerConfiguration extends Object
Configuration for aPhaseManager
managing Interleaving Combinatorial Testing with a previous running Error-Constraint Generation.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
DynamicInterleavingPhaseManagerConfiguration.Builder
Builder for aDynamicInterleavingPhaseManagerConfiguration
-
Method Summary
-
-
-
Method Detail
-
getErrorConstraintGenerationExecutionConfiguration
public InterleavingExecutionConfiguration getErrorConstraintGenerationExecutionConfiguration()
-
getTestMethodConfiguration
public TestMethodConfiguration getTestMethodConfiguration()
-
getExtensionExecutorFactory
public ExtensionExecutorFactory getExtensionExecutorFactory()
-
getExecutionPhaseFactory
public ExecutionPhaseFactory getExecutionPhaseFactory()
-
getExecutionConfiguration
public InterleavingExecutionConfiguration getExecutionConfiguration()
-
getGenerationPhaseFactory
public InterleavingGenerationPhaseFactory getGenerationPhaseFactory()
-
getIdentificationPhaseFactory
public IdentificationPhaseFactory getIdentificationPhaseFactory()
-
getCheckingPhaseFactory
public CheckingPhaseFactory getCheckingPhaseFactory()
-
getClassificationPhaseFactory
public InterleavingClassificationPhaseFactory getClassificationPhaseFactory()
-
getModelModificationPhaseFactory
public ModelModificationPhaseFactory getModelModificationPhaseFactory()
-
toBuilder
public DynamicInterleavingPhaseManagerConfiguration.Builder toBuilder()
-
phaseManagerConfiguration
public static DynamicInterleavingPhaseManagerConfiguration.Builder phaseManagerConfiguration()
- Returns:
- Builder for a
DynamicInterleavingPhaseManagerConfiguration
.
-
-