package-info.java

/**
 * Provides a typechecker plug-in for the Javari type system that finds (and
 * verifies the absence of) immutability errors.
 *
 * @see checkers.javari.quals.ReadOnly
 * @see checkers.javari.quals.Mutable
 * @see checkers.javari.quals.Assignable
 * @see checkers.javari.quals.PolyRead
 * @see checkers.javari.quals.QReadOnly
 * @see checkers.javari.JavariChecker
 *
 * @checker.framework.manual #javari-checker Javari Checker
 */
package checkers.javari;