@@ -83,7 +83,6 @@ private import internal.FlowSummaryImpl::Private::External
83
83
private import internal.FlowSummaryImpl:: Public
84
84
private import codeql.mad.ModelValidation as SharedModelVal
85
85
86
- /** Holds if `package` have MaD framework coverage. */
87
86
private predicate relevantPackage ( string package ) {
88
87
sourceModel ( package , _, _, _, _, _, _, _, _, _) or
89
88
sinkModel ( package , _, _, _, _, _, _, _, _, _) or
@@ -96,28 +95,18 @@ private predicate packageLink(string shortpkg, string longpkg) {
96
95
longpkg .prefix ( longpkg .indexOf ( "." ) ) = shortpkg
97
96
}
98
97
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
- */
103
98
private predicate canonicalPackage ( string package ) {
104
99
relevantPackage ( package ) and not packageLink ( _, package )
105
100
}
106
101
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
- */
112
102
private predicate canonicalPackageHasASubpackage ( string package , string subpkg ) {
113
103
canonicalPackage ( package ) and
114
104
( subpkg = package or packageLink ( package , subpkg ) )
115
105
}
116
106
117
107
/**
118
108
* 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)`.
121
110
*/
122
111
predicate modelCoverage ( string package , int pkgs , string kind , string part , int n ) {
123
112
pkgs = strictcount ( string subpkg | canonicalPackageHasASubpackage ( package , subpkg ) ) and
0 commit comments