Skip to content

Commit 548f276

Browse files
tamasvajktamasvajk
committed
Add more tests
1 parent 144e9e6 commit 548f276

File tree

4 files changed

+168
-32
lines changed

4 files changed

+168
-32
lines changed

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

Lines changed: 115 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -355,38 +355,125 @@ TargetType.cs:
355355
# 10| -1: [LocalVariableAccess] access to local variable rand
356356
# 10| 1: [DoubleLiteral] 0.5
357357
# 12| 2: [LocalVariableDeclStmt] ... ...;
358-
# 12| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x = ...
358+
# 12| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x0 = ...
359359
# 12| -1: [TypeMention] int?
360360
# 12| 1: [TypeMention] int
361-
# 12| 0: [LocalVariableAccess] access to local variable x
362-
# 12| 1: [ConditionalExpr] ... ? ... : ...
363-
# 12| 0: [LocalVariableAccess] access to local variable condition
364-
# 13| 1: [CastExpr] (...) ...
365-
# 13| 1: [IntLiteral] 12
366-
# 14| 2: [NullLiteral] null
367-
# 16| 3: [LocalVariableDeclStmt] ... ...;
368-
# 16| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> xs = ...
369-
# 16| -1: [TypeMention] IEnumerable<Int32>
361+
# 12| 0: [LocalVariableAccess] access to local variable x0
362+
# 12| 1: [CastExpr] (...) ...
363+
# 12| 1: [IntLiteral] 12
364+
# 13| 3: [ExprStmt] ...;
365+
# 13| 0: [AssignExpr] ... = ...
366+
# 13| 0: [LocalVariableAccess] access to local variable x0
367+
# 13| 1: [CastExpr] (...) ...
368+
# 13| 1: [IntLiteral] 13
369+
# 14| 4: [LocalVariableDeclStmt] ... ...;
370+
# 14| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x1 = ...
371+
# 14| -1: [TypeMention] int?
372+
# 14| 1: [TypeMention] int
373+
# 14| 0: [LocalVariableAccess] access to local variable x1
374+
# 14| 1: [NullLiteral] null
375+
# 16| 5: [LocalVariableDeclStmt] ... ...;
376+
# 16| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x2 = ...
377+
# 16| -1: [TypeMention] int?
370378
# 16| 1: [TypeMention] int
371-
# 16| 0: [LocalVariableAccess] access to local variable xs
379+
# 16| 0: [LocalVariableAccess] access to local variable x2
372380
# 16| 1: [ConditionalExpr] ... ? ... : ...
373-
# 16| 0: [IsExpr] ... is ...
374-
# 16| 0: [LocalVariableAccess] access to local variable x
375-
# 16| 1: [ConstantPatternExpr,NullLiteral] null
376-
# 17| 1: [ObjectCreation] object creation of type List<Int32>
377-
# 17| -2: [TypeMention] List<Int32>
378-
# 17| 1: [TypeMention] int
379-
# 17| -1: [CollectionInitializer] { ..., ... }
380-
# 17| 0: [ElementInitializer] call to method Add
381-
# 17| 0: [IntLiteral] 0
382-
# 17| 1: [ElementInitializer] call to method Add
383-
# 17| 0: [IntLiteral] 1
384-
# 18| 2: [ArrayCreation] array creation of type Int32[]
385-
# 18| -2: [TypeMention] Int32[]
386-
# 18| 1: [TypeMention] int
387-
# 18| -1: [ArrayInitializer] { ..., ... }
388-
# 18| 0: [IntLiteral] 2
389-
# 18| 1: [IntLiteral] 3
381+
# 16| 0: [LocalVariableAccess] access to local variable condition
382+
# 17| 1: [CastExpr] (...) ...
383+
# 17| 1: [IntLiteral] 12
384+
# 18| 2: [NullLiteral] null
385+
# 20| 6: [LocalVariableDeclStmt] ... ...;
386+
# 20| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x3 = ...
387+
# 20| -1: [TypeMention] int?
388+
# 20| 1: [TypeMention] int
389+
# 20| 0: [LocalVariableAccess] access to local variable x3
390+
# 20| 1: [ConditionalExpr] ... ? ... : ...
391+
# 20| 0: [LocalVariableAccess] access to local variable condition
392+
# 21| 1: [CastExpr] (...) ...
393+
# 21| 0: [TypeAccess] access to type Nullable<Int32>
394+
# 21| 0: [TypeMention] int?
395+
# 21| 1: [TypeMention] int
396+
# 21| 1: [IntLiteral] 12
397+
# 22| 2: [NullLiteral] null
398+
# 24| 7: [LocalVariableDeclStmt] ... ...;
399+
# 24| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> x4 = ...
400+
# 24| -1: [TypeMention] int?
401+
# 24| 1: [TypeMention] int
402+
# 24| 0: [LocalVariableAccess] access to local variable x4
403+
# 24| 1: [ConditionalExpr] ... ? ... : ...
404+
# 24| 0: [LocalVariableAccess] access to local variable condition
405+
# 25| 1: [CastExpr] (...) ...
406+
# 25| 1: [IntLiteral] 12
407+
# 26| 2: [CastExpr] (...) ...
408+
# 26| 0: [TypeAccess] access to type Nullable<Int32>
409+
# 26| 0: [TypeMention] int?
410+
# 26| 1: [TypeMention] int
411+
# 26| 1: [NullLiteral] null
412+
# 28| 8: [LocalVariableDeclStmt] ... ...;
413+
# 28| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> xs0 = ...
414+
# 28| -1: [TypeMention] IEnumerable<Int32>
415+
# 28| 1: [TypeMention] int
416+
# 28| 0: [LocalVariableAccess] access to local variable xs0
417+
# 28| 1: [ObjectCreation] object creation of type List<Int32>
418+
# 28| -2: [TypeMention] List<Int32>
419+
# 28| 1: [TypeMention] int
420+
# 28| -1: [CollectionInitializer] { ..., ... }
421+
# 28| 0: [ElementInitializer] call to method Add
422+
# 28| 0: [IntLiteral] 0
423+
# 28| 1: [ElementInitializer] call to method Add
424+
# 28| 0: [IntLiteral] 1
425+
# 29| 9: [LocalVariableDeclStmt] ... ...;
426+
# 29| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> xs1 = ...
427+
# 29| -1: [TypeMention] IEnumerable<Int32>
428+
# 29| 1: [TypeMention] int
429+
# 29| 0: [LocalVariableAccess] access to local variable xs1
430+
# 29| 1: [ArrayCreation] array creation of type Int32[]
431+
# 29| -2: [TypeMention] Int32[]
432+
# 29| 1: [TypeMention] int
433+
# 29| -1: [ArrayInitializer] { ..., ... }
434+
# 29| 0: [IntLiteral] 2
435+
# 29| 1: [IntLiteral] 3
436+
# 31| 10: [LocalVariableDeclStmt] ... ...;
437+
# 31| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> xs2 = ...
438+
# 31| -1: [TypeMention] IEnumerable<Int32>
439+
# 31| 1: [TypeMention] int
440+
# 31| 0: [LocalVariableAccess] access to local variable xs2
441+
# 31| 1: [ConditionalExpr] ... ? ... : ...
442+
# 31| 0: [IsExpr] ... is ...
443+
# 31| 0: [LocalVariableAccess] access to local variable x2
444+
# 31| 1: [ConstantPatternExpr,NullLiteral] null
445+
# 32| 1: [ObjectCreation] object creation of type List<Int32>
446+
# 32| -2: [TypeMention] List<Int32>
447+
# 32| 1: [TypeMention] int
448+
# 32| -1: [CollectionInitializer] { ..., ... }
449+
# 32| 0: [ElementInitializer] call to method Add
450+
# 32| 0: [IntLiteral] 0
451+
# 32| 1: [ElementInitializer] call to method Add
452+
# 32| 0: [IntLiteral] 1
453+
# 33| 2: [ArrayCreation] array creation of type Int32[]
454+
# 33| -2: [TypeMention] Int32[]
455+
# 33| 1: [TypeMention] int
456+
# 33| -1: [ArrayInitializer] { ..., ... }
457+
# 33| 0: [IntLiteral] 2
458+
# 33| 1: [IntLiteral] 3
459+
# 35| 11: [LocalVariableDeclStmt] ... ...;
460+
# 35| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> c = ...
461+
# 35| -1: [TypeMention] int?
462+
# 35| 1: [TypeMention] int
463+
# 35| 0: [LocalVariableAccess] access to local variable c
464+
# 35| 1: [CastExpr] (...) ...
465+
# 35| 1: [ConditionalExpr] ... ? ... : ...
466+
# 35| 0: [LocalVariableAccess] access to local variable condition
467+
# 36| 1: [OperatorCall] call to operator implicit conversion
468+
# 36| 0: [ObjectCreation] object creation of type TargetType
469+
# 36| 0: [TypeMention] TargetType
470+
# 37| 2: [IntLiteral] 12
471+
# 40| 6: [ImplicitConversionOperator] implicit conversion
472+
# 40| -1: [TypeMention] int
473+
#-----| 2: (Parameters)
474+
# 40| 0: [Parameter] d
475+
# 40| -1: [TypeMention] TargetType
476+
# 40| 4: [IntLiteral] 0
390477
TypeParameterNullability.cs:
391478
# 1| [Interface] I1
392479
# 3| [Class] A2

