org.checkerframework.checker.interning.qual

Annotation Type FindDistinct

@Documented
 @Retention(value=RUNTIME)
 @Target(value=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 is treated as @InternedDistinct: it 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:

InterningChecker

See the Checker Framework Manual:

Interning Checker