Predicate Cached::defUpdatesNamedField
Import path
import semmle.code.java.dataflow.internal.SsaImplpredicate defUpdatesNamedField(SsaImplicitWrite calldef, TrackedField f, Callable setter)import semmle.code.java.dataflow.internal.SsaImplpredicate defUpdatesNamedField(SsaImplicitWrite calldef, TrackedField f, Callable setter)