Member predicate Public::ReadNode::readsField

Holds if this data-flow node reads the value of field package.type.field 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 x has the type package.type.