Class JavaDiagnosticReader

java.lang.Object
org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
All Implemented Interfaces:
Closeable, AutoCloseable, Iterator<TestDiagnosticLine>

public class JavaDiagnosticReader extends Object implements Iterator<TestDiagnosticLine>, Closeable
This class reads expected javac diagnostics from a single file. Its implementation is as an iterator over TestDiagnosticLine. However, clients should call the static methods: readJavaSourceFiles(java.lang.Iterable<? extends java.lang.Object>) reads diagnostics from multiple Java source files, and readDiagnosticFiles(java.lang.Iterable<? extends java.io.File>) reads diagnostics from multiple "diagnostic files".