codeql/java/ql/test/library-tests/dataflow/capture/inlinetest.expected

models
| 1 | Summary: java.lang; Iterable; true; forEach; (Consumer); ; Argument[this].Element; Argument[0].Parameter[0]; value; manual |
| 2 | Summary: java.util; Collection; true; add; ; ; Argument[0]; Argument[this].Element; value; manual |
| 3 | Summary: java.util; List; true; get; (int); ; Argument[this].Element; ReturnValue; value; manual |
| 4 | Summary: java.util; Map; true; forEach; (BiConsumer); ; Argument[this].MapKey; Argument[0].Parameter[0]; value; manual |
| 5 | Summary: java.util; Map; true; forEach; (BiConsumer); ; Argument[this].MapValue; Argument[0].Parameter[1]; value; manual |
| 6 | Summary: java.util; Map; true; put; (Object,Object); ; Argument[0]; Argument[this].MapKey; value; manual |
| 7 | Summary: java.util; Map; true; put; (Object,Object); ; Argument[1]; Argument[this].MapValue; value; manual |
edges
| B.java:11:5:11:6 | l1 [post update] : ArrayList [<element>] : String | B.java:13:5:13:6 | l1 : ArrayList [<element>] : String | provenance |  |
| B.java:11:12:11:22 | source(...) : String | B.java:11:5:11:6 | l1 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:13:5:13:6 | l1 : ArrayList [<element>] : String | B.java:13:16:13:16 | e : String | provenance | MaD:1 |
| B.java:13:5:13:6 | l1 : ArrayList [<element>] : String | B.java:13:16:13:29 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | provenance | MaD:1 |
| B.java:13:16:13:16 | e : String | B.java:13:28:13:28 | e : String | provenance |  |
| B.java:13:16:13:29 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | B.java:13:16:13:29 | List<String> l2 : List [<element>] : String | provenance |  |
| B.java:13:16:13:29 | List<String> l2 : List [<element>] : String | B.java:14:10:14:11 | l2 : List [<element>] : String | provenance |  |
| B.java:13:21:13:22 | l2 [post update] : ArrayList [<element>] : String | B.java:13:21:13:22 | this : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | provenance |  |
| B.java:13:21:13:22 | this : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | B.java:13:16:13:29 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | provenance |  |
| B.java:13:28:13:28 | e : String | B.java:13:21:13:22 | l2 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:14:10:14:11 | l2 : List [<element>] : String | B.java:14:10:14:18 | get(...) | provenance | MaD:3 |
| B.java:22:26:22:26 | x : String | B.java:22:68:22:68 | x : String | provenance |  |
| B.java:22:56:22:60 | other [post update] : B [bf1] : String | B.java:22:56:22:60 | this : new Consumer<String>(...) { ... } [B other, bf1] : String | provenance |  |
| B.java:22:56:22:60 | this : new Consumer<String>(...) { ... } [B other, bf1] : String | B.java:22:26:22:71 | parameter this [Return] : new Consumer<String>(...) { ... } [B other, bf1] : String | provenance |  |
| B.java:22:68:22:68 | x : String | B.java:22:56:22:60 | other [post update] : B [bf1] : String | provenance |  |
| B.java:30:5:30:5 | B other : B [bf1] : String | B.java:34:10:34:14 | other : B [bf1] : String | provenance |  |
| B.java:30:5:30:5 | f [post update] : new Consumer<String>(...) { ... } [B other, bf1] : String | B.java:30:5:30:5 | B other : B [bf1] : String | provenance |  |
| B.java:30:14:30:24 | source(...) : String | B.java:22:26:22:26 | x : String | provenance |  |
| B.java:30:14:30:24 | source(...) : String | B.java:30:5:30:5 | f [post update] : new Consumer<String>(...) { ... } [B other, bf1] : String | provenance |  |
| B.java:34:10:34:14 | other : B [bf1] : String | B.java:34:10:34:18 | other.bf1 | provenance |  |
| B.java:38:23:38:45 | inp : HashMap [<map.key>] : String | B.java:39:5:39:7 | inp : HashMap [<map.key>] : String | provenance |  |
| B.java:38:23:38:45 | inp : HashMap [<map.value>] : String | B.java:39:5:39:7 | inp : HashMap [<map.value>] : String | provenance |  |
| B.java:39:5:39:7 | inp : HashMap [<map.key>] : String | B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | provenance | MaD:4 |
| B.java:39:5:39:7 | inp : HashMap [<map.key>] : String | B.java:39:18:39:20 | key : String | provenance | MaD:4 |
| B.java:39:5:39:7 | inp : HashMap [<map.value>] : String | B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | provenance | MaD:5 |
| B.java:39:5:39:7 | inp : HashMap [<map.value>] : String | B.java:39:23:39:27 | value : String | provenance | MaD:5 |
| B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | B.java:39:17:39:56 | out : Map [<map.key>] : String | provenance |  |
| B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | B.java:39:17:39:56 | out : Map [<map.value>] : String | provenance |  |
| B.java:39:17:39:56 | out : Map [<map.key>] : String | B.java:38:48:38:70 | out [Return] : Map [<map.key>] : String | provenance |  |
| B.java:39:17:39:56 | out : Map [<map.value>] : String | B.java:38:48:38:70 | out [Return] : Map [<map.value>] : String | provenance |  |
| B.java:39:18:39:20 | key : String | B.java:39:43:39:45 | key : String | provenance |  |
| B.java:39:23:39:27 | value : String | B.java:39:48:39:52 | value : String | provenance |  |
| B.java:39:35:39:37 | out [post update] : HashMap [<map.key>] : String | B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | provenance |  |
| B.java:39:35:39:37 | out [post update] : HashMap [<map.value>] : String | B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | provenance |  |
| B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | provenance |  |
| B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | provenance |  |
| B.java:39:43:39:45 | key : String | B.java:39:35:39:37 | out [post update] : HashMap [<map.key>] : String | provenance | MaD:6 |
| B.java:39:48:39:52 | value : String | B.java:39:35:39:37 | out [post update] : HashMap [<map.value>] : String | provenance | MaD:7 |
| B.java:45:5:45:6 | m1 [post update] : HashMap [<map.key>] : String | B.java:46:13:46:14 | m1 : HashMap [<map.key>] : String | provenance |  |
| B.java:45:5:45:6 | m1 [post update] : HashMap [<map.value>] : String | B.java:46:13:46:14 | m1 : HashMap [<map.value>] : String | provenance |  |
| B.java:45:12:45:24 | source(...) : String | B.java:45:5:45:6 | m1 [post update] : HashMap [<map.key>] : String | provenance | MaD:6 |
| B.java:45:27:45:41 | source(...) : String | B.java:45:5:45:6 | m1 [post update] : HashMap [<map.value>] : String | provenance | MaD:7 |
| B.java:46:13:46:14 | m1 : HashMap [<map.key>] : String | B.java:38:23:38:45 | inp : HashMap [<map.key>] : String | provenance |  |
| B.java:46:13:46:14 | m1 : HashMap [<map.key>] : String | B.java:46:17:46:18 | m2 [post update] : HashMap [<map.key>] : String | provenance | MaD:4 |
| B.java:46:13:46:14 | m1 : HashMap [<map.value>] : String | B.java:38:23:38:45 | inp : HashMap [<map.value>] : String | provenance |  |
| B.java:46:13:46:14 | m1 : HashMap [<map.value>] : String | B.java:46:17:46:18 | m2 [post update] : HashMap [<map.value>] : String | provenance | MaD:5 |
| B.java:46:17:46:18 | m2 [post update] : HashMap [<map.key>] : String | B.java:47:5:47:6 | m2 : HashMap [<map.key>] : String | provenance |  |
| B.java:46:17:46:18 | m2 [post update] : HashMap [<map.value>] : String | B.java:47:5:47:6 | m2 : HashMap [<map.value>] : String | provenance |  |
| B.java:47:5:47:6 | m2 : HashMap [<map.key>] : String | B.java:47:17:47:17 | k : String | provenance | MaD:4 |
| B.java:47:5:47:6 | m2 : HashMap [<map.value>] : String | B.java:47:20:47:20 | v : String | provenance | MaD:5 |
| B.java:47:17:47:17 | k : String | B.java:48:12:48:12 | k | provenance |  |
| B.java:47:20:47:20 | v : String | B.java:49:12:49:12 | v | provenance |  |
| B.java:57:18:57:34 | source(...) : String | B.java:60:21:60:32 | param : String | provenance |  |
| B.java:60:21:60:32 | param : String | B.java:66:5:66:5 | param : String | provenance |  |
| B.java:61:18:65:5 | parameter this : new Runnable(...) { ... } [param] : String | B.java:64:12:64:16 | this : new Runnable(...) { ... } [param] : String | provenance |  |
| B.java:64:12:64:16 | this : new Runnable(...) { ... } [param] : String | B.java:64:12:64:16 | param | provenance |  |
| B.java:66:5:66:5 | param : String | B.java:66:5:66:5 | r : new Runnable(...) { ... } [param] : String | provenance |  |
| B.java:66:5:66:5 | r : new Runnable(...) { ... } [param] : String | B.java:61:18:65:5 | parameter this : new Runnable(...) { ... } [param] : String | provenance |  |
| B.java:71:19:71:23 | other [post update] : B [elem] : String | B.java:74:10:74:14 | other : B [elem] : String | provenance |  |
| B.java:74:10:74:14 | other : B [elem] : String | B.java:74:10:74:19 | other.elem | provenance |  |
| B.java:77:22:77:28 | param [Return] : B [elem] : String | B.java:71:19:71:23 | other [post update] : B [elem] : String | provenance |  |
| B.java:78:18:81:5 | parameter this [Return] : new Runnable(...) { ... } [param, elem] : String | B.java:82:5:82:5 | r [post update] : new Runnable(...) { ... } [param, elem] : String | provenance |  |
| B.java:80:7:80:11 | param [post update] : B [elem] : String | B.java:80:7:80:11 | this : new Runnable(...) { ... } [param, elem] : String | provenance |  |
| B.java:80:7:80:11 | this : new Runnable(...) { ... } [param, elem] : String | B.java:78:18:81:5 | parameter this [Return] : new Runnable(...) { ... } [param, elem] : String | provenance |  |
| B.java:80:20:80:39 | source(...) : String | B.java:80:7:80:11 | param [post update] : B [elem] : String | provenance |  |
| B.java:82:5:82:5 | param : B [elem] : String | B.java:77:22:77:28 | param [Return] : B [elem] : String | provenance |  |
| B.java:82:5:82:5 | r [post update] : new Runnable(...) { ... } [param, elem] : String | B.java:82:5:82:5 | param : B [elem] : String | provenance |  |
| B.java:88:22:88:44 | parameter this : new Runnable(...) { ... } [B b, elem] : String | B.java:88:35:88:35 | this : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:88:35:88:35 | b : B [elem] : String | B.java:88:35:88:40 | b.elem | provenance |  |
| B.java:88:35:88:35 | this : new Runnable(...) { ... } [B b, elem] : String | B.java:88:35:88:35 | b : B [elem] : String | provenance |  |
| B.java:89:20:89:52 | parameter this [Return] : new Runnable(...) { ... } [B b, elem] : String | B.java:96:5:96:5 | r [post update] : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:89:28:89:28 | b [post update] : B [elem] : String | B.java:89:28:89:28 | this : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:89:28:89:28 | this : new Runnable(...) { ... } [B b, elem] : String | B.java:89:20:89:52 | parameter this [Return] : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:89:37:89:49 | source(...) : String | B.java:89:28:89:28 | b [post update] : B [elem] : String | provenance |  |
| B.java:91:11:91:13 | B b : B [elem] : String | B.java:92:11:92:15 | B b : B [elem] : String | provenance |  |
| B.java:91:11:91:13 | src [post update] : new Runnable(...) { ... } [B b, elem] : String | B.java:91:11:91:13 | B b : B [elem] : String | provenance |  |
| B.java:92:11:92:15 | B b : B [elem] : String | B.java:92:11:92:15 | sink2 : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:92:11:92:15 | sink2 : new Runnable(...) { ... } [B b, elem] : String | B.java:95:14:95:23 | r : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:95:14:95:23 | r : new Runnable(...) { ... } [B b, elem] : String | B.java:96:5:96:5 | r : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:95:14:95:23 | r [Return] : new Runnable(...) { ... } [B b, elem] : String | B.java:91:11:91:13 | src [post update] : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:96:5:96:5 | r : new Runnable(...) { ... } [B b, elem] : String | B.java:88:22:88:44 | parameter this : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:96:5:96:5 | r [post update] : new Runnable(...) { ... } [B b, elem] : String | B.java:95:14:95:23 | r [Return] : new Runnable(...) { ... } [B b, elem] : String | provenance |  |
| B.java:102:5:102:6 | l1 [post update] : ArrayList [<element>] : String | B.java:103:12:103:13 | l1 : ArrayList [<element>] : String | provenance |  |
| B.java:102:12:102:29 | source(...) : String | B.java:102:5:102:6 | l1 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:103:5:103:6 | l2 [post update] : ArrayList [<element>, <element>] : String | B.java:107:5:107:6 | l2 : ArrayList [<element>, <element>] : String | provenance |  |
| B.java:103:12:103:13 | l1 : ArrayList [<element>] : String | B.java:103:5:103:6 | l2 [post update] : ArrayList [<element>, <element>] : String | provenance | MaD:2 |
| B.java:104:16:104:32 | source(...) : String | B.java:107:16:111:6 | String s : String | provenance |  |
| B.java:107:5:107:6 | l2 : ArrayList [<element>, <element>] : String | B.java:107:16:107:16 | l : List [<element>] : String | provenance | MaD:1 |
| B.java:107:5:107:6 | l2 : ArrayList [<element>, <element>] : String | B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | provenance | MaD:1 |
| B.java:107:16:107:16 | l : List [<element>] : String | B.java:107:21:107:21 | l : List [<element>] : String | provenance |  |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | provenance | MaD:1 |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | provenance | heuristic-callback |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String | provenance | MaD:1 |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String | provenance | heuristic-callback |
| B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | B.java:107:16:111:6 | List<String> out1 : List [<element>] : String | provenance |  |
| B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | B.java:107:16:111:6 | List<String> out2 : List [<element>] : String | provenance |  |
| B.java:107:16:111:6 | List<String> out1 : List [<element>] : String | B.java:112:10:112:13 | out1 : List [<element>] : String | provenance |  |
| B.java:107:16:111:6 | List<String> out2 : List [<element>] : String | B.java:113:10:113:13 | out2 : List [<element>] : String | provenance |  |
| B.java:107:16:111:6 | String s : String | B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | provenance |  |
| B.java:107:16:111:6 | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [String s] : String | provenance |  |
| B.java:107:21:107:21 | l : List [<element>] : String | B.java:107:31:107:31 | x : String | provenance | MaD:1 |
| B.java:107:21:107:21 | l : List [<element>] : String | B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | provenance | MaD:1 |
| B.java:107:31:107:31 | x : String | B.java:109:16:109:16 | x : String | provenance |  |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | provenance | MaD:1 |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | provenance | heuristic-callback |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | provenance | MaD:1 |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | provenance | heuristic-callback |
| B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | B.java:107:31:111:5 | List<String> out1 : List [<element>] : String | provenance |  |
| B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | B.java:107:31:111:5 | List<String> out2 : List [<element>] : String | provenance |  |
| B.java:107:31:111:5 | List<String> out1 : List [<element>] : String | B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | provenance |  |
| B.java:107:31:111:5 | List<String> out2 : List [<element>] : String | B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | provenance |  |
| B.java:107:31:111:5 | String s : String | B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | provenance |  |
| B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | B.java:108:12:108:12 | this : new Consumer<String>(...) { ... } [String s] : String | provenance |  |
| B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | B.java:110:16:110:16 | this : new Consumer<String>(...) { ... } [String s] : String | provenance |  |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | provenance |  |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | provenance |  |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:31:111:5 | String s : String | provenance |  |
| B.java:108:12:108:12 | this : new Consumer<String>(...) { ... } [String s] : String | B.java:108:12:108:12 | s | provenance |  |
| B.java:109:7:109:10 | out1 [post update] : ArrayList [<element>] : String | B.java:109:7:109:10 | this : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | provenance |  |
| B.java:109:7:109:10 | this : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | provenance |  |
| B.java:109:16:109:16 | x : String | B.java:109:7:109:10 | out1 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:110:7:110:10 | out2 [post update] : ArrayList [<element>] : String | B.java:110:7:110:10 | this : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | provenance |  |
| B.java:110:7:110:10 | this : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | provenance |  |
| B.java:110:16:110:16 | s : String | B.java:110:7:110:10 | out2 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:110:16:110:16 | this : new Consumer<String>(...) { ... } [String s] : String | B.java:110:16:110:16 | s : String | provenance |  |
| B.java:112:10:112:13 | out1 : List [<element>] : String | B.java:112:10:112:20 | get(...) | provenance | MaD:3 |
| B.java:113:10:113:13 | out2 : List [<element>] : String | B.java:113:10:113:20 | get(...) | provenance | MaD:3 |
| B.java:126:19:126:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:136:5:136:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:127:9:127:10 | l1 [post update] : ArrayList [<element>] : String | B.java:127:9:127:10 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:127:9:127:10 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:126:19:126:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:127:16:127:29 | source(...) : String | B.java:127:9:127:10 | l1 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:130:19:130:22 | parameter this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:131:16:131:17 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:131:9:131:10 | l2 [post update] : ArrayList [<element>] : String | B.java:131:9:131:10 | this : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | provenance |  |
| B.java:131:9:131:10 | this : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | B.java:130:19:130:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | provenance |  |
| B.java:131:16:131:17 | l1 : ArrayList [<element>] : String | B.java:131:16:131:24 | get(...) : String | provenance | MaD:3 |
| B.java:131:16:131:17 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:131:16:131:17 | l1 : ArrayList [<element>] : String | provenance |  |
| B.java:131:16:131:24 | get(...) : String | B.java:131:9:131:10 | l2 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:136:5:136:5 | List<String> l1 : List [<element>] : String | B.java:137:5:137:5 | List<String> l1 : List [<element>] : String | provenance |  |
| B.java:136:5:136:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:136:5:136:5 | List<String> l1 : List [<element>] : String | provenance |  |
| B.java:137:5:137:5 | List<String> l1 : List [<element>] : String | B.java:137:5:137:5 | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:137:5:137:5 | List<String> l2 : List [<element>] : String | B.java:138:10:138:11 | l2 : List [<element>] : String | provenance |  |
| B.java:137:5:137:5 | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:130:19:130:22 | parameter this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | provenance |  |
| B.java:137:5:137:5 | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:137:5:137:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | provenance | MaD:3 |
| B.java:137:5:137:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | B.java:137:5:137:5 | List<String> l2 : List [<element>] : String | provenance |  |
| B.java:138:10:138:11 | l2 : List [<element>] : String | B.java:138:10:138:18 | get(...) | provenance | MaD:3 |
| B.java:142:16:142:31 | source(...) : String | B.java:148:17:148:29 | String s : String | provenance |  |
| B.java:145:7:145:13 | parameter this : MyLocal [String s] : String | B.java:145:28:145:28 | this : MyLocal [String s] : String | provenance |  |
| B.java:145:19:145:22 | this [post update] : MyLocal [f] : String | B.java:145:7:145:13 | parameter this [Return] : MyLocal [f] : String | provenance |  |
| B.java:145:28:145:28 | s : String | B.java:145:19:145:22 | this [post update] : MyLocal [f] : String | provenance |  |
| B.java:145:28:145:28 | this : MyLocal [String s] : String | B.java:145:28:145:28 | s : String | provenance |  |
| B.java:146:14:146:17 | parameter this : MyLocal [f] : String | B.java:146:30:146:33 | this : MyLocal [f] : String | provenance |  |
| B.java:146:30:146:33 | this : MyLocal [f] : String | B.java:146:30:146:35 | this.f : String | provenance |  |
| B.java:148:17:148:29 | String s : String | B.java:148:17:148:29 | new MyLocal(...) [pre constructor] : MyLocal [String s] : String | provenance |  |
| B.java:148:17:148:29 | new MyLocal(...) : MyLocal [f] : String | B.java:149:10:149:10 | m : MyLocal [f] : String | provenance |  |
| B.java:148:17:148:29 | new MyLocal(...) [pre constructor] : MyLocal [String s] : String | B.java:145:7:145:13 | parameter this : MyLocal [String s] : String | provenance |  |
| B.java:148:17:148:29 | new MyLocal(...) [pre constructor] : MyLocal [String s] : String | B.java:148:17:148:29 | new MyLocal(...) : MyLocal [f] : String | provenance |  |
| B.java:149:10:149:10 | m : MyLocal [f] : String | B.java:146:14:146:17 | parameter this : MyLocal [f] : String | provenance |  |
| B.java:149:10:149:10 | m : MyLocal [f] : String | B.java:149:10:149:17 | getF(...) | provenance |  |
| B.java:153:17:153:28 | source(...) : String | B.java:173:18:173:30 | String s1 : String | provenance |  |
| B.java:154:17:154:28 | source(...) : String | B.java:173:18:173:30 | String s2 : String | provenance |  |
| B.java:154:17:154:28 | source(...) : String | B.java:174:18:174:30 | String s2 : String | provenance |  |
| B.java:154:17:154:28 | source(...) : String | B.java:175:5:175:6 | String s2 : String | provenance |  |
| B.java:158:7:158:13 | parameter this : MyLocal [String s1] : String | B.java:159:18:159:19 | this : MyLocal [String s1] : String | provenance |  |
| B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | B.java:160:14:160:15 | this : MyLocal [String s2] : String | provenance |  |
| B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | B.java:160:14:160:15 | this : MyLocal [String s2] : String | provenance |  |
| B.java:159:9:159:12 | this [post update] : MyLocal [f] : String | B.java:158:7:158:13 | parameter this [Return] : MyLocal [f] : String | provenance |  |
| B.java:159:18:159:19 | s1 : String | B.java:159:9:159:12 | this [post update] : MyLocal [f] : String | provenance |  |
| B.java:159:18:159:19 | this : MyLocal [String s1] : String | B.java:159:18:159:19 | s1 : String | provenance |  |
| B.java:160:14:160:15 | this : MyLocal [String s2] : String | B.java:160:14:160:15 | s2 | provenance |  |
| B.java:160:14:160:15 | this : MyLocal [String s2] : String | B.java:160:14:160:15 | s2 | provenance |  |
| B.java:162:12:162:15 | parameter this : MyLocal [String s2] : String | B.java:164:14:164:15 | this : MyLocal [String s2] : String | provenance |  |
| B.java:162:12:162:15 | parameter this : MyLocal [f] : String | B.java:163:14:163:14 | this <.field> : MyLocal [f] : String | provenance |  |
| B.java:163:14:163:14 | this <.field> : MyLocal [f] : String | B.java:163:14:163:14 | f | provenance |  |
| B.java:164:14:164:15 | this : MyLocal [String s2] : String | B.java:164:14:164:15 | s2 | provenance |  |
| B.java:166:16:166:23 | s : String | B.java:167:15:167:15 | s : String | provenance |  |
| B.java:167:9:167:9 | l [post update] : ArrayList [<element>] : String | B.java:167:9:167:9 | this : MyLocal [List<String> l, <element>] : String | provenance |  |
| B.java:167:9:167:9 | this : MyLocal [List<String> l, <element>] : String | B.java:166:12:166:14 | parameter this [Return] : MyLocal [List<String> l, <element>] : String | provenance |  |
| B.java:167:15:167:15 | s : String | B.java:167:9:167:9 | l [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:169:14:169:16 | parameter this : MyLocal [List<String> l, <element>] : String | B.java:170:16:170:16 | this : MyLocal [List<String> l, <element>] : String | provenance |  |
| B.java:170:16:170:16 | l : ArrayList [<element>] : String | B.java:170:16:170:23 | get(...) : String | provenance | MaD:3 |
| B.java:170:16:170:16 | this : MyLocal [List<String> l, <element>] : String | B.java:170:16:170:16 | l : ArrayList [<element>] : String | provenance |  |
| B.java:173:18:173:30 | String s1 : String | B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String | provenance |  |
| B.java:173:18:173:30 | String s2 : String | B.java:173:18:173:30 | new MyLocal(...) : MyLocal [String s2] : String | provenance |  |
| B.java:173:18:173:30 | String s2 : String | B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | provenance |  |
| B.java:173:18:173:30 | String s2 : String | B.java:174:18:174:30 | String s2 : String | provenance |  |
| B.java:173:18:173:30 | String s2 : String | B.java:175:5:175:6 | String s2 : String | provenance |  |
| B.java:173:18:173:30 | new MyLocal(...) : MyLocal [String s2] : String | B.java:173:18:173:30 | String s2 : String | provenance |  |
| B.java:173:18:173:30 | new MyLocal(...) : MyLocal [f] : String | B.java:175:5:175:6 | m1 : MyLocal [f] : String | provenance |  |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String | B.java:158:7:158:13 | parameter this : MyLocal [String s1] : String | provenance |  |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String | B.java:173:18:173:30 | new MyLocal(...) : MyLocal [f] : String | provenance |  |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | provenance |  |
| B.java:174:18:174:30 | String s2 : String | B.java:174:18:174:30 | new MyLocal(...) : MyLocal [String s2] : String | provenance |  |
| B.java:174:18:174:30 | String s2 : String | B.java:174:18:174:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | provenance |  |
| B.java:174:18:174:30 | String s2 : String | B.java:175:5:175:6 | String s2 : String | provenance |  |
| B.java:174:18:174:30 | new MyLocal(...) : MyLocal [String s2] : String | B.java:174:18:174:30 | String s2 : String | provenance |  |
| B.java:174:18:174:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | provenance |  |
| B.java:175:5:175:6 | String s2 : String | B.java:175:5:175:6 | m1 : MyLocal [String s2] : String | provenance |  |
| B.java:175:5:175:6 | m1 : MyLocal [String s2] : String | B.java:162:12:162:15 | parameter this : MyLocal [String s2] : String | provenance |  |
| B.java:175:5:175:6 | m1 : MyLocal [f] : String | B.java:162:12:162:15 | parameter this : MyLocal [f] : String | provenance |  |
| B.java:177:5:177:6 | List<String> l : List [<element>] : String | B.java:178:10:178:11 | List<String> l : List [<element>] : String | provenance |  |
| B.java:177:5:177:6 | m1 [post update] : MyLocal [List<String> l, <element>] : String | B.java:177:5:177:6 | List<String> l : List [<element>] : String | provenance |  |
| B.java:177:12:177:27 | source(...) : String | B.java:166:16:166:23 | s : String | provenance |  |
| B.java:177:12:177:27 | source(...) : String | B.java:177:5:177:6 | m1 [post update] : MyLocal [List<String> l, <element>] : String | provenance | MaD:2 |
| B.java:178:10:178:11 | List<String> l : List [<element>] : String | B.java:178:10:178:11 | m2 : MyLocal [List<String> l, <element>] : String | provenance |  |
| B.java:178:10:178:11 | m2 : MyLocal [List<String> l, <element>] : String | B.java:169:14:169:16 | parameter this : MyLocal [List<String> l, <element>] : String | provenance |  |
| B.java:178:10:178:11 | m2 : MyLocal [List<String> l, <element>] : String | B.java:178:10:178:17 | get(...) | provenance | MaD:3 |
| B.java:203:16:203:42 | source(...) : String | B.java:212:5:212:6 | String s : String | provenance |  |
| B.java:205:19:208:5 | parameter this : new Runnable(...) { ... } [String s] : String | B.java:206:12:206:12 | this : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:205:19:208:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:210:7:210:8 | r1 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:206:12:206:12 | this : new Runnable(...) { ... } [String s] : String | B.java:206:12:206:12 | s | provenance |  |
| B.java:207:7:207:9 | out [post update] : ArrayList [<element>] : String | B.java:207:7:207:9 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:207:7:207:9 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:205:19:208:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:207:15:207:42 | source(...) : String | B.java:207:7:207:9 | out [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:209:19:211:5 | parameter this : new Runnable(...) { ... } [String s] : String | B.java:210:7:210:8 | this : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:209:19:211:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:212:5:212:6 | r2 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:210:7:210:8 | List<String> out : List [<element>] : String | B.java:210:7:210:8 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:210:7:210:8 | String s : String | B.java:210:7:210:8 | r1 : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:210:7:210:8 | r1 : new Runnable(...) { ... } [String s] : String | B.java:205:19:208:5 | parameter this : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:210:7:210:8 | r1 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:210:7:210:8 | List<String> out : List [<element>] : String | provenance |  |
| B.java:210:7:210:8 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:209:19:211:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | provenance |  |
| B.java:210:7:210:8 | this : new Runnable(...) { ... } [String s] : String | B.java:210:7:210:8 | String s : String | provenance |  |
| B.java:212:5:212:6 | List<String> out : List [<element>] : String | B.java:213:10:213:12 | out : List [<element>] : String | provenance |  |
| B.java:212:5:212:6 | String s : String | B.java:212:5:212:6 | r2 : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:212:5:212:6 | r2 : new Runnable(...) { ... } [String s] : String | B.java:209:19:211:5 | parameter this : new Runnable(...) { ... } [String s] : String | provenance |  |
| B.java:212:5:212:6 | r2 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | B.java:212:5:212:6 | List<String> out : List [<element>] : String | provenance |  |
| B.java:213:10:213:12 | out : List [<element>] : String | B.java:213:10:213:19 | get(...) | provenance | MaD:3 |
| B.java:231:16:231:28 | source(...) : String | B.java:247:5:247:18 | String s : String | provenance |  |
| B.java:235:7:235:14 | parameter this : MyLocal2 [String s] : String | B.java:238:15:238:15 | this : MyLocal2 [String s] : String | provenance |  |
| B.java:238:9:238:9 | l [post update] : ArrayList [<element>] : String | B.java:238:9:238:9 | this : MyLocal2 [List<String> l, <element>] : String | provenance |  |
| B.java:238:9:238:9 | this : MyLocal2 [List<String> l, <element>] : String | B.java:235:7:235:14 | parameter this [Return] : MyLocal2 [List<String> l, <element>] : String | provenance |  |
| B.java:238:15:238:15 | s : String | B.java:238:9:238:9 | l [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:238:15:238:15 | this : MyLocal2 [String s] : String | B.java:238:15:238:15 | s : String | provenance |  |
| B.java:240:12:240:14 | parameter this : MyLocal2 [List<String> l, <element>] : String | B.java:241:16:241:16 | this : MyLocal2 [List<String> l, <element>] : String | provenance |  |
| B.java:241:9:241:10 | l2 [post update] : ArrayList [<element>] : String | B.java:241:9:241:10 | this : MyLocal2 [List<String> l2, <element>] : String | provenance |  |
| B.java:241:9:241:10 | this : MyLocal2 [List<String> l2, <element>] : String | B.java:240:12:240:14 | parameter this [Return] : MyLocal2 [List<String> l2, <element>] : String | provenance |  |
| B.java:241:16:241:16 | l : ArrayList [<element>] : String | B.java:241:16:241:23 | get(...) : String | provenance | MaD:3 |
| B.java:241:16:241:16 | this : MyLocal2 [List<String> l, <element>] : String | B.java:241:16:241:16 | l : ArrayList [<element>] : String | provenance |  |
| B.java:241:16:241:23 | get(...) : String | B.java:241:9:241:10 | l2 [post update] : ArrayList [<element>] : String | provenance | MaD:2 |
| B.java:247:5:247:18 | List<String> l2 : List [<element>] : String | B.java:249:10:249:11 | l2 : List [<element>] : String | provenance |  |
| B.java:247:5:247:18 | List<String> l : List [<element>] : String | B.java:248:10:248:10 | l : List [<element>] : String | provenance |  |
| B.java:247:5:247:18 | String s : String | B.java:247:5:247:18 | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String | provenance |  |
| B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | B.java:240:12:240:14 | parameter this : MyLocal2 [List<String> l, <element>] : String | provenance |  |
| B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | B.java:247:5:247:18 | List<String> l : List [<element>] : String | provenance |  |
| B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | B.java:247:5:247:18 | new MyLocal2(...) [post update] : MyLocal2 [List<String> l2, <element>] : String | provenance | MaD:3 |
| B.java:247:5:247:18 | new MyLocal2(...) [post update] : MyLocal2 [List<String> l2, <element>] : String | B.java:247:5:247:18 | List<String> l2 : List [<element>] : String | provenance |  |
| B.java:247:5:247:18 | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String | B.java:235:7:235:14 | parameter this : MyLocal2 [String s] : String | provenance |  |
| B.java:247:5:247:18 | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String | B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | provenance | MaD:2 |
| B.java:248:10:248:10 | l : List [<element>] : String | B.java:248:10:248:17 | get(...) | provenance | MaD:3 |
| B.java:249:10:249:11 | l2 : List [<element>] : String | B.java:249:10:249:18 | get(...) | provenance | MaD:3 |
| B.java:254:16:254:29 | source(...) : String | B.java:261:5:261:18 | String s : String | provenance |  |
| B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | B.java:255:11:255:18 | this <.method> : MyLocal3 [String s] : String | provenance |  |
| B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | B.java:256:18:256:18 | this : MyLocal3 [String s] : String | provenance |  |
| B.java:255:11:255:18 | this <.method> : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | provenance |  |
| B.java:255:11:255:18 | this <.method> : MyLocal3 [String s] : String | B.java:255:11:255:18 | this <.method> [post update] : MyLocal3 [f] : String | provenance |  |
| B.java:255:11:255:18 | this <.method> [post update] : MyLocal3 [f] : String | B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | provenance |  |
| B.java:256:7:256:19 | this <.field> [post update] : MyLocal3 [f] : String | B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | provenance |  |
| B.java:256:18:256:18 | s : String | B.java:256:7:256:19 | this <.field> [post update] : MyLocal3 [f] : String | provenance |  |
| B.java:256:18:256:18 | this : MyLocal3 [String s] : String | B.java:256:18:256:18 | s : String | provenance |  |
| B.java:257:12:257:14 | parameter this : MyLocal3 [f] : String | B.java:258:14:258:17 | this : MyLocal3 [f] : String | provenance |  |
| B.java:258:14:258:17 | this : MyLocal3 [f] : String | B.java:258:14:258:19 | this.f | provenance |  |
| B.java:261:5:261:18 | String s : String | B.java:261:5:261:18 | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String | provenance |  |
| B.java:261:5:261:18 | new MyLocal3(...) : MyLocal3 [f] : String | B.java:257:12:257:14 | parameter this : MyLocal3 [f] : String | provenance |  |
| B.java:261:5:261:18 | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | provenance |  |
| B.java:261:5:261:18 | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String | B.java:261:5:261:18 | new MyLocal3(...) : MyLocal3 [f] : String | provenance |  |
| B.java:266:16:266:29 | source(...) : String | B.java:279:10:279:23 | String s : String | provenance |  |
| B.java:266:16:266:29 | source(...) : String | B.java:280:10:280:24 | String s : String | provenance |  |
| B.java:269:7:269:14 | parameter this : MyLocal4 [String s] : String | B.java:270:9:270:17 | this <constr(this)> : MyLocal4 [String s] : String | provenance |  |
| B.java:270:9:270:17 | this <constr(this)> : MyLocal4 [String s] : String | B.java:270:9:270:17 | this <constr(this)> [post update] : MyLocal4 [f] : String | provenance |  |
| B.java:270:9:270:17 | this <constr(this)> : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | provenance |  |
| B.java:270:9:270:17 | this <constr(this)> [post update] : MyLocal4 [f] : String | B.java:269:7:269:14 | parameter this [Return] : MyLocal4 [f] : String | provenance |  |
| B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | B.java:273:13:273:13 | this : MyLocal4 [String s] : String | provenance |  |
| B.java:273:9:273:9 | this <.field> [post update] : MyLocal4 [f] : String | B.java:272:7:272:14 | parameter this [Return] : MyLocal4 [f] : String | provenance |  |
| B.java:273:13:273:13 | s : String | B.java:273:9:273:9 | this <.field> [post update] : MyLocal4 [f] : String | provenance |  |
| B.java:273:13:273:13 | this : MyLocal4 [String s] : String | B.java:273:13:273:13 | s : String | provenance |  |
| B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | B.java:276:16:276:19 | this : MyLocal4 [f] : String | provenance |  |
| B.java:276:16:276:19 | this : MyLocal4 [f] : String | B.java:276:16:276:21 | this.f : String | provenance |  |
| B.java:279:10:279:23 | String s : String | B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [String s] : String | provenance |  |
| B.java:279:10:279:23 | String s : String | B.java:279:10:279:23 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | provenance |  |
| B.java:279:10:279:23 | String s : String | B.java:280:10:280:24 | String s : String | provenance |  |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [String s] : String | B.java:279:10:279:23 | String s : String | provenance |  |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | provenance |  |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:279:10:279:29 | get(...) | provenance |  |
| B.java:279:10:279:23 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:269:7:269:14 | parameter this : MyLocal4 [String s] : String | provenance |  |
| B.java:279:10:279:23 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String | provenance |  |
| B.java:280:10:280:24 | String s : String | B.java:280:10:280:24 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | provenance |  |
| B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | provenance |  |
| B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:280:10:280:30 | get(...) | provenance |  |
| B.java:280:10:280:24 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | provenance |  |
| B.java:280:10:280:24 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String | provenance |  |
nodes
| B.java:11:5:11:6 | l1 [post update] : ArrayList [<element>] : String | semmle.label | l1 [post update] : ArrayList [<element>] : String |
| B.java:11:12:11:22 | source(...) : String | semmle.label | source(...) : String |
| B.java:13:5:13:6 | l1 : ArrayList [<element>] : String | semmle.label | l1 : ArrayList [<element>] : String |
| B.java:13:16:13:16 | e : String | semmle.label | e : String |
| B.java:13:16:13:29 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | semmle.label | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String |
| B.java:13:16:13:29 | List<String> l2 : List [<element>] : String | semmle.label | List<String> l2 : List [<element>] : String |
| B.java:13:16:13:29 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | semmle.label | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String |
| B.java:13:21:13:22 | l2 [post update] : ArrayList [<element>] : String | semmle.label | l2 [post update] : ArrayList [<element>] : String |
| B.java:13:21:13:22 | this : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | semmle.label | this : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String |
| B.java:13:28:13:28 | e : String | semmle.label | e : String |
| B.java:14:10:14:11 | l2 : List [<element>] : String | semmle.label | l2 : List [<element>] : String |
| B.java:14:10:14:18 | get(...) | semmle.label | get(...) |
| B.java:22:26:22:26 | x : String | semmle.label | x : String |
| B.java:22:26:22:71 | parameter this [Return] : new Consumer<String>(...) { ... } [B other, bf1] : String | semmle.label | parameter this [Return] : new Consumer<String>(...) { ... } [B other, bf1] : String |
| B.java:22:56:22:60 | other [post update] : B [bf1] : String | semmle.label | other [post update] : B [bf1] : String |
| B.java:22:56:22:60 | this : new Consumer<String>(...) { ... } [B other, bf1] : String | semmle.label | this : new Consumer<String>(...) { ... } [B other, bf1] : String |
| B.java:22:68:22:68 | x : String | semmle.label | x : String |
| B.java:30:5:30:5 | B other : B [bf1] : String | semmle.label | B other : B [bf1] : String |
| B.java:30:5:30:5 | f [post update] : new Consumer<String>(...) { ... } [B other, bf1] : String | semmle.label | f [post update] : new Consumer<String>(...) { ... } [B other, bf1] : String |
| B.java:30:14:30:24 | source(...) : String | semmle.label | source(...) : String |
| B.java:34:10:34:14 | other : B [bf1] : String | semmle.label | other : B [bf1] : String |
| B.java:34:10:34:18 | other.bf1 | semmle.label | other.bf1 |
| B.java:38:23:38:45 | inp : HashMap [<map.key>] : String | semmle.label | inp : HashMap [<map.key>] : String |
| B.java:38:23:38:45 | inp : HashMap [<map.value>] : String | semmle.label | inp : HashMap [<map.value>] : String |
| B.java:38:48:38:70 | out [Return] : Map [<map.key>] : String | semmle.label | out [Return] : Map [<map.key>] : String |
| B.java:38:48:38:70 | out [Return] : Map [<map.value>] : String | semmle.label | out [Return] : Map [<map.value>] : String |
| B.java:39:5:39:7 | inp : HashMap [<map.key>] : String | semmle.label | inp : HashMap [<map.key>] : String |
| B.java:39:5:39:7 | inp : HashMap [<map.value>] : String | semmle.label | inp : HashMap [<map.value>] : String |
| B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | semmle.label | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String |
| B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | semmle.label | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String |
| B.java:39:17:39:56 | out : Map [<map.key>] : String | semmle.label | out : Map [<map.key>] : String |
| B.java:39:17:39:56 | out : Map [<map.value>] : String | semmle.label | out : Map [<map.value>] : String |
| B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | semmle.label | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String |
| B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | semmle.label | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String |
| B.java:39:18:39:20 | key : String | semmle.label | key : String |
| B.java:39:23:39:27 | value : String | semmle.label | value : String |
| B.java:39:35:39:37 | out [post update] : HashMap [<map.key>] : String | semmle.label | out [post update] : HashMap [<map.key>] : String |
| B.java:39:35:39:37 | out [post update] : HashMap [<map.value>] : String | semmle.label | out [post update] : HashMap [<map.value>] : String |
| B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | semmle.label | this : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String |
| B.java:39:35:39:37 | this : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | semmle.label | this : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String |
| B.java:39:43:39:45 | key : String | semmle.label | key : String |
| B.java:39:48:39:52 | value : String | semmle.label | value : String |
| B.java:45:5:45:6 | m1 [post update] : HashMap [<map.key>] : String | semmle.label | m1 [post update] : HashMap [<map.key>] : String |
| B.java:45:5:45:6 | m1 [post update] : HashMap [<map.value>] : String | semmle.label | m1 [post update] : HashMap [<map.value>] : String |
| B.java:45:12:45:24 | source(...) : String | semmle.label | source(...) : String |
| B.java:45:27:45:41 | source(...) : String | semmle.label | source(...) : String |
| B.java:46:13:46:14 | m1 : HashMap [<map.key>] : String | semmle.label | m1 : HashMap [<map.key>] : String |
| B.java:46:13:46:14 | m1 : HashMap [<map.value>] : String | semmle.label | m1 : HashMap [<map.value>] : String |
| B.java:46:17:46:18 | m2 [post update] : HashMap [<map.key>] : String | semmle.label | m2 [post update] : HashMap [<map.key>] : String |
| B.java:46:17:46:18 | m2 [post update] : HashMap [<map.value>] : String | semmle.label | m2 [post update] : HashMap [<map.value>] : String |
| B.java:47:5:47:6 | m2 : HashMap [<map.key>] : String | semmle.label | m2 : HashMap [<map.key>] : String |
| B.java:47:5:47:6 | m2 : HashMap [<map.value>] : String | semmle.label | m2 : HashMap [<map.value>] : String |
| B.java:47:17:47:17 | k : String | semmle.label | k : String |
| B.java:47:20:47:20 | v : String | semmle.label | v : String |
| B.java:48:12:48:12 | k | semmle.label | k |
| B.java:49:12:49:12 | v | semmle.label | v |
| B.java:57:18:57:34 | source(...) : String | semmle.label | source(...) : String |
| B.java:60:21:60:32 | param : String | semmle.label | param : String |
| B.java:61:18:65:5 | parameter this : new Runnable(...) { ... } [param] : String | semmle.label | parameter this : new Runnable(...) { ... } [param] : String |
| B.java:64:12:64:16 | param | semmle.label | param |
| B.java:64:12:64:16 | this : new Runnable(...) { ... } [param] : String | semmle.label | this : new Runnable(...) { ... } [param] : String |
| B.java:66:5:66:5 | param : String | semmle.label | param : String |
| B.java:66:5:66:5 | r : new Runnable(...) { ... } [param] : String | semmle.label | r : new Runnable(...) { ... } [param] : String |
| B.java:71:19:71:23 | other [post update] : B [elem] : String | semmle.label | other [post update] : B [elem] : String |
| B.java:74:10:74:14 | other : B [elem] : String | semmle.label | other : B [elem] : String |
| B.java:74:10:74:19 | other.elem | semmle.label | other.elem |
| B.java:77:22:77:28 | param [Return] : B [elem] : String | semmle.label | param [Return] : B [elem] : String |
| B.java:78:18:81:5 | parameter this [Return] : new Runnable(...) { ... } [param, elem] : String | semmle.label | parameter this [Return] : new Runnable(...) { ... } [param, elem] : String |
| B.java:80:7:80:11 | param [post update] : B [elem] : String | semmle.label | param [post update] : B [elem] : String |
| B.java:80:7:80:11 | this : new Runnable(...) { ... } [param, elem] : String | semmle.label | this : new Runnable(...) { ... } [param, elem] : String |
| B.java:80:20:80:39 | source(...) : String | semmle.label | source(...) : String |
| B.java:82:5:82:5 | param : B [elem] : String | semmle.label | param : B [elem] : String |
| B.java:82:5:82:5 | r [post update] : new Runnable(...) { ... } [param, elem] : String | semmle.label | r [post update] : new Runnable(...) { ... } [param, elem] : String |
| B.java:88:22:88:44 | parameter this : new Runnable(...) { ... } [B b, elem] : String | semmle.label | parameter this : new Runnable(...) { ... } [B b, elem] : String |
| B.java:88:35:88:35 | b : B [elem] : String | semmle.label | b : B [elem] : String |
| B.java:88:35:88:35 | this : new Runnable(...) { ... } [B b, elem] : String | semmle.label | this : new Runnable(...) { ... } [B b, elem] : String |
| B.java:88:35:88:40 | b.elem | semmle.label | b.elem |
| B.java:89:20:89:52 | parameter this [Return] : new Runnable(...) { ... } [B b, elem] : String | semmle.label | parameter this [Return] : new Runnable(...) { ... } [B b, elem] : String |
| B.java:89:28:89:28 | b [post update] : B [elem] : String | semmle.label | b [post update] : B [elem] : String |
| B.java:89:28:89:28 | this : new Runnable(...) { ... } [B b, elem] : String | semmle.label | this : new Runnable(...) { ... } [B b, elem] : String |
| B.java:89:37:89:49 | source(...) : String | semmle.label | source(...) : String |
| B.java:91:11:91:13 | B b : B [elem] : String | semmle.label | B b : B [elem] : String |
| B.java:91:11:91:13 | src [post update] : new Runnable(...) { ... } [B b, elem] : String | semmle.label | src [post update] : new Runnable(...) { ... } [B b, elem] : String |
| B.java:92:11:92:15 | B b : B [elem] : String | semmle.label | B b : B [elem] : String |
| B.java:92:11:92:15 | sink2 : new Runnable(...) { ... } [B b, elem] : String | semmle.label | sink2 : new Runnable(...) { ... } [B b, elem] : String |
| B.java:95:14:95:23 | r : new Runnable(...) { ... } [B b, elem] : String | semmle.label | r : new Runnable(...) { ... } [B b, elem] : String |
| B.java:95:14:95:23 | r [Return] : new Runnable(...) { ... } [B b, elem] : String | semmle.label | r [Return] : new Runnable(...) { ... } [B b, elem] : String |
| B.java:96:5:96:5 | r : new Runnable(...) { ... } [B b, elem] : String | semmle.label | r : new Runnable(...) { ... } [B b, elem] : String |
| B.java:96:5:96:5 | r [post update] : new Runnable(...) { ... } [B b, elem] : String | semmle.label | r [post update] : new Runnable(...) { ... } [B b, elem] : String |
| B.java:102:5:102:6 | l1 [post update] : ArrayList [<element>] : String | semmle.label | l1 [post update] : ArrayList [<element>] : String |
| B.java:102:12:102:29 | source(...) : String | semmle.label | source(...) : String |
| B.java:103:5:103:6 | l2 [post update] : ArrayList [<element>, <element>] : String | semmle.label | l2 [post update] : ArrayList [<element>, <element>] : String |
| B.java:103:12:103:13 | l1 : ArrayList [<element>] : String | semmle.label | l1 : ArrayList [<element>] : String |
| B.java:104:16:104:32 | source(...) : String | semmle.label | source(...) : String |
| B.java:107:5:107:6 | l2 : ArrayList [<element>, <element>] : String | semmle.label | l2 : ArrayList [<element>, <element>] : String |
| B.java:107:16:107:16 | l : List [<element>] : String | semmle.label | l : List [<element>] : String |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | semmle.label | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String |
| B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | semmle.label | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | semmle.label | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:16:111:6 | List<String> out1 : List [<element>] : String | semmle.label | List<String> out1 : List [<element>] : String |
| B.java:107:16:111:6 | List<String> out2 : List [<element>] : String | semmle.label | List<String> out2 : List [<element>] : String |
| B.java:107:16:111:6 | String s : String | semmle.label | String s : String |
| B.java:107:16:111:6 | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String | semmle.label | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String |
| B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | semmle.label | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | semmle.label | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:21:107:21 | l : List [<element>] : String | semmle.label | l : List [<element>] : String |
| B.java:107:31:107:31 | x : String | semmle.label | x : String |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | semmle.label | ...->... : new Consumer<String>(...) { ... } [String s] : String |
| B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | semmle.label | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | semmle.label | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:31:111:5 | List<String> out1 : List [<element>] : String | semmle.label | List<String> out1 : List [<element>] : String |
| B.java:107:31:111:5 | List<String> out2 : List [<element>] : String | semmle.label | List<String> out2 : List [<element>] : String |
| B.java:107:31:111:5 | String s : String | semmle.label | String s : String |
| B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | semmle.label | parameter this : new Consumer<String>(...) { ... } [String s] : String |
| B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | semmle.label | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | semmle.label | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | semmle.label | this : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | semmle.label | this : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:31:111:5 | this : new Consumer<List<String>>(...) { ... } [String s] : String | semmle.label | this : new Consumer<List<String>>(...) { ... } [String s] : String |
| B.java:108:12:108:12 | s | semmle.label | s |
| B.java:108:12:108:12 | this : new Consumer<String>(...) { ... } [String s] : String | semmle.label | this : new Consumer<String>(...) { ... } [String s] : String |
| B.java:109:7:109:10 | out1 [post update] : ArrayList [<element>] : String | semmle.label | out1 [post update] : ArrayList [<element>] : String |
| B.java:109:7:109:10 | this : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | semmle.label | this : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String |
| B.java:109:16:109:16 | x : String | semmle.label | x : String |
| B.java:110:7:110:10 | out2 [post update] : ArrayList [<element>] : String | semmle.label | out2 [post update] : ArrayList [<element>] : String |
| B.java:110:7:110:10 | this : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | semmle.label | this : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String |
| B.java:110:16:110:16 | s : String | semmle.label | s : String |
| B.java:110:16:110:16 | this : new Consumer<String>(...) { ... } [String s] : String | semmle.label | this : new Consumer<String>(...) { ... } [String s] : String |
| B.java:112:10:112:13 | out1 : List [<element>] : String | semmle.label | out1 : List [<element>] : String |
| B.java:112:10:112:20 | get(...) | semmle.label | get(...) |
| B.java:113:10:113:13 | out2 : List [<element>] : String | semmle.label | out2 : List [<element>] : String |
| B.java:113:10:113:20 | get(...) | semmle.label | get(...) |
| B.java:126:19:126:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:127:9:127:10 | l1 [post update] : ArrayList [<element>] : String | semmle.label | l1 [post update] : ArrayList [<element>] : String |
| B.java:127:9:127:10 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:127:16:127:29 | source(...) : String | semmle.label | source(...) : String |
| B.java:130:19:130:22 | parameter this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | parameter this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:130:19:130:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | semmle.label | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String |
| B.java:131:9:131:10 | l2 [post update] : ArrayList [<element>] : String | semmle.label | l2 [post update] : ArrayList [<element>] : String |
| B.java:131:9:131:10 | this : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | semmle.label | this : new TwoRuns(...) { ... } [List<String> l2, <element>] : String |
| B.java:131:16:131:17 | l1 : ArrayList [<element>] : String | semmle.label | l1 : ArrayList [<element>] : String |
| B.java:131:16:131:17 | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:131:16:131:24 | get(...) : String | semmle.label | get(...) : String |
| B.java:136:5:136:5 | List<String> l1 : List [<element>] : String | semmle.label | List<String> l1 : List [<element>] : String |
| B.java:136:5:136:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | r [post update] : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:137:5:137:5 | List<String> l1 : List [<element>] : String | semmle.label | List<String> l1 : List [<element>] : String |
| B.java:137:5:137:5 | List<String> l2 : List [<element>] : String | semmle.label | List<String> l2 : List [<element>] : String |
| B.java:137:5:137:5 | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | semmle.label | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String |
| B.java:137:5:137:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | semmle.label | r [post update] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String |
| B.java:138:10:138:11 | l2 : List [<element>] : String | semmle.label | l2 : List [<element>] : String |
| B.java:138:10:138:18 | get(...) | semmle.label | get(...) |
| B.java:142:16:142:31 | source(...) : String | semmle.label | source(...) : String |
| B.java:145:7:145:13 | parameter this : MyLocal [String s] : String | semmle.label | parameter this : MyLocal [String s] : String |
| B.java:145:7:145:13 | parameter this [Return] : MyLocal [f] : String | semmle.label | parameter this [Return] : MyLocal [f] : String |
| B.java:145:19:145:22 | this [post update] : MyLocal [f] : String | semmle.label | this [post update] : MyLocal [f] : String |
| B.java:145:28:145:28 | s : String | semmle.label | s : String |
| B.java:145:28:145:28 | this : MyLocal [String s] : String | semmle.label | this : MyLocal [String s] : String |
| B.java:146:14:146:17 | parameter this : MyLocal [f] : String | semmle.label | parameter this : MyLocal [f] : String |
| B.java:146:30:146:33 | this : MyLocal [f] : String | semmle.label | this : MyLocal [f] : String |
| B.java:146:30:146:35 | this.f : String | semmle.label | this.f : String |
| B.java:148:17:148:29 | String s : String | semmle.label | String s : String |
| B.java:148:17:148:29 | new MyLocal(...) : MyLocal [f] : String | semmle.label | new MyLocal(...) : MyLocal [f] : String |
| B.java:148:17:148:29 | new MyLocal(...) [pre constructor] : MyLocal [String s] : String | semmle.label | new MyLocal(...) [pre constructor] : MyLocal [String s] : String |
| B.java:149:10:149:10 | m : MyLocal [f] : String | semmle.label | m : MyLocal [f] : String |
| B.java:149:10:149:17 | getF(...) | semmle.label | getF(...) |
| B.java:153:17:153:28 | source(...) : String | semmle.label | source(...) : String |
| B.java:154:17:154:28 | source(...) : String | semmle.label | source(...) : String |
| B.java:158:7:158:13 | parameter this : MyLocal [String s1] : String | semmle.label | parameter this : MyLocal [String s1] : String |
| B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | semmle.label | parameter this : MyLocal [String s2] : String |
| B.java:158:7:158:13 | parameter this : MyLocal [String s2] : String | semmle.label | parameter this : MyLocal [String s2] : String |
| B.java:158:7:158:13 | parameter this [Return] : MyLocal [f] : String | semmle.label | parameter this [Return] : MyLocal [f] : String |
| B.java:159:9:159:12 | this [post update] : MyLocal [f] : String | semmle.label | this [post update] : MyLocal [f] : String |
| B.java:159:18:159:19 | s1 : String | semmle.label | s1 : String |
| B.java:159:18:159:19 | this : MyLocal [String s1] : String | semmle.label | this : MyLocal [String s1] : String |
| B.java:160:14:160:15 | s2 | semmle.label | s2 |
| B.java:160:14:160:15 | this : MyLocal [String s2] : String | semmle.label | this : MyLocal [String s2] : String |
| B.java:160:14:160:15 | this : MyLocal [String s2] : String | semmle.label | this : MyLocal [String s2] : String |
| B.java:162:12:162:15 | parameter this : MyLocal [String s2] : String | semmle.label | parameter this : MyLocal [String s2] : String |
| B.java:162:12:162:15 | parameter this : MyLocal [f] : String | semmle.label | parameter this : MyLocal [f] : String |
| B.java:163:14:163:14 | f | semmle.label | f |
| B.java:163:14:163:14 | this <.field> : MyLocal [f] : String | semmle.label | this <.field> : MyLocal [f] : String |
| B.java:164:14:164:15 | s2 | semmle.label | s2 |
| B.java:164:14:164:15 | this : MyLocal [String s2] : String | semmle.label | this : MyLocal [String s2] : String |
| B.java:166:12:166:14 | parameter this [Return] : MyLocal [List<String> l, <element>] : String | semmle.label | parameter this [Return] : MyLocal [List<String> l, <element>] : String |
| B.java:166:16:166:23 | s : String | semmle.label | s : String |
| B.java:167:9:167:9 | l [post update] : ArrayList [<element>] : String | semmle.label | l [post update] : ArrayList [<element>] : String |
| B.java:167:9:167:9 | this : MyLocal [List<String> l, <element>] : String | semmle.label | this : MyLocal [List<String> l, <element>] : String |
| B.java:167:15:167:15 | s : String | semmle.label | s : String |
| B.java:169:14:169:16 | parameter this : MyLocal [List<String> l, <element>] : String | semmle.label | parameter this : MyLocal [List<String> l, <element>] : String |
| B.java:170:16:170:16 | l : ArrayList [<element>] : String | semmle.label | l : ArrayList [<element>] : String |
| B.java:170:16:170:16 | this : MyLocal [List<String> l, <element>] : String | semmle.label | this : MyLocal [List<String> l, <element>] : String |
| B.java:170:16:170:23 | get(...) : String | semmle.label | get(...) : String |
| B.java:173:18:173:30 | String s1 : String | semmle.label | String s1 : String |
| B.java:173:18:173:30 | String s2 : String | semmle.label | String s2 : String |
| B.java:173:18:173:30 | String s2 : String | semmle.label | String s2 : String |
| B.java:173:18:173:30 | new MyLocal(...) : MyLocal [String s2] : String | semmle.label | new MyLocal(...) : MyLocal [String s2] : String |
| B.java:173:18:173:30 | new MyLocal(...) : MyLocal [f] : String | semmle.label | new MyLocal(...) : MyLocal [f] : String |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String | semmle.label | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | semmle.label | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String |
| B.java:174:18:174:30 | String s2 : String | semmle.label | String s2 : String |
| B.java:174:18:174:30 | String s2 : String | semmle.label | String s2 : String |
| B.java:174:18:174:30 | new MyLocal(...) : MyLocal [String s2] : String | semmle.label | new MyLocal(...) : MyLocal [String s2] : String |
| B.java:174:18:174:30 | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String | semmle.label | new MyLocal(...) [pre constructor] : MyLocal [String s2] : String |
| B.java:175:5:175:6 | String s2 : String | semmle.label | String s2 : String |
| B.java:175:5:175:6 | m1 : MyLocal [String s2] : String | semmle.label | m1 : MyLocal [String s2] : String |
| B.java:175:5:175:6 | m1 : MyLocal [f] : String | semmle.label | m1 : MyLocal [f] : String |
| B.java:177:5:177:6 | List<String> l : List [<element>] : String | semmle.label | List<String> l : List [<element>] : String |
| B.java:177:5:177:6 | m1 [post update] : MyLocal [List<String> l, <element>] : String | semmle.label | m1 [post update] : MyLocal [List<String> l, <element>] : String |
| B.java:177:12:177:27 | source(...) : String | semmle.label | source(...) : String |
| B.java:178:10:178:11 | List<String> l : List [<element>] : String | semmle.label | List<String> l : List [<element>] : String |
| B.java:178:10:178:11 | m2 : MyLocal [List<String> l, <element>] : String | semmle.label | m2 : MyLocal [List<String> l, <element>] : String |
| B.java:178:10:178:17 | get(...) | semmle.label | get(...) |
| B.java:203:16:203:42 | source(...) : String | semmle.label | source(...) : String |
| B.java:205:19:208:5 | parameter this : new Runnable(...) { ... } [String s] : String | semmle.label | parameter this : new Runnable(...) { ... } [String s] : String |
| B.java:205:19:208:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:206:12:206:12 | s | semmle.label | s |
| B.java:206:12:206:12 | this : new Runnable(...) { ... } [String s] : String | semmle.label | this : new Runnable(...) { ... } [String s] : String |
| B.java:207:7:207:9 | out [post update] : ArrayList [<element>] : String | semmle.label | out [post update] : ArrayList [<element>] : String |
| B.java:207:7:207:9 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | this : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:207:15:207:42 | source(...) : String | semmle.label | source(...) : String |
| B.java:209:19:211:5 | parameter this : new Runnable(...) { ... } [String s] : String | semmle.label | parameter this : new Runnable(...) { ... } [String s] : String |
| B.java:209:19:211:5 | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | parameter this [Return] : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:210:7:210:8 | List<String> out : List [<element>] : String | semmle.label | List<String> out : List [<element>] : String |
| B.java:210:7:210:8 | String s : String | semmle.label | String s : String |
| B.java:210:7:210:8 | r1 : new Runnable(...) { ... } [String s] : String | semmle.label | r1 : new Runnable(...) { ... } [String s] : String |
| B.java:210:7:210:8 | r1 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | r1 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:210:7:210:8 | this : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | this : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:210:7:210:8 | this : new Runnable(...) { ... } [String s] : String | semmle.label | this : new Runnable(...) { ... } [String s] : String |
| B.java:212:5:212:6 | List<String> out : List [<element>] : String | semmle.label | List<String> out : List [<element>] : String |
| B.java:212:5:212:6 | String s : String | semmle.label | String s : String |
| B.java:212:5:212:6 | r2 : new Runnable(...) { ... } [String s] : String | semmle.label | r2 : new Runnable(...) { ... } [String s] : String |
| B.java:212:5:212:6 | r2 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String | semmle.label | r2 [post update] : new Runnable(...) { ... } [List<String> out, <element>] : String |
| B.java:213:10:213:12 | out : List [<element>] : String | semmle.label | out : List [<element>] : String |
| B.java:213:10:213:19 | get(...) | semmle.label | get(...) |
| B.java:231:16:231:28 | source(...) : String | semmle.label | source(...) : String |
| B.java:235:7:235:14 | parameter this : MyLocal2 [String s] : String | semmle.label | parameter this : MyLocal2 [String s] : String |
| B.java:235:7:235:14 | parameter this [Return] : MyLocal2 [List<String> l, <element>] : String | semmle.label | parameter this [Return] : MyLocal2 [List<String> l, <element>] : String |
| B.java:238:9:238:9 | l [post update] : ArrayList [<element>] : String | semmle.label | l [post update] : ArrayList [<element>] : String |
| B.java:238:9:238:9 | this : MyLocal2 [List<String> l, <element>] : String | semmle.label | this : MyLocal2 [List<String> l, <element>] : String |
| B.java:238:15:238:15 | s : String | semmle.label | s : String |
| B.java:238:15:238:15 | this : MyLocal2 [String s] : String | semmle.label | this : MyLocal2 [String s] : String |
| B.java:240:12:240:14 | parameter this : MyLocal2 [List<String> l, <element>] : String | semmle.label | parameter this : MyLocal2 [List<String> l, <element>] : String |
| B.java:240:12:240:14 | parameter this [Return] : MyLocal2 [List<String> l2, <element>] : String | semmle.label | parameter this [Return] : MyLocal2 [List<String> l2, <element>] : String |
| B.java:241:9:241:10 | l2 [post update] : ArrayList [<element>] : String | semmle.label | l2 [post update] : ArrayList [<element>] : String |
| B.java:241:9:241:10 | this : MyLocal2 [List<String> l2, <element>] : String | semmle.label | this : MyLocal2 [List<String> l2, <element>] : String |
| B.java:241:16:241:16 | l : ArrayList [<element>] : String | semmle.label | l : ArrayList [<element>] : String |
| B.java:241:16:241:16 | this : MyLocal2 [List<String> l, <element>] : String | semmle.label | this : MyLocal2 [List<String> l, <element>] : String |
| B.java:241:16:241:23 | get(...) : String | semmle.label | get(...) : String |
| B.java:247:5:247:18 | List<String> l2 : List [<element>] : String | semmle.label | List<String> l2 : List [<element>] : String |
| B.java:247:5:247:18 | List<String> l : List [<element>] : String | semmle.label | List<String> l : List [<element>] : String |
| B.java:247:5:247:18 | String s : String | semmle.label | String s : String |
| B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | semmle.label | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String |
| B.java:247:5:247:18 | new MyLocal2(...) [post update] : MyLocal2 [List<String> l2, <element>] : String | semmle.label | new MyLocal2(...) [post update] : MyLocal2 [List<String> l2, <element>] : String |
| B.java:247:5:247:18 | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String | semmle.label | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String |
| B.java:248:10:248:10 | l : List [<element>] : String | semmle.label | l : List [<element>] : String |
| B.java:248:10:248:17 | get(...) | semmle.label | get(...) |
| B.java:249:10:249:11 | l2 : List [<element>] : String | semmle.label | l2 : List [<element>] : String |
| B.java:249:10:249:18 | get(...) | semmle.label | get(...) |
| B.java:254:16:254:29 | source(...) : String | semmle.label | source(...) : String |
| B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | semmle.label | parameter this : MyLocal3 [String s] : String |
| B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | semmle.label | parameter this : MyLocal3 [String s] : String |
| B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | semmle.label | parameter this [Return] : MyLocal3 [f] : String |
| B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | semmle.label | parameter this [Return] : MyLocal3 [f] : String |
| B.java:255:11:255:18 | this <.method> : MyLocal3 [String s] : String | semmle.label | this <.method> : MyLocal3 [String s] : String |
| B.java:255:11:255:18 | this <.method> [post update] : MyLocal3 [f] : String | semmle.label | this <.method> [post update] : MyLocal3 [f] : String |
| B.java:256:7:256:19 | this <.field> [post update] : MyLocal3 [f] : String | semmle.label | this <.field> [post update] : MyLocal3 [f] : String |
| B.java:256:18:256:18 | s : String | semmle.label | s : String |
| B.java:256:18:256:18 | this : MyLocal3 [String s] : String | semmle.label | this : MyLocal3 [String s] : String |
| B.java:257:12:257:14 | parameter this : MyLocal3 [f] : String | semmle.label | parameter this : MyLocal3 [f] : String |
| B.java:258:14:258:17 | this : MyLocal3 [f] : String | semmle.label | this : MyLocal3 [f] : String |
| B.java:258:14:258:19 | this.f | semmle.label | this.f |
| B.java:261:5:261:18 | String s : String | semmle.label | String s : String |
| B.java:261:5:261:18 | new MyLocal3(...) : MyLocal3 [f] : String | semmle.label | new MyLocal3(...) : MyLocal3 [f] : String |
| B.java:261:5:261:18 | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String | semmle.label | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String |
| B.java:266:16:266:29 | source(...) : String | semmle.label | source(...) : String |
| B.java:269:7:269:14 | parameter this : MyLocal4 [String s] : String | semmle.label | parameter this : MyLocal4 [String s] : String |
| B.java:269:7:269:14 | parameter this [Return] : MyLocal4 [f] : String | semmle.label | parameter this [Return] : MyLocal4 [f] : String |
| B.java:270:9:270:17 | this <constr(this)> : MyLocal4 [String s] : String | semmle.label | this <constr(this)> : MyLocal4 [String s] : String |
| B.java:270:9:270:17 | this <constr(this)> [post update] : MyLocal4 [f] : String | semmle.label | this <constr(this)> [post update] : MyLocal4 [f] : String |
| B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | semmle.label | parameter this : MyLocal4 [String s] : String |
| B.java:272:7:272:14 | parameter this [Return] : MyLocal4 [f] : String | semmle.label | parameter this [Return] : MyLocal4 [f] : String |
| B.java:273:9:273:9 | this <.field> [post update] : MyLocal4 [f] : String | semmle.label | this <.field> [post update] : MyLocal4 [f] : String |
| B.java:273:13:273:13 | s : String | semmle.label | s : String |
| B.java:273:13:273:13 | this : MyLocal4 [String s] : String | semmle.label | this : MyLocal4 [String s] : String |
| B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | semmle.label | parameter this : MyLocal4 [f] : String |
| B.java:276:16:276:19 | this : MyLocal4 [f] : String | semmle.label | this : MyLocal4 [f] : String |
| B.java:276:16:276:21 | this.f : String | semmle.label | this.f : String |
| B.java:279:10:279:23 | String s : String | semmle.label | String s : String |
| B.java:279:10:279:23 | String s : String | semmle.label | String s : String |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [String s] : String | semmle.label | new MyLocal4(...) : MyLocal4 [String s] : String |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String | semmle.label | new MyLocal4(...) : MyLocal4 [f] : String |
| B.java:279:10:279:23 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | semmle.label | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String |
| B.java:279:10:279:29 | get(...) | semmle.label | get(...) |
| B.java:280:10:280:24 | String s : String | semmle.label | String s : String |
| B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String | semmle.label | new MyLocal4(...) : MyLocal4 [f] : String |
| B.java:280:10:280:24 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | semmle.label | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String |
| B.java:280:10:280:30 | get(...) | semmle.label | get(...) |
subpaths
| B.java:13:5:13:6 | l1 : ArrayList [<element>] : String | B.java:13:16:13:16 | e : String | B.java:13:16:13:29 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String | B.java:13:16:13:29 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> l2, <element>] : String |
| B.java:30:14:30:24 | source(...) : String | B.java:22:26:22:26 | x : String | B.java:22:26:22:71 | parameter this [Return] : new Consumer<String>(...) { ... } [B other, bf1] : String | B.java:30:5:30:5 | f [post update] : new Consumer<String>(...) { ... } [B other, bf1] : String |
| B.java:39:5:39:7 | inp : HashMap [<map.key>] : String | B.java:39:18:39:20 | key : String | B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String | B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.key>] : String |
| B.java:39:5:39:7 | inp : HashMap [<map.value>] : String | B.java:39:23:39:27 | value : String | B.java:39:17:39:56 | parameter this [Return] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String | B.java:39:17:39:56 | ...->... [post update] : new BiConsumer<String,String>(...) { ... } [out, <map.value>] : String |
| B.java:46:13:46:14 | m1 : HashMap [<map.key>] : String | B.java:38:23:38:45 | inp : HashMap [<map.key>] : String | B.java:38:48:38:70 | out [Return] : Map [<map.key>] : String | B.java:46:17:46:18 | m2 [post update] : HashMap [<map.key>] : String |
| B.java:46:13:46:14 | m1 : HashMap [<map.value>] : String | B.java:38:23:38:45 | inp : HashMap [<map.value>] : String | B.java:38:48:38:70 | out [Return] : Map [<map.value>] : String | B.java:46:17:46:18 | m2 [post update] : HashMap [<map.value>] : String |
| B.java:107:5:107:6 | l2 : ArrayList [<element>, <element>] : String | B.java:107:16:107:16 | l : List [<element>] : String | B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String | B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:16:111:6 | ...->... : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | parameter this : new Consumer<List<String>>(...) { ... } [String s] : String | B.java:107:16:111:6 | parameter this [Return] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String | B.java:107:16:111:6 | ...->... [post update] : new Consumer<List<String>>(...) { ... } [List<String> out2, <element>] : String |
| B.java:107:21:107:21 | l : List [<element>] : String | B.java:107:31:107:31 | x : String | B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String | B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out1, <element>] : String |
| B.java:107:31:111:5 | ...->... : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | parameter this : new Consumer<String>(...) { ... } [String s] : String | B.java:107:31:111:5 | parameter this [Return] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String | B.java:107:31:111:5 | ...->... [post update] : new Consumer<String>(...) { ... } [List<String> out2, <element>] : String |
| B.java:137:5:137:5 | r : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:130:19:130:22 | parameter this : new TwoRuns(...) { ... } [List<String> l1, <element>] : String | B.java:130:19:130:22 | parameter this [Return] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String | B.java:137:5:137:5 | r [post update] : new TwoRuns(...) { ... } [List<String> l2, <element>] : String |
| B.java:148:17:148:29 | new MyLocal(...) [pre constructor] : MyLocal [String s] : String | B.java:145:7:145:13 | parameter this : MyLocal [String s] : String | B.java:145:7:145:13 | parameter this [Return] : MyLocal [f] : String | B.java:148:17:148:29 | new MyLocal(...) : MyLocal [f] : String |
| B.java:149:10:149:10 | m : MyLocal [f] : String | B.java:146:14:146:17 | parameter this : MyLocal [f] : String | B.java:146:30:146:35 | this.f : String | B.java:149:10:149:17 | getF(...) |
| B.java:173:18:173:30 | new MyLocal(...) [pre constructor] : MyLocal [String s1] : String | B.java:158:7:158:13 | parameter this : MyLocal [String s1] : String | B.java:158:7:158:13 | parameter this [Return] : MyLocal [f] : String | B.java:173:18:173:30 | new MyLocal(...) : MyLocal [f] : String |
| B.java:177:12:177:27 | source(...) : String | B.java:166:16:166:23 | s : String | B.java:166:12:166:14 | parameter this [Return] : MyLocal [List<String> l, <element>] : String | B.java:177:5:177:6 | m1 [post update] : MyLocal [List<String> l, <element>] : String |
| B.java:178:10:178:11 | m2 : MyLocal [List<String> l, <element>] : String | B.java:169:14:169:16 | parameter this : MyLocal [List<String> l, <element>] : String | B.java:170:16:170:23 | get(...) : String | B.java:178:10:178:17 | get(...) |
| B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String | B.java:240:12:240:14 | parameter this : MyLocal2 [List<String> l, <element>] : String | B.java:240:12:240:14 | parameter this [Return] : MyLocal2 [List<String> l2, <element>] : String | B.java:247:5:247:18 | new MyLocal2(...) [post update] : MyLocal2 [List<String> l2, <element>] : String |
| B.java:247:5:247:18 | new MyLocal2(...) [pre constructor] : MyLocal2 [String s] : String | B.java:235:7:235:14 | parameter this : MyLocal2 [String s] : String | B.java:235:7:235:14 | parameter this [Return] : MyLocal2 [List<String> l, <element>] : String | B.java:247:5:247:18 | new MyLocal2(...) : MyLocal2 [List<String> l, <element>] : String |
| B.java:255:11:255:18 | this <.method> : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | B.java:255:11:255:18 | this <.method> [post update] : MyLocal3 [f] : String |
| B.java:261:5:261:18 | new MyLocal3(...) [pre constructor] : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this : MyLocal3 [String s] : String | B.java:255:11:255:18 | parameter this [Return] : MyLocal3 [f] : String | B.java:261:5:261:18 | new MyLocal3(...) : MyLocal3 [f] : String |
| B.java:270:9:270:17 | this <constr(this)> : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this [Return] : MyLocal4 [f] : String | B.java:270:9:270:17 | this <constr(this)> [post update] : MyLocal4 [f] : String |
| B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | B.java:276:16:276:21 | this.f : String | B.java:279:10:279:29 | get(...) |
| B.java:279:10:279:23 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:269:7:269:14 | parameter this : MyLocal4 [String s] : String | B.java:269:7:269:14 | parameter this [Return] : MyLocal4 [f] : String | B.java:279:10:279:23 | new MyLocal4(...) : MyLocal4 [f] : String |
| B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String | B.java:275:14:275:16 | parameter this : MyLocal4 [f] : String | B.java:276:16:276:21 | this.f : String | B.java:280:10:280:30 | get(...) |
| B.java:280:10:280:24 | new MyLocal4(...) [pre constructor] : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this : MyLocal4 [String s] : String | B.java:272:7:272:14 | parameter this [Return] : MyLocal4 [f] : String | B.java:280:10:280:24 | new MyLocal4(...) : MyLocal4 [f] : String |
testFailures