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
BooleanType
BottomType	This type means that the expression, e.g., a variable, is untyped (i.e., has no type).
ByteType
CharType
ClassType
DoubleType
FloatType
IntType
LongType
NullType
PrimitiveType
ReferenceType
ShortType
Type
TypeSystem	This class provides APIs for retrieving types in the analyzed program.
TypeSystemImpl
ValueType
VoidType