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.SsaImpl
predicate isQualifiedFieldOrPropAccess(FieldOrPropAccess fpa, InstanceFieldOrProp fp, Callable c, SourceVariable q)