package-info.java

/**
 * Provides a typechecker plug-in for the {@link checkers.nullness.quals.NonNull}
 * qualifier that finds (and verifies the absence of) null pointer errors.
 *
 * @see checkers.nullness.NullnessChecker
 * @checker.framework.manual #nullness-checker Nullness checker
 */
package checkers.nullness;