Skip navigation links

Package org.checkerframework.framework.type

Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type).

See: Description

Package org.checkerframework.framework.type Description

Contains a way of representing the type of a program element that considers the type qualifiers on that element (and ignores its Java type). The package additionally provides utilities for obtaining and manipulating this type representation.
See the Checker Framework Manual:
How to write a checker plugin
Skip navigation links