Package org.checkerframework.framework.ajava

Class AnnotationMirrorToAnnotationExprConversion

java.lang.Object
org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
public class AnnotationMirrorToAnnotationExprConversion extends Object
Methods for converting a AnnotationMirror into a JavaParser AnnotationExpr, namely annotationMirrorToAnnotationExpr.

  • Constructor Details

    • AnnotationMirrorToAnnotationExprConversion

      public AnnotationMirrorToAnnotationExprConversion()

  • Method Details

    • annotationMirrorToAnnotationExpr

      public static com.github.javaparser.ast.expr.AnnotationExpr annotationMirrorToAnnotationExpr(AnnotationMirror annotation)
      Converts an AnnotationMirror into a JavaParser AnnotationExpr.
      Parameters:
      annotation - the annotation to convert
      Returns:
      a JavaParser AnnotationExpr representing the same annotation with the same element values. The converted annotation will contain the annotation's fully qualified name.

    • annotationMirrorSetToAnnotationExprList

      public static com.github.javaparser.ast.NodeList<com.github.javaparser.ast.expr.AnnotationExpr> annotationMirrorSetToAnnotationExprList(AnnotationMirrorSet annotationMirrors)
      Converts a Set of AnnotationMirror into List of JavaParser AnnotationExpr.
      Parameters:
      annotationMirrors - the annotations to convert
      Returns:
      a list of JavaParser AnnotationExprs representing the same annotations
      See Also: