Member predicate Public::ReadNode::readsMethod

Holds if this data-flow node looks up method package.type.name on the value of receiver or its implicit dereference.

For example, for the method read x.name, receiver is either the data-flow node corresponding to x or (if x is a pointer) the data-flow node corresponding to the implicit dereference *x, and package.type is a type of x that defines a method named name.