JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Summary:
Field
Required
Optional
Detail:
Field
Element
Summary:
Field |
Required |
Optional
Detail:
Field |
Element
SEARCH
Package
org.checkerframework.checker.interning.qual
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