Skip to content

Commit

Permalink
Change label for definitions from def to name in bindings output
Browse files Browse the repository at this point in the history
  • Loading branch information
ggiraldez committed Dec 23, 2024
1 parent 8f1d518 commit a6403cf
Show file tree
Hide file tree
Showing 262 changed files with 1,866 additions and 1,866 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ fn build_report_for_part<'a>(
start..end
};

let message = format!("def: {}", index + 1);
let message = format!("name: {}", index + 1);
builder = builder.with_label(Label::new((part.path, range)).with_message(message));
}

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,28 +5,28 @@ References and definitions:
1 │ contract CustomArrays {
│ ──────┬─────
│ ╰─────── def: 1
│ ╰─────── name: 1
2 │ struct Value {
│ ──┬──
│ ╰──── def: 2
│ ╰──── name: 2
3 │ uint value;
│ ──┬──
│ ╰──── def: 3
│ ╰──── name: 3
6 │ Value[] values;
│ ──┬── ───┬──
│ ╰───────────── ref: 2
│ │
│ ╰──── def: 4
│ ╰──── name: 4
7 │ Value[][5] matrix;
│ ──┬── ───┬──
│ ╰──────────────── ref: 2
│ │
│ ╰──── def: 5
│ ╰──── name: 5
9 │ function test() public {
│ ──┬─
│ ╰─── def: 6
│ ╰─── name: 6
10 │ matrix[0][1].value += values[1].value;
│ ───┬── ──┬── ───┬── ──┬──
│ ╰─────────────────────────────────── ref: 5
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,24 +5,24 @@ References and definitions:
1 │ library Lib {
│ ─┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ function nop(uint x) internal {}
│ ─┬─ ┬
│ ╰────────── def: 2
│ ╰────────── name: 2
│ │
│ ╰── def: 3
│ ╰── name: 3
4 │ contract Test {
│ ──┬─
│ ╰─── def: 4
│ ╰─── name: 4
5 │ using Lib for uint;
│ ─┬─
│ ╰─── ref: 1
6 │ function test(uint256[] memory data) public {
│ ──┬─ ──┬─
│ ╰───────────────────────── def: 5
│ ╰───────────────────────── name: 5
│ │
│ ╰─── def: 6
│ ╰─── name: 6
7 │ data.length.nop();
│ ──┬─ ───┬── ─┬─
│ ╰────────────── ref: 6
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,20 +5,20 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ function testAddress(address recipient) public {
│ ─────┬───── ────┬────
│ ╰───────────────────────── def: 2
│ ╰───────────────────────── name: 2
│ │
│ ╰────── def: 3
│ ╰────── name: 3
3 │ bytes memory x1;
│ ─┬
│ ╰── def: 4
│ ╰── name: 4
4 │ (bool v1, bytes memory v2) = recipient.call(x1);
│ ─┬ ─┬ ────┬──── ──┬─ ─┬
│ ╰──────────────────────────────────────── def: 5
│ ╰──────────────────────────────────────── name: 5
│ │ │ │ │
│ ╰─────────────────────── def: 6
│ ╰─────────────────────── name: 6
│ │ │ │
│ ╰────────────── ref: 3
│ │ │
Expand All @@ -27,9 +27,9 @@ References and definitions:
│ ╰── ref: 4
5 │ (bool v5, bytes memory v6) = recipient.delegatecall(x1);
│ ─┬ ─┬ ────┬──── ──────┬───── ─┬
│ ╰──────────────────────────────────────────────── def: 7
│ ╰──────────────────────────────────────────────── name: 7
│ │ │ │ │
│ ╰─────────────────────────────── def: 8
│ ╰─────────────────────────────── name: 8
│ │ │ │
│ ╰────────────────────── ref: 3
│ │ │
Expand All @@ -38,9 +38,9 @@ References and definitions:
│ ╰── ref: 4
6 │ (bool v7, bytes memory v8) = recipient.staticcall(x1);
│ ─┬ ─┬ ────┬──── ─────┬──── ─┬
│ ╰────────────────────────────────────────────── def: 9
│ ╰────────────────────────────────────────────── name: 9
│ │ │ │ │
│ ╰───────────────────────────── def: 10
│ ╰───────────────────────────── name: 10
│ │ │ │
│ ╰──────────────────── ref: 3
│ │ │
Expand All @@ -54,14 +54,14 @@ References and definitions:
│ ╰───── ref: built-in
8 │ bool v9 = recipient.send(1);
│ ─┬ ────┬──── ──┬─
│ ╰─────────────────── def: 11
│ ╰─────────────────── name: 11
│ │ │
│ ╰─────────── ref: 3
│ │
│ ╰─── ref: built-in
9 │ uint256 v10 = address(this).balance;
│ ─┬─ ───┬───
│ ╰─────────────────────────── def: 12
│ ╰─────────────────────────── name: 12
│ │
│ ╰───── ref: built-in
───╯
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,20 +5,20 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ function testAddress(address recipient) public {
│ ─────┬───── ────┬────
│ ╰───────────────────────── def: 2
│ ╰───────────────────────── name: 2
│ │
│ ╰────── def: 3
│ ╰────── name: 3
3 │ bytes memory x1;
│ ─┬
│ ╰── def: 4
│ ╰── name: 4
4 │ (bool v1, bytes memory v2) = recipient.call(x1);
│ ─┬ ─┬ ────┬──── ──┬─ ─┬
│ ╰──────────────────────────────────────── def: 5
│ ╰──────────────────────────────────────── name: 5
│ │ │ │ │
│ ╰─────────────────────── def: 6
│ ╰─────────────────────── name: 6
│ │ │ │
│ ╰────────────── ref: 3
│ │ │
Expand All @@ -27,9 +27,9 @@ References and definitions:
│ ╰── ref: 4
5 │ (bool v5, bytes memory v6) = recipient.delegatecall(x1);
│ ─┬ ─┬ ────┬──── ──────┬───── ─┬
│ ╰──────────────────────────────────────────────── def: 7
│ ╰──────────────────────────────────────────────── name: 7
│ │ │ │ │
│ ╰─────────────────────────────── def: 8
│ ╰─────────────────────────────── name: 8
│ │ │ │
│ ╰────────────────────── ref: 3
│ │ │
Expand All @@ -38,9 +38,9 @@ References and definitions:
│ ╰── ref: 4
6 │ (bool v7, bytes memory v8) = recipient.staticcall(x1);
│ ─┬ ─┬ ────┬──── ─────┬──── ─┬
│ ╰────────────────────────────────────────────── def: 9
│ ╰────────────────────────────────────────────── name: 9
│ │ │ │ │
│ ╰───────────────────────────── def: 10
│ ╰───────────────────────────── name: 10
│ │ │ │
│ ╰──────────────────── ref: 3
│ │ │
Expand All @@ -54,14 +54,14 @@ References and definitions:
│ ╰───── ref: built-in
8 │ bool v9 = recipient.send(1);
│ ─┬ ────┬──── ──┬─
│ ╰─────────────────── def: 11
│ ╰─────────────────── name: 11
│ │ │
│ ╰─────────── ref: 3
│ │
│ ╰─── ref: built-in
9 │ uint256 v10 = address(this).balance;
│ ─┬─ ───┬───
│ ╰─────────────────────────── def: 12
│ ╰─────────────────────────── name: 12
│ │
│ ╰───── ref: built-in
───╯
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,20 +5,20 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ struct Data { uint value; }
│ ──┬─ ──┬──
│ ╰──────────────── def: 2
│ ╰──────────────── name: 2
│ │
│ ╰──── def: 3
│ ╰──── name: 3
3 │ Data[] values;
│ ──┬─ ───┬──
│ ╰──────────── ref: 2
│ │
│ ╰──── def: 4
│ ╰──── name: 4
4 │ function test() public {
│ ──┬─
│ ╰─── def: 5
│ ╰─── name: 5
5 │ values.push().value = 1;
│ ───┬── ──┬─ ──┬──
│ ╰───────────────── ref: 4
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,20 +5,20 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ struct Data { uint value; }
│ ──┬─ ──┬──
│ ╰──────────────── def: 2
│ ╰──────────────── name: 2
│ │
│ ╰──── def: 3
│ ╰──── name: 3
3 │ Data[] values;
│ ──┬─ ───┬──
│ ╰──────────── ref: 2
│ │
│ ╰──── def: 4
│ ╰──── name: 4
4 │ function test() public {
│ ──┬─
│ ╰─── def: 5
│ ╰─── name: 5
5 │ values.push().value = 1;
│ ───┬── ──┬─ ──┬──
│ ╰───────────────── ref: 4
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,16 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ uint[] a;
│ ┬
│ ╰── def: 2
│ ╰── name: 2
3 │ function testArray() public {
│ ────┬────
│ ╰────── def: 3
│ ╰────── name: 3
4 │ uint[] storage b = new uint[](5);
│ ┬
│ ╰── def: 4
│ ╰── name: 4
5 │ assert(b.length == 5);
│ ───┬── ┬ ───┬──
│ ╰───────────── ref: built-in
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,16 @@ References and definitions:
1 │ contract Test {
│ ──┬─
│ ╰─── def: 1
│ ╰─── name: 1
2 │ uint[] a;
│ ┬
│ ╰── def: 2
│ ╰── name: 2
3 │ function testArray() public {
│ ────┬────
│ ╰────── def: 3
│ ╰────── name: 3
4 │ uint[] storage b = new uint[](5);
│ ┬
│ ╰── def: 4
│ ╰── name: 4
5 │ assert(b.length == 5);
│ ───┬── ┬ ───┬──
│ ╰───────────── ref: built-in
Expand Down
Loading

0 comments on commit a6403cf

Please sign in to comment.