Package pascal.taie.language.type

Class TypeSystemImpl

java.lang.Object

pascal.taie.language.type.TypeSystemImpl

All Implemented Interfaces:

Serializable, TypeSystem

public class TypeSystemImpl
extends Object
implements TypeSystem

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TypeSystemImpl(ClassHierarchy hierarchy)

Method Summary

Modifier and Type	Method	Description
ArrayType	getArrayType(Type baseType, int dim)
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)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeSystemImpl

public TypeSystemImpl(ClassHierarchy hierarchy)

Method Details

getType

public Type getType(JClassLoader loader,
 String typeName)

Specified by:

getType in interface TypeSystem

getType

public Type getType(String typeName)

Specified by:

getType in interface TypeSystem

getClassType

public ClassType getClassType(JClassLoader loader,
 String className)

Specified by:

getClassType in interface TypeSystem

getClassType

public ClassType getClassType(String className)

Specified by:

getClassType in interface TypeSystem

getArrayType

public ArrayType getArrayType(Type baseType,
 int dim)

Specified by:

getArrayType in interface TypeSystem

getBoxedType

public ClassType getBoxedType(PrimitiveType type)

Specified by:

getBoxedType in interface TypeSystem

getUnboxedType

public PrimitiveType getUnboxedType(ClassType type)

Specified by:

getUnboxedType in interface TypeSystem

isSubtype

public boolean isSubtype(Type supertype,
 Type subtype)

Specified by:

isSubtype in interface TypeSystem