| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731 |
- // SPDX-License-Identifier: Apache-2.0
- use solang::file_resolver::FileResolver;
- use solang::Target;
- use std::ffi::OsStr;
- #[test]
- fn enum_import() {
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- abstract contract foo {
- enum_b bar;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- enum enum_b { b1 }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import { enum_b } from "b.sol";
- abstract contract foo {
- enum_b bar;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- enum enum_b { b1 }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import { enum_b as foobar } from "b.sol";
- abstract contract foo {
- foobar bar;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- enum enum_b { b1 }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import { enum_c } from "b.sol";
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- enum enum_b { b1 }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert_eq!(
- ns.diagnostics.first_error(),
- "import 'b.sol' does not export 'enum_c'"
- );
- // from has special handling to avoid making it a keyword
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import { enum_c } frum "b.sol";
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert_eq!(
- ns.diagnostics.first_error(),
- "'frum' found where 'from' expected"
- );
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import * as foo frum "b.sol";
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert_eq!(
- ns.diagnostics.first_error(),
- "'frum' found where 'from' expected"
- );
- }
- #[test]
- fn struct_import() {
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- struct foo {
- struct_a bar;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- struct struct_a { uint32 f1; }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import { struct_a as not_struct_a } from "b.sol";
- struct foo {
- struct_a bar;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- struct struct_a { uint32 f1; }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert_eq!(ns.diagnostics.first_error(), "type 'struct_a' not found");
- }
- #[test]
- fn contract_import() {
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- contract a {
- function go() public {
- b x = new b();
- assert(x.test() == 102);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- contract b {
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // lets try a importing an import
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- contract a {
- function go() public {
- c x = new c();
- assert(x.test() == 102);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import "c.sol";
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "c.sol",
- r#"
- contract c {
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // now let's rename an import in a chain
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- contract a {
- function go() public {
- mr_c x = new mr_c();
- assert(x.test() == 102);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import { c as mr_c } from "c.sol";
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "c.sol",
- r#"
- contract c {
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- }
- #[test]
- fn circular_import() {
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "self.sol",
- r#"
- import { foo } from "self.sol";
- enum foo { foo1, foo2 }
- contract c {
- foo public f1;
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(
- OsStr::new("self.sol"),
- &mut cache,
- Target::default_polkadot(),
- );
- assert!(!ns.diagnostics.any_errors());
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol";
- enum enum_a { f1, f2 }
- contract a {
- function go() public {
- b x = new b();
- assert(x.test() == 102);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import "a.sol";
- contract b {
- function test() public returns (uint32) {
- return 102;
- }
- function test2() public returns (enum_a) {
- return enum_a.f1;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- }
- #[test]
- fn import_symbol() {
- // import struct via import symbol
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go(foo.b_struct x) public returns (uint32) {
- return x.f1;
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- struct b_struct {
- uint32 f1;
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // import contract via import symbol
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go() public returns (uint32) {
- foo.b x = new foo.b();
- return x.test();
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- contract b {
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // import enum in contract via import symbol
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go(foo.b.c x) public {
- assert(x == foo.b.c.c2);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- contract b {
- enum c { c1, c2 }
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // import struct in contract via import symbol chain
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go(foo.bar.c.k x) public returns (int32) {
- return x.f1;
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import "c.sol" as bar;
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "c.sol",
- r#"
- contract c {
- struct k {
- int32 f1;
- }
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- }
- #[test]
- fn enum_import_chain() {
- // import struct in contract via import symbol chain
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go(foo.c_import.d_import.d.enum_d x) public returns (bool) {
- return foo.c_import.d_import.d.enum_d.d2 == x;
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import "c.sol" as c_import;
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "c.sol",
- r#"
- import "d.sol" as d_import;
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "d.sol",
- r#"
- abstract contract d {
- enum enum_d { d1, d2, d3 }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- // now with error
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "b.sol" as foo;
- contract a {
- function go(foo.c_import.d_import.d.enum_d x) public returns (bool) {
- return foo.c_import.d_import.d.enum_d.d4 == x;
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "b.sol",
- r#"
- import "c.sol" as c_import;
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "c.sol",
- r#"
- import "d.sol" as d_import;
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "d.sol",
- r#"
- abstract contract d {
- enum enum_d { d1, d2, d3 }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert_eq!(
- ns.diagnostics.first_error(),
- "enum d.enum_d does not have value d4"
- );
- }
- #[test]
- fn import_base_dir() {
- // if a imports x/b.sol then when x/b.sol imports, it should use x/ as a base
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "a.sol",
- r#"
- import "x/b.sol";
- contract a {
- function go() public {
- c x = new c();
- assert(x.test() == 102);
- }
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "x/b.sol",
- r#"
- import "x/c.sol";
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "x/c.sol",
- r#"
- contract c {
- function test() public returns (uint32) {
- return 102;
- }
- }
- "#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(OsStr::new("a.sol"), &mut cache, Target::default_polkadot());
- assert!(!ns.diagnostics.any_errors());
- }
- #[test]
- fn event_resolve() {
- let mut cache = FileResolver::default();
- cache.set_file_contents(
- "IThing.sol",
- r#"
- // SPDX-License-Identifier: MIT
- pragma solidity ^0.8.13;
- interface IThing {
- event Executed();
- function run() external;
- }
- "#
- .to_string(),
- );
- cache.set_file_contents(
- "Test.sol",
- r#"
- // SPDX-License-Identifier: MIT
- pragma solidity ^0.8.13;
- import {IThing} from "IThing.sol";
- contract Thing is IThing {
- function run() external {
- emit Executed();
- }
- }"#
- .to_string(),
- );
- let ns = solang::parse_and_resolve(
- OsStr::new("Test.sol"),
- &mut cache,
- Target::default_polkadot(),
- );
- assert!(!ns.diagnostics.any_errors());
- }
|