Skip to content

Commit 4e4e84a

Browse files
michaelnebelmichaelnebel
committed
C#: Update expected test output.
1 parent 2e0d38f commit 4e4e84a

1 file changed

Lines changed: 36 additions & 1 deletion

File tree

‎csharp/ql/test/library-tests/dataflow/tuples/Tuples.expected‎

Lines changed: 36 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -274,14 +274,30 @@ edges
274274
| Tuples.cs:161:13:161:14 | access to local variable o5 : String | Tuples.cs:163:18:163:19 | access to local variable o5 : String | provenance | |
275275
| Tuples.cs:161:18:161:35 | call to method Source<String> : String | Tuples.cs:161:13:161:14 | access to local variable o5 : String | provenance | |
276276
| Tuples.cs:161:18:161:35 | call to method Source<String> : String | Tuples.cs:161:13:161:14 | access to local variable o5 : String | provenance | |
277+
| Tuples.cs:162:13:162:14 | access to local variable o6 : String | Tuples.cs:163:26:163:27 | access to local variable o6 : String | provenance | |
278+
| Tuples.cs:162:13:162:14 | access to local variable o6 : String | Tuples.cs:163:26:163:27 | access to local variable o6 : String | provenance | |
279+
| Tuples.cs:162:18:162:35 | call to method Source<String> : String | Tuples.cs:162:13:162:14 | access to local variable o6 : String | provenance | |
280+
| Tuples.cs:162:18:162:35 | call to method Source<String> : String | Tuples.cs:162:13:162:14 | access to local variable o6 : String | provenance | |
277281
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
278282
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
283+
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
284+
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
279285
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
280286
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
287+
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
288+
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
281289
| Tuples.cs:163:18:163:19 | access to local variable o5 : String | Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
282290
| Tuples.cs:163:18:163:19 | access to local variable o5 : String | Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | provenance | |
291+
| Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
292+
| Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | provenance | |
293+
| Tuples.cs:163:26:163:27 | access to local variable o6 : String | Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | provenance | |
294+
| Tuples.cs:163:26:163:27 | access to local variable o6 : String | Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | provenance | |
283295
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:166:18:166:19 | access to local variable a3 | provenance | |
284296
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | Tuples.cs:166:18:166:19 | access to local variable a3 | provenance | |
297+
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | provenance | |
298+
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | provenance | |
299+
| Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | Tuples.cs:167:18:167:24 | access to field Item2 | provenance | |
300+
| Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | Tuples.cs:167:18:167:24 | access to field Item2 | provenance | |
285301
nodes
286302
| Tuples.cs:7:13:7:14 | access to local variable o1 : Object | semmle.label | access to local variable o1 : Object |
287303
| Tuples.cs:7:13:7:14 | access to local variable o1 : Object | semmle.label | access to local variable o1 : Object |
@@ -575,21 +591,38 @@ nodes
575591
| Tuples.cs:161:13:161:14 | access to local variable o5 : String | semmle.label | access to local variable o5 : String |
576592
| Tuples.cs:161:18:161:35 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
577593
| Tuples.cs:161:18:161:35 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
594+
| Tuples.cs:162:13:162:14 | access to local variable o6 : String | semmle.label | access to local variable o6 : String |
595+
| Tuples.cs:162:13:162:14 | access to local variable o6 : String | semmle.label | access to local variable o6 : String |
596+
| Tuples.cs:162:18:162:35 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
597+
| Tuples.cs:162:18:162:35 | call to method Source<String> : String | semmle.label | call to method Source<String> : String |
578598
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
579599
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
600+
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
601+
| Tuples.cs:163:13:163:13 | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | access to local variable z : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
580602
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
581603
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
604+
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
605+
| Tuples.cs:163:17:163:32 | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | (..., ...) : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
582606
| Tuples.cs:163:18:163:19 | access to local variable o5 : String | semmle.label | access to local variable o5 : String |
583607
| Tuples.cs:163:18:163:19 | access to local variable o5 : String | semmle.label | access to local variable o5 : String |
608+
| Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | semmle.label | (..., ...) : ValueTuple<Int32,String> [field Item2] : String |
609+
| Tuples.cs:163:22:163:28 | (..., ...) : ValueTuple<Int32,String> [field Item2] : String | semmle.label | (..., ...) : ValueTuple<Int32,String> [field Item2] : String |
610+
| Tuples.cs:163:26:163:27 | access to local variable o6 : String | semmle.label | access to local variable o6 : String |
611+
| Tuples.cs:163:26:163:27 | access to local variable o6 : String | semmle.label | access to local variable o6 : String |
584612
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
585613
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String | semmle.label | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item1] : String |
614+
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
615+
| Tuples.cs:164:18:164:47 | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String | semmle.label | { ... } : ValueTuple<String,ValueTuple<Int32,String>,Int32> [field Item2, field Item2] : String |
586616
| Tuples.cs:166:18:166:19 | access to local variable a3 | semmle.label | access to local variable a3 |
587617
| Tuples.cs:166:18:166:19 | access to local variable a3 | semmle.label | access to local variable a3 |
618+
| Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | semmle.label | access to local variable t : ValueTuple<Int32,String> [field Item2] : String |
619+
| Tuples.cs:167:18:167:18 | access to local variable t : ValueTuple<Int32,String> [field Item2] : String | semmle.label | access to local variable t : ValueTuple<Int32,String> [field Item2] : String |
620+
| Tuples.cs:167:18:167:24 | access to field Item2 | semmle.label | access to field Item2 |
621+
| Tuples.cs:167:18:167:24 | access to field Item2 | semmle.label | access to field Item2 |
588622
subpaths
589623
| Tuples.cs:100:24:100:24 | access to local variable o : String | Tuples.cs:95:22:95:22 | i : String | Tuples.cs:95:12:95:13 | this [Return] : R1 [property i] : String | Tuples.cs:100:17:100:28 | object creation of type R1 : R1 [property i] : String |
590624
| Tuples.cs:100:24:100:24 | access to local variable o : String | Tuples.cs:95:22:95:22 | i : String | Tuples.cs:95:12:95:13 | this [Return] : R1 [property i] : String | Tuples.cs:100:17:100:28 | object creation of type R1 : R1 [property i] : String |
591625
testFailures
592-
| Tuples.cs:167:30:167:49 | // ... | Missing result: hasValueFlow=15 |
593626
#select
594627
| Tuples.cs:12:14:12:14 | access to local variable a | Tuples.cs:7:18:7:34 | call to method Source<Object> : Object | Tuples.cs:12:14:12:14 | access to local variable a | $@ | Tuples.cs:7:18:7:34 | call to method Source<Object> : Object | call to method Source<Object> : Object |
595628
| Tuples.cs:12:14:12:14 | access to local variable a | Tuples.cs:7:18:7:34 | call to method Source<Object> : Object | Tuples.cs:12:14:12:14 | access to local variable a | $@ | Tuples.cs:7:18:7:34 | call to method Source<Object> : Object | call to method Source<Object> : Object |
@@ -647,3 +680,5 @@ testFailures
647680
| Tuples.cs:157:18:157:19 | access to local variable c2 | Tuples.cs:152:18:152:35 | call to method Source<String> : String | Tuples.cs:157:18:157:19 | access to local variable c2 | $@ | Tuples.cs:152:18:152:35 | call to method Source<String> : String | call to method Source<String> : String |
648681
| Tuples.cs:166:18:166:19 | access to local variable a3 | Tuples.cs:161:18:161:35 | call to method Source<String> : String | Tuples.cs:166:18:166:19 | access to local variable a3 | $@ | Tuples.cs:161:18:161:35 | call to method Source<String> : String | call to method Source<String> : String |
649682
| Tuples.cs:166:18:166:19 | access to local variable a3 | Tuples.cs:161:18:161:35 | call to method Source<String> : String | Tuples.cs:166:18:166:19 | access to local variable a3 | $@ | Tuples.cs:161:18:161:35 | call to method Source<String> : String | call to method Source<String> : String |
683+
| Tuples.cs:167:18:167:24 | access to field Item2 | Tuples.cs:162:18:162:35 | call to method Source<String> : String | Tuples.cs:167:18:167:24 | access to field Item2 | $@ | Tuples.cs:162:18:162:35 | call to method Source<String> : String | call to method Source<String> : String |
684+
| Tuples.cs:167:18:167:24 | access to field Item2 | Tuples.cs:162:18:162:35 | call to method Source<String> : String | Tuples.cs:167:18:167:24 | access to field Item2 | $@ | Tuples.cs:162:18:162:35 | call to method Source<String> : String | call to method Source<String> : String |

0 commit comments

Comments
 (0)