Member predicate DecoratedFunction::attribute
Holds if the result of getting the attribute name
is value
and that value
comes
from origin
. Note this is not the same as class lookup. For example
for an object x
the attribute name
(x.name
) may refer to a bound-method, an attribute of the
instance, or an attribute of the class.
predicate attribute(string name, ObjectInternal value, CfgOrigin origin)