Annotation Type FindDistinct
-
@Documented @Retention(RUNTIME) @Target(PARAMETER) public @interface FindDistinct
This formal parameter annotation indicates that the method searches for the given value, using reference equality (==).Within the method, the formal parameter should be compared with
==rather than withequals(). However, any value may be passed to the method, and the Interning Checker does not verify that use of==within the method is logically correct.- See Also:
org.checkerframework.checker.interning.InterningChecker