Package sootup.interceptors.typeresolving.types

package sootup.interceptors.typeresolving.types

Related Packages

Package	Description
sootup.interceptors.typeresolving

Classes

Class	Description
AugmentIntegerTypes
AugmentIntegerTypes.Integer127Type	This type is intermediate type and used for determining the ancestor of an integer type
AugmentIntegerTypes.Integer1Type	This type is intermediate type and used for determining the ancestor of an integer type.
AugmentIntegerTypes.Integer32767Type	This type is intermediate type and used for determining the ancestor of an integer type
BottomType	This type is an imaginary/intermediate type which is used to calculate Type Inference
TopType	The top type is a superclass of all other types.
WeakObjectType	This type is used for Type Inference.