Uses of Interface
de.rwth.swc.coffee4j.engine.report.InterleavingExecutionReporter
-
-
Uses of InterleavingExecutionReporter in de.rwth.swc.coffee4j.engine.configuration.execution
Methods in de.rwth.swc.coffee4j.engine.configuration.execution that return types with arguments of type InterleavingExecutionReporter Modifier and Type Method Description List<InterleavingExecutionReporter>
InterleavingExecutionConfiguration. getExecutionReporters()
Methods in de.rwth.swc.coffee4j.engine.configuration.execution with parameters of type InterleavingExecutionReporter Modifier and Type Method Description InterleavingExecutionConfiguration.Builder
InterleavingExecutionConfiguration.Builder. executionReporter(InterleavingExecutionReporter executionReporter)
InterleavingExecutionConfiguration.Builder
InterleavingExecutionConfiguration.Builder. executionReporters(InterleavingExecutionReporter... executionReporters)
Method parameters in de.rwth.swc.coffee4j.engine.configuration.execution with type arguments of type InterleavingExecutionReporter Modifier and Type Method Description InterleavingExecutionConfiguration.Builder
InterleavingExecutionConfiguration.Builder. executionReporters(Collection<InterleavingExecutionReporter> executionReporters)
-
Uses of InterleavingExecutionReporter in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation
Methods in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation that return InterleavingExecutionReporter Modifier and Type Method Description protected InterleavingExecutionReporter
InterleavingGenerationContext. buildDelegatingOrDefaultExecutionReporter(List<InterleavingExecutionReporter> executionReporters)
Method parameters in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation with type arguments of type InterleavingExecutionReporter Modifier and Type Method Description protected InterleavingExecutionReporter
InterleavingGenerationContext. buildDelegatingOrDefaultExecutionReporter(List<InterleavingExecutionReporter> executionReporters)
Constructors in de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation with parameters of type InterleavingExecutionReporter Constructor Description InterleavingExecutionReporterToGenerationReporterAdapter(InterleavingExecutionReporter reporter, ArgumentConverter argumentConverter, ModelConverter converter)
-
Uses of InterleavingExecutionReporter in de.rwth.swc.coffee4j.engine.process.report.interleaving
Classes in de.rwth.swc.coffee4j.engine.process.report.interleaving that implement InterleavingExecutionReporter Modifier and Type Class Description class
EmptyInterleavingExecutionReporter
An example implementation of aInterleavingExecutionReporter
.class
LoggingInterleavingExecutionReporter
Reporter for interleaving Combinatorial Testingclass
LoggingInterleavingExecutionReporterForGeneration
Reporter for interleaving combinatorial testing and Constraint Generation using a loggerclass
LoggingInterleavingExecutionReporterForGenerationJava
Reporter transforming the found exception-inducing combinations into java-code that can be directly integrated into an IPM using a logger -
Uses of InterleavingExecutionReporter in de.rwth.swc.coffee4j.engine.report
Classes in de.rwth.swc.coffee4j.engine.report that implement InterleavingExecutionReporter Modifier and Type Class Description class
DelegatingInterleavingExecutionReporter
Delegating Reporter for interleaving testing and generation.Constructor parameters in de.rwth.swc.coffee4j.engine.report with type arguments of type InterleavingExecutionReporter Constructor Description DelegatingInterleavingExecutionReporter(Collection<InterleavingExecutionReporter> reporters)
-