Class EmptyInterleavingGenerationReporter
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.interleaving.report.EmptyInterleavingGenerationReporter
-
- All Implemented Interfaces:
InterleavingGenerationReporter
,Reporter
public class EmptyInterleavingGenerationReporter extends Object implements InterleavingGenerationReporter
EmptyInterleavingGenerationReporter
reporting nothing.
-
-
Constructor Summary
Constructors Constructor Description EmptyInterleavingGenerationReporter()
-
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.interleaving.report.InterleavingGenerationReporter
checkingFinished, checkingStarted, identificationFinished, identificationStarted, identificationTestInputGenerated, interleavingGroupFinished, interleavingGroupGenerated
-
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.
-
-