Predicate ModelsAsData::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.mad.static.ModelsAsData

predicate modelCoverage(string namespace, int namespaces, string kind, string part, int n)