abi_decode.rs 31 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252
  1. // SPDX-License-Identifier: Apache-2.0
  2. use crate::solana_tests::abi_encode::create_response;
  3. use crate::{build_solidity, BorshToken};
  4. use borsh::BorshSerialize;
  5. #[test]
  6. fn integers_bool_enum() {
  7. #[derive(BorshSerialize, PartialEq, Eq, Debug)]
  8. #[allow(unused)]
  9. enum WeekDay {
  10. Sunday,
  11. Monday,
  12. Tuesday,
  13. Wednesday,
  14. Thursday,
  15. Friday,
  16. Saturday,
  17. }
  18. #[derive(BorshSerialize, Debug)]
  19. struct Res1 {
  20. a: u8,
  21. b: u64,
  22. c: u128,
  23. d: i16,
  24. e: i32,
  25. day: WeekDay,
  26. h: bool,
  27. }
  28. #[derive(BorshSerialize, Debug)]
  29. struct Res2 {
  30. item_1: WeekDay,
  31. item_2: WeekDay,
  32. item_3: WeekDay,
  33. }
  34. let mut vm = build_solidity(
  35. r#"
  36. contract Testing {
  37. enum WeekDay {
  38. Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday
  39. }
  40. function decodeTest1(bytes memory buffer) public pure {
  41. (uint8 a, uint64 b, uint128 c, int16 d, int32 e, WeekDay day, bool h) =
  42. abi.decode(buffer, (uint8, uint64, uint128, int16, int32, WeekDay, bool));
  43. assert(a == 45);
  44. assert(b == 9965956609890);
  45. assert(c == 88);
  46. assert(d == -29);
  47. assert(e == -88);
  48. assert(day == WeekDay.Wednesday);
  49. assert(h == false);
  50. }
  51. function decodeTest2(bytes memory buffer) public pure {
  52. (WeekDay a, WeekDay b, WeekDay c) =
  53. abi.decode(buffer, (WeekDay, WeekDay, WeekDay));
  54. assert(a == WeekDay.Sunday);
  55. assert(b == WeekDay.Saturday);
  56. assert(c == WeekDay.Friday);
  57. }
  58. }
  59. "#,
  60. );
  61. vm.constructor(&[]);
  62. let input = Res1 {
  63. a: 45,
  64. b: 9965956609890,
  65. c: 88,
  66. d: -29,
  67. e: -88,
  68. day: WeekDay::Wednesday,
  69. h: false,
  70. };
  71. let encoded = input.try_to_vec().unwrap();
  72. let _ = vm.function("decodeTest1", &[BorshToken::Bytes(encoded)]);
  73. let input = Res2 {
  74. item_1: WeekDay::Sunday,
  75. item_2: WeekDay::Saturday,
  76. item_3: WeekDay::Friday,
  77. };
  78. let encoded = input.try_to_vec().unwrap();
  79. let _ = vm.function("decodeTest2", &[BorshToken::Bytes(encoded)]);
  80. }
  81. #[test]
  82. fn decode_address() {
  83. #[derive(BorshSerialize, Debug)]
  84. struct Data {
  85. address: [u8; 32],
  86. this: [u8; 32],
  87. }
  88. let mut vm = build_solidity(
  89. r#"
  90. contract Testing {
  91. function testAddress(bytes memory buffer) public view {
  92. (address a, Testing b) = abi.decode(buffer, (address, Testing));
  93. assert(a == address(this));
  94. assert(b == this);
  95. }
  96. }
  97. "#,
  98. );
  99. vm.constructor(&[]);
  100. let input = Data {
  101. address: vm.programs[0].data,
  102. this: vm.programs[0].data,
  103. };
  104. let encoded = input.try_to_vec().unwrap();
  105. let _ = vm.function("testAddress", &[BorshToken::Bytes(encoded)]);
  106. }
  107. #[test]
  108. fn string_and_bytes() {
  109. #[derive(BorshSerialize, Debug)]
  110. struct Data {
  111. a: String,
  112. b: Vec<u8>,
  113. }
  114. let mut vm = build_solidity(
  115. r#"
  116. contract Testing {
  117. function testStringAndBytes(bytes memory buffer) public view {
  118. (string memory a, bytes memory b) = abi.decode(buffer, (string, bytes));
  119. assert(a == "coffee");
  120. assert(b == "tea");
  121. }
  122. }
  123. "#,
  124. );
  125. vm.constructor(&[]);
  126. let data = Data {
  127. a: "coffee".to_string(),
  128. b: b"tea".to_vec(),
  129. };
  130. let encoded = data.try_to_vec().unwrap();
  131. let _ = vm.function("testStringAndBytes", &[BorshToken::Bytes(encoded)]);
  132. }
  133. #[test]
  134. fn primitive_struct() {
  135. #[derive(Debug, BorshSerialize)]
  136. struct NoPadStruct {
  137. a: u32,
  138. b: u32,
  139. }
  140. #[derive(Debug, BorshSerialize)]
  141. struct PaddedStruct {
  142. a: u128,
  143. b: u8,
  144. c: [u8; 32],
  145. }
  146. let mut vm = build_solidity(
  147. r#"
  148. contract Testing {
  149. struct NoPadStruct {
  150. uint32 a;
  151. uint32 b;
  152. }
  153. struct PaddedStruct {
  154. uint128 a;
  155. uint8 b;
  156. bytes32 c;
  157. }
  158. function testNoPadStruct(bytes memory buffer) public pure {
  159. NoPadStruct memory str = abi.decode(buffer, (NoPadStruct));
  160. assert(str.a == 1238);
  161. assert(str.b == 87123);
  162. }
  163. function testPaddedStruct(bytes memory buffer) public pure {
  164. PaddedStruct memory str = abi.decode(buffer, (PaddedStruct));
  165. assert(str.a == 12998);
  166. assert(str.b == 240);
  167. assert(str.c == "tea_is_good");
  168. }
  169. }
  170. "#,
  171. );
  172. vm.constructor(&[]);
  173. let data = NoPadStruct { a: 1238, b: 87123 };
  174. let encoded = data.try_to_vec().unwrap();
  175. let _ = vm.function("testNoPadStruct", &[BorshToken::Bytes(encoded)]);
  176. let mut elem = b"tea_is_good".to_vec();
  177. elem.append(&mut vec![0; 21]);
  178. let data = PaddedStruct {
  179. a: 12998,
  180. b: 240,
  181. c: <[u8; 32]>::try_from(&elem[0..32]).unwrap(),
  182. };
  183. let encoded = data.try_to_vec().unwrap();
  184. let _ = vm.function("testPaddedStruct", &[BorshToken::Bytes(encoded)]);
  185. }
  186. #[test]
  187. fn returned_string() {
  188. #[derive(Debug, BorshSerialize)]
  189. struct Input {
  190. rr: String,
  191. }
  192. let mut vm = build_solidity(
  193. r#"
  194. contract Testing {
  195. function returnedString(bytes memory buffer) public pure returns (string memory) {
  196. string memory s = abi.decode(buffer, (string));
  197. return s;
  198. }
  199. }
  200. "#,
  201. );
  202. vm.constructor(&[]);
  203. let data = Input {
  204. rr: "cortado".to_string(),
  205. };
  206. let encoded = data.try_to_vec().unwrap();
  207. let returns = vm
  208. .function("returnedString", &[BorshToken::Bytes(encoded)])
  209. .unwrap();
  210. let string = returns.into_string().unwrap();
  211. assert_eq!(string, "cortado");
  212. }
  213. #[test]
  214. fn test_string_array() {
  215. #[derive(Debug, BorshSerialize)]
  216. struct Input {
  217. a: Vec<String>,
  218. }
  219. let mut vm = build_solidity(
  220. r#"
  221. contract Testing {
  222. function testStringVector(bytes memory buffer) public pure returns (string[] memory) {
  223. string[] memory vec = abi.decode(buffer, (string[]));
  224. return vec;
  225. }
  226. }
  227. "#,
  228. );
  229. vm.constructor(&[]);
  230. let data = Input {
  231. a: vec![
  232. "coffee".to_string(),
  233. "tea".to_string(),
  234. "cappuccino".to_string(),
  235. ],
  236. };
  237. let encoded = data.try_to_vec().unwrap();
  238. let returns = vm
  239. .function("testStringVector", &[BorshToken::Bytes(encoded)])
  240. .unwrap();
  241. let vec = returns.into_array().unwrap();
  242. assert_eq!(vec.len(), 3);
  243. assert_eq!(vec[0].clone().into_string().unwrap(), "coffee");
  244. assert_eq!(vec[1].clone().into_string().unwrap(), "tea");
  245. assert_eq!(vec[2].clone().into_string().unwrap(), "cappuccino");
  246. }
  247. #[test]
  248. fn struct_within_struct() {
  249. #[derive(Debug, BorshSerialize)]
  250. struct NoPadStruct {
  251. a: u32,
  252. b: u32,
  253. }
  254. #[derive(Debug, BorshSerialize)]
  255. struct PaddedStruct {
  256. a: u128,
  257. b: u8,
  258. c: [u8; 32],
  259. }
  260. #[derive(Debug, BorshSerialize)]
  261. struct NonConstantStruct {
  262. a: u64,
  263. b: Vec<String>,
  264. no_pad: NoPadStruct,
  265. pad: PaddedStruct,
  266. }
  267. let mut vm = build_solidity(
  268. r#"
  269. contract Testing {
  270. struct noPadStruct {
  271. uint32 a;
  272. uint32 b;
  273. }
  274. struct PaddedStruct {
  275. uint128 a;
  276. uint8 b;
  277. bytes32 c;
  278. }
  279. struct NonConstantStruct {
  280. uint64 a;
  281. string[] b;
  282. noPadStruct noPad;
  283. PaddedStruct pad;
  284. }
  285. function testStruct(bytes memory buffer) public pure {
  286. NonConstantStruct memory str = abi.decode(buffer, (NonConstantStruct));
  287. assert(str.a == 890234);
  288. assert(str.b.length == 2);
  289. assert(str.b[0] == "tea");
  290. assert(str.b[1] == "coffee");
  291. assert(str.noPad.a == 89123);
  292. assert(str.noPad.b == 12354);
  293. assert(str.pad.a == 988834);
  294. assert(str.pad.b == 129);
  295. assert(str.pad.c == "tea_is_good");
  296. }
  297. }
  298. "#,
  299. );
  300. vm.constructor(&[]);
  301. let no_pad = NoPadStruct { a: 89123, b: 12354 };
  302. let mut tea_is_good = b"tea_is_good".to_vec();
  303. tea_is_good.append(&mut vec![0; 21]);
  304. let pad = PaddedStruct {
  305. a: 988834,
  306. b: 129,
  307. c: <[u8; 32]>::try_from(tea_is_good).unwrap(),
  308. };
  309. let data = NonConstantStruct {
  310. a: 890234,
  311. b: vec!["tea".to_string(), "coffee".to_string()],
  312. no_pad,
  313. pad,
  314. };
  315. let encoded = data.try_to_vec().unwrap();
  316. let _ = vm.function("testStruct", &[BorshToken::Bytes(encoded)]);
  317. }
  318. #[test]
  319. fn struct_in_array() {
  320. #[derive(Debug, BorshSerialize)]
  321. struct NoPadStruct {
  322. a: u32,
  323. b: u32,
  324. }
  325. #[derive(Debug, BorshSerialize)]
  326. struct PaddedStruct {
  327. a: u128,
  328. b: u8,
  329. c: [u8; 32],
  330. }
  331. #[derive(Debug, BorshSerialize)]
  332. struct Input1 {
  333. item_1: NoPadStruct,
  334. item_2: PaddedStruct,
  335. }
  336. #[derive(Debug, BorshSerialize)]
  337. struct Input2 {
  338. item_1: [i32; 4],
  339. item_2: [NoPadStruct; 2],
  340. item_3: Vec<NoPadStruct>,
  341. }
  342. #[derive(Debug, BorshSerialize)]
  343. struct Input3 {
  344. vec: Vec<NoPadStruct>,
  345. }
  346. let mut vm = build_solidity(
  347. r#"
  348. contract Testing {
  349. struct NoPadStruct {
  350. uint32 a;
  351. uint32 b;
  352. }
  353. struct PaddedStruct {
  354. uint128 a;
  355. uint8 b;
  356. bytes32 c;
  357. }
  358. function twoStructs(bytes memory buffer) public pure {
  359. (NoPadStruct memory a, PaddedStruct memory b) = abi.decode(buffer, (NoPadStruct, PaddedStruct));
  360. assert(a.a == 945);
  361. assert(a.b == 7453);
  362. assert(b.a == 1);
  363. assert(b.b == 3);
  364. assert(b.c == "there_is_padding_here");
  365. }
  366. function fixedArrays(bytes memory buffer) public pure {
  367. (int32[4] memory a, NoPadStruct[2] memory b, NoPadStruct[] memory c) =
  368. abi.decode(buffer, (int32[4], NoPadStruct[2], NoPadStruct[]));
  369. assert(a[0] == 1);
  370. assert(a[1] == -298);
  371. assert(a[2] == 3);
  372. assert(a[3] == -434);
  373. assert(b[0].a == 1);
  374. assert(b[0].b == 2);
  375. assert(b[1].a == 3);
  376. assert(b[1].b == 4);
  377. assert(c.length == 3);
  378. assert(c[0].a == 1623);
  379. assert(c[0].b == 43279);
  380. assert(c[1].a == 41234);
  381. assert(c[1].b == 98375);
  382. assert(c[2].a == 945);
  383. assert(c[2].b == 7453);
  384. }
  385. function primitiveDynamic(bytes memory buffer) public pure {
  386. NoPadStruct[] memory vec = abi.decode(buffer, (NoPadStruct[]));
  387. assert(vec.length == 2);
  388. assert(vec[0].a == 5);
  389. assert(vec[0].b == 6);
  390. assert(vec[1].a == 7);
  391. assert(vec[1].b == 8);
  392. }
  393. }
  394. "#,
  395. );
  396. vm.constructor(&[]);
  397. let mut bytes_string = b"there_is_padding_here".to_vec();
  398. bytes_string.append(&mut vec![0; 11]);
  399. let input = Input1 {
  400. item_1: NoPadStruct { a: 945, b: 7453 },
  401. item_2: PaddedStruct {
  402. a: 1,
  403. b: 3,
  404. c: <[u8; 32]>::try_from(bytes_string).unwrap(),
  405. },
  406. };
  407. let encoded = input.try_to_vec().unwrap();
  408. let _ = vm.function("twoStructs", &[BorshToken::Bytes(encoded)]);
  409. let input = Input2 {
  410. item_1: [1, -298, 3, -434],
  411. item_2: [NoPadStruct { a: 1, b: 2 }, NoPadStruct { a: 3, b: 4 }],
  412. item_3: vec![
  413. NoPadStruct { a: 1623, b: 43279 },
  414. NoPadStruct { a: 41234, b: 98375 },
  415. NoPadStruct { a: 945, b: 7453 },
  416. ],
  417. };
  418. let encoded = input.try_to_vec().unwrap();
  419. let _ = vm.function("fixedArrays", &[BorshToken::Bytes(encoded)]);
  420. let input = Input3 {
  421. vec: vec![NoPadStruct { a: 5, b: 6 }, NoPadStruct { a: 7, b: 8 }],
  422. };
  423. let encoded = input.try_to_vec().unwrap();
  424. let _ = vm.function("primitiveDynamic", &[BorshToken::Bytes(encoded)]);
  425. }
  426. #[test]
  427. fn arrays() {
  428. #[derive(Debug, BorshSerialize, Default, Clone)]
  429. struct NonConstantStruct {
  430. a: u64,
  431. b: Vec<String>,
  432. }
  433. #[derive(Debug, BorshSerialize)]
  434. struct Input1 {
  435. complex_array: Vec<NonConstantStruct>,
  436. }
  437. #[derive(Debug, BorshSerialize)]
  438. struct Input2 {
  439. vec: Vec<i16>,
  440. }
  441. #[derive(Debug, BorshSerialize)]
  442. struct Input3 {
  443. multi_dim: [[i8; 2]; 3],
  444. }
  445. let mut vm = build_solidity(
  446. r#"
  447. contract Testing {
  448. struct NonConstantStruct {
  449. uint64 a;
  450. string[] b;
  451. }
  452. function decodeComplex(bytes memory buffer) public view {
  453. NonConstantStruct[] memory vec = abi.decode(buffer, (NonConstantStruct[]));
  454. assert(vec.length == 2);
  455. assert(vec[0].a == 897);
  456. assert(vec[0].b[0] == "tea");
  457. assert(vec[0].b[1] == "coffee");
  458. assert(vec[1].a == 74123);
  459. assert(vec[1].b[0] == "cortado");
  460. assert(vec[1].b[1] == "cappuccino");
  461. }
  462. function dynamicArray(bytes memory buffer) public view {
  463. int16[] memory vec = abi.decode(buffer, (int16[]));
  464. assert(vec.length == 3);
  465. assert(vec[0] == -90);
  466. assert(vec[1] == 5523);
  467. assert(vec[2] == -89);
  468. }
  469. function decodeMultiDim(bytes memory buffer) public view {
  470. int8[2][3] memory vec = abi.decode(buffer, (int8[2][3]));
  471. print("{}".format(vec[0][1]));
  472. assert(vec[0][0] == 1);
  473. assert(vec[0][1] == 2);
  474. assert(vec[1][0] == 4);
  475. assert(vec[1][1] == 5);
  476. assert(vec[2][0] == 6);
  477. assert(vec[2][1] == 7);
  478. }
  479. }
  480. "#,
  481. );
  482. vm.constructor(&[]);
  483. let input = Input1 {
  484. complex_array: vec![
  485. NonConstantStruct {
  486. a: 897,
  487. b: vec!["tea".to_string(), "coffee".to_string()],
  488. },
  489. NonConstantStruct {
  490. a: 74123,
  491. b: vec!["cortado".to_string(), "cappuccino".to_string()],
  492. },
  493. ],
  494. };
  495. let encoded = input.try_to_vec().unwrap();
  496. let _ = vm.function("decodeComplex", &[BorshToken::Bytes(encoded)]);
  497. let input = Input2 {
  498. vec: vec![-90, 5523, -89],
  499. };
  500. let encoded = input.try_to_vec().unwrap();
  501. let _ = vm.function("dynamicArray", &[BorshToken::Bytes(encoded)]);
  502. let input = Input3 {
  503. multi_dim: [[1, 2], [4, 5], [6, 7]],
  504. };
  505. let encoded = input.try_to_vec().unwrap();
  506. let _ = vm.function("decodeMultiDim", &[BorshToken::Bytes(encoded)]);
  507. }
  508. #[test]
  509. fn multi_dimensional_arrays() {
  510. #[derive(Debug, BorshSerialize)]
  511. struct PaddedStruct {
  512. a: u128,
  513. b: u8,
  514. c: [u8; 32],
  515. }
  516. #[derive(Debug, BorshSerialize)]
  517. struct Input1 {
  518. item_1: Vec<[[PaddedStruct; 2]; 3]>,
  519. item_2: i16,
  520. }
  521. #[derive(Debug, BorshSerialize)]
  522. struct Input2 {
  523. vec: Vec<[[u16; 4]; 2]>,
  524. }
  525. #[derive(Debug, BorshSerialize)]
  526. struct Input3 {
  527. vec: Vec<u16>,
  528. }
  529. let mut vm = build_solidity(
  530. r#"
  531. contract Testing {
  532. struct PaddedStruct {
  533. uint128 a;
  534. uint8 b;
  535. bytes32 c;
  536. }
  537. function multiDimStruct(bytes memory buffer) public pure {
  538. (PaddedStruct[2][3][] memory vec, int16 g) = abi.decode(buffer, (PaddedStruct[2][3][], int16));
  539. assert(vec.length == 1);
  540. assert(vec[0][0][0].a == 56);
  541. assert(vec[0][0][0].b == 1);
  542. assert(vec[0][0][0].c == "oi");
  543. assert(vec[0][0][1].a == 78);
  544. assert(vec[0][0][1].b == 6);
  545. assert(vec[0][0][1].c == "bc");
  546. assert(vec[0][1][0].a == 89);
  547. assert(vec[0][1][0].b == 4);
  548. assert(vec[0][1][0].c == "sn");
  549. assert(vec[0][1][1].a == 42);
  550. assert(vec[0][1][1].b == 56);
  551. assert(vec[0][1][1].c == "cn");
  552. assert(vec[0][2][0].a == 23);
  553. assert(vec[0][2][0].b == 78);
  554. assert(vec[0][2][0].c == "fr");
  555. assert(vec[0][2][1].a == 445);
  556. assert(vec[0][2][1].b == 46);
  557. assert(vec[0][2][1].c == "br");
  558. assert(g == -90);
  559. }
  560. function multiDimInt(bytes memory buffer) public pure {
  561. uint16[4][2][] memory vec = abi.decode(buffer, (uint16[4][2][]));
  562. assert(vec.length == 2);
  563. assert(vec[0][0][0] == 1);
  564. assert(vec[0][0][1] == 2);
  565. assert(vec[0][0][2] == 3);
  566. assert(vec[0][0][3] == 4);
  567. assert(vec[0][1][0] == 5);
  568. assert(vec[0][1][1] == 6);
  569. assert(vec[0][1][2] == 7);
  570. assert(vec[0][1][3] == 8);
  571. assert(vec[1][0][0] == 9);
  572. assert(vec[1][0][1] == 10);
  573. assert(vec[1][0][2] == 11);
  574. assert(vec[1][0][3] == 12);
  575. assert(vec[1][1][0] == 13);
  576. assert(vec[1][1][1] == 14);
  577. assert(vec[1][1][2] == 15);
  578. assert(vec[1][1][3] == 16);
  579. }
  580. function uniqueDim(bytes memory buffer) public pure {
  581. uint16[] memory vec = abi.decode(buffer, (uint16[]));
  582. assert(vec.length == 5);
  583. assert(vec[0] == 9);
  584. assert(vec[1] == 3);
  585. assert(vec[2] == 4);
  586. assert(vec[3] == 90);
  587. assert(vec[4] == 834);
  588. }
  589. }
  590. "#,
  591. );
  592. vm.constructor(&[]);
  593. let mut response: Vec<u8> = vec![0; 32];
  594. let input = Input1 {
  595. item_1: vec![[
  596. [
  597. PaddedStruct {
  598. a: 56,
  599. b: 1,
  600. c: create_response(&mut response, b"oi"),
  601. },
  602. PaddedStruct {
  603. a: 78,
  604. b: 6,
  605. c: create_response(&mut response, b"bc"),
  606. },
  607. ],
  608. [
  609. PaddedStruct {
  610. a: 89,
  611. b: 4,
  612. c: create_response(&mut response, b"sn"),
  613. },
  614. PaddedStruct {
  615. a: 42,
  616. b: 56,
  617. c: create_response(&mut response, b"cn"),
  618. },
  619. ],
  620. [
  621. PaddedStruct {
  622. a: 23,
  623. b: 78,
  624. c: create_response(&mut response, b"fr"),
  625. },
  626. PaddedStruct {
  627. a: 445,
  628. b: 46,
  629. c: create_response(&mut response, b"br"),
  630. },
  631. ],
  632. ]],
  633. item_2: -90,
  634. };
  635. let encoded = input.try_to_vec().unwrap();
  636. let _ = vm.function("multiDimStruct", &[BorshToken::Bytes(encoded)]);
  637. let input = Input2 {
  638. vec: vec![
  639. [[1, 2, 3, 4], [5, 6, 7, 8]],
  640. [[9, 10, 11, 12], [13, 14, 15, 16]],
  641. ],
  642. };
  643. let encoded = input.try_to_vec().unwrap();
  644. let _ = vm.function("multiDimInt", &[BorshToken::Bytes(encoded)]);
  645. let input = Input3 {
  646. vec: vec![9, 3, 4, 90, 834],
  647. };
  648. let encoded = input.try_to_vec().unwrap();
  649. let _ = vm.function("uniqueDim", &[BorshToken::Bytes(encoded)]);
  650. }
  651. #[test]
  652. fn empty_arrays() {
  653. #[derive(Debug, BorshSerialize)]
  654. struct S {
  655. f1: i64,
  656. f2: String,
  657. }
  658. #[derive(Debug, BorshSerialize)]
  659. struct Input {
  660. vec_1: Vec<S>,
  661. vec_2: Vec<String>,
  662. }
  663. let mut vm = build_solidity(
  664. r#"
  665. contract Testing {
  666. struct S {
  667. int64 f1;
  668. string f2;
  669. }
  670. function testEmpty(bytes memory buffer) public pure {
  671. (S[] memory vec_1, string[] memory vec_2) = abi.decode(buffer, (S[], string[]));
  672. assert(vec_1.length == 0);
  673. assert(vec_2.length == 0);
  674. }
  675. }
  676. "#,
  677. );
  678. vm.constructor(&[]);
  679. let input = Input {
  680. vec_1: vec![],
  681. vec_2: vec![],
  682. };
  683. let encoded = input.try_to_vec().unwrap();
  684. let _ = vm.function("testEmpty", &[BorshToken::Bytes(encoded)]);
  685. }
  686. #[test]
  687. fn external_function() {
  688. #[derive(Debug, BorshSerialize)]
  689. struct Input {
  690. selector: [u8; 8],
  691. address: [u8; 32],
  692. }
  693. let mut vm = build_solidity(
  694. r#"
  695. contract Testing {
  696. function testExternalFunction(bytes memory buffer) public view returns (bytes8, address) {
  697. function (uint8) external returns (int8) fPtr = abi.decode(buffer, (function (uint8) external returns (int8)));
  698. return (fPtr.selector, fPtr.address);
  699. }
  700. }
  701. "#,
  702. );
  703. vm.constructor(&[]);
  704. let input = Input {
  705. selector: [1, 2, 3, 4, 5, 6, 7, 8],
  706. address: [
  707. 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23,
  708. 24, 25, 26, 27, 28, 29, 30, 31,
  709. ],
  710. };
  711. let encoded = input.try_to_vec().unwrap();
  712. let returns = vm
  713. .function("testExternalFunction", &[BorshToken::Bytes(encoded)])
  714. .unwrap()
  715. .unwrap_tuple();
  716. let selector = returns[0].clone().into_fixed_bytes().unwrap();
  717. assert_eq!(selector, input.selector);
  718. let address = returns[1].clone().into_fixed_bytes().unwrap();
  719. assert_eq!(address, input.address);
  720. }
  721. #[test]
  722. fn bytes_arrays() {
  723. #[derive(Debug, BorshSerialize)]
  724. struct Input {
  725. item_1: [[u8; 4]; 2],
  726. item_2: Vec<[u8; 5]>,
  727. }
  728. let mut vm = build_solidity(
  729. r#"
  730. contract Testing {
  731. function testByteArrays(bytes memory buffer) public view {
  732. (bytes4[2] memory arr, bytes5[] memory vec) = abi.decode(buffer, (bytes4[2], bytes5[]));
  733. assert(arr[0] == "abcd");
  734. assert(arr[1] == "efgh");
  735. assert(vec.length == 2);
  736. assert(vec[0] == "12345");
  737. assert(vec[1] == "67890");
  738. }
  739. }
  740. "#,
  741. );
  742. vm.constructor(&[]);
  743. let input = Input {
  744. item_1: [b"abcd".to_owned(), b"efgh".to_owned()],
  745. item_2: vec![b"12345".to_owned(), b"67890".to_owned()],
  746. };
  747. let encoded = input.try_to_vec().unwrap();
  748. let _ = vm.function("testByteArrays", &[BorshToken::Bytes(encoded)]);
  749. }
  750. #[test]
  751. #[should_panic(expected = "unexpected return 0x100000000")]
  752. fn different_types() {
  753. #[derive(Debug, BorshSerialize)]
  754. struct Input1 {
  755. a: i32,
  756. b: u64,
  757. }
  758. let mut vm = build_solidity(
  759. r#"
  760. contract Testing {
  761. function testByteArrays(bytes memory buffer) public view {
  762. (bytes4[2] memory arr, bytes5[] memory vec) = abi.decode(buffer, (bytes4[2], bytes5[]));
  763. assert(arr[0] == "abcd");
  764. assert(arr[1] == "efgh");
  765. assert(vec.length == 2);
  766. assert(vec[0] == "12345");
  767. assert(vec[1] == "67890");
  768. }
  769. }
  770. "#,
  771. );
  772. vm.constructor(&[]);
  773. let input = Input1 { a: -789, b: 14234 };
  774. let encoded = input.try_to_vec().unwrap();
  775. let _ = vm.function("testByteArrays", &[BorshToken::Bytes(encoded)]);
  776. }
  777. #[test]
  778. #[should_panic(expected = "unexpected return 0x100000000")]
  779. fn more_elements() {
  780. #[derive(Debug, BorshSerialize)]
  781. struct Input {
  782. vec: [i64; 4],
  783. }
  784. let mut vm = build_solidity(
  785. r#"
  786. contract Testing {
  787. function wrongNumber(bytes memory buffer) public view {
  788. int64[5] memory vec = abi.decode(buffer, (int64[5]));
  789. assert(vec[1] == 0);
  790. }
  791. }
  792. "#,
  793. );
  794. vm.constructor(&[]);
  795. let input = Input { vec: [1, 4, 5, 6] };
  796. let encoded = input.try_to_vec().unwrap();
  797. let _ = vm.function("wrongNumber", &[BorshToken::Bytes(encoded)]);
  798. }
  799. #[test]
  800. #[should_panic(expected = "unexpected return 0x100000000")]
  801. fn extra_element() {
  802. #[derive(Debug, BorshSerialize)]
  803. struct Input {
  804. vec: Vec<i64>,
  805. }
  806. let mut vm = build_solidity(
  807. r#"
  808. contract Testing {
  809. function extraElement(bytes memory buffer) public pure {
  810. (int64[] memory vec, int32 g) = abi.decode(buffer, (int64[], int32));
  811. assert(vec[1] == 0);
  812. assert(g == 3);
  813. }
  814. }
  815. "#,
  816. );
  817. vm.constructor(&[]);
  818. let input = Input {
  819. vec: vec![-90, 89, -2341],
  820. };
  821. let encoded = input.try_to_vec().unwrap();
  822. let _ = vm.function("extraElement", &[BorshToken::Bytes(encoded)]);
  823. }
  824. #[test]
  825. #[should_panic(expected = "unexpected return 0x100000000")]
  826. fn invalid_type() {
  827. #[derive(Debug, BorshSerialize)]
  828. struct Input {
  829. item: u64,
  830. }
  831. let mut vm = build_solidity(
  832. r#"
  833. contract Testing {
  834. function invalidType(bytes memory buffer) public pure {
  835. int64[] memory vec = abi.decode(buffer, (int64[]));
  836. assert(vec[1] == 0);
  837. }
  838. }
  839. "#,
  840. );
  841. vm.constructor(&[]);
  842. let input = Input { item: 5 };
  843. let encoded = input.try_to_vec().unwrap();
  844. let _ = vm.function("invalidType", &[BorshToken::Bytes(encoded)]);
  845. }
  846. #[test]
  847. #[should_panic(expected = "unexpected return 0x100000000")]
  848. fn longer_buffer() {
  849. #[derive(Debug, BorshSerialize)]
  850. struct Input {
  851. item_1: u64,
  852. item_2: u64,
  853. }
  854. let mut vm = build_solidity(
  855. r#"
  856. contract Testing {
  857. function testLongerBuffer(bytes memory buffer) public view {
  858. uint64 a = abi.decode(buffer, (uint64));
  859. assert(a == 4);
  860. }
  861. }
  862. "#,
  863. );
  864. vm.constructor(&[]);
  865. let input = Input {
  866. item_1: 4,
  867. item_2: 5,
  868. };
  869. let encoded = input.try_to_vec().unwrap();
  870. let _ = vm.function("testLongerBuffer", &[BorshToken::Bytes(encoded)]);
  871. }
  872. #[test]
  873. #[should_panic(expected = "unexpected return 0x100000000")]
  874. fn longer_buffer_array() {
  875. #[derive(Debug, BorshSerialize)]
  876. struct Input {
  877. item_1: u64,
  878. item_2: [u32; 4],
  879. }
  880. let mut vm = build_solidity(
  881. r#"
  882. contract Testing {
  883. function testLongerBuffer(bytes memory buffer) public view {
  884. (uint64 a, uint32[3] memory b) = abi.decode(buffer, (uint64, uint32[3]));
  885. assert(a == 4);
  886. assert(b[0] == 1);
  887. assert(b[1] == 2);
  888. assert(b[2] == 3);
  889. }
  890. } "#,
  891. );
  892. vm.constructor(&[]);
  893. let input = Input {
  894. item_1: 23434,
  895. item_2: [1, 2, 3, 4],
  896. };
  897. let encoded = input.try_to_vec().unwrap();
  898. let _ = vm.function("testLongerBuffer", &[BorshToken::Bytes(encoded)]);
  899. }
  900. #[test]
  901. fn dynamic_array_of_array() {
  902. #[derive(Debug, BorshSerialize)]
  903. struct Input {
  904. vec: Vec<[i32; 2]>,
  905. }
  906. let mut vm = build_solidity(
  907. r#"
  908. contract Testing {
  909. function testArrayAssign(bytes memory buffer) public pure {
  910. int32[2][] memory vec = abi.decode(buffer, (int32[2][]));
  911. assert(vec.length == 2);
  912. assert(vec[0][0] == 0);
  913. assert(vec[0][1] == 1);
  914. assert(vec[1][0] == 2);
  915. assert(vec[1][1] == -3);
  916. }
  917. }
  918. "#,
  919. );
  920. vm.constructor(&[]);
  921. let input = Input {
  922. vec: vec![[0, 1], [2, -3]],
  923. };
  924. let encoded = input.try_to_vec().unwrap();
  925. let _ = vm.function("testArrayAssign", &[BorshToken::Bytes(encoded)]);
  926. }
  927. #[test]
  928. fn test_struct_validation() {
  929. #[derive(Debug, BorshSerialize)]
  930. struct MyStruct {
  931. b: [u8; 32],
  932. c: i8,
  933. d: String,
  934. }
  935. #[derive(Debug, BorshSerialize)]
  936. struct Input {
  937. b: u128,
  938. m_str: MyStruct,
  939. }
  940. let mut vm = build_solidity(
  941. r#"
  942. contract Testing {
  943. struct myStruct {
  944. bytes32 b;
  945. int8 c;
  946. string d;
  947. }
  948. function test(bytes memory buffer) public pure {
  949. (uint128 b, myStruct memory m_str) = abi.decode(buffer, (uint128, myStruct));
  950. assert(m_str.b == "struct");
  951. assert(m_str.c == 1);
  952. assert(m_str.d == "string");
  953. assert(b == 3);
  954. }
  955. }
  956. "#,
  957. );
  958. vm.constructor(&[]);
  959. let mut bytes_string = b"struct".to_vec();
  960. bytes_string.append(&mut vec![0; 26]);
  961. let input = Input {
  962. b: 3,
  963. m_str: MyStruct {
  964. b: <[u8; 32]>::try_from(bytes_string).unwrap(),
  965. c: 1,
  966. d: "string".to_string(),
  967. },
  968. };
  969. let encoded = input.try_to_vec().unwrap();
  970. let _ = vm.function("test", &[BorshToken::Bytes(encoded)]);
  971. }
  972. #[test]
  973. #[should_panic(expected = "unexpected return 0x100000000")]
  974. fn test_struct_validation_invalid() {
  975. #[derive(Debug, BorshSerialize)]
  976. struct MyStruct {
  977. b: [u8; 32],
  978. c: i8,
  979. d: String,
  980. }
  981. #[derive(Debug, BorshSerialize)]
  982. struct Input {
  983. m_str: MyStruct,
  984. }
  985. let mut vm = build_solidity(
  986. r#"
  987. contract Testing {
  988. struct myStruct {
  989. bytes32 b;
  990. int8 c;
  991. string d;
  992. }
  993. function test(bytes memory buffer) public pure {
  994. (uint128 b, myStruct memory m_str) = abi.decode(buffer, (uint128, myStruct));
  995. assert(m_str.b == "struct");
  996. assert(m_str.c == 1);
  997. assert(m_str.d == "string");
  998. assert(b == 3);
  999. }
  1000. }
  1001. "#,
  1002. );
  1003. vm.constructor(&[]);
  1004. let mut bytes_string = b"struct".to_vec();
  1005. bytes_string.append(&mut vec![0; 26]);
  1006. let input = Input {
  1007. m_str: MyStruct {
  1008. b: <[u8; 32]>::try_from(bytes_string).unwrap(),
  1009. c: 1,
  1010. d: "string".to_string(),
  1011. },
  1012. };
  1013. let encoded = input.try_to_vec().unwrap();
  1014. let _ = vm.function("test", &[BorshToken::Bytes(encoded)]);
  1015. }
  1016. #[test]
  1017. fn string_fixed_array() {
  1018. let mut vm = build_solidity(
  1019. r#"
  1020. contract test {
  1021. function testing(bytes memory data) public pure {
  1022. string[4] arr = abi.decode(data, (string[4]));
  1023. assert(arr[0] == "a");
  1024. assert(arr[1] == "b");
  1025. assert(arr[2] == "c");
  1026. assert(arr[3] == "d");
  1027. }
  1028. }
  1029. "#,
  1030. );
  1031. vm.constructor(&[]);
  1032. #[derive(Debug, BorshSerialize)]
  1033. struct Input {
  1034. a: [String; 4],
  1035. }
  1036. let input = Input {
  1037. a: [
  1038. "a".to_string(),
  1039. "b".to_string(),
  1040. "c".to_string(),
  1041. "d".to_string(),
  1042. ],
  1043. };
  1044. let encoded = input.try_to_vec().unwrap();
  1045. let _ = vm.function("testing", &[BorshToken::Bytes(encoded)]);
  1046. }
  1047. #[test]
  1048. fn double_dynamic_array() {
  1049. let mut vm = build_solidity(
  1050. r#"
  1051. contract Testing {
  1052. function testThis(bytes memory bb) public pure {
  1053. (uint32 a, uint16[][] memory vec, int64 b) = abi.decode(bb, (uint32, uint16[][], int64));
  1054. assert(a == 99);
  1055. assert(vec[0][0] == 99);
  1056. assert(vec[0][1] == 20);
  1057. assert(vec[1][0] == 15);
  1058. assert(vec[1][1] == 88);
  1059. assert(b == -755);
  1060. }
  1061. }
  1062. "#,
  1063. );
  1064. vm.constructor(&[]);
  1065. #[derive(Debug, BorshSerialize)]
  1066. struct Input {
  1067. item_1: u32,
  1068. item_2: Vec<Vec<u16>>,
  1069. item_3: i64,
  1070. }
  1071. let input = Input {
  1072. item_1: 99,
  1073. item_2: vec![vec![99, 20], vec![15, 88]],
  1074. item_3: -755,
  1075. };
  1076. let encoded = input.try_to_vec().unwrap();
  1077. let _ = vm.function("testThis", &[BorshToken::Bytes(encoded)]);
  1078. }