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