Class AnnotationHolder

java.lang.Object
pascal.taie.language.annotation.AnnotationHolder
All Implemented Interfaces:
Serializable

public class AnnotationHolder extends Object implements Serializable
Container of annotations. This class makes it easy for a class to implement Annotated.
See Also:
  • Constructor Details

  • Method Details

    • hasAnnotation

      public boolean hasAnnotation(String annotationType)
    • getAnnotation

      @Nullable public Annotation getAnnotation(String annotationType)
    • getAnnotations

      public Collection<Annotation> getAnnotations()
    • make

      public static AnnotationHolder make(Collection<Annotation> annotations)
      Creates an annotation holder that contains the annotations in given collection.
    • emptyHolder

      public static AnnotationHolder emptyHolder()
      Returns:
      an annotation holder that contains no annotations.