Name | Description | Type | Package | Framework |
DiagnosticKind | Indicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant Summary | Class | org.checkerframework.framework.test.diagnostics | Checker |
JavaDiagnosticReader | Reads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics. | Class | org.checkerframework.framework.test.diagnostics | Checker |
JavaDiagnosticReader .DiagnosticCodec | Interface | org.checkerframework.framework.test.diagnostics | Checker | |
TestDiagnostic | Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker |
TestDiagnosticLine | Class | org.checkerframework.framework.test.diagnostics | Checker | |
TestDiagnosticUtils | Class | org.checkerframework.framework.test.diagnostics | Checker | |