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.BuilderInterleavingExecutionConfiguration.Builder. executionReporter(InterleavingExecutionReporter executionReporter)InterleavingExecutionConfiguration.BuilderInterleavingExecutionConfiguration.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.BuilderInterleavingExecutionConfiguration.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 InterleavingExecutionReporterInterleavingGenerationContext. 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 InterleavingExecutionReporterInterleavingGenerationContext. 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 classEmptyInterleavingExecutionReporterAn example implementation of aInterleavingExecutionReporter.classLoggingInterleavingExecutionReporterReporter for interleaving Combinatorial TestingclassLoggingInterleavingExecutionReporterForGenerationReporter for interleaving combinatorial testing and Constraint Generation using a loggerclassLoggingInterleavingExecutionReporterForGenerationJavaReporter 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 classDelegatingInterleavingExecutionReporterDelegating 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)
-