[default module]

Package org.checkerframework.common.returnsreceiver.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	BottomThis The bottom type for the Returns Receiver Checker's type system.
public @interface	This Write `@This` on the return type of a method that always returns its receiver (`this`).
public @interface	UnknownThis The top type for the Returns Receiver Checker's type system.