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

Class InterleavingExecutionReporterToGenerationReporterAdapter

java.lang.Object

de.rwth.swc.coffee4j.engine.process.phase.interleaving.generation.InterleavingExecutionReporterToGenerationReporterAdapter

All Implemented Interfaces:

InterleavingGenerationReporter, Reporter

public class InterleavingExecutionReporterToGenerationReporterAdapter
extends Object
implements InterleavingGenerationReporter

Interleaving version of SequentialExecutionReporterToGenerationReporterAdapter

Constructor Summary

Constructors

Constructor	Description
InterleavingExecutionReporterToGenerationReporterAdapter(InterleavingExecutionReporter reporter, ArgumentConverter argumentConverter, ModelConverter converter)

Method Summary

Modifier and Type	Method	Description
void	checkingFinished(InterleavingCombinatorialTestGroup group, int[] failureInducingCombination, boolean isFailureInducing)
void	checkingStarted(InterleavingCombinatorialTestGroup group, int[] failureInducingCombination)
void	identificationFinished(InterleavingCombinatorialTestGroup group, Set<int[]> exceptionInducingCombinations, Set<int[]> failureInducingCombinations)
void	identificationStarted(InterleavingCombinatorialTestGroup group, int[] failingTestInput)
void	identificationTestInputGenerated(InterleavingCombinatorialTestGroup group, int[] testInput)
void	interleavingGroupFinished(InterleavingCombinatorialTestGroup group, Map<int[],Class<? extends Throwable>> exceptionInducingCombinations, Set<int[]> possibleFailureInducingCombinations)
void	interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)
void	report(ReportLevel level, Report report)
void	report(ReportLevel level, Supplier<Report> reportSupplier)

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

InterleavingExecutionReporterToGenerationReporterAdapter

public InterleavingExecutionReporterToGenerationReporterAdapter(InterleavingExecutionReporter reporter,
                                                                ArgumentConverter argumentConverter,
                                                                ModelConverter converter)

Parameters:

reporter - execution reporter to use.

argumentConverter - argument converter used to convert between internal and external representation.

converter - converter used to convert combinations from internal into the external format and vice versa.

Method Detail

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

interleavingGroupGenerated

public void interleavingGroupGenerated(InterleavingCombinatorialTestGroup group)

Specified by:

interleavingGroupGenerated in interface InterleavingGenerationReporter

interleavingGroupFinished

public void interleavingGroupFinished(InterleavingCombinatorialTestGroup group,
                                      Map<int[],Class<? extends Throwable>> exceptionInducingCombinations,
                                      Set<int[]> possibleFailureInducingCombinations)

Specified by:

interleavingGroupFinished in interface InterleavingGenerationReporter

identificationStarted

public void identificationStarted(InterleavingCombinatorialTestGroup group,
                                  int[] failingTestInput)

Specified by:

identificationStarted in interface InterleavingGenerationReporter

identificationFinished

public void identificationFinished(InterleavingCombinatorialTestGroup group,
                                   Set<int[]> exceptionInducingCombinations,
                                   Set<int[]> failureInducingCombinations)

Specified by:

identificationFinished in interface InterleavingGenerationReporter

identificationTestInputGenerated

public void identificationTestInputGenerated(InterleavingCombinatorialTestGroup group,
                                             int[] testInput)

Specified by:

identificationTestInputGenerated in interface InterleavingGenerationReporter

checkingStarted

public void checkingStarted(InterleavingCombinatorialTestGroup group,
                            int[] failureInducingCombination)

Specified by:

checkingStarted in interface InterleavingGenerationReporter

checkingFinished

public void checkingFinished(InterleavingCombinatorialTestGroup group,
                             int[] failureInducingCombination,
                             boolean isFailureInducing)

Specified by:

checkingFinished in interface InterleavingGenerationReporter