Package org.checkerframework.framework.ajava

Class TypeAnnotationMover

java.lang.Object

com.github.javaparser.ast.visitor.VoidVisitorAdapter<Void>

org.checkerframework.framework.ajava.TypeAnnotationMover

All Implemented Interfaces:

com.github.javaparser.ast.visitor.VoidVisitor<Void>

public class TypeAnnotationMover
extends com.github.javaparser.ast.visitor.VoidVisitorAdapter<Void>

Moves annotations in a JavaParser AST from declaration position onto the types they correspond to.

When parsing a method or field such as @Tainted String myField, JavaParser puts all annotations on the declaration.

For each non-declaration annotation on a method or field declaration, this class moves it to the type position. A non-declaration annotation is one with a TYPE_USE target but no declaration target.

Constructor Summary

Constructors

Constructor	Description
TypeAnnotationMover(Map<String,TypeElement> allAnnotations, Elements elements)	Constructs a TypeAnnotationMover.

Method Summary

Modifier and Type	Method	Description
void	visit(com.github.javaparser.ast.body.FieldDeclaration node, Void p)
void	visit(com.github.javaparser.ast.body.MethodDeclaration node, Void p)

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, visit

Methods inherited from class java.lang.Object

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

Constructor Details

TypeAnnotationMover

public TypeAnnotationMover(Map<String,TypeElement> allAnnotations,
 Elements elements)

Constructs a TypeAnnotationMover.

Parameters:

allAnnotations - the annotations imported by the file, as a mapping from annotation name to TypeElement. There should be two entries for each annotation: the annotation's simple name and its fully-qualified name both mapped to its TypeElement.

elements - the Element utilities

Method Details

visit

public void visit(com.github.javaparser.ast.body.FieldDeclaration node,
 Void p)

Specified by:

visit in interface com.github.javaparser.ast.visitor.VoidVisitor<Void>

Overrides:

visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<Void>

visit

public void visit(com.github.javaparser.ast.body.MethodDeclaration node,
 Void p)

Specified by:

visit in interface com.github.javaparser.ast.visitor.VoidVisitor<Void>

Overrides:

visit in class com.github.javaparser.ast.visitor.VoidVisitorAdapter<Void>