Uses of Annotation Interface
pascal.taie.util.Experimental

Packages that use Experimental

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.

Packages with annotations of type Experimental

Package	Description
pascal.taie.language.generics	In this package, we offer a generics model for Java.

Uses of Experimental in pascal.taie.language.classes

Methods in pascal.taie.language.classes with annotations of type Experimental

Modifier and Type	Method	Description
ClassGSignature	JClass.getGSignature()
ReferenceTypeGSignature	JField.getGSignature()
MethodGSignature	JMethod.getGSignature()

Uses of Experimental in pascal.taie.language.generics

Methods in pascal.taie.language.generics with annotations of type Experimental

Modifier and Type	Method	Description
TypeGSignature	ArrayTypeGSignature.getBaseTypeGSignature()
ReferenceTypeGSignature	TypeParameter.getClassBound()
ReferenceTypeGSignature	TypeArgument.getGSignature()
List<ReferenceTypeGSignature>	TypeParameter.getInterfaceBounds()
TypeArgument.Kind	TypeArgument.getKind()
List<TypeGSignature>	MethodGSignature.getParameterSigs()
TypeGSignature	MethodGSignature.getResultSignature()
ClassTypeGSignature	ClassGSignature.getSuperClass()
List<ClassTypeGSignature>	ClassGSignature.getSuperInterfaces()
List<TypeGSignature>	MethodGSignature.getThrowsSigs()
String	TypeParameter.getTypeName()
String	TypeVariableGSignature.getTypeName()
List<TypeParameter>	ClassGSignature.getTypeParams()
List<TypeParameter>	MethodGSignature.getTypeParams()
static ClassGSignature	GSignatures.toClassSig(boolean isInterface, String sig)
static MethodGSignature	GSignatures.toMethodSig(String sig)
static <T extends TypeGSignature> T	GSignatures.toTypeSig(String sig)