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 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