Uses of Class
de.rwth.swc.coffee4j.engine.configuration.execution.InterleavingExecutionConfiguration
-
-
Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.engine.configuration.execution
Methods in de.rwth.swc.coffee4j.engine.configuration.execution that return InterleavingExecutionConfiguration Modifier and Type Method Description InterleavingExecutionConfiguration
InterleavingExecutionConfiguration.Builder. build()
-
Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.engine.process.interleaving
Methods in de.rwth.swc.coffee4j.engine.process.interleaving that return InterleavingExecutionConfiguration Modifier and Type Method Description InterleavingExecutionConfiguration
DynamicInterleavingPhaseManagerConfiguration. getErrorConstraintGenerationExecutionConfiguration()
InterleavingExecutionConfiguration
DynamicInterleavingPhaseManagerConfiguration. getExecutionConfiguration()
InterleavingExecutionConfiguration
InterleavingPhaseManagerConfiguration. getExecutionConfiguration()
Methods in de.rwth.swc.coffee4j.engine.process.interleaving with parameters of type InterleavingExecutionConfiguration Modifier and Type Method Description DynamicInterleavingPhaseManagerConfiguration.Builder
DynamicInterleavingPhaseManagerConfiguration.Builder. errorConstraintGenerationConfiguration(InterleavingExecutionConfiguration configuration)
DynamicInterleavingPhaseManagerConfiguration.Builder
DynamicInterleavingPhaseManagerConfiguration.Builder. executionConfiguration(InterleavingExecutionConfiguration configuration)
InterleavingPhaseManagerConfiguration.Builder
InterleavingPhaseManagerConfiguration.Builder. executionConfiguration(InterleavingExecutionConfiguration configuration)
-
Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation
Constructors in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation with parameters of type InterleavingExecutionConfiguration Constructor Description InterleavingGenerationContext(InterleavingExecutionConfiguration configuration, InputParameterModel model, ExtensionExecutor extensionExecutor)
Creates newInterleavingGenerationContext
. -
Uses of InterleavingExecutionConfiguration in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration
Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.interleaving.execution.configuration that return InterleavingExecutionConfiguration Modifier and Type Method Description InterleavingExecutionConfiguration
GeneratingInterleavingConfigurationLoader. load(Method method)
InterleavingExecutionConfiguration
InterleavingConfigurationLoader. load(Method method)
InterleavingExecutionConfiguration
DelegatingInterleavingConfigurationProvider. provide(Method method)
InterleavingExecutionConfiguration
MethodBasedGeneratingInterleavingConfigurationProvider. provide(Method method)
InterleavingExecutionConfiguration
MethodBasedInterleavingConfigurationProvider. provide(Method method)
-