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 and Description
AnnotationTransferVisitor()

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotationTransferVisitor

public AnnotationTransferVisitor()

Method Detail

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>