Skip to content

Commit

Permalink
Bindings for structs and refactor contract/libs/ifaces members rules
Browse files Browse the repository at this point in the history 
Also fix nested member accesses and identifier paths for type references
  • Loading branch information
@ggiraldez
ggiraldez committed Jun 28, 2024
1 parent ce7fa59 commit 654070d
Show file tree
Hide file tree
Showing 40 changed files with 7,629 additions and 4,161 deletions.
320 changes: 219 additions & 101 deletions crates/solidity/inputs/language/bindings/rules.msgb
View file

Large diffs are not rendered by default.

320 changes: 219 additions & 101 deletions ...s/solidity/outputs/cargo/slang_solidity/src/generated/bindings/generated/binding_rules.rs
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions crates/solidity/outputs/cargo/tests/src/bindings_output/generated/mod.rs
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

20 changes: 20 additions & 0 deletions crates/solidity/outputs/cargo/tests/src/bindings_output/generated/structs.rs
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

219 changes: 123 additions & 96 deletions crates/solidity/testing/snapshots/bindings_output/enums/decls/generated/0.4.11.mmd
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,125 +9,152 @@ ROOT_NODE
@source_unit.lexical_scope
line 20 column 21`"]
N1 --> N4
N1 --> N6
N1 --> N8
N1 --> N7
N1 --> N10
N2["`**2** @(1, 1)
@source_unit.defs
line 23 column 21`"]
N2 --> N4
N2 --> N6
N2 --> N8
N2 --> N7
N2 --> N10
N3["`**3** @(1, 1)
@contract.lexical_scope
line 30 column 18`"]
line 34 column 18`"]
N3 --> N1
N3 --> N10
N3 --> N5
N4["`**4** @(1, 1)
@contract.defs
line 31 column 18`"]
N4 --> N15
N5["`**5** @(8, 1)
@interface.lexical_scope
line 35 column 19`"]
N5 --> N1
N5 --> N14
@contract.def
line 35 column 18`"]
N4 --> N21
N5["`**5** @(1, 1)
@contract.members
line 36 column 18`"]
N5 --> N13
N6["`**6** @(8, 1)
@interface.defs
line 36 column 19`"]
N6 --> N16
N7["`**7** @(4, 1)
@interface.lexical_scope
line 42 column 19`"]
N6 --> N1
N6 --> N8
N7["`**7** @(8, 1)
@interface.def
line 43 column 19`"]
N7 --> N23
N8["`**8** @(8, 1)
@interface.members
line 44 column 19`"]
N8 --> N19
N9["`**9** @(4, 1)
@library.lexical_scope
line 40 column 17`"]
N7 --> N1
N7 --> N12
N8["`**8** @(4, 1)
@library.defs
line 41 column 17`"]
N8 --> N17
N9["`**9** @(2, 1)
line 50 column 17`"]
N9 --> N1
N9 --> N11
N10["`**10** @(4, 1)
@library.def
line 51 column 17`"]
N10 --> N25
N11["`**11** @(4, 1)
@library.members
line 52 column 17`"]
N11 --> N16
N12["`**12** @(2, 1)
@enum.lexical_scope
line 50 column 14`"]
N10["`**10** @(2, 1)
@enum.defs
line 51 column 14`"]
N10 --> N18
N11["`**11** @(6, 1)
line 64 column 14`"]
N13["`**13** @(2, 1)
@enum.def
line 65 column 14`"]
N13 --> N27
N14["`**14** @(2, 1)
@enum.members
line 66 column 14`"]
N14 --> N33
N14 --> N34
N15["`**15** @(6, 1)
@enum.lexical_scope
line 50 column 14`"]
N12["`**12** @(6, 1)
@enum.defs
line 51 column 14`"]
N12 --> N19
N13["`**13** @(10, 1)
line 64 column 14`"]
N16["`**16** @(6, 1)
@enum.def
line 65 column 14`"]
N16 --> N29
N17["`**17** @(6, 1)
@enum.members
line 66 column 14`"]
N17 --> N35
N17 --> N36
N18["`**18** @(10, 1)
@enum.lexical_scope
line 50 column 14`"]
N14["`**14** @(10, 1)
@enum.defs
line 51 column 14`"]
N14 --> N20
N15[\"`**Test** @(1, 1)
def
line 111 column 8`"/]
N16[\"`**Iface** @(8, 1)
line 64 column 14`"]
N19["`**19** @(10, 1)
@enum.def
line 65 column 14`"]
N19 --> N31
N20["`**20** @(10, 1)
@enum.members
line 66 column 14`"]
N20 --> N37
N20 --> N38
N21[\"`**Test** @(1, 1)
def
line 118 column 8`"/]
N17[\"`**LibTest** @(4, 1)
def
line 125 column 8`"/]
N18[\"`**Answer** @(2, 1)
@name.def
line 414 column 14`"/]
N18 --> N21
N18 --> N23
N19[\"`**Respuesta** @(6, 1)
@name.def
line 414 column 14`"/]
N19 --> N25
N19 --> N27
N20[\"`**Repondre** @(10, 1)
@name.def
line 414 column 14`"/]
N20 --> N29
N20 --> N31
N21[\"`**.** @(2, 1)
member
line 427 column 8`"/]
line 126 column 8`"/]
N21 --> N22
N22[\"`**Yes** @(2, 1)
def
line 431 column 8`"/]
N23[\"`**.** @(2, 1)
N22[\"`**.** @(1, 1)
member
line 427 column 8`"/]
N23 --> N24
N24[\"`**No** @(2, 1)
line 133 column 8`"/]
N22 --> N5
N23[\"`**Iface** @(8, 1)
def
line 431 column 8`"/]
N25[\"`**.** @(6, 1)
line 141 column 8`"/]
N23 --> N24
N24[\"`**.** @(8, 1)
member
line 427 column 8`"/]
N25 --> N26
N26[\"`**Si** @(6, 1)
line 146 column 8`"/]
N24 --> N8
N25[\"`**LibTest** @(4, 1)
def
line 431 column 8`"/]
N27[\"`**.** @(6, 1)
line 154 column 8`"/]
N25 --> N26
N26[\"`**.** @(4, 1)
member
line 427 column 8`"/]
N27 --> N28
N28[\"`**No** @(6, 1)
line 159 column 8`"/]
N26 --> N11
N27[\"`**Answer** @(2, 1)
def
line 431 column 8`"/]
N29[\"`**.** @(10, 1)
line 483 column 8`"/]
N27 --> N28
N28[\"`**.** @(2, 1)
member
line 427 column 8`"/]
N29 --> N30
N30[\"`**Oui** @(10, 1)
line 488 column 8`"/]
N28 --> N14
N29[\"`**Respuesta** @(6, 1)
def
line 431 column 8`"/]
N31[\"`**.** @(10, 1)
line 483 column 8`"/]
N29 --> N30
N30[\"`**.** @(6, 1)
member
line 427 column 8`"/]
line 488 column 8`"/]
N30 --> N17
N31[\"`**Repondre** @(10, 1)
def
line 483 column 8`"/]
N31 --> N32
N32[\"`**Non** @(10, 1)
N32[\"`**.** @(10, 1)
member
line 488 column 8`"/]
N32 --> N20
N33[\"`**Yes** @(2, 1)
def
line 500 column 8`"/]
N34[\"`**No** @(2, 1)
def
line 500 column 8`"/]
N35[\"`**Si** @(6, 1)
def
line 500 column 8`"/]
N36[\"`**No** @(6, 1)
def
line 500 column 8`"/]
N37[\"`**Oui** @(10, 1)
def
line 500 column 8`"/]
N38[\"`**Non** @(10, 1)
def
line 431 column 8`"/]
line 500 column 8`"/]
Loading

0 comments on commit 654070d

Please sign in to comment.