Uses of Interface
pascal.taie.language.generics.ReferenceTypeGSignature

Packages that use ReferenceTypeGSignature

Package	Description
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.generics	In this package, we offer a generics model for Java.

Uses of ReferenceTypeGSignature in pascal.taie.language.classes

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

Modifier and Type	Method	Description
ReferenceTypeGSignature	JField.getGSignature()

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

Modifier	Constructor	Description
	JField(JClass declaringClass, String name, Set<Modifier> modifiers, Type type, ReferenceTypeGSignature gSignature, AnnotationHolder annotationHolder)

Uses of ReferenceTypeGSignature in pascal.taie.language.generics

Classes in pascal.taie.language.generics that implement ReferenceTypeGSignature

Modifier and Type

Class

Description

final class

ArrayTypeGSignature

In JVM Spec.

final class

ClassTypeGSignature

In JVM Spec.

final class

TypeVariableGSignature

Methods in pascal.taie.language.generics that return ReferenceTypeGSignature

Modifier and Type	Method	Description
ReferenceTypeGSignature	TypeParameter.getClassBound()
ReferenceTypeGSignature	TypeArgument.getGSignature()

Methods in pascal.taie.language.generics that return types with arguments of type ReferenceTypeGSignature

Modifier and Type	Method	Description
List<ReferenceTypeGSignature>	TypeParameter.getInterfaceBounds()

Methods in pascal.taie.language.generics with parameters of type ReferenceTypeGSignature

Modifier and Type	Method	Description
static TypeArgument	TypeArgument.of(char symbol, ReferenceTypeGSignature gSig)