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