Predicate PointsTo::PointsTo::Types::get_a_super_type

INTERNAL – Use ClassObject.getASuperType() instead.

ClassObject get_a_super_type(ClassObject cls)