Skip navigation links

Package org.checkerframework.framework.source

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

See: Description

Package org.checkerframework.framework.source Description

Contains the essential functionality for interfacing a compile-time (source) type-checker 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 org.checkerframework.common.basetype package provide subtype checking functionality.

See Also:
org.checkerframework.common.basetype
See the Checker Framework Manual:
Writing a Checker
Skip navigation links