Skip to content

Commit f0852c8

Browse files
michaelnebelmichaelnebel
committed
C#: Add test for lambda arguments.
1 parent 482b5f3 commit f0852c8

File tree

5 files changed

+110
-0
lines changed

5 files changed

+110
-0
lines changed

‎csharp/ql/test/library-tests/arguments/PrintAst.expected

Lines changed: 68 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -353,3 +353,71 @@ arguments.cs:
353353
# 93| 0: [Parameter] b
354354
# 93| -1: [TypeMention] bool
355355
# 93| 4: [BlockStmt] {...}
356+
lambdas.cs:
357+
# 3| [Class] LambdaArgumentsTest
358+
# 5| 5: [Method] M1
359+
# 5| -1: [TypeMention] Void
360+
# 6| 4: [BlockStmt] {...}
361+
# 7| 0: [LocalVariableDeclStmt] ... ...;
362+
# 7| 0: [LocalVariableDeclAndInitExpr] Func<Int32,Int32> l1 = ...
363+
# 7| -1: [TypeMention] Func<int, int>
364+
# 7| 0: [LocalVariableAccess] access to local variable l1
365+
# 7| 1: [LambdaExpr] (...) => ...
366+
#-----| 2: (Parameters)
367+
# 7| 0: [Parameter] x
368+
# 7| -1: [TypeMention] int
369+
# 7| 4: [AddExpr] ... + ...
370+
# 7| 0: [ParameterAccess] access to parameter x
371+
# 7| 1: [IntLiteral] 1
372+
# 8| 1: [ExprStmt] ...;
373+
# 8| 0: [DelegateCall] delegate call
374+
# 8| -1: [LocalVariableAccess] access to local variable l1
375+
# 8| 0: [IntLiteral] 1
376+
# 10| 2: [LocalVariableDeclStmt] ... ...;
377+
# 10| 0: [LocalVariableDeclAndInitExpr] <>__AnonType0<> l2 = ...
378+
# 10| -1: [TypeMention] <>__AnonType0<>
379+
# 10| 0: [LocalVariableAccess] access to local variable l2
380+
# 10| 1: [LambdaExpr] (...) => ...
381+
#-----| 2: (Parameters)
382+
# 10| 0: [Parameter] x
383+
# 10| -1: [TypeMention] int
384+
# 10| 1: [Parameter] y
385+
# 10| -1: [TypeMention] int
386+
# 10| 1: [IntLiteral] 1
387+
# 10| 4: [AddExpr] ... + ...
388+
# 10| 0: [ParameterAccess] access to parameter x
389+
# 10| 1: [ParameterAccess] access to parameter y
390+
# 11| 3: [ExprStmt] ...;
391+
# 11| 0: [DelegateCall] delegate call
392+
# 11| -1: [LocalVariableAccess] access to local variable l2
393+
# 11| 0: [IntLiteral] 2
394+
# 11| 1: [IntLiteral] 3
395+
# 12| 4: [ExprStmt] ...;
396+
# 12| 0: [DelegateCall] delegate call
397+
# 12| -1: [LocalVariableAccess] access to local variable l2
398+
# 12| 0: [IntLiteral] 4
399+
# 13| 5: [ExprStmt] ...;
400+
# 13| 0: [DelegateCall] delegate call
401+
# 13| -1: [LocalVariableAccess] access to local variable l2
402+
# 13| 0: [IntLiteral] 5
403+
# 13| 1: [IntLiteral] 6
404+
# 15| 6: [LocalVariableDeclStmt] ... ...;
405+
# 15| 0: [LocalVariableDeclAndInitExpr] <>__AnonType0<> l3 = ...
406+
# 15| -1: [TypeMention] <>__AnonType0<>
407+
# 15| 0: [LocalVariableAccess] access to local variable l3
408+
# 15| 1: [LambdaExpr] (...) => ...
409+
#-----| 2: (Parameters)
410+
# 15| 0: [Parameter] x
411+
# 15| -1: [TypeMention] Int32[]
412+
# 15| 1: [TypeMention] int
413+
# 15| 4: [PropertyCall] access to property Length
414+
# 15| -1: [ParameterAccess] access to parameter x
415+
# 16| 7: [ExprStmt] ...;
416+
# 16| 0: [DelegateCall] delegate call
417+
# 16| -1: [LocalVariableAccess] access to local variable l3
418+
# 17| 8: [ExprStmt] ...;
419+
# 17| 0: [DelegateCall] delegate call
420+
# 17| -1: [LocalVariableAccess] access to local variable l3
421+
# 17| 0: [IntLiteral] 7
422+
# 17| 1: [IntLiteral] 8
423+
# 17| 2: [IntLiteral] 9

