| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488 |
- use parity_scale_codec::Encode;
- use parity_scale_codec_derive::{Decode, Encode};
- use crate::{
- build_solidity, first_error, first_warning, no_warnings, no_warnings_errors, parse_and_resolve,
- };
- use solang::Target;
- #[test]
- fn constructors() {
- let ns = parse_and_resolve(
- r##"
- contract test {
- constructor() internal {}
- }"##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_warning(ns.diagnostics),
- "‘internal’: visibility for constructors is ignored"
- );
- let ns = parse_and_resolve(
- r##"
- contract test {
- constructor() virtual {}
- }"##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "constructors cannot be declared ‘virtual’"
- );
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val(u64);
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- uint64 result;
- constructor() public {
- result = 1;
- }
- constructor(uint64 x) public {
- result = x;
- }
- function get() public returns (uint64) {
- return result;
- }
- }",
- );
- runtime.constructor(0, Vec::new());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(1).encode());
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- uint64 result;
- constructor() public {
- result = 1;
- }
- constructor(uint64 x) public {
- result = x;
- }
- function get() public returns (uint64) {
- return result;
- }
- }",
- );
- runtime.constructor(1, Val(0xaa_bb_cc_dd).encode());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(0xaa_bb_cc_dd).encode());
- }
- #[test]
- #[should_panic]
- fn constructor_wrong_selector() {
- let mut runtime = build_solidity(
- "
- contract test {
- uint64 result;
- constructor() public {
- result = 1;
- }
- constructor(uint64 x) public {
- result = x;
- }
- function get() public returns (uint64) {
- return result;
- }
- }",
- );
- runtime.raw_constructor(vec![0xaa, 0xbb, 0xcc, 0xdd]);
- }
- #[test]
- fn fallback() {
- let ns = parse_and_resolve(
- r##"
- contract test {
- int64 result = 102;
- function get() public returns (int64) {
- return result;
- }
- function() external {
- result = 356;
- }
- }"##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function is missing a name. did you mean ‘fallback() external {…}’ or ‘receive() external {…}’?"
- );
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val(u64);
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- int64 result = 102;
- function get() public returns (int64) {
- return result;
- }
- fallback() external {
- result = 356;
- }
- }",
- );
- runtime.raw_function([0xaa, 0xbb, 0xcc, 0xdd, 0xff].to_vec());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(356).encode());
- }
- #[test]
- #[should_panic]
- fn function_wrong_selector() {
- let mut runtime = build_solidity(
- "
- contract test {
- uint64 result;
- constructor() public {
- result = 1;
- }
- constructor(uint64 x) public {
- result = x;
- }
- function get() public returns (uint64) {
- return result;
- }
- }",
- );
- runtime.raw_function(vec![0xaa, 0xbb, 0xcc, 0xdd]);
- }
- #[test]
- #[should_panic]
- fn nofallback() {
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val(u64);
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- int64 result = 102;
- function get() public returns (int64) {
- return result;
- }
- }",
- );
- runtime.raw_function([0xaa, 0xbb, 0xcc, 0xdd, 0xff].to_vec());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(356).encode());
- }
- #[test]
- fn test_overloading() {
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- uint32 result = 1;
- constructor() public {
- foo(true);
- assert(result == 102);
- foo(500);
- assert(result == 510);
- }
- function foo(bool x) private {
- if (x) {
- result = 102;
- }
- }
- function foo(uint32 x) private {
- result = x + 10;
- }
- }",
- );
- runtime.constructor(0, Vec::new());
- }
- #[test]
- fn mutability() {
- let ns = parse_and_resolve(
- "contract test {
- int64 foo = 1844674;
- function bar() public pure returns (int64) {
- return foo;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘pure’ but this expression reads from state"
- );
- let ns = parse_and_resolve(
- "contract test {
- function bar() public constant returns (int64) {
- return 102;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_warning(ns.diagnostics),
- "‘constant’ is deprecated. Use ‘view’ instead"
- );
- let ns = parse_and_resolve(
- "contract test {
- function bar(int64[] storage foo) private pure returns (int64) {
- return foo[0];
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘pure’ but this expression reads from state"
- );
- let ns = parse_and_resolve(
- "contract test {
- int64 foo = 1844674;
- function bar() public view {
- foo = 102;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘view’ but this expression writes to state"
- );
- let ns = parse_and_resolve(
- "contract test {
- function bar(int[] storage foo) internal view {
- foo[0] = 102;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘view’ but this expression writes to state"
- );
- let ns = parse_and_resolve(
- r#"contract c {
- function add(address a) public view {
- (bool f, bytes memory res) = a.call(hex"0102");
- }
- }"#,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘view’ but this expression writes to state"
- );
- let ns = parse_and_resolve(
- r#"contract c {
- function add(address a) public returns (bool f, bytes res) {
- (f, res) = a.call(hex"0102");
- }
- }"#,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(ns.diagnostics.len(), 1);
- // ensure that we don't warn "function may be declared pure" if we can't parse it
- let ns = parse_and_resolve(
- r#"contract c {
- function add(address a) public returns (bool f, bytes res) {
- return true;
- }
- }"#,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- no_warnings(&ns.diagnostics);
- let ns = parse_and_resolve(
- "contract test {
- int64 foo = 1844674;
- function bar() public payable returns (int64) {
- return foo;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- no_warnings_errors(ns.diagnostics);
- let ns = parse_and_resolve(
- "contract test {
- function bar() public payable returns (int64) {
- return 102;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- no_warnings_errors(ns.diagnostics);
- let ns = parse_and_resolve(
- "contract test {
- function bar() public view returns (int64) {
- return 102;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_warning(ns.diagnostics),
- "function declared ‘view’ can be declared ‘pure’"
- );
- let ns = parse_and_resolve(
- "contract test {
- int64 constant public foo = 1844674;
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- no_warnings_errors(ns.diagnostics);
- }
- #[test]
- fn shadowing() {
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val(u64);
- let src = "
- contract test {
- uint64 result;
- function goodset(uint64 val) public {
- result = val;
- }
- function badset(uint64 val) public {
- uint64 result = val;
- }
- function get() public returns (uint64) {
- return result;
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_warning(ns.diagnostics),
- "declaration of ‘result’ shadows state variable"
- );
- // parse
- let mut runtime = build_solidity(src);
- runtime.constructor(0, Vec::new());
- runtime.function("goodset", Val(0x1234_5678_9abc_def0).encode());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(0x1234_5678_9abc_def0).encode());
- runtime.function("badset", Val(1).encode());
- runtime.function("get", Vec::new());
- assert_eq!(runtime.vm.output, Val(0x1234_5678_9abc_def0).encode());
- }
- #[test]
- fn scopes() {
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val(u64);
- let src = "
- contract test {
- function goodset() public returns (bool) {
- {
- bool a = true;
- }
- return a;
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "`a\' is not found");
- let src = "
- contract test {
- function goodset() public returns (uint) {
- for (uint i = 0; i < 10 ; i++) {
- bool a = true;
- }
- return i;
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "`i\' is not found");
- }
- #[test]
- fn for_forever() {
- let src = "
- contract test {
- function goodset() public returns (bool) {
- for (;;) {
- // ...
- }
- return;
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "unreachable statement");
- }
- #[test]
- fn test_loops() {
- // parse
- let mut runtime = build_solidity(
- "
- contract test {
- uint32 result = 1;
- constructor() public {
- uint32 n = 0;
- for (uint32 i = 0; i < 1000; i += 100) {
- n += 1;
- }
- assert(n == 10);
- n = 0;
- for (uint32 i = 0; i < 1000; i += 100) {
- if (true)
- continue;
- n += 1;
- }
- assert(n == 0);
- n = 0;
- for (uint32 i = 0; i < 1000; i += 100) {
- n += 1;
- break;
- }
- assert(n == 1);
- n = 0;
- while (n < 10) {
- n += 9;
- }
- assert(n == 18);
- n = 0;
- while (false) {
- n += 1000;
- }
- assert(n == 0);
- do {
- n += 9;
- }
- while(false);
- assert(n == 9);
- }
- }",
- );
- runtime.constructor(0, Vec::new());
- }
- #[test]
- fn test_full_example() {
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val32(i32);
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val64(i64);
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct ValBool(bool);
- // parse
- let src = include_str!("../../examples/full_example.sol");
- let mut runtime = build_solidity(src);
- runtime.constructor(0, Val32(102).encode());
- runtime.function("is_zombie_reaper", Vec::new());
- assert_eq!(runtime.vm.output, ValBool(false).encode());
- runtime.function("reap_processes", Vec::new());
- runtime.function("run_queue", Vec::new());
- }
- #[test]
- fn test_large_vals() {
- // parse
- let src = "
- contract test {
- function large() public returns (int) {
- return 102;
- }
- function large2(int x) public returns (int) {
- return x + 100;
- }
- function doda() public {
- int x = large();
- assert(large2(10) == 110);
- }
- }";
- let mut runtime = build_solidity(src);
- runtime.constructor(0, Vec::new());
- runtime.function("doda", Vec::new());
- }
- #[test]
- fn args_and_returns() {
- #[derive(Debug, PartialEq, Encode, Decode)]
- struct Val32(i32);
- let src = "
- contract args {
- function foo(bool arg1, uint arg1) public {
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "arg1 is already declared");
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public returns (address arg2, uint) {
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "arg2 is already declared");
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public returns (address, uint) {
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "missing return statement");
- let src = "
- contract primitives {
- enum oper { add, sub, mul, div, mod, pow }
- function op_i64(oper op, int64 a, int64 b) pure public returns (int64) {
- if (op == oper.add) {
- return a + b;
- } else if (op == oper.sub) {
- return a - b;
- } else if (op == oper.mul) {
- return a * b;
- } else if (op == oper.div) {
- return a / b;
- } else if (op == oper.mod) {
- return a % b;
- }
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "missing return statement");
- let mut runtime = build_solidity(
- "
- contract foobar {
- function foo1() public returns (int32 a) {
- a = -102;
- }
- function foo2() public returns (int32 a) {
- a = -102;
- return 553;
- }
- }",
- );
- runtime.function("foo1", Vec::new());
- assert_eq!(runtime.vm.output, Val32(-102).encode());
- runtime.function("foo2", Vec::new());
- assert_eq!(runtime.vm.output, Val32(553).encode());
- }
- #[test]
- fn named_argument_call() {
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo({ arg1: false });
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function expects 2 arguments, 1 provided"
- );
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo[1]({ arg1: false });
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "unexpected array type");
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo({ arg1: false, arg1: 203 });
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "duplicate argument with name ‘arg1’"
- );
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo({ arg1: false, arg3: 1 });
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "missing argument ‘arg2’ to function ‘foo’"
- );
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo({ arg1: false, arg2: true });
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "conversion from bool to uint256 not possible"
- );
- let mut runtime = build_solidity(
- "
- contract foobar {
- function foo1(bool x) public returns (int32 a) {
- return 2;
- }
- function foo1(uint32 x) public returns (int32 a) {
- a = bar({});
- }
- function bar() private returns (int32) {
- return 1;
- }
- function test() public {
- assert(foo1({ x: true }) == 2);
- assert(foo1({ x: 102 }) == 1);
- }
- }",
- );
- runtime.function("test", Vec::new());
- }
- #[test]
- fn positional_argument_call() {
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo(false);
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function expects 2 arguments, 1 provided"
- );
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo[1](false, 1);
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "expression is not an array");
- let src = "
- contract args {
- function foo(bool arg1, uint arg2) public {
- }
- function bar() private {
- foo(1, false);
- }
- }";
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "expected ‘bool’, found integer"
- );
- let mut runtime = build_solidity(
- "
- contract foobar {
- function foo1(bool x) public returns (int32 a) {
- return 2;
- }
- function foo1(uint32 x) public returns (int32 a) {
- return 1;
- }
- function test() public {
- assert(foo1(true) == 2);
- assert(foo1(102) == 1);
- }
- }",
- );
- runtime.function("test", Vec::new());
- }
- #[test]
- fn print() {
- let mut runtime = build_solidity(
- r#"
- contract foobar {
- function test() public {
- print("Hello, world");
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- }
- #[test]
- fn destructuring_call() {
- let mut runtime = build_solidity(
- r#"
- contract c {
- function func1() public returns (int32, bool) {
- return (102, true);
- }
- function test() public {
- (int32 a, bool b) = func1();
- assert(a == 102 && b == true);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- let mut runtime = build_solidity(
- r#"
- contract c {
- function func1(int32 x) public returns (int32, bool) {
- return (102 + x, true);
- }
- function test() public {
- (int32 a, bool b) = func1({x: 5});
- assert(a == 107 && b == true);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- let mut runtime = build_solidity(
- r#"
- contract c {
- function test() public {
- b x = new b();
- (int32 a, bool b) = x.func1({x: 5});
- assert(a == 107 && b == true);
- (a, b) = x.func1(-1);
- assert(a == 101 && b == true);
- }
- }
- contract b {
- function func1(int32 x) public returns (int32, bool) {
- return (102 + x, true);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- }
- #[test]
- fn payable() {
- let src = r##"
- pragma solidity 0;
- contract c {
- int32 i = 0;
- function test() payable internal {
- i = 2;
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "internal or private function cannot be payable"
- );
- let src = r##"
- pragma solidity 0;
- contract c {
- int32 i = 0;
- function test() payable private {
- i = 2;
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "internal or private function cannot be payable"
- );
- let src = r##"
- pragma solidity 0;
- contract c {
- int32 i = 0;
- receive() external {
- i = 2;
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "receive function must be declared payable"
- );
- let src = r##"
- pragma solidity 0;
- contract c {
- int32 i = 0;
- fallback() external payable {
- i = 2;
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "fallback function must not be declare payable, use ‘receive() external payable’ instead"
- );
- let src = r##"
- contract c {
- constructor() public payable {
- }
- constructor(int32 x) public {
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "all constructors should be defined ‘payable’ or not"
- );
- let src = r##"
- contract c {
- constructor() public {
- }
- constructor(int32 x) public payable {
- }
- }"##;
- let ns = parse_and_resolve(
- src,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "all constructors should be defined ‘payable’ or not"
- );
- }
- #[test]
- fn global_functions() {
- let ns = parse_and_resolve(
- r##"
- function() {}
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "missing function name");
- let ns = parse_and_resolve(
- r##"
- function x();
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "missing function body");
- let ns = parse_and_resolve(
- r##"
- function x() virtual {}
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "only functions in contracts can be virtual"
- );
- let ns = parse_and_resolve(
- r##"
- function x() override {}
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "only functions in contracts can override"
- );
- let ns = parse_and_resolve(
- r##"
- function x() feyla {}
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function modifiers or base contracts are only allowed on functions in contracts"
- );
- let ns = parse_and_resolve(
- r##"
- function x() feyla {}
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function modifiers or base contracts are only allowed on functions in contracts"
- );
- let ns = parse_and_resolve(
- r##"
- event foo(bool);
- function x() pure { emit foo(true); }
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘pure’ but this expression writes to state"
- );
- let ns = parse_and_resolve(
- r##"
- function x(int[] storage x) pure returns (int) { return x[1]; }
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘pure’ but this expression reads from state"
- );
- let ns = parse_and_resolve(
- r##"
- struct S {
- int32 f1;
- int32 f2;
- }
- function x(S storage x) view { x.f1 = 102; }
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "function declared ‘view’ but this expression writes to state"
- );
- let ns = parse_and_resolve(
- r##"
- function x(int64) pure { return 102; }
- function x(int128) pure { return 102; }
- function x(int128) pure { return 132; }
- "##,
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "overloaded function with this signature already exist"
- );
- let mut runtime = build_solidity(
- r#"
- function global_function() pure returns (uint32) {
- return 102;
- }
- contract c {
- function test() public {
- uint64 x = global_function();
- assert(x == 102);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- let mut runtime = build_solidity(
- r#"
- function global_function() pure returns (uint32) {
- return 102;
- }
- function global_function2() pure returns (uint32) {
- return global_function() + 5;
- }
- contract c {
- function test() public {
- uint64 x = global_function2();
- assert(x == 107);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- let mut runtime = build_solidity(
- r#"
- function global_function() pure returns (uint32) {
- return 102;
- }
- function global_function2() pure returns (uint32) {
- return global_function() + 5;
- }
- contract c {
- function test() public {
- function() internal returns (uint32) ftype = global_function2;
- uint64 x = ftype();
- assert(x == 107);
- }
- }"#,
- );
- runtime.function("test", Vec::new());
- }
- #[test]
- fn return_not_returns() {
- let ns = parse_and_resolve(
- "contract test {
- function bar() public pure return (int64) {
- return 1;
- }
- }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(
- first_error(ns.diagnostics),
- "‘return’ unexpected. Did you mean ‘returns’?"
- );
- }
- #[test]
- fn stray_semicolon() {
- let ns = parse_and_resolve(
- "struct a { uint32 f1; };",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "stray semicolon");
- let ns = parse_and_resolve(
- "contract x { struct a { uint32 f1; }; }",
- Target::Substrate {
- address_length: 32,
- value_length: 16,
- },
- );
- assert_eq!(first_error(ns.diagnostics), "stray semicolon");
- }
|