Predicate signature UniversalFlowInput::isExcludedFromNullAnalysis
Holds if n
should be excluded from the set of null values even if
the null analysis determines that n
is always null.
signature predicate isExcludedFromNullAnalysis(FlowNode n)
Holds if n
should be excluded from the set of null values even if
the null analysis determines that n
is always null.
signature predicate isExcludedFromNullAnalysis(FlowNode n)