Predicate sourceModel

Holds if a source model exists for the given parameters.

Import path

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

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