Uses of Interface
pascal.taie.language.annotation.Element

Packages that use Element

Package	Description
pascal.taie.language.annotation	Provides representation of annotations in the program being analyzed.

Uses of Element in pascal.taie.language.annotation

Classes in pascal.taie.language.annotation that implement Element

Modifier and Type	Class	Description
final record	AnnotationElement
final record	ArrayElement
final record	BooleanElement
final record	ClassElement	Represents class constant elements.
final record	DoubleElement
final record	EnumElement
final record	FloatElement
final record	IntElement
final record	LongElement
final record	StringElement

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

Modifier and Type	Method	Description
Element	Annotation.Entry.element()	Returns the value of the element record component.
Element	Annotation.getElement(String name)

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

Modifier and Type	Method	Description
List<Element>	ArrayElement.elements()	Returns the value of the elements record component.

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

Modifier	Constructor	Description
	Entry(String name, Element element)	Creates an instance of a Entry record class.

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

Modifier	Constructor	Description
	Annotation(String annotationType, Map<String,Element> elements)
	ArrayElement(List<Element> elements)	Creates an instance of a ArrayElement record class.