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.