Skip to content

Commit 8b9cc99

Browse files
owen-mcowen-mc
committed
Test helper predicates for FieldDecl 
1 parent d9bc165 commit 8b9cc99

File tree

2 files changed

+77
-0
lines changed

2 files changed

+77
-0
lines changed

‎go/ql/test/library-tests/semmle/go/Types/FieldDecl.expected

Lines changed: 70 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,70 @@
1+
fieldDeclWithNamedFields
2+
| aliases.go:6:26:6:35 | field declaration | 0 | aliases.go:6:26:6:26 | x |
3+
| aliases.go:6:26:6:35 | field declaration | 0 | aliases.go:8:26:8:26 | x |
4+
| aliases.go:6:26:6:35 | field declaration | 0 | aliases.go:19:17:19:17 | x |
5+
| aliases.go:8:26:8:35 | field declaration | 0 | aliases.go:6:26:6:26 | x |
6+
| aliases.go:8:26:8:35 | field declaration | 0 | aliases.go:8:26:8:26 | x |
7+
| aliases.go:8:26:8:35 | field declaration | 0 | aliases.go:19:17:19:17 | x |
8+
| aliases.go:19:17:19:21 | field declaration | 0 | aliases.go:6:26:6:26 | x |
9+
| aliases.go:19:17:19:21 | field declaration | 0 | aliases.go:8:26:8:26 | x |
10+
| aliases.go:19:17:19:21 | field declaration | 0 | aliases.go:19:17:19:17 | x |
11+
| aliases.go:29:34:29:42 | field declaration | 0 | aliases.go:29:34:29:34 | x |
12+
| cyclic.go:9:2:9:6 | field declaration | 0 | cyclic.go:9:2:9:2 | f |
13+
| depth.go:11:2:11:6 | field declaration | 0 | depth.go:11:2:11:2 | f |
14+
| depth.go:19:2:19:9 | field declaration | 0 | depth.go:19:2:19:2 | f |
15+
| embedded.go:4:2:4:9 | field declaration | 0 | embedded.go:4:2:4:2 | A |
16+
| embedded.go:13:2:13:11 | field declaration | 0 | embedded.go:13:2:13:4 | Baz |
17+
| generic.go:4:2:4:15 | field declaration | 0 | generic.go:4:2:4:11 | valueField |
18+
| generic.go:5:2:5:16 | field declaration | 0 | generic.go:5:2:5:13 | pointerField |
19+
| generic.go:6:2:6:19 | field declaration | 0 | generic.go:6:2:6:11 | arrayField |
20+
| generic.go:7:2:7:17 | field declaration | 0 | generic.go:7:2:7:11 | sliceField |
21+
| generic.go:8:2:8:26 | field declaration | 0 | generic.go:8:2:8:9 | mapField |
22+
| generic.go:12:2:12:40 | field declaration | 0 | generic.go:12:2:12:13 | pointerField |
23+
| generic.go:16:2:16:31 | field declaration | 0 | generic.go:16:2:16:5 | root |
24+
| generic.go:20:2:20:30 | field declaration | 0 | generic.go:20:2:20:12 | structField |
25+
| generic.go:21:2:21:20 | field declaration | 0 | generic.go:21:2:21:9 | mapField |
26+
| generic.go:25:2:25:33 | field declaration | 0 | generic.go:25:2:25:12 | structField |
27+
| generic.go:29:2:29:43 | field declaration | 0 | generic.go:29:2:29:13 | pointerField |
28+
| pkg1/embedding.go:37:2:37:6 | field declaration | 0 | pkg1/embedding.go:37:2:37:2 | f |
29+
| pkg1/promotedStructs.go:5:2:5:14 | field declaration | 0 | pkg1/promotedStructs.go:5:2:5:7 | SField |
30+
| pkg1/promotedStructs.go:14:2:14:14 | field declaration | 0 | pkg1/promotedStructs.go:14:2:14:7 | PField |
31+
| pkg1/tst.go:6:2:6:6 | field declaration | 0 | pkg1/tst.go:6:2:6:2 | f |
32+
| pkg1/tst.go:12:2:12:8 | field declaration | 0 | pkg1/tst.go:12:2:12:4 | Foo |
33+
| pkg1/tst.go:23:2:23:8 | field declaration | 0 | pkg1/tst.go:23:2:23:4 | Bar |
34+
| pkg1/tst.go:27:2:27:9 | field declaration | 0 | pkg1/tst.go:27:2:27:4 | val |
35+
| pkg1/tst.go:28:2:28:10 | field declaration | 0 | pkg1/tst.go:28:2:28:5 | flag |
36+
| pkg1/tst.go:32:2:32:10 | field declaration | 0 | pkg1/tst.go:32:2:32:5 | flag |
37+
| pkg2/tst.go:4:2:4:6 | field declaration | 0 | pkg2/tst.go:4:2:4:2 | g |
38+
| pkg2/tst.go:4:2:4:6 | field declaration | 0 | pkg2/tst.go:8:2:8:2 | g |
39+
| pkg2/tst.go:8:2:8:6 | field declaration | 0 | pkg2/tst.go:4:2:4:2 | g |
40+
| pkg2/tst.go:8:2:8:6 | field declaration | 0 | pkg2/tst.go:8:2:8:2 | g |
41+
| pkg2/tst.go:17:2:17:15 | field declaration | 0 | pkg2/tst.go:17:2:17:8 | NCField |
42+
| struct_tags.go:4:2:4:19 | field declaration | 0 | struct_tags.go:4:2:4:7 | field1 |
43+
| struct_tags.go:5:2:5:19 | field declaration | 0 | struct_tags.go:5:2:5:7 | field2 |
44+
| struct_tags.go:9:2:9:19 | field declaration | 0 | struct_tags.go:9:2:9:7 | field1 |
45+
| struct_tags.go:10:2:10:19 | field declaration | 0 | struct_tags.go:10:2:10:7 | field2 |
46+
fieldDeclWithEmbeddedField
47+
| cyclic.go:4:2:4:3 | field declaration | * s |
48+
| cyclic.go:8:2:8:3 | field declaration | * u |
49+
| cyclic.go:13:2:13:2 | field declaration | t |
50+
| cyclic.go:17:2:17:2 | field declaration | s |
51+
| depth.go:6:2:6:2 | field declaration | b |
52+
| depth.go:7:2:7:2 | field declaration | c |
53+
| depth.go:15:2:15:2 | field declaration | d |
54+
| embedded.go:8:2:8:5 | field declaration | * Baz |
55+
| embedded.go:12:2:12:4 | field declaration | Qux |
56+
| main.go:18:2:18:15 | field declaration | NameClash |
57+
| pkg1/embedding.go:19:23:19:26 | field declaration | base |
58+
| pkg1/embedding.go:22:26:22:30 | field declaration | * base |
59+
| pkg1/embedding.go:25:24:25:31 | field declaration | embedder |
60+
| pkg1/embedding.go:28:24:28:31 | field declaration | embedder |
61+
| pkg1/embedding.go:36:2:36:5 | field declaration | base |
62+
| pkg1/promotedStructs.go:22:22:22:22 | field declaration | S |
63+
| pkg1/promotedStructs.go:25:22:25:22 | field declaration | P |
64+
| pkg1/tst.go:7:2:7:4 | field declaration | Foo |
65+
| pkg1/tst.go:8:2:8:4 | field declaration | Bar |
66+
| pkg1/tst.go:13:2:13:4 | field declaration | Bar |
67+
| pkg1/tst.go:17:2:17:5 | field declaration | * Foo |
68+
| pkg1/tst.go:18:2:18:5 | field declaration | * Bar |
69+
| pkg1/tst.go:22:2:22:5 | field declaration | * Foo |
70+
| pkg1/tst.go:62:2:62:15 | field declaration | NameClash |

‎go/ql/test/library-tests/semmle/go/Types/FieldDecl.ql

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
import go
2+
3+
query predicate fieldDeclWithNamedFields(FieldDecl fd, int i, Field f) { fd.getField(i) = f }
4+
5+
query predicate fieldDeclWithEmbeddedField(FieldDecl fd, string tp) {
6+
fd.isEmbedded() and tp = fd.getType().pp()
7+
}

0 commit comments

Comments
 (0)