Package pascal.taie.language.type

package pascal.taie.language.type

Provides model of Java type system.

See Also:

• (interface for all types)
• TypeSystem

Class	Description
ArrayType
BottomType	This type means that the expression, e.g., a variable, is untyped (i.e., has no type).
ClassType
NullType
PrimitiveType
ReferenceType
Type
TypeSystem	This class provides APIs for retrieving types in the analyzed program.
TypeSystemImpl
VoidType