@@ -83,7 +83,6 @@ private import internal.FlowSummaryImpl::Private::External
8383private import internal.FlowSummaryImpl:: Public
8484private import codeql.mad.ModelValidation as SharedModelVal
8585
86- /** Holds if `package` have MaD framework coverage. */
8786private predicate relevantPackage ( string package ) {
8887 sourceModel ( package , _, _, _, _, _, _, _, _, _) or
8988 sinkModel ( package , _, _, _, _, _, _, _, _, _) or
@@ -96,28 +95,18 @@ private predicate packageLink(string shortpkg, string longpkg) {
9695 longpkg .prefix ( longpkg .indexOf ( "." ) ) = shortpkg
9796}
9897
99- /**
100- * Holds if `package` has MaD framework coverage and it is not a subpackage of
101- * any other package with MaD framework coverage.
102- */
10398private predicate canonicalPackage ( string package ) {
10499 relevantPackage ( package ) and not packageLink ( _, package )
105100}
106101
107- /**
108- * Holds if `package` and `subpkg` have MaD framework coverage, `subpkg` is a
109- * subpackage of `package` (or they are the same), and `package` is not a
110- * subpackage of any other package with MaD framework coverage.
111- */
112102private predicate canonicalPackageHasASubpackage ( string package , string subpkg ) {
113103 canonicalPackage ( package ) and
114104 ( subpkg = package or packageLink ( package , subpkg ) )
115105}
116106
117107/**
118108 * Holds if MaD framework coverage of `package` is `n` api endpoints of the
119- * kind `(kind, part)`, and `pkgs` is the number of subpackages of `package`
120- * which have MaD framework coverage (including `package` itself).
109+ * kind `(kind, part)`.
121110 */
122111predicate modelCoverage ( string package , int pkgs , string kind , string part , int n ) {
123112 pkgs = strictcount ( string subpkg | canonicalPackageHasASubpackage ( package , subpkg ) ) and
0 commit comments