Search Java Classes and Packages
#Org.checkerframework.framework.test.diagnostics Classes and Interfaces - 6 results found.
| 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 | |