Package org.checkerframework.common.returnsreceiver

Class FluentAPIGenerator

java.lang.Object

org.checkerframework.common.returnsreceiver.FluentAPIGenerator

public class FluentAPIGenerator
extends Object

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. To check whether a method is created by any of the generators and returns this, simply call the check(org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType) on the annotated type of the method signature.

Constructor Summary

Constructors

Constructor	Description
FluentAPIGenerator()

Method Summary

Modifier and Type	Method	Description
static boolean	check(AnnotatedTypeMirror.AnnotatedExecutableType t)	Check if a method was generated by a known fluent API generator and returns its receiver.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FluentAPIGenerator

public FluentAPIGenerator()

Method Details

check

public static boolean check(AnnotatedTypeMirror.AnnotatedExecutableType t)

Check if a method was generated by a known fluent API generator and returns its receiver.

Parameters:

t - the annotated type of the method signature

Returns:

true if the method was created by a generator and returns this