hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 13:15:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Improve MemberRefExpr.getReceiverType() documentation

Browse Source
This commit is contained in:
Marcono1234
2021-10-18 18:20:22 +02:00
parent 43b7bc52ca
commit 86d53931aa
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/lib/semmle/code/java/Expr.qll
View File

@@ -1227,8 +1227,9 @@ class MemberRefExpr extends FunctionalExpr, @memberref {
/**
* Gets the receiver type whose member this expression refers to. The result might not be
* the type which actually declares the member (makes a difference for inherited non-overridden
* methods).
* the type which actually declares the member. For example, for the member reference `ArrayList::toString`,
* this predicate has the result `java.util.ArrayList`, the type explicitly referred to, while
* `getReferencedCallable` will have `java.util.AbstractCollection.toString` as result, which `ArrayList` inherits.
*/
RefType getReceiverType() {
exists(Stmt stmt, Expr resultExpr |