| /** | |
| * 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 #creating-a-checker How to write a checker plugin | |
| */ | |
| package org.checkerframework.framework.type; |