Uses of Class
pascal.taie.language.annotation.Annotation

Packages that use Annotation

Package	Description
pascal.taie.analysis.pta.plugin.util
pascal.taie.language.annotation	Provides representation of annotations in the program being analyzed.
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.

Uses of Annotation in pascal.taie.analysis.pta.plugin.util

Methods in pascal.taie.analysis.pta.plugin.util that return Annotation

Modifier and Type	Method	Description
static Annotation	CSObjs.toAnnotation(CSObj csObj)	Converts a CSObj of an Annotation to the Annotation.

Uses of Annotation in pascal.taie.language.annotation

Methods in pascal.taie.language.annotation that return Annotation

Modifier and Type	Method	Description
Annotation	AnnotationElement.annotation()	Returns the value of the annotation record component.
Annotation	Annotated.getAnnotation(String annotationType)
Annotation	AnnotationHolder.getAnnotation(String annotationType)

Methods in pascal.taie.language.annotation that return types with arguments of type Annotation

Modifier and Type	Method	Description
Collection<Annotation>	Annotated.getAnnotations()
Collection<Annotation>	AnnotationHolder.getAnnotations()

Method parameters in pascal.taie.language.annotation with type arguments of type Annotation

Modifier and Type	Method	Description
static AnnotationHolder	AnnotationHolder.make(Collection<Annotation> annotations)	Creates an annotation holder that contains the annotations in given collection.

Constructors in pascal.taie.language.annotation with parameters of type Annotation

Modifier	Constructor	Description
	AnnotationElement(Annotation annotation)	Creates an instance of a AnnotationElement record class.

Constructor parameters in pascal.taie.language.annotation with type arguments of type Annotation

Modifier	Constructor	Description
protected	AnnotationHolder(Collection<Annotation> annotations)

Uses of Annotation in pascal.taie.language.classes

Methods in pascal.taie.language.classes that return Annotation

Modifier and Type	Method	Description
Annotation	ClassMember.getAnnotation(String annotationType)
Annotation	JClass.getAnnotation(String annotationType)
Annotation	JMethod.getParamAnnotation(int i, String type)

Methods in pascal.taie.language.classes that return types with arguments of type Annotation

Modifier and Type	Method	Description
Collection<Annotation>	ClassMember.getAnnotations()
Collection<Annotation>	JClass.getAnnotations()
Collection<Annotation>	JMethod.getParamAnnotations(int i)