C#: Update comment on the isSupported predicate.

This commit is contained in:
Michael Nebel
2023-02-22 09:05:28 +01:00
parent 86888b894a
commit 47c69d924b
2 changed files with 8 additions and 2 deletions

View File

@@ -96,7 +96,10 @@ class ExternalApi extends Callable {
pragma[nomagic]
predicate isNeutral() { this = any(FlowSummaryImpl::Public::NeutralCallable nsc).asCallable() }
/** Holds if this API is supported by existing CodeQL libraries, that is, it is either a recognized source or sink or has a flow summary. */
/**
* Holds if this API is supported by existing CodeQL libraries, that is, it is either a
* recognized source, sink or neutral or it has a flow summary.
*/
predicate isSupported() {
this.hasSummary() or this.isSource() or this.isSink() or this.isNeutral()
}