Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for Swift
codeql/swift-all 4.3.0 (changelog, source)

Predicate modelCoverage

Holds if MaD framework coverage of namespace is n api endpoints of the kind (kind, part), and namespaces is the number of subnamespaces of namespace which have MaD framework coverage (including namespace itself).

Import path

import codeql.swift.dataflow.ExternalFlow
predicate modelCoverage(string namespace, int namespaces, string kind, string part, int n)