Package pascal.taie.language.type

Interface TypeSystem

All Superinterfaces:

Serializable

All Known Implementing Classes:

TypeSystemImpl

public interface TypeSystem
extends Serializable

This class provides APIs for retrieving types in the analyzed program. For convenience, null type, void type and single primitive type can be directly retrieved from their own classes.

Method Summary

Modifier and Type	Method	Description
ArrayType	getArrayType(Type baseType, int dimensions)
ClassType	getBoxedType(PrimitiveType type)
ClassType	getClassType(String className)
ClassType	getClassType(JClassLoader loader, String className)
PrimitiveType	getPrimitiveType(String typeName)
Type	getType(String typeName)
Type	getType(JClassLoader loader, String typeName)
PrimitiveType	getUnboxedType(ClassType type)
boolean	isPrimitiveType(String typeName)
boolean	isSubtype(Type supertype, Type subtype)

Method Details

getType

Type getType(JClassLoader loader,
 String typeName)

getType

Type getType(String typeName)

getClassType

ClassType getClassType(JClassLoader loader,
 String className)

getClassType

ClassType getClassType(String className)

getArrayType

ArrayType getArrayType(Type baseType,
 int dimensions)

getPrimitiveType

PrimitiveType getPrimitiveType(String typeName)

getBoxedType

ClassType getBoxedType(PrimitiveType type)

getUnboxedType

PrimitiveType getUnboxedType(ClassType type)

isSubtype

boolean isSubtype(Type supertype,
 Type subtype)

isPrimitiveType

boolean isPrimitiveType(String typeName)