Package pascal.taie.language.generics

Class ArrayTypeGSignature

java.lang.Object

pascal.taie.language.generics.ArrayTypeGSignature

All Implemented Interfaces:

Serializable, ReferenceTypeGSignature, TypeGSignature

public final class ArrayTypeGSignature
extends Object
implements ReferenceTypeGSignature

In JVM Spec. 4.7.9.1 ArrayTypeSignature, an array type signature represents one dimension of an array type. For example, the bytecode signature and the corresponding Java generic are:

• [[B and byte[][]
• [[Ljava/lang/String; and String[][]
• [[Ljava/util/HashMap<TK;TV;>; and java.util.HashMap<K, V>[][]

In our implementation, we use ArrayTypeGSignature to represent an n-dimensions(dimensions) array for a specific type(baseTypeGSig).

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
TypeGSignature	getBaseTypeGSignature()
int	getDimensions()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.language.generics.ReferenceTypeGSignature

isJavaLangObject

Method Details

getDimensions

public int getDimensions()

getBaseTypeGSignature

@Experimental
public TypeGSignature getBaseTypeGSignature()

toString

public String toString()

Overrides:

toString in class Object