package-info.java

/**
 * 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.
 *
 * @checker.framework.manual #writing-a-checker How to write a checker plugin
 */
package checkers.types;