Skip to content

Commit

Permalink
Adding (re-)generated files
Browse files Browse the repository at this point in the history
  • Loading branch information
beta-ziliani committed Jan 13, 2025
1 parent 2edcb3e commit bd2ad90
Show file tree
Hide file tree
Showing 8 changed files with 208 additions and 36 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,4 @@ Error: Expected ContractKeyword or ImportKeyword or InterfaceKeyword or LibraryK
│ ╰─────── Error occurred here.
────╯
References and definitions:
Definiens:
Original file line number Diff line number Diff line change
Expand Up @@ -5,21 +5,21 @@ References and definitions:
1 │ enum Answer {
│ ───┬──
│ ╰──── def: 1
│ ╰──── name: 1
2 │ Yes
│ ─┬─
│ ╰─── def: 2
│ ╰─── name: 2
5 │ library Id {
│ ─┬
│ ╰── def: 3
│ ╰── name: 3
6 │ function id(Answer ans) returns (Answer) {
│ ─┬ ───┬── ─┬─ ───┬──
│ ╰────────────────────────────── def: 4
│ ╰────────────────────────────── name: 4
│ │ │ │
│ ╰───────────────────────── ref: 1
│ │ │
│ ╰──────────────────── def: 5
│ ╰──────────────────── name: 5
│ │
│ ╰──── ref: 1
7 │ return ans;
Expand All @@ -28,7 +28,7 @@ References and definitions:
11 │ contract Test {
│ ──┬─
│ ╰─── def: 6
│ ╰─── name: 6
12 │ using Id for Answer;
│ ─┬ ───┬──
│ ╰───────────── ref: 3
Expand All @@ -37,7 +37,7 @@ References and definitions:
14 │ function testFunc() {
│ ────┬───
│ ╰───── def: 7
│ ╰───── name: 7
15 │ type(Answer).min.id();
│ ───┬── ─┬─ ─┬
│ ╰──────────── ref: 1
Expand All @@ -53,3 +53,36 @@ References and definitions:
│ │
│ ╰── unresolved
────╯
Definiens:
╭─[input.sol:1:1]
1 │ ╭─▶ enum Answer {
2 │ │ Yes
│ │ ─┬─
│ │ ╰─── definiens: 2
3 │ │ ├─▶ }
│ │ │
│ │ ╰─────── definiens: 1
4 │ ╭─────▶
┆ ┆ ┆
6 │ │ ╭───▶ function id(Answer ans) returns (Answer) {
│ │ │ ─────┬────
│ │ │ ╰────── definiens: 5
┆ ┆ ┆
8 │ │ ├───▶ }
│ │ │
│ │ ╰─────────── definiens: 4
9 │ │ ├─────▶ }
│ │ │
│ │ ╰─────────── definiens: 3
10 │ ╭─────────▶
┆ ┆
13 │ │ ╭───────▶
┆ ┆ ┆
17 │ │ ├───────▶ }
│ │ │
│ │ ╰─────────────── definiens: 7
18 │ ├─────────▶ }
│ │
│ ╰─────────────── definiens: 6
────╯
Original file line number Diff line number Diff line change
Expand Up @@ -5,21 +5,21 @@ References and definitions:
1 │ enum Answer {
│ ───┬──
│ ╰──── def: 1
│ ╰──── name: 1
2 │ Yes
│ ─┬─
│ ╰─── def: 2
│ ╰─── name: 2
5 │ library Id {
│ ─┬
│ ╰── def: 3
│ ╰── name: 3
6 │ function id(Answer ans) returns (Answer) {
│ ─┬ ───┬── ─┬─ ───┬──
│ ╰────────────────────────────── def: 4
│ ╰────────────────────────────── name: 4
│ │ │ │
│ ╰───────────────────────── ref: 1
│ │ │
│ ╰──────────────────── def: 5
│ ╰──────────────────── name: 5
│ │
│ ╰──── ref: 1
7 │ return ans;
Expand All @@ -28,7 +28,7 @@ References and definitions:
11 │ contract Test {
│ ──┬─
│ ╰─── def: 6
│ ╰─── name: 6
12 │ using Id for Answer;
│ ─┬ ───┬──
│ ╰───────────── ref: 3
Expand All @@ -37,7 +37,7 @@ References and definitions:
14 │ function testFunc() {
│ ────┬───
│ ╰───── def: 7
│ ╰───── name: 7
15 │ type(Answer).min.id();
│ ───┬── ─┬─ ─┬
│ ╰──────────── ref: 1
Expand All @@ -53,3 +53,36 @@ References and definitions:
│ │
│ ╰── ref: 4
────╯
Definiens:
╭─[input.sol:1:1]
1 │ ╭─▶ enum Answer {
2 │ │ Yes
│ │ ─┬─
│ │ ╰─── definiens: 2
3 │ │ ├─▶ }
│ │ │
│ │ ╰─────── definiens: 1
4 │ ╭─────▶
┆ ┆ ┆
6 │ │ ╭───▶ function id(Answer ans) returns (Answer) {
│ │ │ ─────┬────
│ │ │ ╰────── definiens: 5
┆ ┆ ┆
8 │ │ ├───▶ }
│ │ │
│ │ ╰─────────── definiens: 4
9 │ │ ├─────▶ }
│ │ │
│ │ ╰─────────── definiens: 3
10 │ ╭─────────▶
┆ ┆
13 │ │ ╭───────▶
┆ ┆ ┆
17 │ │ ├───────▶ }
│ │ │
│ │ ╰─────────────── definiens: 7
18 │ ├─────────▶ }
│ │
│ ╰─────────────── definiens: 6
────╯
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,4 @@ Error: Expected ContractKeyword or ImportKeyword or InterfaceKeyword or LibraryK
│ ╰─────── Error occurred here.
────╯
References and definitions:
Definiens:
Original file line number Diff line number Diff line change
Expand Up @@ -5,21 +5,21 @@ References and definitions:
1 │ enum Answer {
│ ───┬──
│ ╰──── def: 1
│ ╰──── name: 1
2 │ Yes
│ ─┬─
│ ╰─── def: 2
│ ╰─── name: 2
5 │ library Id {
│ ─┬
│ ╰── def: 3
│ ╰── name: 3
6 │ function id(Answer ans) returns (Answer) {
│ ─┬ ───┬── ─┬─ ───┬──
│ ╰────────────────────────────── def: 4
│ ╰────────────────────────────── name: 4
│ │ │ │
│ ╰───────────────────────── ref: 1
│ │ │
│ ╰──────────────────── def: 5
│ ╰──────────────────── name: 5
│ │
│ ╰──── ref: 1
7 │ return ans;
Expand All @@ -28,7 +28,7 @@ References and definitions:
11 │ contract Test {
│ ──┬─
│ ╰─── def: 6
│ ╰─── name: 6
12 │ using Id for Answer;
│ ─┬ ───┬──
│ ╰───────────── ref: 3
Expand All @@ -37,14 +37,14 @@ References and definitions:
14 │ function testFunc() returns (Answer) {
│ ────┬─── ───┬──
│ ╰─────────────────────── def: 7
│ ╰─────────────────────── name: 7
│ │
│ ╰──── ref: 1
15 │ Answer value = Answer.Yes;
│ ───┬── ──┬── ───┬── ─┬─
│ ╰─────────────────────── ref: 1
│ │ │ │
│ ╰───────────────── def: 8
│ ╰───────────────── name: 8
│ │ │
│ ╰──────── ref: 1
│ │
Expand All @@ -55,3 +55,40 @@ References and definitions:
│ │
│ ╰── ref: 4
────╯
Definiens:
╭─[input.sol:1:1]
1 │ ╭─▶ enum Answer {
2 │ │ Yes
│ │ ─┬─
│ │ ╰─── definiens: 2
3 │ │ ├─▶ }
│ │ │
│ │ ╰─────── definiens: 1
4 │ ╭─────▶
┆ ┆ ┆
6 │ │ ╭───▶ function id(Answer ans) returns (Answer) {
│ │ │ ─────┬────
│ │ │ ╰────── definiens: 5
┆ ┆ ┆
8 │ │ ├───▶ }
│ │ │
│ │ ╰─────────── definiens: 4
9 │ │ ├─────▶ }
│ │ │
│ │ ╰─────────── definiens: 3
10 │ ╭─────────▶
┆ ┆
13 │ │ ╭───────▶
┆ ┆ ┆
15 │ │ │ Answer value = Answer.Yes;
│ │ │ ───────────────┬───────────────
│ │ │ ╰───────────────── definiens: 8
┆ ┆ ┆
17 │ │ ├───────▶ }
│ │ │
│ │ ╰─────────────── definiens: 7
18 │ ├─────────▶ }
│ │
│ ╰─────────────── definiens: 6
────╯
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,4 @@ Error: Expected ContractKeyword or ImportKeyword or InterfaceKeyword or LibraryK
│ ╰─────── Error occurred here.
────╯
References and definitions:
Definiens:
Original file line number Diff line number Diff line change
Expand Up @@ -5,21 +5,21 @@ References and definitions:
1 │ enum Answer {
│ ───┬──
│ ╰──── def: 1
│ ╰──── name: 1
2 │ Yes
│ ─┬─
│ ╰─── def: 2
│ ╰─── name: 2
5 │ library Id {
│ ─┬
│ ╰── def: 3
│ ╰── name: 3
6 │ function id(Answer ans) returns (Answer) {
│ ─┬ ───┬── ─┬─ ───┬──
│ ╰────────────────────────────── def: 4
│ ╰────────────────────────────── name: 4
│ │ │ │
│ ╰───────────────────────── ref: 1
│ │ │
│ ╰──────────────────── def: 5
│ ╰──────────────────── name: 5
│ │
│ ╰──── ref: 1
7 │ return ans;
Expand All @@ -28,7 +28,7 @@ References and definitions:
11 │ contract Test {
│ ──┬─
│ ╰─── def: 6
│ ╰─── name: 6
12 │ using Id for Answer;
│ ─┬ ───┬──
│ ╰───────────── ref: 3
Expand All @@ -37,7 +37,7 @@ References and definitions:
14 │ function testFunc() returns (Answer) {
│ ────┬─── ───┬──
│ ╰─────────────────────── def: 7
│ ╰─────────────────────── name: 7
│ │
│ ╰──── ref: 1
15 │ Answer.Yes.id();
Expand All @@ -48,3 +48,36 @@ References and definitions:
│ │
│ ╰── unresolved
────╯
Definiens:
╭─[input.sol:1:1]
1 │ ╭─▶ enum Answer {
2 │ │ Yes
│ │ ─┬─
│ │ ╰─── definiens: 2
3 │ │ ├─▶ }
│ │ │
│ │ ╰─────── definiens: 1
4 │ ╭───────▶
┆ ┆ ┆
6 │ │ ╭───▶ function id(Answer ans) returns (Answer) {
│ │ │ ─────┬────
│ │ │ ╰────── definiens: 5
┆ ┆ ┆
8 │ │ ├───▶ }
│ │ │
│ │ ╰─────────── definiens: 4
9 │ │ ├───────▶ }
│ │ │
│ │ ╰───────────── definiens: 3
10 │ ╭─────────▶
┆ ┆
13 │ │ ╭─────▶
┆ ┆ ┆
16 │ │ ├─────▶ }
│ │ │
│ │ ╰───────────── definiens: 7
17 │ ├─────────▶ }
│ │
│ ╰─────────────── definiens: 6
────╯
Loading

0 comments on commit bd2ad90

Please sign in to comment.