Annotation Type 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