Predicate experimentalSummaryModel

Holds if an experimental summary model exists for the given parameters. This is only for experimental queries.

Import path

import semmle.code.java.dataflow.internal.ExternalFlowExtensions

predicate experimentalSummaryModel(string package, string type, boolean subtypes, string name, string signature, string ext, string input, string output, string kind, string provenance, string filter, ExtensionId madId)