Package org.checkerframework.checker.interning.qual

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:

• InterningChecker

See the Checker Framework Manual:

Interning Checker