Add tests that show tuple types

This commit is contained in:
Tamas Vajk
2021-02-24 09:37:03 +01:00
parent aeb13146d2
commit 7e1eee5fe2
4 changed files with 109 additions and 93 deletions

View File

@@ -1,92 +1,92 @@
| CSharp7.cs:66:16:66:27 | (..., ...) | 0 | CSharp7.cs:66:20:66:20 | 1 |
| CSharp7.cs:66:16:66:27 | (..., ...) | 1 | CSharp7.cs:66:26:66:26 | 2 |
| CSharp7.cs:71:9:71:22 | (..., ...) | 0 | CSharp7.cs:71:14:71:14 | Int32 x |
| CSharp7.cs:71:9:71:22 | (..., ...) | 1 | CSharp7.cs:71:21:71:21 | Int32 y |
| CSharp7.cs:73:9:73:14 | (..., ...) | 0 | CSharp7.cs:73:10:73:10 | access to local variable x |
| CSharp7.cs:73:9:73:14 | (..., ...) | 1 | CSharp7.cs:73:13:73:13 | access to local variable y |
| CSharp7.cs:75:9:75:23 | (..., ...) | 0 | CSharp7.cs:75:10:75:10 | access to local variable x |
| CSharp7.cs:75:9:75:23 | (..., ...) | 1 | CSharp7.cs:75:13:75:13 | access to local variable y |
| CSharp7.cs:75:9:75:23 | (..., ...) | 2 | CSharp7.cs:75:16:75:22 | access to field Item1 |
| CSharp7.cs:75:27:75:35 | (..., ...) | 0 | CSharp7.cs:75:28:75:28 | 1 |
| CSharp7.cs:75:27:75:35 | (..., ...) | 1 | CSharp7.cs:75:31:75:31 | 2 |
| CSharp7.cs:75:27:75:35 | (..., ...) | 2 | CSharp7.cs:75:34:75:34 | 3 |
| CSharp7.cs:76:9:76:14 | (..., ...) | 0 | CSharp7.cs:76:10:76:10 | access to local variable x |
| CSharp7.cs:76:9:76:14 | (..., ...) | 1 | CSharp7.cs:76:13:76:13 | access to local variable y |
| CSharp7.cs:76:18:76:23 | (..., ...) | 0 | CSharp7.cs:76:19:76:19 | access to local variable x |
| CSharp7.cs:76:18:76:23 | (..., ...) | 1 | CSharp7.cs:76:22:76:22 | access to local variable y |
| CSharp7.cs:76:27:76:32 | (..., ...) | 0 | CSharp7.cs:76:28:76:28 | 1 |
| CSharp7.cs:76:27:76:32 | (..., ...) | 1 | CSharp7.cs:76:31:76:31 | 2 |
| CSharp7.cs:77:9:77:31 | (..., ...) | 0 | CSharp7.cs:77:14:77:14 | Int32 a |
| CSharp7.cs:77:9:77:31 | (..., ...) | 1 | CSharp7.cs:77:17:77:30 | (..., ...) |
| CSharp7.cs:77:17:77:30 | (..., ...) | 0 | CSharp7.cs:77:22:77:22 | Int32 b |
| CSharp7.cs:77:17:77:30 | (..., ...) | 1 | CSharp7.cs:77:29:77:29 | Int32 c |
| CSharp7.cs:77:35:77:40 | (..., ...) | 0 | CSharp7.cs:77:36:77:36 | 1 |
| CSharp7.cs:77:35:77:40 | (..., ...) | 1 | CSharp7.cs:77:39:77:39 | access to local variable z |
| CSharp7.cs:78:9:78:19 | (..., ...) | 0 | CSharp7.cs:78:10:78:10 | access to local variable a |
| CSharp7.cs:78:9:78:19 | (..., ...) | 1 | CSharp7.cs:78:13:78:18 | (..., ...) |
| CSharp7.cs:78:13:78:18 | (..., ...) | 0 | CSharp7.cs:78:14:78:14 | access to local variable b |
| CSharp7.cs:78:13:78:18 | (..., ...) | 1 | CSharp7.cs:78:17:78:17 | access to local variable c |
| CSharp7.cs:78:23:78:33 | (..., ...) | 0 | CSharp7.cs:78:24:78:24 | access to local variable b |
| CSharp7.cs:78:23:78:33 | (..., ...) | 1 | CSharp7.cs:78:27:78:32 | (..., ...) |
| CSharp7.cs:78:27:78:32 | (..., ...) | 0 | CSharp7.cs:78:28:78:28 | access to local variable c |
| CSharp7.cs:78:27:78:32 | (..., ...) | 1 | CSharp7.cs:78:31:78:31 | access to local variable a |
| CSharp7.cs:79:9:79:18 | (..., ...) | 0 | CSharp7.cs:79:14:79:14 | String i |
| CSharp7.cs:79:9:79:18 | (..., ...) | 1 | CSharp7.cs:79:17:79:17 | Int32 j |
| CSharp7.cs:79:22:79:28 | (..., ...) | 0 | CSharp7.cs:79:23:79:24 | "" |
| CSharp7.cs:79:22:79:28 | (..., ...) | 1 | CSharp7.cs:79:27:79:27 | access to local variable x |
| CSharp7.cs:84:16:84:24 | (..., ...) | 0 | CSharp7.cs:84:20:84:20 | access to parameter x |
| CSharp7.cs:84:16:84:24 | (..., ...) | 1 | CSharp7.cs:84:23:84:23 | 2 |
| CSharp7.cs:89:18:89:34 | (..., ...) | 0 | CSharp7.cs:89:19:89:27 | "tainted" |
| CSharp7.cs:89:18:89:34 | (..., ...) | 1 | CSharp7.cs:89:30:89:33 | "X2" |
| CSharp7.cs:90:9:90:24 | (..., ...) | 0 | CSharp7.cs:90:14:90:15 | String t2 |
| CSharp7.cs:90:9:90:24 | (..., ...) | 1 | CSharp7.cs:90:22:90:23 | String t3 |
| CSharp7.cs:97:18:97:38 | (..., ...) | 0 | CSharp7.cs:97:19:97:19 | 1 |
| CSharp7.cs:97:18:97:38 | (..., ...) | 1 | CSharp7.cs:97:22:97:37 | "TupleExprNode1" |
| CSharp7.cs:98:18:98:43 | (..., ...) | 0 | CSharp7.cs:98:19:98:19 | 1 |
| CSharp7.cs:98:18:98:43 | (..., ...) | 1 | CSharp7.cs:98:22:98:42 | (..., ...) |
| CSharp7.cs:98:22:98:42 | (..., ...) | 0 | CSharp7.cs:98:23:98:38 | "TupleExprNode2" |
| CSharp7.cs:98:22:98:42 | (..., ...) | 1 | CSharp7.cs:98:41:98:41 | 2 |
| CSharp7.cs:103:18:103:42 | (..., ...) | 0 | CSharp7.cs:103:19:103:38 | "TupleMemberAccess1" |
| CSharp7.cs:103:18:103:42 | (..., ...) | 1 | CSharp7.cs:103:41:103:41 | 0 |
| CSharp7.cs:104:18:104:47 | (..., ...) | 0 | CSharp7.cs:104:19:104:19 | 0 |
| CSharp7.cs:104:18:104:47 | (..., ...) | 1 | CSharp7.cs:104:22:104:46 | (..., ...) |
| CSharp7.cs:104:22:104:46 | (..., ...) | 0 | CSharp7.cs:104:23:104:42 | "TupleMemberAccess2" |
| CSharp7.cs:104:22:104:46 | (..., ...) | 1 | CSharp7.cs:104:45:104:45 | 1 |
| CSharp7.cs:109:9:109:24 | (..., ...) | 0 | CSharp7.cs:109:14:109:15 | String m1 |
| CSharp7.cs:109:9:109:24 | (..., ...) | 1 | CSharp7.cs:109:22:109:23 | (Int32,Int32) m2 |
| CSharp7.cs:109:28:109:46 | (..., ...) | 0 | CSharp7.cs:109:29:109:37 | "DefUse1" |
| CSharp7.cs:109:28:109:46 | (..., ...) | 1 | CSharp7.cs:109:40:109:45 | (..., ...) |
| CSharp7.cs:109:40:109:45 | (..., ...) | 0 | CSharp7.cs:109:41:109:41 | 0 |
| CSharp7.cs:109:40:109:45 | (..., ...) | 1 | CSharp7.cs:109:44:109:44 | 1 |
| CSharp7.cs:112:9:112:22 | (..., ...) | 0 | CSharp7.cs:112:10:112:11 | access to local variable m3 |
| CSharp7.cs:112:9:112:22 | (..., ...) | 1 | CSharp7.cs:112:14:112:21 | (..., ...) |
| CSharp7.cs:112:14:112:21 | (..., ...) | 0 | CSharp7.cs:112:15:112:16 | access to local variable m4 |
| CSharp7.cs:112:14:112:21 | (..., ...) | 1 | CSharp7.cs:112:19:112:20 | access to local variable m5 |
| CSharp7.cs:112:26:112:33 | (..., ...) | 0 | CSharp7.cs:112:27:112:28 | access to local variable m1 |
| CSharp7.cs:112:26:112:33 | (..., ...) | 1 | CSharp7.cs:112:31:112:32 | access to local variable m2 |
| CSharp7.cs:114:9:114:34 | (..., ...) | 0 | CSharp7.cs:114:14:114:15 | String m7 |
| CSharp7.cs:114:9:114:34 | (..., ...) | 1 | CSharp7.cs:114:18:114:33 | (..., ...) |
| CSharp7.cs:114:18:114:33 | (..., ...) | 0 | CSharp7.cs:114:23:114:24 | Int32 m8 |
| CSharp7.cs:114:18:114:33 | (..., ...) | 1 | CSharp7.cs:114:31:114:32 | Int32 m9 |
| CSharp7.cs:114:38:114:45 | (..., ...) | 0 | CSharp7.cs:114:39:114:40 | access to local variable m1 |
| CSharp7.cs:114:38:114:45 | (..., ...) | 1 | CSharp7.cs:114:43:114:44 | access to local variable m2 |
| CSharp7.cs:114:49:114:67 | (..., ...) | 0 | CSharp7.cs:114:50:114:58 | "DefUse2" |
| CSharp7.cs:114:49:114:67 | (..., ...) | 1 | CSharp7.cs:114:61:114:66 | (..., ...) |
| CSharp7.cs:114:61:114:66 | (..., ...) | 0 | CSharp7.cs:114:62:114:62 | 0 |
| CSharp7.cs:114:61:114:66 | (..., ...) | 1 | CSharp7.cs:114:65:114:65 | 1 |
| CSharp7.cs:218:16:218:23 | (..., ...) | 0 | CSharp7.cs:218:17:218:17 | 0 |
| CSharp7.cs:218:16:218:23 | (..., ...) | 1 | CSharp7.cs:218:20:218:22 | 0 |
| CSharp7.cs:224:9:224:14 | (..., ...) | 0 | CSharp7.cs:224:10:224:10 | _ |
| CSharp7.cs:224:9:224:14 | (..., ...) | 1 | CSharp7.cs:224:13:224:13 | _ |
| CSharp7.cs:225:9:225:18 | (..., ...) | 0 | CSharp7.cs:225:14:225:14 | Int32 x |
| CSharp7.cs:225:9:225:18 | (..., ...) | 1 | CSharp7.cs:225:17:225:17 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | 0 | CSharp7.cs:226:10:226:10 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | 1 | CSharp7.cs:226:17:226:17 | Double y |
| CSharp7.cs:285:40:285:61 | (..., ...) | 0 | CSharp7.cs:285:41:285:48 | access to property Key |
| CSharp7.cs:285:40:285:61 | (..., ...) | 1 | CSharp7.cs:285:51:285:60 | access to property Value |
| CSharp7.cs:287:18:287:34 | (..., ...) | 0 | CSharp7.cs:287:23:287:23 | Int32 a |
| CSharp7.cs:287:18:287:34 | (..., ...) | 1 | CSharp7.cs:287:33:287:33 | String b |
| CSharp7.cs:289:18:289:31 | (..., ...) | 0 | CSharp7.cs:289:23:289:23 | Int32 a |
| CSharp7.cs:289:18:289:31 | (..., ...) | 1 | CSharp7.cs:289:30:289:30 | String b |
| CSharp7.cs:291:18:291:27 | (..., ...) | 0 | CSharp7.cs:291:23:291:23 | Int32 a |
| CSharp7.cs:291:18:291:27 | (..., ...) | 1 | CSharp7.cs:291:26:291:26 | String b |
| CSharp7.cs:66:16:66:27 | (..., ...) | CSharp7.cs:64:5:64:18 | (Int32,Int32) | 0 | CSharp7.cs:66:20:66:20 | 1 |
| CSharp7.cs:66:16:66:27 | (..., ...) | CSharp7.cs:64:5:64:18 | (Int32,Int32) | 1 | CSharp7.cs:66:26:66:26 | 2 |
| CSharp7.cs:71:9:71:22 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 0 | CSharp7.cs:71:14:71:14 | Int32 x |
| CSharp7.cs:71:9:71:22 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 1 | CSharp7.cs:71:21:71:21 | Int32 y |
| CSharp7.cs:73:9:73:14 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 0 | CSharp7.cs:73:10:73:10 | access to local variable x |
| CSharp7.cs:73:9:73:14 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 1 | CSharp7.cs:73:13:73:13 | access to local variable y |
| CSharp7.cs:75:9:75:23 | (..., ...) | CSharp7.cs:75:9:75:23 | (Int32,Int32,Int32) | 0 | CSharp7.cs:75:10:75:10 | access to local variable x |
| CSharp7.cs:75:9:75:23 | (..., ...) | CSharp7.cs:75:9:75:23 | (Int32,Int32,Int32) | 1 | CSharp7.cs:75:13:75:13 | access to local variable y |
| CSharp7.cs:75:9:75:23 | (..., ...) | CSharp7.cs:75:9:75:23 | (Int32,Int32,Int32) | 2 | CSharp7.cs:75:16:75:22 | access to field Item1 |
| CSharp7.cs:75:27:75:35 | (..., ...) | file://:0:0:0:0 | (Int32,Int32,Int32) | 0 | CSharp7.cs:75:28:75:28 | 1 |
| CSharp7.cs:75:27:75:35 | (..., ...) | file://:0:0:0:0 | (Int32,Int32,Int32) | 1 | CSharp7.cs:75:31:75:31 | 2 |
| CSharp7.cs:75:27:75:35 | (..., ...) | file://:0:0:0:0 | (Int32,Int32,Int32) | 2 | CSharp7.cs:75:34:75:34 | 3 |
| CSharp7.cs:76:9:76:14 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 0 | CSharp7.cs:76:10:76:10 | access to local variable x |
| CSharp7.cs:76:9:76:14 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 1 | CSharp7.cs:76:13:76:13 | access to local variable y |
| CSharp7.cs:76:18:76:23 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 0 | CSharp7.cs:76:19:76:19 | access to local variable x |
| CSharp7.cs:76:18:76:23 | (..., ...) | CSharp7.cs:71:9:71:22 | (Int32,Int32) | 1 | CSharp7.cs:76:22:76:22 | access to local variable y |
| CSharp7.cs:76:27:76:32 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 0 | CSharp7.cs:76:28:76:28 | 1 |
| CSharp7.cs:76:27:76:32 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 1 | CSharp7.cs:76:31:76:31 | 2 |
| CSharp7.cs:77:9:77:31 | (..., ...) | CSharp7.cs:77:9:77:31 | (Int32,(Int32,Int32)) | 0 | CSharp7.cs:77:14:77:14 | Int32 a |
| CSharp7.cs:77:9:77:31 | (..., ...) | CSharp7.cs:77:9:77:31 | (Int32,(Int32,Int32)) | 1 | CSharp7.cs:77:17:77:30 | (..., ...) |
| CSharp7.cs:77:17:77:30 | (..., ...) | CSharp7.cs:77:17:77:30 | (Int32,Int32) | 0 | CSharp7.cs:77:22:77:22 | Int32 b |
| CSharp7.cs:77:17:77:30 | (..., ...) | CSharp7.cs:77:17:77:30 | (Int32,Int32) | 1 | CSharp7.cs:77:29:77:29 | Int32 c |
| CSharp7.cs:77:35:77:40 | (..., ...) | CSharp7.cs:77:35:77:40 | (Int32,(Int32,Int32)) | 0 | CSharp7.cs:77:36:77:36 | 1 |
| CSharp7.cs:77:35:77:40 | (..., ...) | CSharp7.cs:77:35:77:40 | (Int32,(Int32,Int32)) | 1 | CSharp7.cs:77:39:77:39 | access to local variable z |
| CSharp7.cs:78:9:78:19 | (..., ...) | CSharp7.cs:77:9:77:31 | (Int32,(Int32,Int32)) | 0 | CSharp7.cs:78:10:78:10 | access to local variable a |
| CSharp7.cs:78:9:78:19 | (..., ...) | CSharp7.cs:77:9:77:31 | (Int32,(Int32,Int32)) | 1 | CSharp7.cs:78:13:78:18 | (..., ...) |
| CSharp7.cs:78:13:78:18 | (..., ...) | CSharp7.cs:77:17:77:30 | (Int32,Int32) | 0 | CSharp7.cs:78:14:78:14 | access to local variable b |
| CSharp7.cs:78:13:78:18 | (..., ...) | CSharp7.cs:77:17:77:30 | (Int32,Int32) | 1 | CSharp7.cs:78:17:78:17 | access to local variable c |
| CSharp7.cs:78:23:78:33 | (..., ...) | CSharp7.cs:78:23:78:33 | (Int32,(Int32,Int32)) | 0 | CSharp7.cs:78:24:78:24 | access to local variable b |
| CSharp7.cs:78:23:78:33 | (..., ...) | CSharp7.cs:78:23:78:33 | (Int32,(Int32,Int32)) | 1 | CSharp7.cs:78:27:78:32 | (..., ...) |
| CSharp7.cs:78:27:78:32 | (..., ...) | CSharp7.cs:78:27:78:32 | (Int32,Int32) | 0 | CSharp7.cs:78:28:78:28 | access to local variable c |
| CSharp7.cs:78:27:78:32 | (..., ...) | CSharp7.cs:78:27:78:32 | (Int32,Int32) | 1 | CSharp7.cs:78:31:78:31 | access to local variable a |
| CSharp7.cs:79:9:79:18 | (..., ...) | file://:0:0:0:0 | null | 0 | CSharp7.cs:79:14:79:14 | String i |
| CSharp7.cs:79:9:79:18 | (..., ...) | file://:0:0:0:0 | null | 1 | CSharp7.cs:79:17:79:17 | Int32 j |
| CSharp7.cs:79:22:79:28 | (..., ...) | CSharp7.cs:79:22:79:28 | (String,Int32) | 0 | CSharp7.cs:79:23:79:24 | "" |
| CSharp7.cs:79:22:79:28 | (..., ...) | CSharp7.cs:79:22:79:28 | (String,Int32) | 1 | CSharp7.cs:79:27:79:27 | access to local variable x |
| CSharp7.cs:84:16:84:24 | (..., ...) | CSharp7.cs:84:16:84:24 | (String,Int32) | 0 | CSharp7.cs:84:20:84:20 | access to parameter x |
| CSharp7.cs:84:16:84:24 | (..., ...) | CSharp7.cs:84:16:84:24 | (String,Int32) | 1 | CSharp7.cs:84:23:84:23 | 2 |
| CSharp7.cs:89:18:89:34 | (..., ...) | CSharp7.cs:89:18:89:34 | (String,String) | 0 | CSharp7.cs:89:19:89:27 | "tainted" |
| CSharp7.cs:89:18:89:34 | (..., ...) | CSharp7.cs:89:18:89:34 | (String,String) | 1 | CSharp7.cs:89:30:89:33 | "X2" |
| CSharp7.cs:90:9:90:24 | (..., ...) | CSharp7.cs:90:9:90:24 | (String,String) | 0 | CSharp7.cs:90:14:90:15 | String t2 |
| CSharp7.cs:90:9:90:24 | (..., ...) | CSharp7.cs:90:9:90:24 | (String,String) | 1 | CSharp7.cs:90:22:90:23 | String t3 |
| CSharp7.cs:97:18:97:38 | (..., ...) | file://:0:0:0:0 | (Int32,String) | 0 | CSharp7.cs:97:19:97:19 | 1 |
| CSharp7.cs:97:18:97:38 | (..., ...) | file://:0:0:0:0 | (Int32,String) | 1 | CSharp7.cs:97:22:97:37 | "TupleExprNode1" |
| CSharp7.cs:98:18:98:43 | (..., ...) | CSharp7.cs:98:18:98:43 | (Int32,(String,Int32)) | 0 | CSharp7.cs:98:19:98:19 | 1 |
| CSharp7.cs:98:18:98:43 | (..., ...) | CSharp7.cs:98:18:98:43 | (Int32,(String,Int32)) | 1 | CSharp7.cs:98:22:98:42 | (..., ...) |
| CSharp7.cs:98:22:98:42 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 0 | CSharp7.cs:98:23:98:38 | "TupleExprNode2" |
| CSharp7.cs:98:22:98:42 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 1 | CSharp7.cs:98:41:98:41 | 2 |
| CSharp7.cs:103:18:103:42 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 0 | CSharp7.cs:103:19:103:38 | "TupleMemberAccess1" |
| CSharp7.cs:103:18:103:42 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 1 | CSharp7.cs:103:41:103:41 | 0 |
| CSharp7.cs:104:18:104:47 | (..., ...) | CSharp7.cs:98:18:98:43 | (Int32,(String,Int32)) | 0 | CSharp7.cs:104:19:104:19 | 0 |
| CSharp7.cs:104:18:104:47 | (..., ...) | CSharp7.cs:98:18:98:43 | (Int32,(String,Int32)) | 1 | CSharp7.cs:104:22:104:46 | (..., ...) |
| CSharp7.cs:104:22:104:46 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 0 | CSharp7.cs:104:23:104:42 | "TupleMemberAccess2" |
| CSharp7.cs:104:22:104:46 | (..., ...) | file://:0:0:0:0 | (String,Int32) | 1 | CSharp7.cs:104:45:104:45 | 1 |
| CSharp7.cs:109:9:109:24 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 0 | CSharp7.cs:109:14:109:15 | String m1 |
| CSharp7.cs:109:9:109:24 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 1 | CSharp7.cs:109:22:109:23 | (Int32,Int32) m2 |
| CSharp7.cs:109:28:109:46 | (..., ...) | file://:0:0:0:0 | (String,(Int32,Int32)) | 0 | CSharp7.cs:109:29:109:37 | "DefUse1" |
| CSharp7.cs:109:28:109:46 | (..., ...) | file://:0:0:0:0 | (String,(Int32,Int32)) | 1 | CSharp7.cs:109:40:109:45 | (..., ...) |
| CSharp7.cs:109:40:109:45 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 0 | CSharp7.cs:109:41:109:41 | 0 |
| CSharp7.cs:109:40:109:45 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 1 | CSharp7.cs:109:44:109:44 | 1 |
| CSharp7.cs:112:9:112:22 | (..., ...) | CSharp7.cs:112:9:112:22 | (String,(Int32,Int32)) | 0 | CSharp7.cs:112:10:112:11 | access to local variable m3 |
| CSharp7.cs:112:9:112:22 | (..., ...) | CSharp7.cs:112:9:112:22 | (String,(Int32,Int32)) | 1 | CSharp7.cs:112:14:112:21 | (..., ...) |
| CSharp7.cs:112:14:112:21 | (..., ...) | CSharp7.cs:112:14:112:21 | (Int32,Int32) | 0 | CSharp7.cs:112:15:112:16 | access to local variable m4 |
| CSharp7.cs:112:14:112:21 | (..., ...) | CSharp7.cs:112:14:112:21 | (Int32,Int32) | 1 | CSharp7.cs:112:19:112:20 | access to local variable m5 |
| CSharp7.cs:112:26:112:33 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 0 | CSharp7.cs:112:27:112:28 | access to local variable m1 |
| CSharp7.cs:112:26:112:33 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 1 | CSharp7.cs:112:31:112:32 | access to local variable m2 |
| CSharp7.cs:114:9:114:34 | (..., ...) | CSharp7.cs:114:9:114:34 | (String,(Int32,Int32)) | 0 | CSharp7.cs:114:14:114:15 | String m7 |
| CSharp7.cs:114:9:114:34 | (..., ...) | CSharp7.cs:114:9:114:34 | (String,(Int32,Int32)) | 1 | CSharp7.cs:114:18:114:33 | (..., ...) |
| CSharp7.cs:114:18:114:33 | (..., ...) | CSharp7.cs:114:18:114:33 | (Int32,Int32) | 0 | CSharp7.cs:114:23:114:24 | Int32 m8 |
| CSharp7.cs:114:18:114:33 | (..., ...) | CSharp7.cs:114:18:114:33 | (Int32,Int32) | 1 | CSharp7.cs:114:31:114:32 | Int32 m9 |
| CSharp7.cs:114:38:114:45 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 0 | CSharp7.cs:114:39:114:40 | access to local variable m1 |
| CSharp7.cs:114:38:114:45 | (..., ...) | CSharp7.cs:109:9:109:24 | (String,(Int32,Int32)) | 1 | CSharp7.cs:114:43:114:44 | access to local variable m2 |
| CSharp7.cs:114:49:114:67 | (..., ...) | file://:0:0:0:0 | (String,(Int32,Int32)) | 0 | CSharp7.cs:114:50:114:58 | "DefUse2" |
| CSharp7.cs:114:49:114:67 | (..., ...) | file://:0:0:0:0 | (String,(Int32,Int32)) | 1 | CSharp7.cs:114:61:114:66 | (..., ...) |
| CSharp7.cs:114:61:114:66 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 0 | CSharp7.cs:114:62:114:62 | 0 |
| CSharp7.cs:114:61:114:66 | (..., ...) | file://:0:0:0:0 | (Int32,Int32) | 1 | CSharp7.cs:114:65:114:65 | 1 |
| CSharp7.cs:218:16:218:23 | (..., ...) | CSharp7.cs:215:5:215:17 | (Int32,Double) | 0 | CSharp7.cs:218:17:218:17 | 0 |
| CSharp7.cs:218:16:218:23 | (..., ...) | CSharp7.cs:215:5:215:17 | (Int32,Double) | 1 | CSharp7.cs:218:20:218:22 | 0 |
| CSharp7.cs:224:9:224:14 | (..., ...) | CSharp7.cs:215:5:215:17 | (Int32,Double) | 0 | CSharp7.cs:224:10:224:10 | _ |
| CSharp7.cs:224:9:224:14 | (..., ...) | CSharp7.cs:215:5:215:17 | (Int32,Double) | 1 | CSharp7.cs:224:13:224:13 | _ |
| CSharp7.cs:225:9:225:18 | (..., ...) | CSharp7.cs:225:9:225:18 | (Int32,Double) | 0 | CSharp7.cs:225:14:225:14 | Int32 x |
| CSharp7.cs:225:9:225:18 | (..., ...) | CSharp7.cs:225:9:225:18 | (Int32,Double) | 1 | CSharp7.cs:225:17:225:17 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | CSharp7.cs:226:9:226:18 | (Int32,Double) | 0 | CSharp7.cs:226:10:226:10 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | CSharp7.cs:226:9:226:18 | (Int32,Double) | 1 | CSharp7.cs:226:17:226:17 | Double y |
| CSharp7.cs:285:40:285:61 | (..., ...) | CSharp7.cs:285:40:285:61 | (Int32,String) | 0 | CSharp7.cs:285:41:285:48 | access to property Key |
| CSharp7.cs:285:40:285:61 | (..., ...) | CSharp7.cs:285:40:285:61 | (Int32,String) | 1 | CSharp7.cs:285:51:285:60 | access to property Value |
| CSharp7.cs:287:18:287:34 | (..., ...) | CSharp7.cs:287:18:287:34 | (Int32,String) | 0 | CSharp7.cs:287:23:287:23 | Int32 a |
| CSharp7.cs:287:18:287:34 | (..., ...) | CSharp7.cs:287:18:287:34 | (Int32,String) | 1 | CSharp7.cs:287:33:287:33 | String b |
| CSharp7.cs:289:18:289:31 | (..., ...) | CSharp7.cs:287:18:287:34 | (Int32,String) | 0 | CSharp7.cs:289:23:289:23 | Int32 a |
| CSharp7.cs:289:18:289:31 | (..., ...) | CSharp7.cs:287:18:287:34 | (Int32,String) | 1 | CSharp7.cs:289:30:289:30 | String b |
| CSharp7.cs:291:18:291:27 | (..., ...) | file://:0:0:0:0 | null | 0 | CSharp7.cs:291:23:291:23 | Int32 a |
| CSharp7.cs:291:18:291:27 | (..., ...) | file://:0:0:0:0 | null | 1 | CSharp7.cs:291:26:291:26 | String b |

