Support for bindings resolution of using ... for directives (#1103)

Adds support to resolve identifiers used in the `using`...`for` directives, as well as resolving to the attached functions for the types extended by those directives. Supported features: - attaching functions to elementary types - attaching functions to array types - attaching functions to user defined types - directives marked with `global` work - both library and individual attachments are supported Limitations/caveats: - function types are supported but they are not discriminated by parameters/return types (attached functions apply to all function types) - operators for user-defined types are not yet implemented - `using ... for *` is not yet supported
NomicFoundation · Oct 2, 2024 · 21e0082 · 21e0082
1 parent 68746d7
commit 21e0082
Show file tree

Hide file tree

Showing 64 changed files with 2,337 additions and 368 deletions.
diff --git a/crates/solidity/inputs/language/bindings/rules.msgb b/crates/solidity/inputs/language/bindings/rules.msgb
diff --git a/...s/solidity/outputs/cargo/slang_solidity/src/generated/bindings/generated/binding_rules.rs b/...s/solidity/outputs/cargo/slang_solidity/src/generated/bindings/generated/binding_rules.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/function_types.rs b/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/function_types.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/mod.rs b/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/mod.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/using.rs b/crates/solidity/outputs/cargo/tests/src/bindings_output/generated/using.rs
diff --git a/crates/solidity/outputs/cargo/tests/src/bindings_output/graph.rs b/crates/solidity/outputs/cargo/tests/src/bindings_output/graph.rs