‎csharp/ql/test/library-tests/arguments/argumentType.expected

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -70,3 +70,12 @@
7070
| arguments.cs:84:23:84:43 | array creation of type Double[] | 0 |
7171
| arguments.cs:85:20:85:20 | 0 | 0 |
7272
| arguments.cs:85:23:85:43 | array creation of type Double[] | 0 |
73+
| lambdas.cs:8:12:8:12 | 1 | 0 |
74+
| lambdas.cs:11:12:11:12 | 2 | 0 |
75+
| lambdas.cs:11:15:11:15 | 3 | 0 |
76+
| lambdas.cs:12:12:12:12 | 4 | 0 |
77+
| lambdas.cs:13:12:13:12 | 5 | 0 |
78+
| lambdas.cs:13:15:13:15 | 6 | 0 |
79+
| lambdas.cs:17:12:17:12 | 7 | 0 |
80+
| lambdas.cs:17:15:17:15 | 8 | 0 |
81+
| lambdas.cs:17:18:17:18 | 9 | 0 |

‎csharp/ql/test/library-tests/arguments/lambdaArgument.expected

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
| lambdas.cs:8:9:8:13 | delegate call | lambdas.cs:7:23:7:23 | x | lambdas.cs:8:12:8:12 | 1 |
2+
| lambdas.cs:11:9:11:16 | delegate call | lambdas.cs:10:23:10:23 | x | lambdas.cs:11:12:11:12 | 2 |
3+
| lambdas.cs:11:9:11:16 | delegate call | lambdas.cs:10:30:10:30 | y | lambdas.cs:11:15:11:15 | 3 |
4+
| lambdas.cs:12:9:12:13 | delegate call | lambdas.cs:10:23:10:23 | x | lambdas.cs:12:12:12:12 | 4 |
5+
| lambdas.cs:13:9:13:16 | delegate call | lambdas.cs:10:23:10:23 | x | lambdas.cs:13:12:13:12 | 5 |
6+
| lambdas.cs:13:9:13:16 | delegate call | lambdas.cs:10:30:10:30 | y | lambdas.cs:13:15:13:15 | 6 |
7+
| lambdas.cs:17:9:17:19 | delegate call | lambdas.cs:15:32:15:32 | x | lambdas.cs:17:12:17:12 | 7 |

‎csharp/ql/test/library-tests/arguments/lambdaArgument.ql

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
import csharp
2+
3+
from Call call, Parameter p, Expr arg
4+
where
5+
call.getARuntimeTarget() instanceof LambdaExpr and
6+
arg = call.getRuntimeArgumentForParameter(p)
7+
select call, p, arg

‎csharp/ql/test/library-tests/arguments/lambdas.cs

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
using System;
2+
3+
class LambdaArgumentsTest
4+
{
5+
void M1()
6+
{
7+
var l1 = (int x) => x + 1;
8+
l1(1);
9+
10+
var l2 = (int x, int y = 1) => x + y;
11+
l2(2, 3);
12+
l2(4);
13+
l2(5, 6);
14+
15+
var l3 = (params int[] x) => x.Length;
16+
l3();
17+
l3(7, 8, 9);
18+
}
19+
}

0 commit comments

Comments
 (0)