EmptyInterleavingGenerationReporter (de.rwth.swc.coffee4j:coffee4j-aggregate 1.0.8 API)

java.lang.Object
- de.rwth.swc.coffee4j.algorithmic.interleaving.report.EmptyInterleavingGenerationReporter

All Implemented Interfaces:

InterleavingGenerationReporter, Reporter
```
public class EmptyInterleavingGenerationReporter
extends Object
implements InterleavingGenerationReporter
```
Empty InterleavingGenerationReporter 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 given `Report` at the specified level.
`void`	`report(ReportLevel level, Supplier<Report> reportSupplier)`	This method has the same intentions as `Reporter.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

- Constructor Detail
  - EmptyInterleavingGenerationReporter
```
public EmptyInterleavingGenerationReporter()
```
- Method Detail
  - report
```
public void report(ReportLevel level,
                   Report report)
```
    Description copied from interface: Reporter
    
    Reports the given Report at the specified level. The levels are used so that any Reporter may filter information it wishes to receive.
    
    Specified by:
    
    report in interface Reporter
    
    Parameters:
    
    level - the of the report. Must not be null
    
    report - the report itself. Must not be null
  - report
```
public void report(ReportLevel level,
                   Supplier<Report> reportSupplier)
```
    Description copied from interface: Reporter
    
    This method has the same intentions as Reporter.report(ReportLevel, Report), but a supplier is given. If any big calculations need to be performed for a Report generation this method can be used to guarantee lazy de.rwth.swc.coffee4j.evaluation only if a Reporter is really interested in the report of the given level.
    
    Specified by:
    
    report in interface Reporter
    
    Parameters:
    
    level - the of the report. Must not be null
    
    reportSupplier - a supplier which can compute the real report. It and the returned Report must not be null