Class ReturnsReceiverVisitor

    • Constructor Detail

      • ReturnsReceiverVisitor

        public ReturnsReceiverVisitor​(BaseTypeChecker checker)
        Create a new ReturnsReceiverVisitor.
        Parameters:
        checker - the type-checker associated with this visitor
    • Method Detail

      • visitAnnotation

        public java.lang.Void visitAnnotation​(com.sun.source.tree.AnnotationTree tree,
                                              java.lang.Void p)
        Description copied from class: BaseTypeVisitor
        Ensure that the annotation arguments comply to their declarations. This needs some special casing, as annotation arguments form special trees.
        Specified by:
        visitAnnotation in interface com.sun.source.tree.TreeVisitor<java.lang.Void,​java.lang.Void>
        Overrides:
        visitAnnotation in class BaseTypeVisitor<ReturnsReceiverAnnotatedTypeFactory>