mappings.rs 30 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203
  1. // SPDX-License-Identifier: Apache-2.0
  2. use crate::{account_new, build_solidity, BorshToken};
  3. use num_bigint::BigInt;
  4. use num_traits::{One, Zero};
  5. use std::slice;
  6. #[test]
  7. fn simple_mapping() {
  8. let mut vm = build_solidity(
  9. r#"
  10. contract foo {
  11. mapping (uint64 => uint64) map;
  12. function set(uint64 index, uint64 val) public {
  13. map[index] = val;
  14. }
  15. function get(uint64 index) public returns (uint64) {
  16. return map[index];
  17. }
  18. function rm(uint64 index) public {
  19. delete map[index];
  20. }
  21. }"#,
  22. );
  23. let data_account = vm.initialize_data_account();
  24. vm.function("new")
  25. .accounts(vec![("dataAccount", data_account)])
  26. .call();
  27. for i in 0..10 {
  28. vm.function("set")
  29. .arguments(&[
  30. BorshToken::Uint {
  31. width: 64,
  32. value: BigInt::from(102 + i),
  33. },
  34. BorshToken::Uint {
  35. width: 64,
  36. value: BigInt::from(300331 + i),
  37. },
  38. ])
  39. .accounts(vec![("dataAccount", data_account)])
  40. .call();
  41. }
  42. for i in 0..10 {
  43. let returns = vm
  44. .function("get")
  45. .arguments(&[BorshToken::Uint {
  46. width: 64,
  47. value: BigInt::from(102 + i),
  48. }])
  49. .accounts(vec![("dataAccount", data_account)])
  50. .call()
  51. .unwrap();
  52. assert_eq!(
  53. returns,
  54. BorshToken::Uint {
  55. width: 64,
  56. value: BigInt::from(300331 + i)
  57. }
  58. );
  59. }
  60. let returns = vm
  61. .function("get")
  62. .arguments(&[BorshToken::Uint {
  63. width: 64,
  64. value: BigInt::from(101u8),
  65. }])
  66. .accounts(vec![("dataAccount", data_account)])
  67. .call()
  68. .unwrap();
  69. assert_eq!(
  70. returns,
  71. BorshToken::Uint {
  72. width: 64,
  73. value: BigInt::zero()
  74. }
  75. );
  76. vm.function("rm")
  77. .arguments(&[BorshToken::Uint {
  78. width: 64,
  79. value: BigInt::from(104u8),
  80. }])
  81. .accounts(vec![("dataAccount", data_account)])
  82. .call();
  83. for i in 0..10 {
  84. let returns = vm
  85. .function("get")
  86. .arguments(&[BorshToken::Uint {
  87. width: 64,
  88. value: BigInt::from(102 + i),
  89. }])
  90. .accounts(vec![("dataAccount", data_account)])
  91. .call()
  92. .unwrap();
  93. if 102 + i != 104 {
  94. assert_eq!(
  95. returns,
  96. BorshToken::Uint {
  97. width: 64,
  98. value: BigInt::from(300331 + i)
  99. }
  100. );
  101. } else {
  102. assert_eq!(
  103. returns,
  104. BorshToken::Uint {
  105. width: 64,
  106. value: BigInt::zero(),
  107. }
  108. );
  109. }
  110. }
  111. }
  112. #[test]
  113. fn less_simple_mapping() {
  114. let mut vm = build_solidity(
  115. r#"
  116. struct S {
  117. string f1;
  118. int64[] f2;
  119. }
  120. contract foo {
  121. mapping (uint => S) map;
  122. function set_string(uint index, string s) public {
  123. map[index].f1 = s;
  124. }
  125. function add_int(uint index, int64 n) public {
  126. map[index].f2.push(n);
  127. }
  128. function get(uint index) public returns (S) {
  129. return map[index];
  130. }
  131. function rm(uint index) public {
  132. delete map[index];
  133. }
  134. }"#,
  135. );
  136. let data_account = vm.initialize_data_account();
  137. vm.function("new")
  138. .accounts(vec![("dataAccount", data_account)])
  139. .call();
  140. vm.function(
  141. "set_string")
  142. .arguments(
  143. &[
  144. BorshToken::Uint {
  145. width: 256,
  146. value: BigInt::from(12313132131321312311213131u128)
  147. },
  148. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  149. ],
  150. )
  151. .accounts(vec![("dataAccount", data_account)])
  152. .call();
  153. vm.function("add_int")
  154. .arguments(&[
  155. BorshToken::Uint {
  156. width: 256,
  157. value: BigInt::from(12313132131321312311213131u128),
  158. },
  159. BorshToken::Int {
  160. width: 64,
  161. value: BigInt::from(102u8),
  162. },
  163. ])
  164. .accounts(vec![("dataAccount", data_account)])
  165. .call();
  166. let returns = vm
  167. .function("get")
  168. .arguments(&[BorshToken::Uint {
  169. width: 256,
  170. value: BigInt::from(12313132131321312311213131u128),
  171. }])
  172. .accounts(vec![("dataAccount", data_account)])
  173. .call()
  174. .unwrap();
  175. assert_eq!(
  176. returns,
  177. BorshToken::Tuple(vec![
  178. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  179. BorshToken::Array(vec![
  180. BorshToken::Int{
  181. width: 64,
  182. value: BigInt::from(102u8)
  183. },
  184. ]),
  185. ])
  186. );
  187. }
  188. #[test]
  189. fn string_mapping() {
  190. let mut vm = build_solidity(
  191. r#"
  192. struct S {
  193. string f1;
  194. int64[] f2;
  195. }
  196. contract foo {
  197. mapping (string => S) map;
  198. function set_string(string index, string s) public {
  199. map[index].f1 = s;
  200. }
  201. function add_int(string index, int64 n) public {
  202. map[index].f2.push(n);
  203. }
  204. function get(string index) public returns (S) {
  205. return map[index];
  206. }
  207. function rm(string index) public {
  208. delete map[index];
  209. }
  210. }"#,
  211. );
  212. let data_account = vm.initialize_data_account();
  213. vm.function("new")
  214. .accounts(vec![("dataAccount", data_account)])
  215. .call();
  216. vm.function(
  217. "set_string")
  218. .arguments(
  219. &[
  220. BorshToken::String(String::from("a")),
  221. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  222. ],
  223. )
  224. .accounts(vec![("dataAccount", data_account)])
  225. .call();
  226. vm.function("add_int")
  227. .arguments(&[
  228. BorshToken::String(String::from("a")),
  229. BorshToken::Int {
  230. width: 64,
  231. value: BigInt::from(102u8),
  232. },
  233. ])
  234. .accounts(vec![("dataAccount", data_account)])
  235. .call();
  236. let returns = vm
  237. .function("get")
  238. .arguments(&[BorshToken::String(String::from("a"))])
  239. .accounts(vec![("dataAccount", data_account)])
  240. .call()
  241. .unwrap();
  242. assert_eq!(
  243. returns,
  244. BorshToken::Tuple(vec![
  245. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  246. BorshToken::Array(vec![
  247. BorshToken::Int{
  248. width: 64,
  249. value: BigInt::from(102u8)
  250. },
  251. ]),
  252. ])
  253. );
  254. }
  255. #[test]
  256. fn contract_mapping() {
  257. let mut vm = build_solidity(
  258. r#"
  259. contract foo {
  260. mapping (address => string) public map;
  261. function set(address index, string s) public {
  262. map[index] = s;
  263. }
  264. function get(address index) public returns (string) {
  265. return map[index];
  266. }
  267. function rm(address index) public {
  268. delete map[index];
  269. }
  270. }"#,
  271. );
  272. let data_account = vm.initialize_data_account();
  273. vm.function("new")
  274. .accounts(vec![("dataAccount", data_account)])
  275. .call();
  276. let index = BorshToken::Address(account_new());
  277. vm.function(
  278. "set")
  279. .arguments(
  280. &[
  281. index.clone(),
  282. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  283. ], )
  284. .accounts(vec![("dataAccount", data_account)])
  285. .call();
  286. let returns = vm
  287. .function("get")
  288. .arguments(slice::from_ref(&index))
  289. .accounts(vec![("dataAccount", data_account)])
  290. .call()
  291. .unwrap();
  292. assert_eq!(
  293. returns,
  294. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder"))
  295. );
  296. vm.function("rm")
  297. .arguments(slice::from_ref(&index))
  298. .accounts(vec![("dataAccount", data_account)])
  299. .call();
  300. let returns = vm
  301. .function("get")
  302. .arguments(slice::from_ref(&index))
  303. .accounts(vec![("dataAccount", data_account)])
  304. .call()
  305. .unwrap();
  306. assert_eq!(returns, BorshToken::String(String::from("")));
  307. }
  308. #[test]
  309. fn mapping_in_mapping() {
  310. let mut vm = build_solidity(
  311. r#"
  312. contract foo {
  313. mapping (string => mapping(int64 => byte)) public map;
  314. function set(string s, int64 n, bytes1 v) public {
  315. map[s][n] = v;
  316. }
  317. }"#,
  318. );
  319. let data_account = vm.initialize_data_account();
  320. vm.function("new")
  321. .accounts(vec![("dataAccount", data_account)])
  322. .call();
  323. vm.function("set")
  324. .arguments(&[
  325. BorshToken::String(String::from("a")),
  326. BorshToken::Int {
  327. width: 64,
  328. value: BigInt::from(102u8),
  329. },
  330. BorshToken::FixedBytes(vec![0x98]),
  331. ])
  332. .accounts(vec![("dataAccount", data_account)])
  333. .call();
  334. let returns = vm
  335. .function("map")
  336. .arguments(&[
  337. BorshToken::String(String::from("a")),
  338. BorshToken::Int {
  339. width: 64,
  340. value: BigInt::from(102u8),
  341. },
  342. ])
  343. .accounts(vec![("dataAccount", data_account)])
  344. .call()
  345. .unwrap();
  346. assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0x98]));
  347. let returns = vm
  348. .function("map")
  349. .arguments(&[
  350. BorshToken::String(String::from("a")),
  351. BorshToken::Int {
  352. width: 64,
  353. value: BigInt::from(103u8),
  354. },
  355. ])
  356. .accounts(vec![("dataAccount", data_account)])
  357. .call()
  358. .unwrap();
  359. assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0]));
  360. let returns = vm
  361. .function("map")
  362. .arguments(&[
  363. BorshToken::String(String::from("b")),
  364. BorshToken::Int {
  365. width: 64,
  366. value: BigInt::from(102u8),
  367. },
  368. ])
  369. .accounts(vec![("dataAccount", data_account)])
  370. .call()
  371. .unwrap();
  372. assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0]));
  373. }
  374. #[test]
  375. fn sparse_array() {
  376. let mut vm = build_solidity(
  377. r#"
  378. struct S {
  379. string f1;
  380. int64[] f2;
  381. }
  382. contract foo {
  383. S[1e9] map;
  384. function set_string(uint index, string s) public {
  385. map[index].f1 = s;
  386. }
  387. function add_int(uint index, int64 n) public {
  388. map[index].f2.push(n);
  389. }
  390. function get(uint index) public returns (S) {
  391. return map[index];
  392. }
  393. function rm(uint index) public {
  394. delete map[index];
  395. }
  396. }"#,
  397. );
  398. let data_account = vm.initialize_data_account();
  399. vm.function("new")
  400. .accounts(vec![("dataAccount", data_account)])
  401. .call();
  402. vm.function(
  403. "set_string")
  404. .arguments(
  405. &[
  406. BorshToken::Uint{
  407. width: 256,
  408. value: BigInt::from(909090909u64)
  409. },
  410. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  411. ], )
  412. .accounts(vec![("dataAccount", data_account)])
  413. .call();
  414. vm.function("add_int")
  415. .arguments(&[
  416. BorshToken::Uint {
  417. width: 256,
  418. value: BigInt::from(909090909u64),
  419. },
  420. BorshToken::Int {
  421. width: 64,
  422. value: BigInt::from(102u8),
  423. },
  424. ])
  425. .accounts(vec![("dataAccount", data_account)])
  426. .call();
  427. let returns = vm
  428. .function("get")
  429. .arguments(&[BorshToken::Uint {
  430. width: 256,
  431. value: BigInt::from(909090909u64),
  432. }])
  433. .accounts(vec![("dataAccount", data_account)])
  434. .call()
  435. .unwrap();
  436. assert_eq!(
  437. returns,
  438. BorshToken::Tuple(vec![
  439. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  440. BorshToken::Array(vec![
  441. BorshToken::Int{
  442. width: 64,
  443. value: BigInt::from(102u8)
  444. },
  445. ]),
  446. ])
  447. );
  448. }
  449. #[test]
  450. fn massive_sparse_array() {
  451. let mut vm = build_solidity(
  452. r#"
  453. struct S {
  454. string f1;
  455. int64[] f2;
  456. }
  457. contract foo {
  458. S[1e24] map;
  459. function set_string(uint index, string s) public {
  460. map[index].f1 = s;
  461. }
  462. function add_int(uint index, int64 n) public {
  463. map[index].f2.push(n);
  464. }
  465. function get(uint index) public returns (S) {
  466. return map[index];
  467. }
  468. function rm(uint index) public {
  469. delete map[index];
  470. }
  471. }"#,
  472. );
  473. let data_account = vm.initialize_data_account();
  474. vm.function("new")
  475. .accounts(vec![("dataAccount", data_account)])
  476. .call();
  477. vm.function(
  478. "set_string")
  479. .arguments(
  480. &[
  481. BorshToken::Uint {
  482. width: 256,
  483. value: BigInt::from(786868768768678687686877u128)
  484. },
  485. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  486. ], )
  487. .accounts(vec![("dataAccount", data_account)])
  488. .call();
  489. vm.function("add_int")
  490. .arguments(&[
  491. BorshToken::Uint {
  492. width: 256,
  493. value: BigInt::from(786868768768678687686877u128),
  494. },
  495. BorshToken::Int {
  496. width: 64,
  497. value: BigInt::from(102u8),
  498. },
  499. ])
  500. .accounts(vec![("dataAccount", data_account)])
  501. .call();
  502. let returns = vm
  503. .function("get")
  504. .arguments(&[BorshToken::Uint {
  505. width: 256,
  506. value: BigInt::from(786868768768678687686877u128),
  507. }])
  508. .accounts(vec![("dataAccount", data_account)])
  509. .call()
  510. .unwrap();
  511. assert_eq!(
  512. returns,
  513. BorshToken::Tuple(vec![
  514. BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
  515. BorshToken::Array(vec![
  516. BorshToken::Int {
  517. width: 64,
  518. value: BigInt::from(102u8)
  519. },
  520. ]),
  521. ])
  522. );
  523. }
  524. #[test]
  525. fn mapping_in_dynamic_array() {
  526. let mut vm = build_solidity(
  527. r#"
  528. contract foo {
  529. mapping (uint64 => uint64)[] public map;
  530. int64 public number;
  531. function set(uint64 array_no, uint64 index, uint64 val) public {
  532. map[array_no][index] = val;
  533. }
  534. function rm(uint64 array_no, uint64 index) public {
  535. delete map[array_no][index];
  536. }
  537. function push() public {
  538. map.push();
  539. }
  540. function pop() public {
  541. map.pop();
  542. }
  543. function setNumber(int64 x) public {
  544. number = x;
  545. }
  546. function length() public returns (uint64) {
  547. return map.length;
  548. }
  549. }"#,
  550. );
  551. let data_account = vm.initialize_data_account();
  552. vm.function("new")
  553. .accounts(vec![("dataAccount", data_account)])
  554. .call();
  555. vm.function("setNumber")
  556. .arguments(&[BorshToken::Int {
  557. width: 64,
  558. value: BigInt::from(2147483647),
  559. }])
  560. .accounts(vec![("dataAccount", data_account)])
  561. .call();
  562. vm.function("push")
  563. .accounts(vec![("dataAccount", data_account)])
  564. .call();
  565. vm.function("push")
  566. .accounts(vec![("dataAccount", data_account)])
  567. .call();
  568. for array_no in 0..2 {
  569. for i in 0..10 {
  570. vm.function("set")
  571. .arguments(&[
  572. BorshToken::Uint {
  573. width: 64,
  574. value: BigInt::from(array_no),
  575. },
  576. BorshToken::Uint {
  577. width: 64,
  578. value: BigInt::from(102 + i + array_no * 500),
  579. },
  580. BorshToken::Uint {
  581. width: 64,
  582. value: BigInt::from(300331 + i),
  583. },
  584. ])
  585. .accounts(vec![("dataAccount", data_account)])
  586. .call();
  587. }
  588. }
  589. for array_no in 0..2 {
  590. for i in 0..10 {
  591. let returns = vm
  592. .function("map")
  593. .arguments(&[
  594. BorshToken::Uint {
  595. width: 256,
  596. value: BigInt::from(array_no),
  597. },
  598. BorshToken::Uint {
  599. width: 64,
  600. value: BigInt::from(102 + i + array_no * 500),
  601. },
  602. ])
  603. .accounts(vec![("dataAccount", data_account)])
  604. .call()
  605. .unwrap();
  606. assert_eq!(
  607. returns,
  608. BorshToken::Uint {
  609. width: 64,
  610. value: BigInt::from(300331 + i)
  611. },
  612. );
  613. }
  614. }
  615. let returns = vm
  616. .function("map")
  617. .arguments(&[
  618. BorshToken::Uint {
  619. width: 256,
  620. value: BigInt::zero(),
  621. },
  622. BorshToken::Uint {
  623. width: 64,
  624. value: BigInt::from(101u8),
  625. },
  626. ])
  627. .accounts(vec![("dataAccount", data_account)])
  628. .call()
  629. .unwrap();
  630. assert_eq!(
  631. returns,
  632. BorshToken::Uint {
  633. width: 64,
  634. value: BigInt::zero()
  635. }
  636. );
  637. vm.function("rm")
  638. .arguments(&[
  639. BorshToken::Uint {
  640. width: 64,
  641. value: BigInt::zero(),
  642. },
  643. BorshToken::Uint {
  644. width: 64,
  645. value: BigInt::from(104u8),
  646. },
  647. ])
  648. .accounts(vec![("dataAccount", data_account)])
  649. .call();
  650. for i in 0..10 {
  651. let returns = vm
  652. .function("map")
  653. .arguments(&[
  654. BorshToken::Uint {
  655. width: 256,
  656. value: BigInt::zero(),
  657. },
  658. BorshToken::Uint {
  659. width: 64,
  660. value: BigInt::from(102 + i),
  661. },
  662. ])
  663. .accounts(vec![("dataAccount", data_account)])
  664. .call()
  665. .unwrap();
  666. if 102 + i != 104 {
  667. assert_eq!(
  668. returns,
  669. BorshToken::Uint {
  670. width: 64,
  671. value: BigInt::from(300331 + i)
  672. },
  673. );
  674. } else {
  675. assert_eq!(
  676. returns,
  677. BorshToken::Uint {
  678. width: 64,
  679. value: BigInt::zero()
  680. }
  681. );
  682. }
  683. }
  684. let returns = vm
  685. .function("length")
  686. .accounts(vec![("dataAccount", data_account)])
  687. .call()
  688. .unwrap();
  689. assert_eq!(
  690. returns,
  691. BorshToken::Uint {
  692. width: 64,
  693. value: BigInt::from(2u8)
  694. }
  695. );
  696. vm.function("pop")
  697. .accounts(vec![("dataAccount", data_account)])
  698. .call();
  699. let returns = vm
  700. .function("length")
  701. .accounts(vec![("dataAccount", data_account)])
  702. .call()
  703. .unwrap();
  704. assert_eq!(
  705. returns,
  706. BorshToken::Uint {
  707. width: 64,
  708. value: BigInt::one()
  709. }
  710. );
  711. vm.function("pop")
  712. .accounts(vec![("dataAccount", data_account)])
  713. .call();
  714. let returns = vm
  715. .function("length")
  716. .accounts(vec![("dataAccount", data_account)])
  717. .call()
  718. .unwrap();
  719. assert_eq!(
  720. returns,
  721. BorshToken::Uint {
  722. width: 64,
  723. value: BigInt::zero()
  724. }
  725. );
  726. let returns = vm
  727. .function("number")
  728. .accounts(vec![("dataAccount", data_account)])
  729. .call()
  730. .unwrap();
  731. assert_eq!(
  732. returns,
  733. BorshToken::Int {
  734. width: 64,
  735. value: BigInt::from(2147483647u64)
  736. }
  737. );
  738. }
  739. #[test]
  740. fn mapping_in_struct_in_dynamic_array() {
  741. let mut vm = build_solidity(
  742. r#"
  743. contract foo {
  744. struct A {
  745. mapping(uint256 => uint256) a;
  746. }
  747. A[] private map;
  748. int64 public number;
  749. function set(uint64 array_no, uint64 index, uint64 val) public {
  750. map[array_no].a[index] = val;
  751. }
  752. function get(uint64 array_no, uint64 index) public returns (uint256) {
  753. return map[array_no].a[index];
  754. }
  755. function rm(uint64 array_no, uint64 index) public {
  756. delete map[array_no].a[index];
  757. }
  758. function push() public {
  759. map.push();
  760. }
  761. function pop() public {
  762. map.pop();
  763. }
  764. function setNumber(int64 x) public {
  765. number = x;
  766. }
  767. }"#,
  768. );
  769. let data_account = vm.initialize_data_account();
  770. vm.function("new")
  771. .accounts(vec![("dataAccount", data_account)])
  772. .call();
  773. vm.function("setNumber")
  774. .arguments(&[BorshToken::Int {
  775. width: 64,
  776. value: BigInt::from(2147483647),
  777. }])
  778. .accounts(vec![("dataAccount", data_account)])
  779. .call();
  780. vm.function("push")
  781. .accounts(vec![("dataAccount", data_account)])
  782. .call();
  783. vm.function("push")
  784. .accounts(vec![("dataAccount", data_account)])
  785. .call();
  786. for array_no in 0..2 {
  787. for i in 0..10 {
  788. vm.function("set")
  789. .arguments(&[
  790. BorshToken::Uint {
  791. width: 64,
  792. value: BigInt::from(array_no),
  793. },
  794. BorshToken::Uint {
  795. width: 64,
  796. value: BigInt::from(102 + i + array_no * 500),
  797. },
  798. BorshToken::Uint {
  799. width: 64,
  800. value: BigInt::from(300331 + i),
  801. },
  802. ])
  803. .accounts(vec![("dataAccount", data_account)])
  804. .call();
  805. }
  806. }
  807. for array_no in 0..2 {
  808. for i in 0..10 {
  809. let returns = vm
  810. .function("get")
  811. .arguments(&[
  812. BorshToken::Uint {
  813. width: 64,
  814. value: BigInt::from(array_no),
  815. },
  816. BorshToken::Uint {
  817. width: 64,
  818. value: BigInt::from(102 + i + array_no * 500),
  819. },
  820. ])
  821. .accounts(vec![("dataAccount", data_account)])
  822. .call()
  823. .unwrap();
  824. assert_eq!(
  825. returns,
  826. BorshToken::Uint {
  827. width: 256,
  828. value: BigInt::from(300331 + i)
  829. },
  830. );
  831. }
  832. }
  833. let returns = vm
  834. .function("get")
  835. .arguments(&[
  836. BorshToken::Uint {
  837. width: 64,
  838. value: BigInt::zero(),
  839. },
  840. BorshToken::Uint {
  841. width: 64,
  842. value: BigInt::from(101u8),
  843. },
  844. ])
  845. .accounts(vec![("dataAccount", data_account)])
  846. .call()
  847. .unwrap();
  848. assert_eq!(
  849. returns,
  850. BorshToken::Uint {
  851. width: 256,
  852. value: BigInt::zero(),
  853. },
  854. );
  855. vm.function("rm")
  856. .arguments(&[
  857. BorshToken::Uint {
  858. width: 64,
  859. value: BigInt::zero(),
  860. },
  861. BorshToken::Uint {
  862. width: 64,
  863. value: BigInt::from(104u8),
  864. },
  865. ])
  866. .accounts(vec![("dataAccount", data_account)])
  867. .call();
  868. for i in 0..10 {
  869. let returns = vm
  870. .function("get")
  871. .arguments(&[
  872. BorshToken::Uint {
  873. width: 64,
  874. value: BigInt::zero(),
  875. },
  876. BorshToken::Uint {
  877. width: 64,
  878. value: BigInt::from(102 + i),
  879. },
  880. ])
  881. .accounts(vec![("dataAccount", data_account)])
  882. .call()
  883. .unwrap();
  884. if 102 + i != 104 {
  885. assert_eq!(
  886. returns,
  887. BorshToken::Uint {
  888. width: 256,
  889. value: BigInt::from(300331 + i)
  890. }
  891. );
  892. } else {
  893. assert_eq!(
  894. returns,
  895. BorshToken::Uint {
  896. width: 256,
  897. value: BigInt::zero()
  898. }
  899. );
  900. }
  901. }
  902. vm.function("pop")
  903. .accounts(vec![("dataAccount", data_account)])
  904. .call();
  905. vm.function("pop")
  906. .accounts(vec![("dataAccount", data_account)])
  907. .call();
  908. let returns = vm
  909. .function("number")
  910. .accounts(vec![("dataAccount", data_account)])
  911. .call()
  912. .unwrap();
  913. assert_eq!(
  914. returns,
  915. BorshToken::Int {
  916. width: 64,
  917. value: BigInt::from(2147483647u64),
  918. }
  919. );
  920. }
  921. #[test]
  922. fn mapping_delete() {
  923. let mut vm = build_solidity(
  924. r#"
  925. contract DeleteTest {
  926. struct data_struct {
  927. address addr1;
  928. address addr2;
  929. }
  930. mapping(uint => data_struct) example;
  931. function addData(address sender) public {
  932. data_struct dt = data_struct({addr1: address(this), addr2: sender});
  933. uint id = 1;
  934. example[id] = dt;
  935. }
  936. function deltest() external {
  937. uint id = 1;
  938. delete example[id];
  939. }
  940. function get() public view returns (data_struct calldata) {
  941. uint id = 1;
  942. return example[id];
  943. }
  944. }
  945. "#,
  946. );
  947. let sender = account_new();
  948. let data_account = vm.initialize_data_account();
  949. vm.function("new")
  950. .accounts(vec![("dataAccount", data_account)])
  951. .call();
  952. let _ = vm
  953. .function("addData")
  954. .arguments(&[BorshToken::Address(sender)])
  955. .accounts(vec![("dataAccount", data_account)])
  956. .call();
  957. let _ = vm
  958. .function("deltest")
  959. .accounts(vec![("dataAccount", data_account)])
  960. .call();
  961. let returns = vm
  962. .function("get")
  963. .accounts(vec![("dataAccount", data_account)])
  964. .call()
  965. .unwrap();
  966. assert_eq!(
  967. returns,
  968. BorshToken::Tuple(vec![
  969. BorshToken::Address([
  970. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  971. 0, 0, 0, 0
  972. ]),
  973. BorshToken::Address([
  974. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  975. 0, 0, 0, 0
  976. ])
  977. ]),
  978. );
  979. }
  980. #[test]
  981. fn mapping_within_struct() {
  982. let mut vm = build_solidity(
  983. r#"
  984. contract CrowdFunding {
  985. struct Funder {
  986. address addr;
  987. uint amount;
  988. }
  989. struct Campaign {
  990. mapping(uint => Funder)[2] arr_mp;
  991. mapping (uint => Funder) funders;
  992. }
  993. uint numCampaigns;
  994. mapping (uint => Campaign) campaigns;
  995. function newCampaign(address sender) public returns (uint campaignID) {
  996. campaignID = numCampaigns++;
  997. Campaign storage _campaign = campaigns[campaignID];
  998. _campaign.funders[0] = Funder(sender, 100);
  999. _campaign.arr_mp[1][0] = Funder(sender, 105);
  1000. }
  1001. function getAmt() public view returns (uint) {
  1002. Campaign storage _campaign = campaigns[numCampaigns - 1];
  1003. return _campaign.funders[0].amount;
  1004. }
  1005. function getArrAmt() public view returns (uint) {
  1006. Campaign storage _campaign = campaigns[numCampaigns - 1];
  1007. return _campaign.arr_mp[1][0].amount;
  1008. }
  1009. }
  1010. "#,
  1011. );
  1012. let sender = account_new();
  1013. let data_account = vm.initialize_data_account();
  1014. vm.function("new")
  1015. .accounts(vec![("dataAccount", data_account)])
  1016. .call();
  1017. let ret = vm
  1018. .function("newCampaign")
  1019. .arguments(&[BorshToken::Address(sender)])
  1020. .accounts(vec![("dataAccount", data_account)])
  1021. .call()
  1022. .unwrap();
  1023. assert_eq!(
  1024. ret,
  1025. BorshToken::Uint {
  1026. width: 256,
  1027. value: BigInt::zero(),
  1028. }
  1029. );
  1030. let ret = vm
  1031. .function("getAmt")
  1032. .accounts(vec![("dataAccount", data_account)])
  1033. .call()
  1034. .unwrap();
  1035. assert_eq!(
  1036. ret,
  1037. BorshToken::Uint {
  1038. width: 256,
  1039. value: BigInt::from(100u8),
  1040. }
  1041. );
  1042. let ret = vm
  1043. .function("getArrAmt")
  1044. .accounts(vec![("dataAccount", data_account)])
  1045. .call()
  1046. .unwrap();
  1047. assert_eq!(
  1048. ret,
  1049. BorshToken::Uint {
  1050. width: 256,
  1051. value: BigInt::from(105u8),
  1052. }
  1053. );
  1054. }