Package org.checkerframework.checker.builder.qual
-
Annotation Types Summary Annotation Type Description CalledMethods A deprecated variant ofCalledMethods
.NotCalledMethods An annotation speculatively used by Lombok's lombok.config checkerframework = true option.ReturnsReceiver A deprecated variant oforg.checkerframework.common.returnsreceiver.qual.This
.