Fix name of api filter predicate

This commit is contained in:
Benjamin Muskalla
2021-09-07 14:28:58 +02:00
parent 22df141761
commit f7ad894495
6 changed files with 6 additions and 6 deletions

View File

@@ -16,7 +16,7 @@ class ExternalAPI extends Callable {
ExternalAPI() { not this.fromSource() }
/** Holds if this API is a candidate worth supporting */
predicate isWorthSupporting() { not isTestLibrary() and not isParameterlessConstructor() }
predicate isUninteresting() { isTestLibrary() or isParameterlessConstructor() }
/** Holds if this API is is a constructor without parameters */
predicate isParameterlessConstructor() {

View File

@@ -16,6 +16,6 @@ where
c.getCallee() = a and
not c.getFile() instanceof GeneratedFile and
a.jarContainer() = jarname and
a.isWorthSupporting()
not a.isUninteresting()
)
select jarname, usages order by usages desc

View File

@@ -12,7 +12,7 @@ import semmle.code.java.GeneratedFiles
from ExternalAPI api, int usages
where
api.isWorthSupporting() and
not api.isUninteresting() and
api.isSink() and
usages =
strictcount(Call c |

View File

@@ -12,7 +12,7 @@ import semmle.code.java.GeneratedFiles
from ExternalAPI api, int usages
where
api.isWorthSupporting() and
not api.isUninteresting() and
api.isSource() and
usages =
strictcount(Call c |

View File

@@ -12,7 +12,7 @@ import semmle.code.java.GeneratedFiles
from ExternalAPI api, int usages
where
api.isWorthSupporting() and
not api.isUninteresting() and
api.hasSummary() and
usages =
strictcount(Call c |

View File

@@ -12,7 +12,7 @@ import semmle.code.java.GeneratedFiles
from ExternalAPI api, int usages
where
api.isWorthSupporting() and
not api.isUninteresting() and
not api.isSupported() and
usages =
strictcount(Call c |