Predicate Private::Steps::summaryExpectsContent
Holds if the value that is being tracked is expected to be stored inside
content c
at n
.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate summaryExpectsContent(Node n, ContentSet c)