Package org.checkerframework.common.returnsreceiver.qual

package org.checkerframework.common.returnsreceiver.qual
  • Annotation Interfaces
    Class
    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.