Package org.checkerframework.framework.type

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). The package additionally provides utilities for obtaining and manipulating this type representation.
See the Checker Framework Manual:
How to write a checker plugin