Package org.checkerframework.checker.builder.qual

package org.checkerframework.checker.builder.qual
  • Annotation Interfaces
    Class
    Description
    CalledMethods
    A deprecated variant of CalledMethods.
    NotCalledMethods
    An annotation speculatively used by Lombok's lombok.config checkerframework = true option.
    ReturnsReceiver
    A deprecated variant of org.checkerframework.common.returnsreceiver.qual.This.