Package pascal.taie.language.generics

Class ClassTypeGSignature

java.lang.Object

pascal.taie.language.generics.ClassTypeGSignature

All Implemented Interfaces:

Serializable, ReferenceTypeGSignature, TypeGSignature

public final class ClassTypeGSignature
extends Object
implements ReferenceTypeGSignature

In JVM Spec. 4.7.9.1 ClassTypeSignature, a class type signature represents a (possibly parameterized) class or interface type. For example, the bytecode signature and the corresponding Java generic are:

• Ljava/lang/String; and String
• Ljava/util/HashMap<TK;TV;>; and java.util.HashMap<K, V>
• Lorg/example/Generic<TT1;>.Inner1<TT2;>.Inner2<TT3;>; and org.example.Generic<T1>.Inner1<T2>.Inner2<T3>

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ClassTypeGSignature.SimpleClassTypeGSignature

Field Summary

Fields

Modifier and Type	Field	Description
static final String	JAVA_LANG
static final ClassTypeGSignature	JAVA_LANG_OBJECT
static final String	OBJECT

Method Summary

Modifier and Type	Method	Description
String	getPackageName()
List<ClassTypeGSignature.SimpleClassTypeGSignature>	getSignatures()
boolean	isJavaLangObject()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

JAVA_LANG

public static final String JAVA_LANG

See Also:

• Constant Field Values

OBJECT

public static final String OBJECT

See Also:

• Constant Field Values

JAVA_LANG_OBJECT

public static final ClassTypeGSignature JAVA_LANG_OBJECT

Method Details

getPackageName

@Nullable
public String getPackageName()

getSignatures

public List<ClassTypeGSignature.SimpleClassTypeGSignature> getSignatures()

toString

public String toString()

Overrides:

toString in class Object

isJavaLangObject

public boolean isJavaLangObject()

Specified by:

isJavaLangObject in interface ReferenceTypeGSignature