Class EmptySequentialGenerationReporter
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.sequential.report.EmptySequentialGenerationReporter
-
- All Implemented Interfaces:
Reporter
,GenerationReporter
public class EmptySequentialGenerationReporter extends Object implements GenerationReporter
-
-
Constructor Summary
Constructors Constructor Description EmptySequentialGenerationReporter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
report(ReportLevel level, Report report)
Reports the givenReport
at the specified level.void
report(ReportLevel level, Supplier<Report> reportSupplier)
This method has the same intentions asReporter.report(ReportLevel, Report)
, but a supplier is given.-
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.sequential.report.GenerationReporter
faultCharacterizationFinished, faultCharacterizationStarted, faultCharacterizationTestInputsGenerated, testInputGroupFinished, testInputGroupGenerated
-
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
-
-
-
-
Method Detail
-
report
public void report(ReportLevel level, Report report)
Description copied from interface:Reporter
-
report
public void report(ReportLevel level, Supplier<Report> reportSupplier)
Description copied from interface:Reporter
This method has the same intentions asReporter.report(ReportLevel, Report)
, but a supplier is given. If any big calculations need to be performed for aReport
generation this method can be used to guarantee lazy de.rwth.swc.coffee4j.evaluation only if aReporter
is really interested in the report of the given level.
-
-