Package pascal.taie.language.classes

Class StringReps

java.lang.Object

pascal.taie.language.classes.StringReps

public final class StringReps
extends Object

Utility class for compute string representations of various program elements, such as class name, method descriptor, method signature, etc.

• Method
  • Signature: <CLASS_NAME: RETURN_TYPE METHOD_NAME(PARAM_LIST)>
  • Subsignature: RETURN_TYPE METHOD_NAME(PARAM_LIST)
• Field
  • Signature: <CLASS_NAME: FIELD_TYPE FIELD_NAME>

Method Summary

Modifier and Type	Method	Description
static String	getBaseTypeNameOf(String arrayTypeName)	Given an array type name, returns the type name of base type of the array.
static String	getClassNameOf(String signature)
static String	getDescriptorOf(MethodRef methodRef)
static String	getDescriptorOf(JMethod method)
static String	getFieldNameOf(String fieldSig)
static String	getFieldSignature(JClass declaringClass, String fieldName, Type fieldType)
static String	getFieldTypeOf(String fieldSig)
static String	getMethodSignature(JClass declaringClass, String methodName, List<Type> parameterTypes, Type returnType)
static String	getSignatureOf(JField field)
static String	getSignatureOf(JMethod method)
static String	getSubsignatureOf(String methodSig)
static String	getSubsignatureOf(MethodRef methodRef)
static String	getSubsignatureOf(JMethod method)
static boolean	isArrayType(String typeName)
static boolean	isJavaClassName(String className)
static boolean	isJavaIdentifier(String name)
static String	toDescriptor(List<Type> parameterTypes, Type returnType)
static String	toSubsignature(String name, List<Type> parameterTypes, Type returnType)
static String	toTaieTypeDesc(String desc)	Converts type descriptor in bytecode to Tai-e's type descriptor.

Methods inherited from class java.lang.Object

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

Method Details

getClassNameOf

public static String getClassNameOf(String signature)

getSignatureOf

public static String getSignatureOf(JMethod method)

getMethodSignature

public static String getMethodSignature(JClass declaringClass,
 String methodName,
 List<Type> parameterTypes,
 Type returnType)

getSignatureOf

public static String getSignatureOf(JField field)

getFieldSignature

public static String getFieldSignature(JClass declaringClass,
 String fieldName,
 Type fieldType)

getFieldNameOf

public static String getFieldNameOf(String fieldSig)

getFieldTypeOf

public static String getFieldTypeOf(String fieldSig)

getSubsignatureOf

public static String getSubsignatureOf(JMethod method)

getSubsignatureOf

public static String getSubsignatureOf(MethodRef methodRef)

getSubsignatureOf

public static String getSubsignatureOf(String methodSig)

getDescriptorOf

public static String getDescriptorOf(JMethod method)

getDescriptorOf

public static String getDescriptorOf(MethodRef methodRef)

toDescriptor

public static String toDescriptor(List<Type> parameterTypes,
 Type returnType)

toSubsignature

public static String toSubsignature(String name,
 List<Type> parameterTypes,
 Type returnType)

isArrayType

public static boolean isArrayType(String typeName)

Returns:

true if typeName represents array type.

getBaseTypeNameOf

public static String getBaseTypeNameOf(String arrayTypeName)

Given an array type name, returns the type name of base type of the array.

toTaieTypeDesc

public static String toTaieTypeDesc(String desc)

Converts type descriptor in bytecode to Tai-e's type descriptor. For example:

• [I to int[].
• [[I to int[][].
• Ljava/lang/Object; to java.lang.Object.
• [Ljava/lang/Object; to java.lang.Object[].

isJavaIdentifier

public static boolean isJavaIdentifier(@Nullable
 String name)

Returns:

true if the given string is a valid Java identifier.

isJavaClassName

public static boolean isJavaClassName(@Nullable
 String className)

Returns:

true if the given string is a valid fully-qualified name of a Java class.