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

    Constructors
    Constructor
    Description
    AnnotationTransferVisitor()
     

  • Method Summary

    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

    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

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

  • Constructor Details

    • AnnotationTransferVisitor

      public AnnotationTransferVisitor()

  • Method Details

    • visit

      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

      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

      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

      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>