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