Module org.checkerframework.checker.qual

Package org.checkerframework.common.returnsreceiver.qual

Annotation Interface UnknownThis

@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
@DefaultQualifierInHierarchy
@QualifierForLiterals(NULL)
@DefaultFor(LOWER_BOUND)
@InvisibleQualifier
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.