Member predicate PropertyTypeInference::AnalyzedPropertyWrite::writes

Holds if this property write assigns source to property propName of one of the concrete objects represented by baseVal.

Note that not all property writes have an explicit source node; use predicate writesValue below to cover these cases.

predicate writes(AbstractValue baseVal, string propName, AnalyzedNode source)