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 and Description
FluentAPIGenerator()

Method Summary

Modifier and Type	Method and 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 Detail

FluentAPIGenerator

public FluentAPIGenerator()

Method Detail

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