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, the special predefined types, i.e., primitive types, null type, and void 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)
Type	getType(String typeName)
Type	getType(JClassLoader loader, String typeName)
PrimitiveType	getUnboxedType(ClassType type)
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)

getBoxedType

ClassType getBoxedType(PrimitiveType type)

getUnboxedType

PrimitiveType getUnboxedType(ClassType type)

isSubtype

boolean isSubtype(Type supertype,
 Type subtype)