@@ -54,13 +54,22 @@ edges
54
54
| Test.java:21:41:21:52 | keySet(...) : Set [<element>] : String | Test.java:21:41:21:63 | iterator(...) : Iterator [<element>] : String | provenance | MaD:44 |
55
55
| Test.java:21:41:21:63 | iterator(...) : Iterator [<element>] : String | Test.java:21:41:21:70 | next(...) : String | provenance | MaD:45 |
56
56
| Test.java:22:19:22:32 | it : JsonArray [<element>] : JsonElement | Test.java:22:44:22:45 | it : JsonArray [<element>] : JsonElement | provenance | |
57
+ | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | Test.java:22:44:22:45 | it : JsonArray [<element>] : Object | provenance | |
57
58
| Test.java:22:19:22:32 | it : List [<element>] : JsonElement | Test.java:22:44:22:45 | it : List [<element>] : JsonElement | provenance | |
59
+ | Test.java:22:19:22:32 | it : Set [<element>, <map.key>] : String | Test.java:22:44:22:45 | it : Set [<element>, <map.key>] : String | provenance | |
60
+ | Test.java:22:19:22:32 | it : Set [<element>, <map.value>] : JsonElement | Test.java:22:44:22:45 | it : Set [<element>, <map.value>] : JsonElement | provenance | |
58
61
| Test.java:22:19:22:32 | it : Set [<element>] : String | Test.java:22:44:22:45 | it : Set [<element>] : String | provenance | |
59
62
| Test.java:22:44:22:45 | it : JsonArray [<element>] : JsonElement | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | provenance | MaD:44 |
63
+ | Test.java:22:44:22:45 | it : JsonArray [<element>] : Object | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : Object | provenance | MaD:44 |
60
64
| Test.java:22:44:22:45 | it : List [<element>] : JsonElement | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | provenance | MaD:44 |
65
+ | Test.java:22:44:22:45 | it : Set [<element>, <map.key>] : String | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.key>] : String | provenance | MaD:44 |
66
+ | Test.java:22:44:22:45 | it : Set [<element>, <map.value>] : JsonElement | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.value>] : JsonElement | provenance | MaD:44 |
61
67
| Test.java:22:44:22:45 | it : Set [<element>] : String | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : String | provenance | MaD:44 |
68
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.key>] : String | Test.java:22:44:22:63 | next(...) : Object [<map.key>] : String | provenance | MaD:45 |
69
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.value>] : JsonElement | Test.java:22:44:22:63 | next(...) : Object [<map.value>] : JsonElement | provenance | MaD:45 |
62
70
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | Test.java:22:44:22:63 | next(...) : JsonElement | provenance | MaD:45 |
63
71
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | Test.java:22:44:22:63 | next(...) : JsonElement | provenance | MaD:45 |
72
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : Object | Test.java:22:44:22:63 | next(...) : Object | provenance | MaD:45 |
64
73
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : String | Test.java:22:44:22:63 | next(...) : String | provenance | MaD:45 |
65
74
| Test.java:23:20:23:31 | map : Map [<map.value>] : JsonElement | Test.java:23:43:23:45 | map : Map [<map.value>] : JsonElement | provenance | |
66
75
| Test.java:23:43:23:45 | map : Map [<map.value>] : JsonElement | Test.java:23:43:23:55 | get(...) : JsonElement | provenance | MaD:46 |
@@ -189,11 +198,13 @@ edges
189
198
| Test.java:237:26:237:33 | source(...) : Object | Test.java:237:17:237:33 | (...)... : Boolean | provenance | |
190
199
| Test.java:238:4:238:6 | out [post update] : JsonArray [<element>] : Object | Test.java:239:20:239:22 | out : JsonArray [<element>] : Object | provenance | |
191
200
| Test.java:238:12:238:13 | in : Boolean | Test.java:238:4:238:6 | out [post update] : JsonArray [<element>] : Object | provenance | MaD:23 |
201
+ | Test.java:239:20:239:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | provenance | |
192
202
| Test.java:239:20:239:22 | out : JsonArray [<element>] : Object | Test.java:239:9:239:23 | getElement(...) | provenance | MaD:44 |
193
203
| Test.java:244:19:244:37 | (...)... : Number | Test.java:245:12:245:13 | in : Number | provenance | |
194
204
| Test.java:244:30:244:37 | source(...) : Object | Test.java:244:19:244:37 | (...)... : Number | provenance | |
195
205
| Test.java:245:4:245:6 | out [post update] : JsonArray [<element>] : Object | Test.java:246:20:246:22 | out : JsonArray [<element>] : Object | provenance | |
196
206
| Test.java:245:12:245:13 | in : Number | Test.java:245:4:245:6 | out [post update] : JsonArray [<element>] : Object | provenance | MaD:24 |
207
+ | Test.java:246:20:246:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | provenance | |
197
208
| Test.java:246:20:246:22 | out : JsonArray [<element>] : Object | Test.java:246:9:246:23 | getElement(...) | provenance | MaD:44 |
198
209
| Test.java:251:21:251:41 | (...)... : JsonElement | Test.java:252:12:252:13 | in : JsonElement | provenance | |
199
210
| Test.java:251:34:251:41 | source(...) : Object | Test.java:251:21:251:41 | (...)... : JsonElement | provenance | |
@@ -205,11 +216,13 @@ edges
205
216
| Test.java:258:24:258:31 | source(...) : Object | Test.java:258:16:258:31 | (...)... : Number | provenance | |
206
217
| Test.java:259:4:259:6 | out [post update] : JsonArray [<element>] : Object | Test.java:260:20:260:22 | out : JsonArray [<element>] : Object | provenance | |
207
218
| Test.java:259:12:259:13 | in : Number | Test.java:259:4:259:6 | out [post update] : JsonArray [<element>] : Object | provenance | MaD:26 |
219
+ | Test.java:260:20:260:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | provenance | |
208
220
| Test.java:260:20:260:22 | out : JsonArray [<element>] : Object | Test.java:260:9:260:23 | getElement(...) | provenance | MaD:44 |
209
221
| Test.java:265:16:265:31 | (...)... : String | Test.java:266:12:266:13 | in : String | provenance | |
210
222
| Test.java:265:24:265:31 | source(...) : Object | Test.java:265:16:265:31 | (...)... : String | provenance | |
211
223
| Test.java:266:4:266:6 | out [post update] : JsonArray [<element>] : Object | Test.java:267:20:267:22 | out : JsonArray [<element>] : Object | provenance | |
212
224
| Test.java:266:12:266:13 | in : String | Test.java:266:4:266:6 | out [post update] : JsonArray [<element>] : Object | provenance | MaD:27 |
225
+ | Test.java:267:20:267:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | provenance | |
213
226
| Test.java:267:20:267:22 | out : JsonArray [<element>] : Object | Test.java:267:9:267:23 | getElement(...) | provenance | MaD:44 |
214
227
| Test.java:272:19:272:63 | newWithElementDefault(...) : JsonArray [<element>] : JsonElement | Test.java:273:15:273:16 | in : JsonArray [<element>] : JsonElement | provenance | |
215
228
| Test.java:272:41:272:62 | (...)... : JsonElement | Test.java:28:34:28:52 | element : JsonElement | provenance | |
@@ -339,6 +352,7 @@ edges
339
352
| Test.java:434:10:434:22 | entrySet(...) : Set [<element>, <map.key>] : String | Test.java:435:37:435:39 | out : Set [<element>, <map.key>] : String | provenance | |
340
353
| Test.java:435:26:435:40 | getElement(...) : Entry [<map.key>] : String | Test.java:25:25:25:48 | container : Entry [<map.key>] : String | provenance | |
341
354
| Test.java:435:26:435:40 | getElement(...) : Entry [<map.key>] : String | Test.java:435:9:435:41 | getMapKeyDefault(...) | provenance | MaD:48 |
355
+ | Test.java:435:37:435:39 | out : Set [<element>, <map.key>] : String | Test.java:22:19:22:32 | it : Set [<element>, <map.key>] : String | provenance | |
342
356
| Test.java:435:37:435:39 | out : Set [<element>, <map.key>] : String | Test.java:435:26:435:40 | getElement(...) : Entry [<map.key>] : String | provenance | MaD:44 |
343
357
| Test.java:440:20:440:65 | newWithMapValueDefault(...) : JsonObject [<map.value>] : JsonElement | Test.java:441:10:441:11 | in : JsonObject [<map.value>] : JsonElement | provenance | |
344
358
| Test.java:440:43:440:64 | (...)... : JsonElement | Test.java:30:36:30:54 | element : JsonElement | provenance | |
@@ -348,6 +362,7 @@ edges
348
362
| Test.java:441:10:441:22 | entrySet(...) : Set [<element>, <map.value>] : JsonElement | Test.java:442:39:442:41 | out : Set [<element>, <map.value>] : JsonElement | provenance | |
349
363
| Test.java:442:28:442:42 | getElement(...) : Entry [<map.value>] : JsonElement | Test.java:27:28:27:51 | container : Entry [<map.value>] : JsonElement | provenance | |
350
364
| Test.java:442:28:442:42 | getElement(...) : Entry [<map.value>] : JsonElement | Test.java:442:9:442:43 | getMapValueDefault(...) | provenance | MaD:49 |
365
+ | Test.java:442:39:442:41 | out : Set [<element>, <map.value>] : JsonElement | Test.java:22:19:22:32 | it : Set [<element>, <map.value>] : JsonElement | provenance | |
351
366
| Test.java:442:39:442:41 | out : Set [<element>, <map.value>] : JsonElement | Test.java:442:28:442:42 | getElement(...) : Entry [<map.value>] : JsonElement | provenance | MaD:44 |
352
367
| Test.java:447:20:447:65 | newWithMapValueDefault(...) : JsonObject [<map.value>] : JsonElement | Test.java:448:10:448:11 | in : JsonObject [<map.value>] : JsonElement | provenance | |
353
368
| Test.java:447:43:447:64 | (...)... : JsonElement | Test.java:30:36:30:54 | element : JsonElement | provenance | |
@@ -378,16 +393,28 @@ nodes
378
393
| Test.java:21:41:21:63 | iterator(...) : Iterator [<element>] : String | semmle.label | iterator(...) : Iterator [<element>] : String |
379
394
| Test.java:21:41:21:70 | next(...) : String | semmle.label | next(...) : String |
380
395
| Test.java:22:19:22:32 | it : JsonArray [<element>] : JsonElement | semmle.label | it : JsonArray [<element>] : JsonElement |
396
+ | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | semmle.label | it : JsonArray [<element>] : Object |
381
397
| Test.java:22:19:22:32 | it : List [<element>] : JsonElement | semmle.label | it : List [<element>] : JsonElement |
398
+ | Test.java:22:19:22:32 | it : Set [<element>, <map.key>] : String | semmle.label | it : Set [<element>, <map.key>] : String |
399
+ | Test.java:22:19:22:32 | it : Set [<element>, <map.value>] : JsonElement | semmle.label | it : Set [<element>, <map.value>] : JsonElement |
382
400
| Test.java:22:19:22:32 | it : Set [<element>] : String | semmle.label | it : Set [<element>] : String |
383
401
| Test.java:22:44:22:45 | it : JsonArray [<element>] : JsonElement | semmle.label | it : JsonArray [<element>] : JsonElement |
402
+ | Test.java:22:44:22:45 | it : JsonArray [<element>] : Object | semmle.label | it : JsonArray [<element>] : Object |
384
403
| Test.java:22:44:22:45 | it : List [<element>] : JsonElement | semmle.label | it : List [<element>] : JsonElement |
404
+ | Test.java:22:44:22:45 | it : Set [<element>, <map.key>] : String | semmle.label | it : Set [<element>, <map.key>] : String |
405
+ | Test.java:22:44:22:45 | it : Set [<element>, <map.value>] : JsonElement | semmle.label | it : Set [<element>, <map.value>] : JsonElement |
385
406
| Test.java:22:44:22:45 | it : Set [<element>] : String | semmle.label | it : Set [<element>] : String |
407
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.key>] : String | semmle.label | iterator(...) : Iterator [<element>, <map.key>] : String |
408
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>, <map.value>] : JsonElement | semmle.label | iterator(...) : Iterator [<element>, <map.value>] : JsonElement |
386
409
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | semmle.label | iterator(...) : Iterator [<element>] : JsonElement |
387
410
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : JsonElement | semmle.label | iterator(...) : Iterator [<element>] : JsonElement |
411
+ | Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : Object | semmle.label | iterator(...) : Iterator [<element>] : Object |
388
412
| Test.java:22:44:22:56 | iterator(...) : Iterator [<element>] : String | semmle.label | iterator(...) : Iterator [<element>] : String |
389
413
| Test.java:22:44:22:63 | next(...) : JsonElement | semmle.label | next(...) : JsonElement |
390
414
| Test.java:22:44:22:63 | next(...) : JsonElement | semmle.label | next(...) : JsonElement |
415
+ | Test.java:22:44:22:63 | next(...) : Object | semmle.label | next(...) : Object |
416
+ | Test.java:22:44:22:63 | next(...) : Object [<map.key>] : String | semmle.label | next(...) : Object [<map.key>] : String |
417
+ | Test.java:22:44:22:63 | next(...) : Object [<map.value>] : JsonElement | semmle.label | next(...) : Object [<map.value>] : JsonElement |
391
418
| Test.java:22:44:22:63 | next(...) : String | semmle.label | next(...) : String |
392
419
| Test.java:23:20:23:31 | map : Map [<map.value>] : JsonElement | semmle.label | map : Map [<map.value>] : JsonElement |
393
420
| Test.java:23:43:23:45 | map : Map [<map.value>] : JsonElement | semmle.label | map : Map [<map.value>] : JsonElement |
@@ -745,7 +772,11 @@ nodes
745
772
| Test.java:469:28:469:29 | in : String | semmle.label | in : String |
746
773
| Test.java:470:9:470:11 | out | semmle.label | out |
747
774
subpaths
775
+ | Test.java:239:20:239:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | Test.java:22:44:22:63 | next(...) : Object | Test.java:239:9:239:23 | getElement(...) |
776
+ | Test.java:246:20:246:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | Test.java:22:44:22:63 | next(...) : Object | Test.java:246:9:246:23 | getElement(...) |
748
777
| Test.java:253:20:253:22 | out : JsonArray [<element>] : JsonElement | Test.java:22:19:22:32 | it : JsonArray [<element>] : JsonElement | Test.java:22:44:22:63 | next(...) : JsonElement | Test.java:253:9:253:23 | getElement(...) |
778
+ | Test.java:260:20:260:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | Test.java:22:44:22:63 | next(...) : Object | Test.java:260:9:260:23 | getElement(...) |
779
+ | Test.java:267:20:267:22 | out : JsonArray [<element>] : Object | Test.java:22:19:22:32 | it : JsonArray [<element>] : Object | Test.java:22:44:22:63 | next(...) : Object | Test.java:267:9:267:23 | getElement(...) |
749
780
| Test.java:272:41:272:62 | (...)... : JsonElement | Test.java:28:34:28:52 | element : JsonElement | Test.java:28:111:28:111 | a : JsonArray [<element>] : JsonElement | Test.java:272:19:272:63 | newWithElementDefault(...) : JsonArray [<element>] : JsonElement |
750
781
| Test.java:274:20:274:22 | out : JsonArray [<element>] : JsonElement | Test.java:22:19:22:32 | it : JsonArray [<element>] : JsonElement | Test.java:22:44:22:63 | next(...) : JsonElement | Test.java:274:9:274:23 | getElement(...) |
751
782
| Test.java:279:41:279:62 | (...)... : JsonElement | Test.java:28:34:28:52 | element : JsonElement | Test.java:28:111:28:111 | a : JsonArray [<element>] : JsonElement | Test.java:279:19:279:63 | newWithElementDefault(...) : JsonArray [<element>] : JsonElement |
@@ -762,8 +793,10 @@ subpaths
762
793
| Test.java:428:21:428:23 | out : Map [<map.value>] : JsonElement | Test.java:23:20:23:31 | map : Map [<map.value>] : JsonElement | Test.java:23:43:23:55 | get(...) : JsonElement | Test.java:428:9:428:24 | getMapValue(...) |
763
794
| Test.java:433:41:433:57 | (...)... : String | Test.java:29:34:29:43 | key : String | Test.java:29:120:29:120 | o : JsonObject [<map.key>] : String | Test.java:433:20:433:58 | newWithMapKeyDefault(...) : JsonObject [<map.key>] : String |
764
795
| Test.java:435:26:435:40 | getElement(...) : Entry [<map.key>] : String | Test.java:25:25:25:48 | container : Entry [<map.key>] : String | Test.java:25:60:25:77 | getKey(...) : String | Test.java:435:9:435:41 | getMapKeyDefault(...) |
796
+ | Test.java:435:37:435:39 | out : Set [<element>, <map.key>] : String | Test.java:22:19:22:32 | it : Set [<element>, <map.key>] : String | Test.java:22:44:22:63 | next(...) : Object [<map.key>] : String | Test.java:435:26:435:40 | getElement(...) : Entry [<map.key>] : String |
765
797
| Test.java:440:43:440:64 | (...)... : JsonElement | Test.java:30:36:30:54 | element : JsonElement | Test.java:30:121:30:121 | o : JsonObject [<map.value>] : JsonElement | Test.java:440:20:440:65 | newWithMapValueDefault(...) : JsonObject [<map.value>] : JsonElement |
766
798
| Test.java:442:28:442:42 | getElement(...) : Entry [<map.value>] : JsonElement | Test.java:27:28:27:51 | container : Entry [<map.value>] : JsonElement | Test.java:27:63:27:82 | getValue(...) : JsonElement | Test.java:442:9:442:43 | getMapValueDefault(...) |
799
+ | Test.java:442:39:442:41 | out : Set [<element>, <map.value>] : JsonElement | Test.java:22:19:22:32 | it : Set [<element>, <map.value>] : JsonElement | Test.java:22:44:22:63 | next(...) : Object [<map.value>] : JsonElement | Test.java:442:28:442:42 | getElement(...) : Entry [<map.value>] : JsonElement |
767
800
| Test.java:447:43:447:64 | (...)... : JsonElement | Test.java:30:36:30:54 | element : JsonElement | Test.java:30:121:30:121 | o : JsonObject [<map.value>] : JsonElement | Test.java:447:20:447:65 | newWithMapValueDefault(...) : JsonObject [<map.value>] : JsonElement |
768
801
| Test.java:454:41:454:57 | (...)... : String | Test.java:29:34:29:43 | key : String | Test.java:29:120:29:120 | o : JsonObject [<map.key>] : String | Test.java:454:20:454:58 | newWithMapKeyDefault(...) : JsonObject [<map.key>] : String |
769
802
| Test.java:456:20:456:22 | out : Set [<element>] : String | Test.java:22:19:22:32 | it : Set [<element>] : String | Test.java:22:44:22:63 | next(...) : String | Test.java:456:9:456:23 | getElement(...) |
0 commit comments