Predicate PointsTo::PointsTo::Types::class_base_type

INTERNAL – Use ClassObject.getBaseType(n) instead.

Gets the nth base class of the class.

Object class_base_type(ClassObject cls, int n)