‎csharp/ql/test/library-tests/csharp9/TargetType.cs‎

Lines changed: 23 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,12 +9,33 @@ public void M2()
99
var rand = new Random();
1010
var condition = rand.NextDouble() > 0.5;
1111

12-
int? x = condition
12+
int? x0 = 12;
13+
x0 = 13;
14+
int? x1 = null;
15+
16+
int? x2 = condition
1317
? 12
1418
: null;
1519

16-
IEnumerable<int> xs = x is null
20+
int? x3 = condition
21+
? (int?)12
22+
: null;
23+
24+
int? x4 = condition
25+
? 12
26+
: (int?)null;
27+
28+
IEnumerable<int> xs0 = new List<int>() { 0, 1 };
29+
IEnumerable<int> xs1 = new int[] { 2, 3 };
30+
31+
IEnumerable<int> xs2 = x2 is null
1732
? new List<int>() { 0, 1 }
1833
: new int[] { 2, 3 };
34+
35+
int? c = condition
36+
? new TargetType()
37+
: 12;
1938
}
39+
40+
public static implicit operator int(TargetType d) => 0;
2041
}

‎csharp/ql/test/library-tests/csharp9/TargetType.expected‎

Lines changed: 14 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,14 @@
1-
| TargetType.cs:12:18:14:18 | ... ? ... : ... | int? | int? | null |
2-
| TargetType.cs:16:31:18:32 | ... ? ... : ... | IEnumerable<Int32> | List<Int32> | Int32[] |
1+
conditional
2+
| TargetType.cs:16:19:18:18 | ... ? ... : ... | int? | int? | null |
3+
| TargetType.cs:20:19:22:18 | ... ? ... : ... | int? | int? | null |
4+
| TargetType.cs:24:19:26:24 | ... ? ... : ... | int? | int? | int? |
5+
| TargetType.cs:31:32:33:32 | ... ? ... : ... | IEnumerable<Int32> | List<Int32> | Int32[] |
6+
| TargetType.cs:35:18:37:16 | ... ? ... : ... | int | int | int |
7+
implicitCasts
8+
| TargetType.cs:12:19:12:20 | (...) ... | int? | int |
9+
| TargetType.cs:13:14:13:15 | (...) ... | int? | int |
10+
| TargetType.cs:17:15:17:16 | (...) ... | int? | int |
11+
| TargetType.cs:25:15:25:16 | (...) ... | int? | int |
12+
| TargetType.cs:35:18:37:16 | (...) ... | int? | int |
13+
implicitConversions
14+
| TargetType.cs:36:15:36:30 | call to operator implicit conversion | int | TargetType |

‎csharp/ql/test/library-tests/csharp9/TargetType.ql‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,19 @@ query predicate conditional(ConditionalExpr expr, string t, string t1, string t2
55
expr.getThen().getType().toStringWithTypes() = t1 and
66
expr.getElse().getType().toStringWithTypes() = t2
77
}
8+
9+
query predicate implicitCasts(CastExpr expr, string type, string childType) {
10+
expr.getFile().getStem() = "TargetType" and
11+
expr.fromSource() and
12+
not exists(expr.getTypeAccess()) and
13+
type = expr.getType().toStringWithTypes() and
14+
childType = expr.getExpr().getType().toStringWithTypes()
15+
}
16+
17+
query predicate implicitConversions(OperatorCall opCall, string type, string childType) {
18+
opCall.getFile().getStem() = "TargetType" and
19+
opCall.fromSource() and
20+
opCall.getTarget().getFunctionName() = "op_Implicit" and
21+
opCall.getTarget().getReturnType().toStringWithTypes() = type and
22+
opCall.getAnArgument().getType().toStringWithTypes() = childType
23+
}

0 commit comments

Comments
 (0)