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

Packages that use AnnotationHolder

Package	Description
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 AnnotationHolder in pascal.taie.language.annotation

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

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

Uses of AnnotationHolder in pascal.taie.language.classes

Fields in pascal.taie.language.classes declared as AnnotationHolder

Modifier and Type	Field	Description
protected final AnnotationHolder	ClassMember.annotationHolder

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

Modifier and Type	Method	Description
AnnotationHolder	JClassBuilder.getAnnotationHolder()

Constructors in pascal.taie.language.classes with parameters of type AnnotationHolder

Modifier	Constructor	Description
protected	ClassMember(JClass declaringClass, String name, Set<Modifier> modifiers, AnnotationHolder annotationHolder)
	JField(JClass declaringClass, String name, Set<Modifier> modifiers, Type type, ReferenceTypeGSignature gSignature, AnnotationHolder annotationHolder)
	JMethod(JClass declaringClass, String name, Set<Modifier> modifiers, List<Type> paramTypes, Type returnType, List<ClassType> exceptions, MethodGSignature gSignature, AnnotationHolder annotationHolder, List<AnnotationHolder> paramAnnotations, List<String> paramNames, Object methodSource)