Package org.checkerframework.common.returnsreceiver

package org.checkerframework.common.returnsreceiver

Related Packages

Package	Description
org.checkerframework.common.returnsreceiver.qual

Classes

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.