Annotation Interface 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 with equals(). 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:
See the Checker Framework Manual:
Interning Checker