org.checkerframework.common.returnsreceiver.qual
public @Interface UnknownThis
extends Annotation
- Annotations
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @SubtypeOf
- @DefaultQualifierInHierarchy
- @QualifierForLiterals:NULL
- @DefaultFor:LOWER_BOUND
- @InvisibleQualifier
- Imports
- java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .InvisibleQualifier, .LiteralKind, .QualifierForLiterals, .SubtypeOf, .TypeUseLocation
The top type for the Returns Receiver Checker's type system. Values of the annotated type might
be the receiver (this) or might not. Programmers should rarely write this type.
