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

public @Interface InternedDistinct

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:Interned
@DefaultFor:LOWER_BOUND
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .SubtypeOf, .TypeUseLocation

Indicates that no other value is equals() to the given value. Therefore, it is correct to use == to test an InternedDistinct value for equality against any other value.

This is a stronger property than Interned, but a weaker property than every value of a Java type being interned.

This annotation is trusted, not verified.

See Also
org.checkerframework.checker.interning.InterningChecker

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString