Class FluentAPIGenerator


  • public class FluentAPIGenerator
    extends java.lang.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 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