/** | |
* Provides a type-checker plug-in for the {@link | |
* org.checkerframework.checker.interning.qual.Interned} qualifier that finds (and verifies the | |
* absence of) equality-testing and interning errors. | |
* | |
* @see org.checkerframework.checker.interning.InterningChecker | |
* @checker_framework.manual #interning-checker Interning Checker | |
*/ | |
package org.checkerframework.checker.interning; |