Package org.checkerframework.common.returnsreceiver.qual

Annotation Types Summary

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