Annotation Interface InternMethod

@Documented
@Target(METHOD)
@Retention(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