public interface ProblemReporter
Inspired by https://docs.gradle.org/8.14/javadoc/org/gradle/api/problems/ProblemReporter.html
| Modifier and Type | Field and Description |
|---|---|
static ProblemReporter |
NOOP |
| Modifier and Type | Method and Description |
|---|---|
void |
report(Problem problem) |
default void |
report(ProblemId problemId,
ProblemSeverity severity,
ProblemLocation location,
java.lang.String contextualLabel) |
default void |
report(ProblemId problemId,
ProblemSeverity severity,
java.lang.String contextualLabel)
Reports a location independent problem.
|
default void |
tryMergeFromFile(java.nio.file.Path reportFile)
Loads problems from the given report file (see
FileProblemReporter) and add
them to this reporter. |
default void |
tryMergeFromFile(java.nio.file.Path reportFile,
java.util.function.Predicate<Problem> filter)
Loads problems from the given report file (see
FileProblemReporter) and add any that pass the given
filter to this reporter. |
static final ProblemReporter NOOP
default void report(ProblemId problemId, ProblemSeverity severity, ProblemLocation location, java.lang.String contextualLabel)
default void report(ProblemId problemId, ProblemSeverity severity, java.lang.String contextualLabel)
void report(Problem problem)
default void tryMergeFromFile(java.nio.file.Path reportFile)
throws java.io.IOException
FileProblemReporter) and add
them to this reporter.java.io.IOExceptiondefault void tryMergeFromFile(java.nio.file.Path reportFile,
java.util.function.Predicate<Problem> filter)
throws java.io.IOException
FileProblemReporter) and add any that pass the given
filter to this reporter. If the given file is missing, nothing happens.java.io.IOException