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
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,P>	An AST visitor that provides a variety of compiler utilities and interfaces to facilitate typechecking.

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

checker.framework.manual

#writing-a-checker Writing a Checker