[default module]

Package org.checkerframework.checker.builder.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	CalledMethods A deprecated variant of `org.checkerframework.checker.calledmethods.qual.CalledMethods`.
public @interface	NotCalledMethods An annotation speculatively used by Lombok's lombok.config checkerframework = true option.
public @interface	ReturnsReceiver A deprecated variant of `org.checkerframework.common.returnsreceiver.qual.This`.