Skip to content

Commit 262e632

Browse files
michaelnebelmichaelnebel
committed
C#: Update data flow patterns test expected file.
1 parent 5591e48 commit 262e632

File tree

2 files changed

+80
-2
lines changed

2 files changed

+80
-2
lines changed

‎csharp/ql/test/library-tests/dataflow/patterns/PatternFlow.expected‎

Lines changed: 78 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,84 @@
11
models
22
edges
3+
| Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | provenance | |
4+
| Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | provenance | |
5+
| Patterns.cs:11:13:11:13 | access to local variable o : Object | Patterns.cs:12:34:12:34 | access to local variable o : Object | provenance | |
6+
| Patterns.cs:11:13:11:13 | access to local variable o : Object | Patterns.cs:12:34:12:34 | access to local variable o : Object | provenance | |
7+
| Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | Patterns.cs:11:13:11:13 | access to local variable o : Object | provenance | |
8+
| Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | Patterns.cs:11:13:11:13 | access to local variable o : Object | provenance | |
9+
| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
10+
| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
11+
| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
12+
| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
13+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
14+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
15+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
16+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
17+
| Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
18+
| Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:13:39:13:46 | Object p : Object | provenance | |
19+
| Patterns.cs:13:39:13:46 | Object p : Object | Patterns.cs:15:18:15:18 | access to local variable p | provenance | |
20+
| Patterns.cs:13:39:13:46 | Object p : Object | Patterns.cs:15:18:15:18 | access to local variable p | provenance | |
21+
| Patterns.cs:21:13:21:13 | access to local variable o : Object | Patterns.cs:22:34:22:34 | access to local variable o : Object | provenance | |
22+
| Patterns.cs:21:13:21:13 | access to local variable o : Object | Patterns.cs:22:34:22:34 | access to local variable o : Object | provenance | |
23+
| Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | Patterns.cs:21:13:21:13 | access to local variable o : Object | provenance | |
24+
| Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | Patterns.cs:21:13:21:13 | access to local variable o : Object | provenance | |
25+
| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
26+
| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
27+
| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
28+
| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | provenance | |
29+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
30+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | provenance | |
31+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
32+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | provenance | |
33+
| Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
34+
| Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | Patterns.cs:25:39:25:46 | Object p : Object | provenance | |
35+
| Patterns.cs:25:39:25:46 | Object p : Object | Patterns.cs:26:22:26:22 | access to local variable p | provenance | |
36+
| Patterns.cs:25:39:25:46 | Object p : Object | Patterns.cs:26:22:26:22 | access to local variable p | provenance | |
337
nodes
38+
| Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | semmle.label | this [Return] : RecordClass2 [property Prop] : Object |
39+
| Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | semmle.label | this [Return] : RecordClass2 [property Prop] : Object |
40+
| Patterns.cs:3:41:3:44 | Prop : Object | semmle.label | Prop : Object |
41+
| Patterns.cs:3:41:3:44 | Prop : Object | semmle.label | Prop : Object |
42+
| Patterns.cs:11:13:11:13 | access to local variable o : Object | semmle.label | access to local variable o : Object |
43+
| Patterns.cs:11:13:11:13 | access to local variable o : Object | semmle.label | access to local variable o : Object |
44+
| Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
45+
| Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
46+
| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
47+
| Patterns.cs:12:13:12:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
48+
| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | semmle.label | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
49+
| Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | semmle.label | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
50+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
51+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
52+
| Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
53+
| Patterns.cs:13:13:13:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
54+
| Patterns.cs:13:39:13:46 | Object p : Object | semmle.label | Object p : Object |
55+
| Patterns.cs:13:39:13:46 | Object p : Object | semmle.label | Object p : Object |
56+
| Patterns.cs:15:18:15:18 | access to local variable p | semmle.label | access to local variable p |
57+
| Patterns.cs:15:18:15:18 | access to local variable p | semmle.label | access to local variable p |
58+
| Patterns.cs:21:13:21:13 | access to local variable o : Object | semmle.label | access to local variable o : Object |
59+
| Patterns.cs:21:13:21:13 | access to local variable o : Object | semmle.label | access to local variable o : Object |
60+
| Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
61+
| Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | semmle.label | call to method Source<Object> : Object |
62+
| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
63+
| Patterns.cs:22:13:22:13 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
64+
| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | semmle.label | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
65+
| Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object | semmle.label | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
66+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
67+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | semmle.label | access to local variable o : Object |
68+
| Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
69+
| Patterns.cs:23:17:23:17 | access to local variable r : RecordClass2 [property Prop] : Object | semmle.label | access to local variable r : RecordClass2 [property Prop] : Object |
70+
| Patterns.cs:25:39:25:46 | Object p : Object | semmle.label | Object p : Object |
71+
| Patterns.cs:25:39:25:46 | Object p : Object | semmle.label | Object p : Object |
72+
| Patterns.cs:26:22:26:22 | access to local variable p | semmle.label | access to local variable p |
73+
| Patterns.cs:26:22:26:22 | access to local variable p | semmle.label | access to local variable p |
474
subpaths
75+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
76+
| Patterns.cs:12:34:12:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | Patterns.cs:12:17:12:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
77+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
78+
| Patterns.cs:22:34:22:34 | access to local variable o : Object | Patterns.cs:3:41:3:44 | Prop : Object | Patterns.cs:3:21:3:32 | this [Return] : RecordClass2 [property Prop] : Object | Patterns.cs:22:17:22:35 | object creation of type RecordClass2 : RecordClass2 [property Prop] : Object |
579
testFailures
680
#select
81+
| Patterns.cs:15:18:15:18 | access to local variable p | Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | Patterns.cs:15:18:15:18 | access to local variable p | $@ | Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | call to method Source<Object> : Object |
82+
| Patterns.cs:15:18:15:18 | access to local variable p | Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | Patterns.cs:15:18:15:18 | access to local variable p | $@ | Patterns.cs:11:17:11:33 | call to method Source<Object> : Object | call to method Source<Object> : Object |
83+
| Patterns.cs:26:22:26:22 | access to local variable p | Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | Patterns.cs:26:22:26:22 | access to local variable p | $@ | Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | call to method Source<Object> : Object |
84+
| Patterns.cs:26:22:26:22 | access to local variable p | Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | Patterns.cs:26:22:26:22 | access to local variable p | $@ | Patterns.cs:21:17:21:33 | call to method Source<Object> : Object | call to method Source<Object> : Object |

‎csharp/ql/test/library-tests/dataflow/patterns/Patterns.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ private void M1()
1212
var r = new RecordClass2(o);
1313
if (r is RecordClass2 { Prop: object p })
1414
{
15-
Sink(p); // $ MISSING: hasValueFlow=1
15+
Sink(p); // $ hasValueFlow=1
1616
}
1717
}
1818

@@ -23,7 +23,7 @@ private void M2()
2323
switch (r)
2424
{
2525
case RecordClass2 { Prop: object p }:
26-
Sink(p); // $ MISSING: hasValueFlow=2
26+
Sink(p); // $ hasValueFlow=2
2727
break;
2828
}
2929
}

0 commit comments

Comments
 (0)