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

Add nested generic constructor reference test

Browse Source
This commit is contained in:
Tamas Vajk
2022-03-03 17:52:19 +01:00
committed by Ian Lynagh
parent 5e1ebb2545
commit 46af85621a
3 changed files with 176 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files

211
java/ql/test/kotlin/library-tests/reflection/PrintAst.expected
View File

@@ -77,67 +77,118 @@ reflection.kt:
# 54| 0: [ReturnStmt] return ...
# 54| 0: [MethodAccess] toString(...)
# 54| -1: [ThisAccess] this
# 79| 5: [Method] fn
# 88| 5: [Method] fn
#-----| 2: (Generic Parameters)
# 79| 0: [TypeVariable] T
# 88| 0: [TypeVariable] T
#-----| 4: (Parameters)
# 79| 0: [Parameter] value
# 79| 5: [BlockStmt] { ... }
# 81| 6: [Method] test
# 81| 5: [BlockStmt] { ... }
# 82| 0: [ExprStmt] <Expr>;
# 82| 0: [MethodAccess] fn11(...)
# 82| -3: [TypeAccess] Class2<String>
# 82| 0: [TypeAccess] String
# 82| -2: [TypeAccess] String
# 82| 0: [StringLiteral]
# 82| 1: [MemberRefExpr] ...::...
# 82| -4: [AnonymousClass] new Function1<String,Class2<String>>(...) { ... }
# 82| 1: [Constructor]
# 82| 5: [BlockStmt] { ... }
# 82| 0: [SuperConstructorInvocationStmt] super(...)
# 82| 1: [Method] invoke
# 88| 0: [Parameter] value
# 88| 5: [BlockStmt] { ... }
# 90| 6: [Method] test
# 90| 5: [BlockStmt] { ... }
# 91| 0: [ExprStmt] <Expr>;
# 91| 0: [MethodAccess] fn11(...)
# 91| -3: [TypeAccess] Class2<String>
# 91| 0: [TypeAccess] String
# 91| -2: [TypeAccess] String
# 91| 0: [StringLiteral]
# 91| 1: [MemberRefExpr] ...::...
# 91| -4: [AnonymousClass] new Function1<String,Class2<String>>(...) { ... }
# 91| 1: [Constructor]
# 91| 5: [BlockStmt] { ... }
# 91| 0: [SuperConstructorInvocationStmt] super(...)
# 91| 1: [Method] invoke
#-----| 4: (Parameters)
# 82| 0: [Parameter] a0
# 82| 5: [BlockStmt] { ... }
# 82| 0: [ReturnStmt] return ...
# 82| 0: [ClassInstanceExpr] new Class2<String>(...)
# 82| -3: [TypeAccess] Class2<String>
# 82| 0: [TypeAccess] String
# 82| 0: [VarAccess] a0
# 82| -3: [TypeAccess] Function1<String,Class2<String>>
# 82| 0: [TypeAccess] String
# 82| 1: [TypeAccess] Class2<String>
# 82| 0: [TypeAccess] String
# 83| 1: [ExprStmt] <Expr>;
# 83| 0: [MethodAccess] fn11(...)
# 83| -3: [TypeAccess] Unit
# 83| -2: [TypeAccess] String
# 83| 0: [StringLiteral]
# 83| 1: [MemberRefExpr] ...::...
# 83| -4: [AnonymousClass] new Function1<String,Unit>(...) { ... }
# 83| 1: [Constructor]
# 83| 5: [BlockStmt] { ... }
# 83| 0: [SuperConstructorInvocationStmt] super(...)
# 83| 1: [Method] invoke
# 91| 0: [Parameter] a0
# 91| 5: [BlockStmt] { ... }
# 91| 0: [ReturnStmt] return ...
# 91| 0: [ClassInstanceExpr] new Class2<String>(...)
# 91| -3: [TypeAccess] Class2<String>
# 91| 0: [TypeAccess] String
# 91| 0: [VarAccess] a0
# 91| -3: [TypeAccess] Function1<String,Class2<String>>
# 91| 0: [TypeAccess] String
# 91| 1: [TypeAccess] Class2<String>
# 91| 0: [TypeAccess] String
# 92| 1: [ExprStmt] <Expr>;
# 92| 0: [MethodAccess] fn11(...)
# 92| -3: [TypeAccess] Unit
# 92| -2: [TypeAccess] String
# 92| 0: [StringLiteral]
# 92| 1: [MemberRefExpr] ...::...
# 92| -4: [AnonymousClass] new Function1<String,Unit>(...) { ... }
# 92| 1: [Constructor]
# 92| 5: [BlockStmt] { ... }
# 92| 0: [SuperConstructorInvocationStmt] super(...)
# 92| 1: [Method] invoke
#-----| 4: (Parameters)
# 83| 0: [Parameter] a0
# 83| 5: [BlockStmt] { ... }
# 83| 0: [ReturnStmt] return ...
# 83| 0: [MethodAccess] fn(...)
# 83| -2: [TypeAccess] String
# 83| 0: [VarAccess] a0
# 83| -3: [TypeAccess] Function1<String,Unit>
# 83| 0: [TypeAccess] String
# 83| 1: [TypeAccess] Unit
# 86| 7: [Method] fn11
# 92| 0: [Parameter] a0
# 92| 5: [BlockStmt] { ... }
# 92| 0: [ReturnStmt] return ...
# 92| 0: [MethodAccess] fn(...)
# 92| -2: [TypeAccess] String
# 92| 0: [VarAccess] a0
# 92| -3: [TypeAccess] Function1<String,Unit>
# 92| 0: [TypeAccess] String
# 92| 1: [TypeAccess] Unit
# 93| 2: [ExprStmt] <Expr>;
# 93| 0: [MethodAccess] fn12(...)
# 93| -3: [TypeAccess] Inner<String>
# 93| 0: [TypeAccess] String
# 93| 1: [TypeAccess] Integer
# 93| -2: [TypeAccess] String
# 93| 0: [StringLiteral]
# 93| 1: [MemberRefExpr] ...::...
# 93| -4: [AnonymousClass] new Function1<String,Inner<String>>(...) { ... }
# 93| 1: [Constructor]
#-----| 4: (Parameters)
# 93| 0: [Parameter] <dispatchReceiver>
# 93| 5: [BlockStmt] { ... }
# 93| 0: [SuperConstructorInvocationStmt] super(...)
# 93| 1: [ExprStmt] <Expr>;
# 93| 0: [AssignExpr] ...=...
# 93| 0: [VarAccess] this.<dispatchReceiver>
# 93| -1: [ThisAccess] this
# 93| 1: [VarAccess] <dispatchReceiver>
# 93| 1: [Method] invoke
#-----| 4: (Parameters)
# 93| 0: [Parameter] a0
# 93| 5: [BlockStmt] { ... }
# 93| 0: [ReturnStmt] return ...
# 93| 0: [ClassInstanceExpr] new Inner<String>(...)
# 93| -3: [TypeAccess] Inner<String>
# 93| 0: [TypeAccess] String
# 93| 1: [TypeAccess] Integer
# 93| -2: [VarAccess] this.<dispatchReceiver>
# 93| -1: [ThisAccess] this
# 93| 0: [VarAccess] a0
# 93| 1: [FieldDeclaration] Class2<Integer> <dispatchReceiver>;
# 93| -1: [TypeAccess] Class2<Integer>
# 93| 0: [TypeAccess] Integer
# 93| -3: [TypeAccess] Function1<String,Inner<String>>
# 93| 0: [TypeAccess] String
# 93| 1: [TypeAccess] Inner<String>
# 93| 0: [TypeAccess] String
# 93| 1: [TypeAccess] Integer
# 93| 0: [ClassInstanceExpr] new Class2<Integer>(...)
# 93| -3: [TypeAccess] Class2<Integer>
# 93| 0: [TypeAccess] Integer
# 93| 0: [IntegerLiteral] 5
# 96| 7: [Method] fn11
#-----| 2: (Generic Parameters)
# 86| 0: [TypeVariable] T
# 86| 1: [TypeVariable] R
# 96| 0: [TypeVariable] T
# 96| 1: [TypeVariable] R
#-----| 4: (Parameters)
# 86| 0: [Parameter] l
# 86| 1: [Parameter] transform
# 86| 5: [BlockStmt] { ... }
# 96| 0: [Parameter] l
# 96| 1: [Parameter] transform
# 96| 5: [BlockStmt] { ... }
# 97| 8: [Method] fn12
#-----| 2: (Generic Parameters)
# 97| 0: [TypeVariable] T1
# 97| 1: [TypeVariable] R
#-----| 4: (Parameters)
# 97| 0: [Parameter] l
# 97| 1: [Parameter] l2
# 97| 5: [BlockStmt] { ... }
# 3| 2: [Class] Reflection
# 3| 1: [Constructor] Reflection
# 3| 5: [BlockStmt] { ... }
@@ -741,3 +792,53 @@ reflection.kt:
# 77| 2: [FieldDeclaration] T value;
# 77| -1: [TypeAccess] T
# 77| 0: [VarAccess] value
# 79| 4: [Class,GenericType,ParameterizedType] Inner
#-----| -2: (Generic Parameters)
# 79| 0: [TypeVariable] T1
# 80| 1: [Constructor] Inner
#-----| 4: (Parameters)
# 80| 0: [Parameter] t
# 80| 5: [BlockStmt] { ... }
# 80| 0: [SuperConstructorInvocationStmt] super(...)
# 83| 7: [Method] test
# 83| 5: [BlockStmt] { ... }
# 84| 0: [ExprStmt] <Expr>;
# 84| 0: [MethodAccess] fn11(...)
# 84| -3: [TypeAccess] Inner<String>
# 84| 0: [TypeAccess] String
# 84| 1: [TypeAccess] T
# 84| -2: [TypeAccess] String
# 84| 0: [StringLiteral]
# 84| 1: [MemberRefExpr] ...::...
# 84| -4: [AnonymousClass] new Function1<String,Inner<String>>(...) { ... }
# 84| 1: [Constructor]
#-----| 4: (Parameters)
# 84| 0: [Parameter] <dispatchReceiver>
# 84| 5: [BlockStmt] { ... }
# 84| 0: [SuperConstructorInvocationStmt] super(...)
# 84| 1: [ExprStmt] <Expr>;
# 84| 0: [AssignExpr] ...=...
# 84| 0: [VarAccess] this.<dispatchReceiver>
# 84| -1: [ThisAccess] this
# 84| 1: [VarAccess] <dispatchReceiver>
# 84| 1: [Method] invoke
#-----| 4: (Parameters)
# 84| 0: [Parameter] a0
# 84| 5: [BlockStmt] { ... }
# 84| 0: [ReturnStmt] return ...
# 84| 0: [ClassInstanceExpr] new Inner<String>(...)
# 84| -3: [TypeAccess] Inner<String>
# 84| 0: [TypeAccess] String
# 84| 1: [TypeAccess] T
# 84| -2: [VarAccess] this.<dispatchReceiver>
# 84| -1: [ThisAccess] this
# 84| 0: [VarAccess] a0
# 84| 1: [FieldDeclaration] Class2<T> <dispatchReceiver>;
# 84| -1: [TypeAccess] Class2<T>
# 84| 0: [TypeAccess] T
# 84| -3: [TypeAccess] Function1<String,Inner<String>>
# 84| 0: [TypeAccess] String
# 84| 1: [TypeAccess] Inner<String>
# 84| 0: [TypeAccess] String
# 84| 1: [TypeAccess] T
# 84| 0: [ThisAccess] this

