Member predicate ClassObject::attributeRefersTo
Whether the named attribute refers to the object, class and origin
predicate attributeRefersTo(string name, Object obj, ClassObject cls, ControlFlowNode origin)
Whether the named attribute refers to the object, class and origin
predicate attributeRefersTo(string name, Object obj, ClassObject cls, ControlFlowNode origin)