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