Package org.checkerframework.framework.test.diagnostics
-
Class Summary Class Description JavaDiagnosticReader This class reads expected javac diagnostics from a single file.TestDiagnostic Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler.TestDiagnosticLine Represents a list of TestDiagnostics, which was read from a one line of a file.TestDiagnosticUtils A set of utilities and factory methods useful for working with TestDiagnostics. -
Enum Summary Enum Description DiagnosticKind The kinds of errors that can be encountered during typechecking.