Top Description Methods
org.checkerframework.checker.interning.qual

public @Interface FindDistinct

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:PARAMETER
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target

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
org.checkerframework.checker.interning.InterningChecker

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString