File tree
11 files changed
+87
-39
lines changed- jbmc
- src/java_bytecode
- unit/java_bytecode/java_object_factory
11 files changed
+87
-39
lines changedLines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
| 60 | + | |
| 61 | + | |
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
|
Lines changed: 8 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
869 | 869 |
| |
870 | 870 |
| |
871 | 871 |
| |
872 |
| - | |
| 872 | + | |
| 873 | + | |
873 | 874 |
| |
874 | 875 |
| |
875 | 876 |
| |
| |||
1091 | 1092 |
| |
1092 | 1093 |
| |
1093 | 1094 |
| |
1094 |
| - | |
| 1095 | + | |
| 1096 | + | |
1095 | 1097 |
| |
1096 | 1098 |
| |
1097 | 1099 |
| |
1098 | 1100 |
| |
1099 | 1101 |
| |
1100 | 1102 |
| |
1101 |
| - | |
| 1103 | + | |
| 1104 | + | |
1102 | 1105 |
| |
1103 | 1106 |
| |
1104 | 1107 |
| |
1105 | 1108 |
| |
1106 | 1109 |
| |
1107 | 1110 |
| |
1108 | 1111 |
| |
1109 |
| - | |
| 1112 | + | |
| 1113 | + | |
1110 | 1114 |
| |
1111 | 1115 |
| |
1112 | 1116 |
| |
|
Lines changed: 8 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
261 |
| - | |
| 261 | + | |
| 262 | + | |
262 | 263 |
| |
263 | 264 |
| |
264 | 265 |
| |
| |||
296 | 297 |
| |
297 | 298 |
| |
298 | 299 |
| |
299 |
| - | |
| 300 | + | |
| 301 | + | |
300 | 302 |
| |
301 | 303 |
| |
302 | 304 |
| |
| |||
354 | 356 |
| |
355 | 357 |
| |
356 | 358 |
| |
357 |
| - | |
| 359 | + | |
| 360 | + | |
358 | 361 |
| |
359 | 362 |
| |
360 | 363 |
| |
| |||
400 | 403 |
| |
401 | 404 |
| |
402 | 405 |
| |
403 |
| - | |
| 406 | + | |
| 407 | + | |
404 | 408 |
| |
405 | 409 |
| |
406 | 410 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
169 | 169 |
| |
170 | 170 |
| |
171 | 171 |
| |
| 172 | + | |
172 | 173 |
| |
173 | 174 |
| |
174 | 175 |
| |
| |||
182 | 183 |
| |
183 | 184 |
| |
184 | 185 |
| |
185 |
| - | |
| 186 | + | |
| 187 | + | |
186 | 188 |
| |
187 | 189 |
|
Lines changed: 24 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
59 | 59 |
| |
60 | 60 |
| |
61 | 61 |
| |
| 62 | + | |
| 63 | + | |
| 64 | + | |
62 | 65 |
| |
63 | 66 |
| |
64 | 67 |
| |
| |||
84 | 87 |
| |
85 | 88 |
| |
86 | 89 |
| |
87 |
| - | |
| 90 | + | |
| 91 | + | |
88 | 92 |
| |
89 | 93 |
| |
90 | 94 |
| |
| |||
94 | 98 |
| |
95 | 99 |
| |
96 | 100 |
| |
97 |
| - | |
| 101 | + | |
| 102 | + | |
98 | 103 |
| |
99 | 104 |
| |
100 | 105 |
| |
| |||
1540 | 1545 |
| |
1541 | 1546 |
| |
1542 | 1547 |
| |
1543 |
| - | |
| 1548 | + | |
| 1549 | + | |
1544 | 1550 |
| |
1545 | 1551 |
| |
1546 | 1552 |
| |
| |||
1564 | 1570 |
| |
1565 | 1571 |
| |
1566 | 1572 |
| |
1567 |
| - | |
| 1573 | + | |
| 1574 | + | |
1568 | 1575 |
| |
1569 | 1576 |
| |
1570 | 1577 |
| |
| |||
1617 | 1624 |
| |
1618 | 1625 |
| |
1619 | 1626 |
| |
| 1627 | + | |
1620 | 1628 |
| |
1621 | 1629 |
| |
1622 | 1630 |
| |
| |||
1630 | 1638 |
| |
1631 | 1639 |
| |
1632 | 1640 |
| |
1633 |
| - | |
| 1641 | + | |
| 1642 | + | |
1634 | 1643 |
| |
1635 | 1644 |
| |
1636 | 1645 |
| |
1637 | 1646 |
| |
1638 | 1647 |
| |
1639 |
| - | |
| 1648 | + | |
| 1649 | + | |
1640 | 1650 |
| |
1641 | 1651 |
| |
1642 | 1652 |
| |
| |||
1664 | 1674 |
| |
1665 | 1675 |
| |
1666 | 1676 |
| |
1667 |
| - | |
| 1677 | + | |
| 1678 | + | |
1668 | 1679 |
| |
1669 | 1680 |
| |
1670 | 1681 |
| |
| |||
1675 | 1686 |
| |
1676 | 1687 |
| |
1677 | 1688 |
| |
1678 |
| - | |
| 1689 | + | |
| 1690 | + | |
1679 | 1691 |
| |
1680 | 1692 |
| |
1681 | 1693 |
| |
| |||
1687 | 1699 |
| |
1688 | 1700 |
| |
1689 | 1701 |
| |
1690 |
| - | |
| 1702 | + | |
| 1703 | + | |
1691 | 1704 |
| |
1692 | 1705 |
| |
1693 | 1706 |
| |
| |||
1699 | 1712 |
| |
1700 | 1713 |
| |
1701 | 1714 |
| |
1702 |
| - | |
| 1715 | + | |
| 1716 | + | |
1703 | 1717 |
| |
1704 | 1718 |
| |
1705 | 1719 |
| |
|
Lines changed: 8 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
87 | 87 |
| |
88 | 88 |
| |
89 | 89 |
| |
90 |
| - | |
| 90 | + | |
| 91 | + | |
91 | 92 |
| |
92 | 93 |
| |
93 | 94 |
| |
| |||
96 | 97 |
| |
97 | 98 |
| |
98 | 99 |
| |
99 |
| - | |
| 100 | + | |
| 101 | + | |
100 | 102 |
| |
101 | 103 |
| |
102 | 104 |
| |
| |||
114 | 116 |
| |
115 | 117 |
| |
116 | 118 |
| |
117 |
| - | |
| 119 | + | |
| 120 | + | |
118 | 121 |
| |
119 | 122 |
| |
120 | 123 |
| |
| |||
124 | 127 |
| |
125 | 128 |
| |
126 | 129 |
| |
127 |
| - | |
| 130 | + | |
| 131 | + | |
128 | 132 |
| |
129 | 133 |
| |
130 | 134 |
| |
|
Lines changed: 17 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
195 | 195 |
| |
196 | 196 |
| |
197 | 197 |
| |
| 198 | + | |
198 | 199 |
| |
199 | 200 |
| |
200 | 201 |
| |
201 | 202 |
| |
202 | 203 |
| |
203 | 204 |
| |
204 |
| - | |
| 205 | + | |
| 206 | + | |
205 | 207 |
| |
206 | 208 |
| |
207 | 209 |
| |
| |||
265 | 267 |
| |
266 | 268 |
| |
267 | 269 |
| |
268 |
| - | |
| 270 | + | |
| 271 | + | |
269 | 272 |
| |
270 | 273 |
| |
271 | 274 |
| |
| |||
453 | 456 |
| |
454 | 457 |
| |
455 | 458 |
| |
456 |
| - | |
| 459 | + | |
| 460 | + | |
457 | 461 |
| |
458 | 462 |
| |
459 | 463 |
| |
| |||
605 | 609 |
| |
606 | 610 |
| |
607 | 611 |
| |
608 |
| - | |
| 612 | + | |
| 613 | + | |
609 | 614 |
| |
610 | 615 |
| |
611 | 616 |
| |
| |||
643 | 648 |
| |
644 | 649 |
| |
645 | 650 |
| |
646 |
| - | |
| 651 | + | |
| 652 | + | |
647 | 653 |
| |
648 | 654 |
| |
649 | 655 |
| |
| |||
687 | 693 |
| |
688 | 694 |
| |
689 | 695 |
| |
690 |
| - | |
| 696 | + | |
| 697 | + | |
691 | 698 |
| |
692 | 699 |
| |
693 | 700 |
| |
| |||
833 | 840 |
| |
834 | 841 |
| |
835 | 842 |
| |
836 |
| - | |
| 843 | + | |
| 844 | + | |
837 | 845 |
| |
838 | 846 |
| |
839 | 847 |
| |
| |||
875 | 883 |
| |
876 | 884 |
| |
877 | 885 |
| |
878 |
| - | |
| 886 | + | |
| 887 | + | |
879 | 888 |
| |
880 | 889 |
| |
881 | 890 |
| |
|
Lines changed: 7 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| 18 | + | |
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
| |||
32 | 33 |
| |
33 | 34 |
| |
34 | 35 |
| |
35 |
| - | |
| 36 | + | |
| 37 | + | |
36 | 38 |
| |
37 | 39 |
| |
38 | 40 |
| |
39 | 41 |
| |
40 | 42 |
| |
41 | 43 |
| |
42 |
| - | |
| 44 | + | |
| 45 | + | |
43 | 46 |
| |
44 | 47 |
| |
45 | 48 |
| |
| |||
57 | 60 |
| |
58 | 61 |
| |
59 | 62 |
| |
60 |
| - | |
| 63 | + | |
| 64 | + | |
61 | 65 |
| |
62 | 66 |
| |
63 | 67 |
| |
|
0 commit comments