View File

@@ -1,4 +1,4 @@
import csharp
from TupleExpr e, int i
select e, i, e.getArgument(i)
select e, e.getType(), i, e.getArgument(i)

View File

@@ -187,3 +187,17 @@ labeledPatternExpr
| patterns.cs:128:27:128:31 | Int32 x | X |
| patterns.cs:129:27:129:28 | 10 | X |
| patterns.cs:142:31:142:32 | 10 | X |
tupleTypes
| patterns.cs:59:18:59:27 | (..., ...) | file://:0:0:0:0 | null |
| patterns.cs:86:15:86:19 | (..., ...) | patterns.cs:86:15:86:19 | (Int32,Int32) |
| patterns.cs:91:16:91:20 | (..., ...) | patterns.cs:86:15:86:19 | (Int32,Int32) |
| patterns.cs:108:9:108:20 | (..., ...) | file://:0:0:0:0 | null |
| patterns.cs:108:24:108:31 | (..., ...) | patterns.cs:108:24:108:31 | (Int32,Int32) |
| patterns.cs:110:22:110:26 | (..., ...) | patterns.cs:86:15:86:19 | (Int32,Int32) |
| patterns.cs:111:22:111:26 | (..., ...) | patterns.cs:86:15:86:19 | (Int32,Int32) |
| patterns.cs:115:9:115:16 | (..., ...) | patterns.cs:108:9:108:20 | (Int32,Int32) |
| patterns.cs:115:20:115:27 | (..., ...) | patterns.cs:108:24:108:31 | (Int32,Int32) |
| patterns.cs:117:27:117:33 | (..., ...) | patterns.cs:117:27:117:33 | (Int32,Int32) |
| patterns.cs:118:28:118:34 | (..., ...) | patterns.cs:118:28:118:34 | (Int32,Int32) |
| patterns.cs:119:33:119:38 | (..., ...) | patterns.cs:86:15:86:19 | (Int32,Int32) |
| patterns.cs:131:13:131:22 | (..., ...) | file://:0:0:0:0 | null |

View File

@@ -67,3 +67,5 @@ query predicate isRecursivePatternExprWithDecl(
}
query predicate labeledPatternExpr(LabeledPatternExpr e, string s) { s = e.getLabel() }
query predicate tupleTypes(TupleExpr te, Type t) { te.getType() = t }