@Documented
@Target(value=METHOD)
@Retention(value=RUNTIME)
@InheritedAnnotation
public @interface InternMethod
Method declaration annotation used to indicate that this method may be invoked on an uninterned
object and that it returns an interned object.
- See the Checker Framework Manual:
- Interning Checker