Package org.checkerframework.framework.ajava

Class AnnotationTransferVisitor

java.lang.Object
com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>
org.checkerframework.framework.ajava.AnnotationTransferVisitor
All Implemented Interfaces:
com.github.javaparser.ast.visitor.VoidVisitor<AnnotatedTypeMirror>
public class AnnotationTransferVisitor extends com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>
A visitor that adds all annotations from a AnnotatedTypeMirror to the corresponding JavaParser type, including nested types like array components.

The AnnotatedTypeMirror is passed as the secondary parameter to the visit methods.

  • Constructor Summary Link icon

    Constructors
    Constructor
    Description
    AnnotationTransferVisitor()
     

  • Method Summary Link icon

    Modifier and Type
    Method
    Description
    void
    visit(com.github.javaparser.ast.type.ArrayType target, AnnotatedTypeMirror type)
     
    void
    visit(com.github.javaparser.ast.type.ClassOrInterfaceType target, AnnotatedTypeMirror type)
     
    void
    visit(com.github.javaparser.ast.type.PrimitiveType target, AnnotatedTypeMirror type)
     
    void
    visit(com.github.javaparser.ast.type.TypeParameter target, AnnotatedTypeMirror type)
     

    Methods inherited from class com.github.javaparser.ast.visitor.VoidVisitorAdapter Link icon

    visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

    Methods inherited from class java.lang.Object Link icon

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

  • Constructor Details Link icon

    • AnnotationTransferVisitor Link icon

      public AnnotationTransferVisitor()

  • Method Details Link icon

    • visit Link icon

      public void visit(com.github.javaparser.ast.type.ArrayType target, AnnotatedTypeMirror type)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.VoidVisitor<AnnotatedTypeMirror>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>

    • visit Link icon

      public void visit(com.github.javaparser.ast.type.ClassOrInterfaceType target, AnnotatedTypeMirror type)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.VoidVisitor<AnnotatedTypeMirror>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>

    • visit Link icon

      public void visit(com.github.javaparser.ast.type.PrimitiveType target, AnnotatedTypeMirror type)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.VoidVisitor<AnnotatedTypeMirror>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>

    • visit Link icon

      public void visit(com.github.javaparser.ast.type.TypeParameter target, AnnotatedTypeMirror type)
      Specified by:
      visit in interface com.github.javaparser.ast.visitor.VoidVisitor<AnnotatedTypeMirror>
      Overrides:
      visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<AnnotatedTypeMirror>