Predicate PointsTo::PointsTo::API::package_attribute_points_to

INTERNAL – Do not use.

Holds if package.name points to (value, cls, origin), where package is a package object.

predicate package_attribute_points_to(PackageObject package, string name, Object value, ClassObject cls, CfgOrigin origin)