12
java/ql/test/kotlin/library-tests/reflection/reflection.expected
View File

@@ -44,8 +44,10 @@ functionReferences
| reflection.kt:61:17:61:36 | ...::... | reflection.kt:61:17:61:36 | invoke | reflection.kt:52:1:52:52 | ext1 |
| reflection.kt:62:17:62:34 | ...::... | reflection.kt:62:17:62:34 | invoke | reflection.kt:54:1:54:48 | ext2 |
| reflection.kt:63:17:63:36 | ...::... | reflection.kt:63:17:63:36 | invoke | reflection.kt:54:1:54:48 | ext2 |
| reflection.kt:82:14:82:21 | ...::... | reflection.kt:82:14:82:21 | invoke | reflection.kt:77:1:77:33 | Class2<String> |
| reflection.kt:83:14:83:17 | ...::... | reflection.kt:83:14:83:17 | invoke | reflection.kt:79:1:79:24 | fn |
| reflection.kt:84:18:84:24 | ...::... | reflection.kt:84:18:84:24 | invoke | reflection.kt:80:9:80:30 | Inner<String> |
| reflection.kt:91:14:91:21 | ...::... | reflection.kt:91:14:91:21 | invoke | reflection.kt:77:1:86:1 | Class2<String> |
| reflection.kt:92:14:92:17 | ...::... | reflection.kt:92:14:92:17 | invoke | reflection.kt:88:1:88:24 | fn |
| reflection.kt:93:14:93:29 | ...::... | reflection.kt:93:14:93:29 | invoke | reflection.kt:80:9:80:30 | Inner<String> |
propertyGetReferences
| reflection.kt:8:38:8:42 | ...::... | reflection.kt:8:38:8:42 | get | reflection.kt:31:9:31:23 | getP0 |
| reflection.kt:13:35:13:41 | ...::... | reflection.kt:13:35:13:41 | get | reflection.kt:31:9:31:23 | getP0 |
@@ -82,5 +84,7 @@ callsInsideInvocationMethods
| reflection.kt:65:17:65:32 | ...::... | reflection.kt:65:17:65:32 | new KMutableProperty1<Generic<Integer>,Integer>(...) { ... } | reflection.kt:65:17:65:32 | set | reflection.kt:65:17:65:32 | setP2(...) | Generic<Integer>.setP2 |
| reflection.kt:66:17:66:34 | ...::... | reflection.kt:66:17:66:34 | new KMutableProperty0<Integer>(...) { ... } | reflection.kt:66:17:66:34 | get | reflection.kt:66:17:66:34 | getP2(...) | Generic<Integer>.getP2 |
| reflection.kt:66:17:66:34 | ...::... | reflection.kt:66:17:66:34 | new KMutableProperty0<Integer>(...) { ... } | reflection.kt:66:17:66:34 | set | reflection.kt:66:17:66:34 | setP2(...) | Generic<Integer>.setP2 |
| reflection.kt:82:14:82:21 | ...::... | reflection.kt:82:14:82:21 | new Function1<String,Class2<String>>(...) { ... } | reflection.kt:82:14:82:21 | invoke | reflection.kt:82:14:82:21 | new Class2<String>(...) | Class2<String>.Class2<String> |
| reflection.kt:83:14:83:17 | ...::... | reflection.kt:83:14:83:17 | new Function1<String,Unit>(...) { ... } | reflection.kt:83:14:83:17 | invoke | reflection.kt:83:14:83:17 | fn(...) | ReflectionKt.fn |
| reflection.kt:84:18:84:24 | ...::... | reflection.kt:84:18:84:24 | new Function1<String,Inner<String>>(...) { ... } | reflection.kt:84:18:84:24 | invoke | reflection.kt:84:18:84:24 | new Inner<String>(...) | Inner<String>.Inner<String> |
| reflection.kt:91:14:91:21 | ...::... | reflection.kt:91:14:91:21 | new Function1<String,Class2<String>>(...) { ... } | reflection.kt:91:14:91:21 | invoke | reflection.kt:91:14:91:21 | new Class2<String>(...) | Class2<String>.Class2<String> |
| reflection.kt:92:14:92:17 | ...::... | reflection.kt:92:14:92:17 | new Function1<String,Unit>(...) { ... } | reflection.kt:92:14:92:17 | invoke | reflection.kt:92:14:92:17 | fn(...) | ReflectionKt.fn |
| reflection.kt:93:14:93:29 | ...::... | reflection.kt:93:14:93:29 | new Function1<String,Inner<String>>(...) { ... } | reflection.kt:93:14:93:29 | invoke | reflection.kt:93:14:93:29 | new Inner<String>(...) | Inner<String>.Inner<String> |

13
java/ql/test/kotlin/library-tests/reflection/reflection.kt
View File

@@ -74,13 +74,24 @@ class Class1 {
}
}
class Class2<T>(val value: T) { }
class Class2<T>(val value: T) {
inner class Inner<T1> {
constructor(t: T1) { }
}
fun test() {
fn11("", ::Inner)
}
}
fun <T> fn(value: T) { }
fun test() {
fn11("", ::Class2)
fn11("", ::fn)
fn12("", Class2(5)::Inner)
}
fun <T, R> fn11(l: T, transform: (T) -> R) { }
fun <T1, R> fn12(l: T1, l2: (T1) -> R) { }