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

Revert "Kotlin: Fix extraction of dispatch and extension receivers"

Browse Source
This commit is contained in:
Tamás Vajk
2021-11-30 14:04:57 +01:00
committed by Ian Lynagh
parent cd84a6a5b6
commit 04daa7f28f
4 changed files with 11 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1741,9 +1741,6 @@ class MethodAccess extends Expr, Call, @methodaccess {
/** Holds if this method access has a qualifier. */
predicate hasQualifier() { exists(this.getQualifier()) }
/** Gets the extension receiver expression of this method access, if any. */
Expr getExtensionReceiver() { result.isNthChildOf(this, -2) }
/** Gets an argument supplied to the method that is invoked using this method access. */
override Expr getAnArgument() { result.getIndex() >= 0 and result.getParent() = this }
@@ -1751,12 +1748,12 @@ class MethodAccess extends Expr, Call, @methodaccess {
override Expr getArgument(int index) { exprs(result, _, _, _, this, index) and index >= 0 }
/** Gets a type argument supplied as part of this method access, if any. */
Expr getATypeArgument() { result.getIndex() <= -3 and result.getParent() = this }
Expr getATypeArgument() { result.getIndex() <= -2 and result.getParent() = this }
/** Gets the type argument at the specified (zero-based) position in this method access, if any. */
Expr getTypeArgument(int index) {
result = this.getATypeArgument() and
(-3 - result.getIndex()) = index
(-2 - result.getIndex()) = index
}
/** Gets the method accessed by this method access. */