Package de.rwth.swc.coffee4j.engine.process.interleaving

Class DynamicInterleavingPhaseManagerConfiguration.Builder

java.lang.Object

de.rwth.swc.coffee4j.engine.process.interleaving.DynamicInterleavingPhaseManagerConfiguration.Builder

Enclosing class:

DynamicInterleavingPhaseManagerConfiguration

public static class DynamicInterleavingPhaseManagerConfiguration.Builder
extends Object

Builder for a DynamicInterleavingPhaseManagerConfiguration

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
DynamicInterleavingPhaseManagerConfiguration	build()
DynamicInterleavingPhaseManagerConfiguration.Builder	checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	classificationPhaseFactory(InterleavingClassificationPhaseFactory classificationPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	errorConstraintGenerationConfiguration(InterleavingExecutionConfiguration configuration)
DynamicInterleavingPhaseManagerConfiguration.Builder	executionConfiguration(InterleavingExecutionConfiguration configuration)
DynamicInterleavingPhaseManagerConfiguration.Builder	executionPhaseFactory(ExecutionPhaseFactory executionPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	extensionExecutorFactory(ExtensionExecutorFactory extensionExecutorFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	extensions(Collection<Extension> extensions)
DynamicInterleavingPhaseManagerConfiguration.Builder	generationPhaseFactory(InterleavingGenerationPhaseFactory generationPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	identificationPhaseFactory(IdentificationPhaseFactory identificationPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	modelModificationPhaseFactory(ModelModificationPhaseFactory modelModificationPhaseFactory)
DynamicInterleavingPhaseManagerConfiguration.Builder	testMethodConfiguration(TestMethodConfiguration testMethodConfiguration)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Builder

public Builder()

Method Detail

executionConfiguration

public DynamicInterleavingPhaseManagerConfiguration.Builder executionConfiguration(InterleavingExecutionConfiguration configuration)

errorConstraintGenerationConfiguration

public DynamicInterleavingPhaseManagerConfiguration.Builder errorConstraintGenerationConfiguration(InterleavingExecutionConfiguration configuration)

testMethodConfiguration

public DynamicInterleavingPhaseManagerConfiguration.Builder testMethodConfiguration(TestMethodConfiguration testMethodConfiguration)

extensions

public DynamicInterleavingPhaseManagerConfiguration.Builder extensions(Collection<Extension> extensions)

extensionExecutorFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder extensionExecutorFactory(ExtensionExecutorFactory extensionExecutorFactory)

executionPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder executionPhaseFactory(ExecutionPhaseFactory executionPhaseFactory)

generationPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder generationPhaseFactory(InterleavingGenerationPhaseFactory generationPhaseFactory)

identificationPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder identificationPhaseFactory(IdentificationPhaseFactory identificationPhaseFactory)

checkingPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)

classificationPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder classificationPhaseFactory(InterleavingClassificationPhaseFactory classificationPhaseFactory)

modelModificationPhaseFactory

public DynamicInterleavingPhaseManagerConfiguration.Builder modelModificationPhaseFactory(ModelModificationPhaseFactory modelModificationPhaseFactory)

build

public DynamicInterleavingPhaseManagerConfiguration build()