| /** |
| * Contains the essential functionality for interfacing a compile-time (source) type-checker plug-in |
| * to the Java compiler. This allows a checker to use the compiler's error reporting mechanism and |
| * to access abstract syntax trees and compiler utility classes. |
| * |
| * <p>Most classes won't want to extend the classes in this package directly; the classes in the |
| * {@code org.checkerframework.common.basetype} package provide subtype checking functionality. |
| * |
| * @checker_framework.manual #creating-a-checker Writing a Checker |
| */ |
| package org.checkerframework.framework.source; |
