Class LoggingConflictDetectionReporter
- java.lang.Object
-
- de.rwth.swc.coffee4j.engine.process.report.LoggingConflictDetectionReporter
-
- All Implemented Interfaces:
ConflictDetectionReporter
public class LoggingConflictDetectionReporter extends Object implements ConflictDetectionReporter
AConflictDetectionReporterthat reports its findings using aLoggerThis is an adapted copy of thePrintStreamConflictDetectionReporter
-
-
Constructor Summary
Constructors Constructor Description LoggingConflictDetectionReporter(ModelConverter modelConverter)Creates a newLoggingConflictDetectionReporterconfigured with the suppliedModelConverter
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidreportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)voidreportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalDiagnosisHittingSets)
-
-
-
Constructor Detail
-
LoggingConflictDetectionReporter
public LoggingConflictDetectionReporter(ModelConverter modelConverter)
Creates a newLoggingConflictDetectionReporterconfigured with the suppliedModelConverter- Parameters:
modelConverter- theModelConverterto use for conversion values
-
-
Method Detail
-
reportDetectedMissingInvalidTuples
public void reportDetectedMissingInvalidTuples(List<MissingInvalidTuple> missingInvalidTuples)
- Specified by:
reportDetectedMissingInvalidTuplesin interfaceConflictDetectionReporter
-
reportMinimalDiagnosisHittingSets
public void reportMinimalDiagnosisHittingSets(List<DiagnosisHittingSet> minimalDiagnosisHittingSets)
- Specified by:
reportMinimalDiagnosisHittingSetsin interfaceConflictDetectionReporter
-
-