Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.framework.test.diagnostics Classes and Interfaces - 6 results found.
NameDescriptionTypePackageFramework
DiagnosticKindIndicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant SummaryClassorg.checkerframework.framework.test.diagnosticsChecker
JavaDiagnosticReaderReads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics.Classorg.checkerframework.framework.test.diagnosticsChecker
JavaDiagnosticReader .DiagnosticCodecInterfaceorg.checkerframework.framework.test.diagnosticsChecker
TestDiagnosticRepresents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsChecker
TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsChecker
TestDiagnosticUtilsClassorg.checkerframework.framework.test.diagnosticsChecker