C#: Add qlDoc to the restrict predicate.

This commit is contained in:
Michael Nebel
2022-06-15 10:45:32 +02:00
parent d288b3d35d
commit e3ecc5a66b

View File

@@ -132,6 +132,10 @@ module Results<relevantUsagesSig/2 getRelevantUsages> {
)
}
/**
* Holds if `api` is being used `usages` times and if it is
* in the top results (guarded by resultLimit).
*/
predicate restrict(ExternalApi api, int usages) {
getRelevantUsages(api, usages) and getOrder(api) <= resultLimit()
}