Predicate Private::External::summaryElement
Holds if an external flow summary exists for c with input specification
input, output specification output, kind kind, and provenance provenance.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImplpredicate summaryElement(SummarizedCallableBase c, string input, string output, string kind, string provenance, string model, boolean isExact)