Package org.checkerframework.framework.test.diagnostics
package org.checkerframework.framework.test.diagnostics
-
ClassDescriptionRepresents a detailed error/warning message reported by the Checker Framework when the
-Adetailedmsgtext
flag is used.The kinds of errors that can be encountered during typechecking.This class reads expected javac diagnostics from a single file.Represents an expected error/warning message in a Java test file or an error/warning reported by the Java compiler.Represents a list of TestDiagnostics, which was read from a one line of a file.A set of utilities and factory methods useful for working with TestDiagnostics.