Class PrintStreamConflictDetectionReporter
- java.lang.Object
-
- de.rwth.swc.coffee4j.model.report.PrintStreamConflictDetectionReporter
-
- All Implemented Interfaces:
ConflictDetectionReporter
public class PrintStreamConflictDetectionReporter extends java.lang.Object implements ConflictDetectionReporter
-
-
Constructor Summary
Constructors Constructor Description PrintStreamConflictDetectionReporter(java.io.PrintStream printStream, ModelConverter modelConverter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidreportDetectedMissingInvalidTuples(java.util.List<de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple> missingInvalidTuples)voidreportMinimalDiagnosisHittingSets(java.util.List<de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet> minimalHittingSets)
-
-
-
Constructor Detail
-
PrintStreamConflictDetectionReporter
public PrintStreamConflictDetectionReporter(java.io.PrintStream printStream, ModelConverter modelConverter)
-
-
Method Detail
-
reportDetectedMissingInvalidTuples
public void reportDetectedMissingInvalidTuples(java.util.List<de.rwth.swc.coffee4j.engine.conflict.MissingInvalidTuple> missingInvalidTuples)
- Specified by:
reportDetectedMissingInvalidTuplesin interfaceConflictDetectionReporter
-
reportMinimalDiagnosisHittingSets
public void reportMinimalDiagnosisHittingSets(java.util.List<de.rwth.swc.coffee4j.engine.conflict.DiagnosisHittingSet> minimalHittingSets)
- Specified by:
reportMinimalDiagnosisHittingSetsin interfaceConflictDetectionReporter
-
-