Predicate SourceVariableImpl::isQualifiedFieldOrPropAccess
Holds if fpa is an access inside callable c of instance field or property
fp with qualifier q.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate isQualifiedFieldOrPropAccess(FieldOrPropAccess fpa, InstanceFieldOrProp fp, Callable c, SourceVariable q)