Package org.checkerframework.common.returnsreceiver
-
Class Summary Class Description FluentAPIGenerator A utility class to support fluent API generators so the checker can add@This
annotations on method return types when a generator has been used.ReturnsReceiverAnnotatedTypeFactory The type factory for the Returns Receiver Checker.ReturnsReceiverChecker Entry point for the Returns Receiver Checker.ReturnsReceiverVisitor The visitor for the Returns Receiver Checker.