Package de.rwth.swc.coffee4j.engine.process.phase.sequential.generation

Class SequentialExecutionReporterToGenerationReporterAdapter

java.lang.Object

de.rwth.swc.coffee4j.engine.process.phase.sequential.generation.SequentialExecutionReporterToGenerationReporterAdapter

All Implemented Interfaces:

Reporter, GenerationReporter

public class SequentialExecutionReporterToGenerationReporterAdapter
extends Object
implements GenerationReporter

This is an exact copy of the DelegatingModelBasedArgumentConverter from the Model Module

Constructor Summary

Constructors

Constructor	Description
SequentialExecutionReporterToGenerationReporterAdapter(SequentialExecutionReporter reporter, ArgumentConverter argumentConverter, ModelConverter modelConverter)

Method Summary

Modifier and Type	Method	Description
void	faultCharacterizationFinished(TestInputGroup testInputGroup, Map<int[],Class<? extends Throwable>> exceptionInducingCombinations, Set<int[]> possiblyFailureInducingCombinations)
void	faultCharacterizationStarted(TestInputGroup testInputGroup, FaultCharacterizationAlgorithm algorithm)
void	faultCharacterizationTestInputsGenerated(TestInputGroup testInputGroup, List<int[]> testInputs)
void	report(ReportLevel level, Report report)
void	report(ReportLevel level, Supplier<Report> reportSupplier)
void	testInputGroupFinished(TestInputGroup testInputGroup)
void	testInputGroupGenerated(TestInputGroup testInputGroup, TestInputGroupGenerator generator)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.swc.coffee4j.algorithmic.report.Reporter

reportAssumptionSatisfaction, reportAssumptionViolation, reportDebug, reportDebug, reportError, reportError, reportFatal, reportFatal, reportInfo, reportInfo, reportTrace, reportTrace, reportWarn, reportWarn

Constructor Detail

SequentialExecutionReporterToGenerationReporterAdapter

public SequentialExecutionReporterToGenerationReporterAdapter(SequentialExecutionReporter reporter,
                                                              ArgumentConverter argumentConverter,
                                                              ModelConverter modelConverter)

Method Detail

testInputGroupGenerated

public void testInputGroupGenerated(TestInputGroup testInputGroup,
                                    TestInputGroupGenerator generator)

Specified by:

testInputGroupGenerated in interface GenerationReporter

testInputGroupFinished

public void testInputGroupFinished(TestInputGroup testInputGroup)

Specified by:

testInputGroupFinished in interface GenerationReporter

faultCharacterizationStarted

public void faultCharacterizationStarted(TestInputGroup testInputGroup,
                                         FaultCharacterizationAlgorithm algorithm)

Specified by:

faultCharacterizationStarted in interface GenerationReporter

faultCharacterizationFinished

public void faultCharacterizationFinished(TestInputGroup testInputGroup,
                                          Map<int[],Class<? extends Throwable>> exceptionInducingCombinations,
                                          Set<int[]> possiblyFailureInducingCombinations)

Specified by:

faultCharacterizationFinished in interface GenerationReporter

faultCharacterizationTestInputsGenerated

public void faultCharacterizationTestInputsGenerated(TestInputGroup testInputGroup,
                                                     List<int[]> testInputs)

Specified by:

faultCharacterizationTestInputsGenerated in interface GenerationReporter

report

public void report(ReportLevel level,
                   Report report)

Specified by:

report in interface Reporter

report

public void report(ReportLevel level,
                   Supplier<Report> reportSupplier)

Specified by:

report in interface Reporter