Skip to content

Commit 33939a8

Browse files
michaelnebelmichaelnebel
committed
C#: Update test expected output.
1 parent ef5ae3f commit 33939a8

File tree

4 files changed

+52
-0
lines changed

4 files changed

+52
-0
lines changed

‎csharp/ql/test/library-tests/dispatch/CallContext.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,5 @@ mayBenefitFromCallContext
2626
| ViableCallable.cs:576:18:576:22 | call to operator / |
2727
| ViableCallable.cs:579:26:579:30 | call to operator checked / |
2828
| ViableCallable.cs:585:9:585:15 | call to method M12 |
29+
| ViableCallable.cs:612:9:612:13 | call to method M |
30+
| ViableCallable.cs:618:9:618:13 | call to method M |

‎csharp/ql/test/library-tests/dispatch/CallGraph.expected‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -259,3 +259,7 @@
259259
| ViableCallable.cs:555:10:555:15 | Run`1 | ViableCallable.cs:550:40:550:40 | checked / |
260260
| ViableCallable.cs:555:10:555:15 | Run`1 | ViableCallable.cs:552:17:552:19 | M11 |
261261
| ViableCallable.cs:555:10:555:15 | Run`1 | ViableCallable.cs:553:17:553:19 | M12 |
262+
| ViableCallable.cs:609:17:609:23 | Run1`1 | ViableCallable.cs:601:21:601:21 | M |
263+
| ViableCallable.cs:609:17:609:23 | Run1`1 | ViableCallable.cs:606:21:606:21 | M |
264+
| ViableCallable.cs:615:17:615:23 | Run2`1 | ViableCallable.cs:601:21:601:21 | M |
265+
| ViableCallable.cs:615:17:615:23 | Run2`1 | ViableCallable.cs:606:21:606:21 | M |

‎csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -505,3 +505,7 @@
505505
| ViableCallable.cs:585:9:585:15 | call to method M12 | C20.M12() |
506506
| ViableCallable.cs:585:9:585:15 | call to method M12 | I3<T>.M12() |
507507
| ViableCallable.cs:588:9:588:15 | call to method M13 | I3<T>.M13() |
508+
| ViableCallable.cs:612:9:612:13 | call to method M | C21+A1.M() |
509+
| ViableCallable.cs:612:9:612:13 | call to method M | C21+A2.M() |
510+
| ViableCallable.cs:618:9:618:13 | call to method M | C21+A1.M() |
511+
| ViableCallable.cs:618:9:618:13 | call to method M | C21+A2.M() |

‎csharp/ql/test/library-tests/unification/Unification.expected‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,8 @@ constrainedTypeParameterSubsumes
77
| Unification.cs:8:10:8:11 | T2 | Unification.cs:30:12:30:24 | (string, int) |
88
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
99
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
10+
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
11+
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
1012
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
1113
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
1214
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -57,6 +59,10 @@ constrainedTypeParameterSubsumes
5759
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
5860
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
5961
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
62+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:52:11:52:12 | I2 |
63+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:55:7:55:8 | C7 |
64+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:57:7:57:25 | NormalConstraint<T> |
65+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
6066
| Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<C0> |
6167
| Unification.cs:10:10:10:11 | T4 | Unification.cs:10:10:10:11 | T4 |
6268
| Unification.cs:11:10:11:11 | T5 | Unification.cs:8:7:8:12 | C2<S1> |
@@ -96,8 +102,22 @@ constrainedTypeParameterSubsumes
96102
| Unification.cs:12:25:12:27 | T6d | Unification.cs:30:12:30:24 | (string, int) |
97103
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
98104
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
105+
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
106+
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
99107
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
100108
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
109+
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
110+
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
111+
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
112+
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
113+
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
114+
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
115+
| Unification.cs:58:26:58:26 | T | Unification.cs:52:11:52:12 | I2 |
116+
| Unification.cs:58:26:58:26 | T | Unification.cs:53:8:53:9 | S3 |
117+
| Unification.cs:58:26:58:26 | T | Unification.cs:54:12:54:13 | RS |
118+
| Unification.cs:58:26:58:26 | T | Unification.cs:55:7:55:8 | C7 |
119+
| Unification.cs:58:26:58:26 | T | Unification.cs:57:24:57:24 | T |
120+
| Unification.cs:58:26:58:26 | T | Unification.cs:58:26:58:26 | T |
101121
constrainedTypeParameterSubsumptionImpliesUnification
102122
constrainedTypeParameterUnifiable
103123
| Unification.cs:8:10:8:11 | T2 | Unification.cs:3:8:3:9 | S1 |
@@ -108,6 +128,8 @@ constrainedTypeParameterUnifiable
108128
| Unification.cs:8:10:8:11 | T2 | Unification.cs:30:12:30:24 | (string, int) |
109129
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
110130
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
131+
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
132+
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
111133
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
112134
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
113135
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -158,6 +180,10 @@ constrainedTypeParameterUnifiable
158180
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
159181
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
160182
| Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
183+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:52:11:52:12 | I2 |
184+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:55:7:55:8 | C7 |
185+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:57:7:57:25 | NormalConstraint<T> |
186+
| Unification.cs:9:10:9:11 | T3 | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
161187
| Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<C0> |
162188
| Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<T1> |
163189
| Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<T2> |
@@ -205,9 +231,23 @@ constrainedTypeParameterUnifiable
205231
| Unification.cs:12:25:12:27 | T6d | Unification.cs:30:12:30:24 | (string, int) |
206232
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
207233
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
234+
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
235+
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
208236
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
209237
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<T2> |
210238
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
239+
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
240+
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
241+
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
242+
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
243+
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
244+
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
245+
| Unification.cs:58:26:58:26 | T | Unification.cs:52:11:52:12 | I2 |
246+
| Unification.cs:58:26:58:26 | T | Unification.cs:53:8:53:9 | S3 |
247+
| Unification.cs:58:26:58:26 | T | Unification.cs:54:12:54:13 | RS |
248+
| Unification.cs:58:26:58:26 | T | Unification.cs:55:7:55:8 | C7 |
249+
| Unification.cs:58:26:58:26 | T | Unification.cs:57:24:57:24 | T |
250+
| Unification.cs:58:26:58:26 | T | Unification.cs:58:26:58:26 | T |
211251
subsumes
212252
| Unification.cs:7:7:7:12 | C1<C0> | Unification.cs:7:7:7:12 | C1<C0> |
213253
| Unification.cs:7:7:7:12 | C1<S1> | Unification.cs:7:7:7:12 | C1<S1> |
@@ -312,6 +352,8 @@ subsumes
312352
| Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
313353
| Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
314354
| Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
355+
| Unification.cs:57:7:57:25 | NormalConstraint<T> | Unification.cs:57:7:57:25 | NormalConstraint<T> |
356+
| Unification.cs:58:7:58:27 | NegativeConstraint<T> | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
315357
subsumptionImpliesUnification
316358
unifiable
317359
| Unification.cs:7:7:7:12 | C1<C0> | Unification.cs:7:7:7:12 | C1<T1> |

0 commit comments

Comments
 (0)