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

Class InterleavingPhaseManagerConfiguration.Builder

java.lang.Object

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

Enclosing class:

InterleavingPhaseManagerConfiguration

public static class InterleavingPhaseManagerConfiguration.Builder
extends Object

Builder for a InterleavingPhaseManagerConfiguration.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
InterleavingPhaseManagerConfiguration	build()
InterleavingPhaseManagerConfiguration.Builder	checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder	classificationPhaseFactory(InterleavingClassificationPhaseFactory classificationPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder	executionConfiguration(InterleavingExecutionConfiguration configuration)
InterleavingPhaseManagerConfiguration.Builder	executionPhaseFactory(ExecutionPhaseFactory executionPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder	extensionExecutorFactory(ExtensionExecutorFactory extensionExecutorFactory)
InterleavingPhaseManagerConfiguration.Builder	extensions(Collection<Extension> extensions)
InterleavingPhaseManagerConfiguration.Builder	generationPhaseFactory(InterleavingGenerationPhaseFactory generationPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder	identificationPhaseFactory(IdentificationPhaseFactory identificationPhaseFactory)
InterleavingPhaseManagerConfiguration.Builder	modelModificationPhaseFactory(ModelModificationPhaseFactory modelModificationPhaseFactory)
InterleavingPhaseManagerConfiguration.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 InterleavingPhaseManagerConfiguration.Builder executionConfiguration(InterleavingExecutionConfiguration configuration)

testMethodConfiguration

public InterleavingPhaseManagerConfiguration.Builder testMethodConfiguration(TestMethodConfiguration testMethodConfiguration)

extensions

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

extensionExecutorFactory

public InterleavingPhaseManagerConfiguration.Builder extensionExecutorFactory(ExtensionExecutorFactory extensionExecutorFactory)

executionPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder executionPhaseFactory(ExecutionPhaseFactory executionPhaseFactory)

generationPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder generationPhaseFactory(InterleavingGenerationPhaseFactory generationPhaseFactory)

identificationPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder identificationPhaseFactory(IdentificationPhaseFactory identificationPhaseFactory)

checkingPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder checkingPhaseFactory(CheckingPhaseFactory checkingPhaseFactory)

classificationPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder classificationPhaseFactory(InterleavingClassificationPhaseFactory classificationPhaseFactory)

modelModificationPhaseFactory

public InterleavingPhaseManagerConfiguration.Builder modelModificationPhaseFactory(ModelModificationPhaseFactory modelModificationPhaseFactory)

build

public InterleavingPhaseManagerConfiguration build()