Member predicate Public::ReadNode::readsMethod

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

For example, for the method read x.area, 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 m is the method referenced by area.