Predicate PointsTo::PointsTo::Types::concrete_class

INTERNAL – Use not cls.isAbstract() instead.

predicate concrete_class(ClassObject cls)