From f3b8fe2e2ed760301bbf417e94d2738f2d0d5b06 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Wed, 13 Jan 2021 13:42:35 +0100 Subject: [PATCH] Java: Add Member.hasQualifiedName. --- java/ql/src/semmle/code/java/Member.qll | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/java/ql/src/semmle/code/java/Member.qll b/java/ql/src/semmle/code/java/Member.qll index e9d4fe82978..a0e988bd386 100755 --- a/java/ql/src/semmle/code/java/Member.qll +++ b/java/ql/src/semmle/code/java/Member.qll @@ -23,6 +23,14 @@ class Member extends Element, Annotatable, Modifiable, @member { /** Gets the qualified name of this member. */ string getQualifiedName() { result = getDeclaringType().getName() + "." + getName() } + /** + * Holds if this member has the specified name and is declared in the + * specified package and type. + */ + predicate hasQualifiedName(string package, string type, string name) { + this.getDeclaringType().hasQualifiedName(package, type) and this.hasName(name) + } + /** Holds if this member is package protected, that is, neither public nor private nor protected. */ predicate isPackageProtected() { not isPrivate() and