/** | |
* Contains a simple type-checker plug-in that performs assignment and pseudo-assignment checks on | |
* annotated types. | |
* | |
* <p>Most type-checker implementations will want to use the classes in this package as the base of | |
* their own type-checkers. | |
* | |
* @checker_framework.manual #creating-a-checker Writing a checker | |
*/ | |
package org.checkerframework.common.basetype; |