org.checkerframework.common.returnsreceiver.qual

Annotation Type UnknownThis

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @DefaultQualifierInHierarchy
 @SubtypeOf(value={})
 @QualifierForLiterals(value=NULL)
 @DefaultFor(value=LOWER_BOUND)
public @interface UnknownThis

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.

See the Checker Framework Manual:

Returns Receiver Checker