Package checkers.source

Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler.

See: Description

Class Summary

Class	Description
AbstractTypeProcessor	This class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors that require the type information in the processed source.
AggregateChecker	An aggregate checker that packages multiple checkers together.
Result	Represents the outcome of a typechecking operation (success, warning, or failure, plus a list of explanatory messages).
Result.DiagMessage	A class that represents the diangosis messages.
SourceChecker	An abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in.
SourceVisitor<R extends @NonNull Object,P extends @NonNull Object>	An AST visitor that provides a variety of compiler utilities and interfaces to facilitate typechecking.

Exception Summary

Exception	Description
SourceChecker.CheckerError	Exception type used only internally to abort processing.

Annotation Types Summary

Annotation Type	Description
SupportedLintOptions	An annotation used to indicate what lint options a checker supports.
SuppressWarningsKey	Specifies the argument that this checker recognizes for suppressing warnings via the SuppressWarnings annotation.

Package checkers.source Description

Contains the essential functionality for interfacing a compile-time (source) typechecker plug-in to the Java compiler. This allows a checker to use the compiler's error reporting mechanism and to access abstract syntax trees and compiler utility classes.

Most classes won't want to extend the classes in this package directly; the classes in the checkers.basetype package provide subtype checking functionality.

See Also:

checkers.basetype

See the Checker Framework manual:

Writing a Checker