Member predicate Public::ReadNode::readsField

Holds if this data-flow node reads the value of field f on the value of base or its implicit dereference.

For example, for the field read x.width, base 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 f is the field referenced by width.