Package pascal.taie.language.generics

Interface TypeGSignature

All Superinterfaces:

Serializable

All Known Subinterfaces:

ReferenceTypeGSignature

All Known Implementing Classes:

ArrayTypeGSignature, BaseType, ClassTypeGSignature, TypeVariableGSignature, VoidDescriptor

public sealed interface TypeGSignature
extends Serializable
permits ReferenceTypeGSignature, BaseType, VoidDescriptor

In JVM Spec. 4.7.9.1 JavaTypeSignature, A Java type signature represents either a reference type or a primitive type of the Java programming language.
In our implementation, for convenience, VoidDescriptor is also a TypeGSignature.