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

java.lang.Object
- de.rwth.swc.coffee4j.engine.process.report.PrintStreamConflictDetectionReporter

All Implemented Interfaces:

ConflictDetectionReporter
```
public class PrintStreamConflictDetectionReporter
extends Object
implements ConflictDetectionReporter
```
A ConflictDetectionReporter that reports its findings to a PrintStream

Constructor Summary

Constructors
Constructor	Description
`PrintStreamConflictDetectionReporter(PrintStream printStream, ModelConverter modelConverter)`	Creates a new `PrintStreamConflictDetectionReporter` based on a `PrintStream` and a `ModelConverter`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`reportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)`
`void`	`reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PrintStreamConflictDetectionReporter
```
public PrintStreamConflictDetectionReporter(PrintStream printStream,
                                            ModelConverter modelConverter)
```
    Creates a new PrintStreamConflictDetectionReporter based on a PrintStream and a ModelConverter
    
    Parameters:
    
    printStream - the PrintStream to use. Should not be null
    
    modelConverter - the ModelConverter to used. Should not be null
- Method Detail
  - reportDetectedMissingInvalidTuples
```
public void reportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)
```
    Specified by:
    
    reportDetectedMissingInvalidTuples in interface ConflictDetectionReporter
  - reportMinimalDiagnosisHittingSets
```
public void reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalHittingSets)
```
    Specified by:
    
    reportMinimalDiagnosisHittingSets in interface ConflictDetectionReporter