inheritance.rs 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709
  1. // SPDX-License-Identifier: Apache-2.0
  2. use crate::build_solidity;
  3. use parity_scale_codec::{Decode, Encode};
  4. use solang::file_resolver::FileResolver;
  5. use solang::Target;
  6. use std::ffi::OsStr;
  7. #[test]
  8. fn test_abstract() {
  9. let mut cache = FileResolver::new();
  10. cache.set_file_contents(
  11. "a.sol",
  12. r#"
  13. abstract contract foo {
  14. constructor(int arg1) public {
  15. }
  16. function f1() public {
  17. }
  18. }
  19. contract bar {
  20. function test() public returns (uint32) {
  21. return 102;
  22. }
  23. }
  24. "#
  25. .to_string(),
  26. );
  27. let (contracts, ns) = solang::compile(
  28. OsStr::new("a.sol"),
  29. &mut cache,
  30. inkwell::OptimizationLevel::Default,
  31. Target::default_substrate(),
  32. false,
  33. false,
  34. false,
  35. );
  36. assert!(!ns.diagnostics.any_errors());
  37. assert_eq!(contracts.len(), 1);
  38. let mut cache = FileResolver::new();
  39. cache.set_file_contents(
  40. "a.sol",
  41. r#"
  42. contract foo {
  43. function f1() public {
  44. }
  45. }"#
  46. .to_string(),
  47. );
  48. cache.set_file_contents(
  49. "b.sol",
  50. r#"
  51. import "a.sol";
  52. contract bar is foo {
  53. function test() public returns (uint32) {
  54. return 102;
  55. }
  56. }
  57. "#
  58. .to_string(),
  59. );
  60. let (contracts, ns) = solang::compile(
  61. OsStr::new("a.sol"),
  62. &mut cache,
  63. inkwell::OptimizationLevel::Default,
  64. Target::default_substrate(),
  65. false,
  66. false,
  67. false,
  68. );
  69. assert!(!ns.diagnostics.any_errors());
  70. assert_eq!(contracts.len(), 1);
  71. }
  72. #[test]
  73. fn inherit_variables() {
  74. let mut runtime = build_solidity(
  75. r##"
  76. contract b is a {
  77. uint16 public foo = 65535;
  78. }
  79. abstract contract a {
  80. uint16 private foo = 102;
  81. }"##,
  82. );
  83. runtime.constructor(0, Vec::new());
  84. let mut slot = [0u8; 32];
  85. assert_eq!(
  86. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  87. &vec!(102, 0)
  88. );
  89. slot[0] = 1;
  90. assert_eq!(
  91. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  92. &vec!(0xff, 0xff)
  93. );
  94. let mut runtime = build_solidity(
  95. r##"
  96. contract b is a {
  97. uint16 public var_b;
  98. function test() public {
  99. var_a = 102;
  100. var_b = 65535;
  101. }
  102. }
  103. contract a {
  104. uint16 public var_a;
  105. }"##,
  106. );
  107. runtime.constructor(0, Vec::new());
  108. runtime.function("test", Vec::new());
  109. let mut slot = [0u8; 32];
  110. assert_eq!(
  111. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  112. &vec!(102, 0)
  113. );
  114. slot[0] = 1;
  115. assert_eq!(
  116. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  117. &vec!(0xff, 0xff)
  118. );
  119. }
  120. #[test]
  121. fn call_inherited_function() {
  122. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  123. struct Val(u64);
  124. let mut runtime = build_solidity(
  125. r##"
  126. contract apex is base {
  127. function bar() public returns (uint64) {
  128. return foo() + 3;
  129. }
  130. }
  131. contract base {
  132. function foo() public returns (uint64) {
  133. return 102;
  134. }
  135. }"##,
  136. );
  137. runtime.constructor(0, Vec::new());
  138. runtime.function("bar", Vec::new());
  139. assert_eq!(runtime.vm.output, Val(105).encode());
  140. let mut runtime = build_solidity(
  141. r##"
  142. contract apex is base {
  143. uint64 private x = 7;
  144. function bar() public returns (uint64) {
  145. return foo() + x + 13;
  146. }
  147. }
  148. contract base {
  149. uint64 private x = 5;
  150. function foo() public returns (uint64) {
  151. return x + 11;
  152. }
  153. }"##,
  154. );
  155. runtime.constructor(0, Vec::new());
  156. runtime.function("bar", Vec::new());
  157. assert_eq!(runtime.vm.output, Val(36).encode());
  158. let mut runtime = build_solidity(
  159. r##"
  160. contract apex is base, base2 {
  161. uint64 private x = 7;
  162. function bar() public returns (uint64) {
  163. return foo() + foo2() + x + 13;
  164. }
  165. }
  166. contract base {
  167. uint64 private x = 50000;
  168. function foo() public returns (uint64) {
  169. return x + 110000;
  170. }
  171. }
  172. contract base2 {
  173. uint64 private x = 600;
  174. function foo2() public returns (uint64) {
  175. return x + 1100;
  176. }
  177. }"##,
  178. );
  179. runtime.constructor(0, Vec::new());
  180. runtime.function("bar", Vec::new());
  181. assert_eq!(runtime.vm.output, Val(161720).encode());
  182. let mut runtime = build_solidity(
  183. r##"
  184. contract apex is base, base2 {
  185. function foo(int64 x) public returns (uint64) {
  186. return 3;
  187. }
  188. }
  189. contract base {
  190. function foo() public returns (uint64) {
  191. return 1;
  192. }
  193. }
  194. contract base2 {
  195. function foo(bool) public returns (uint64) {
  196. return 2;
  197. }
  198. }"##,
  199. );
  200. runtime.constructor(0, Vec::new());
  201. runtime.raw_function([0xC2, 0x98, 0x55, 0x78].to_vec());
  202. assert_eq!(runtime.vm.output, Val(1).encode());
  203. runtime.raw_function([0x45, 0x55, 0x75, 0x78, 1].to_vec());
  204. assert_eq!(runtime.vm.output, Val(2).encode());
  205. runtime.raw_function([0x36, 0x8E, 0x4A, 0x7F, 1, 2, 3, 4, 5, 6, 7, 8].to_vec());
  206. assert_eq!(runtime.vm.output, Val(3).encode());
  207. }
  208. #[test]
  209. fn test_override() {
  210. let mut runtime = build_solidity(
  211. r##"
  212. contract b is a {
  213. receive() override payable external {
  214. x = 2;
  215. }
  216. }
  217. contract a {
  218. int8 public x = 3;
  219. receive() virtual payable external {
  220. x = 1;
  221. }
  222. }
  223. contract c is b {
  224. function test() public returns (int8) {
  225. return x;
  226. }
  227. }"##,
  228. );
  229. runtime.constructor(0, Vec::new());
  230. let slot = [0u8; 32];
  231. assert_eq!(
  232. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  233. &vec!(3)
  234. );
  235. runtime.vm.value = 1;
  236. runtime.raw_function([0xC2, 0x98, 0x55, 0x78].to_vec());
  237. let slot = [0u8; 32];
  238. assert_eq!(
  239. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  240. &vec!(2)
  241. );
  242. let mut runtime = build_solidity(
  243. r##"
  244. contract b is a {
  245. fallback() override external {
  246. x = 2;
  247. }
  248. }
  249. contract a {
  250. int8 public x = 3;
  251. fallback() virtual external {
  252. x = 1;
  253. }
  254. }"##,
  255. );
  256. runtime.constructor(0, Vec::new());
  257. let slot = [0u8; 32];
  258. assert_eq!(
  259. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  260. &vec!(3)
  261. );
  262. runtime.raw_function([0xC2, 0x98, 0x55, 0x78].to_vec());
  263. let slot = [0u8; 32];
  264. assert_eq!(
  265. runtime.store.get(&(runtime.vm.account, slot)).unwrap(),
  266. &vec!(2)
  267. );
  268. }
  269. #[test]
  270. fn base_contract() {
  271. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  272. struct Val(u32);
  273. let mut runtime = build_solidity(
  274. r##"
  275. contract b is a(foo) {
  276. int32 constant foo = 102;
  277. function f() public returns (int32) {
  278. return bar;
  279. }
  280. }
  281. contract a {
  282. int32 public bar;
  283. constructor(int32 x) public {
  284. bar = x;
  285. }
  286. }"##,
  287. );
  288. runtime.constructor(0, Vec::new());
  289. runtime.function("f", Vec::new());
  290. assert_eq!(runtime.vm.output, Val(102).encode());
  291. }
  292. #[test]
  293. fn base_contract_on_constructor() {
  294. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  295. struct Val(i32);
  296. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  297. struct Val64(u64);
  298. let mut runtime = build_solidity(
  299. r##"
  300. contract b is a {
  301. int32 constant BAR = 102;
  302. int64 public foo;
  303. constructor(int64 i) a(BAR) { foo = i; }
  304. function get_x() public returns (int32) {
  305. return x;
  306. }
  307. }
  308. contract a {
  309. int32 public x;
  310. constructor(int32 i) { x = i; }
  311. }"##,
  312. );
  313. runtime.constructor(0, Val64(0xbffe).encode());
  314. runtime.function("get_x", Vec::new());
  315. assert_eq!(runtime.vm.output, Val(102).encode());
  316. let mut runtime = build_solidity(
  317. r##"
  318. contract c is b(2) {
  319. constructor() {
  320. }
  321. }
  322. contract a {
  323. int32 public x;
  324. constructor(int32 i) { x = i; }
  325. }
  326. contract b is a {
  327. int32 constant BAR = 102;
  328. int64 public foo;
  329. constructor(int64 i) a(BAR + int32(i)) { foo = i; }
  330. function get_x() public view returns (int32) {
  331. return x;
  332. }
  333. function get_foo() public view returns (int64) {
  334. return foo;
  335. }
  336. }"##,
  337. );
  338. runtime.constructor(0, Vec::new());
  339. runtime.function("get_x", Vec::new());
  340. assert_eq!(runtime.vm.output, Val(104).encode());
  341. let mut runtime = build_solidity(
  342. r##"
  343. contract c is b {
  344. constructor(int64 x) b(x+3) {}
  345. }
  346. contract b is a {
  347. constructor(int64 y) a(y+2) {}
  348. }
  349. contract a {
  350. int64 foo;
  351. function get_foo() public returns (int64) { return foo; }
  352. constructor(int64 z) { foo = z; }
  353. }"##,
  354. );
  355. runtime.constructor(0, Val64(7).encode());
  356. runtime.function("get_foo", Vec::new());
  357. assert_eq!(runtime.vm.output, Val64(12).encode());
  358. let mut runtime = build_solidity(
  359. r##"
  360. contract c is b {
  361. constructor(int64 x) b(x+3) a(x+5){}
  362. }
  363. abstract contract b is a {
  364. constructor(int64 y) {}
  365. }
  366. contract a {
  367. int64 foo;
  368. function get_foo() public returns (int64) { return foo; }
  369. constructor(int64 z) { foo = z; }
  370. }"##,
  371. );
  372. runtime.constructor(0, Val64(7).encode());
  373. runtime.function("get_foo", Vec::new());
  374. assert_eq!(runtime.vm.output, Val64(12).encode());
  375. }
  376. #[test]
  377. fn call_base_function_via_basename() {
  378. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  379. struct Val(i32);
  380. #[derive(Debug, PartialEq, Eq, Encode, Decode)]
  381. struct Val64(u64);
  382. let mut runtime = build_solidity(
  383. r##"
  384. contract c is b {
  385. function bar() public returns (uint64) {
  386. return a.foo();
  387. }
  388. }
  389. abstract contract b is a {
  390. function foo() internal override returns (uint64) {
  391. return 2;
  392. }
  393. }
  394. abstract contract a {
  395. function foo() internal virtual returns (uint64) {
  396. return 1;
  397. }
  398. }"##,
  399. );
  400. runtime.constructor(0, Vec::new());
  401. runtime.function("bar", Vec::new());
  402. assert_eq!(runtime.vm.output, Val64(1).encode());
  403. let mut runtime = build_solidity(
  404. r##"
  405. contract c is b {
  406. uint64 constant private C = 100;
  407. function bar() public returns (uint64) {
  408. return a.foo({ x: C });
  409. }
  410. }
  411. abstract contract b is a {
  412. uint64 constant private C = 300;
  413. function foo(uint64 x) internal override returns (uint64) {
  414. return 2;
  415. }
  416. }
  417. abstract contract a {
  418. uint64 constant private C = 200;
  419. function foo(uint64 x) internal virtual returns (uint64) {
  420. return 1 + x;
  421. }
  422. }"##,
  423. );
  424. runtime.constructor(0, Vec::new());
  425. runtime.function("bar", Vec::new());
  426. assert_eq!(runtime.vm.output, Val64(101).encode());
  427. }
  428. #[test]
  429. fn simple_interface() {
  430. let mut runtime = build_solidity(
  431. r##"
  432. contract foo is IFoo {
  433. function bar(uint32 a) public pure override returns (uint32) {
  434. return a * 2;
  435. }
  436. }
  437. interface IFoo {
  438. function bar(uint32) external pure returns (uint32);
  439. }"##,
  440. );
  441. runtime.constructor(0, Vec::new());
  442. runtime.function("bar", 100u32.encode());
  443. assert_eq!(runtime.vm.output, 200u32.encode());
  444. }
  445. #[test]
  446. fn test_super() {
  447. let mut runtime = build_solidity(
  448. r##"
  449. contract b is a {
  450. function bar() public returns (uint64) {
  451. super.foo();
  452. return var;
  453. }
  454. function foo() internal override {
  455. var = 103;
  456. }
  457. }
  458. abstract contract a {
  459. uint64 var;
  460. function foo() internal virtual {
  461. var = 102;
  462. }
  463. }"##,
  464. );
  465. runtime.constructor(0, Vec::new());
  466. runtime.function("bar", Vec::new());
  467. assert_eq!(runtime.vm.output, 102u64.encode());
  468. let mut runtime = build_solidity(
  469. r##"
  470. contract b is a {
  471. function bar() public returns (uint64) {
  472. super.foo({x: 10});
  473. return var;
  474. }
  475. function foo2(uint64 x) internal {
  476. var = 103 + x;
  477. }
  478. }
  479. abstract contract a {
  480. uint64 var;
  481. function foo(uint64 x) internal virtual {
  482. var = 102 + x;
  483. }
  484. }"##,
  485. );
  486. runtime.constructor(0, Vec::new());
  487. runtime.function("bar", Vec::new());
  488. assert_eq!(runtime.vm.output, 112u64.encode());
  489. let mut runtime = build_solidity(
  490. r##"
  491. contract b is a, aa {
  492. function bar() public returns (uint64) {
  493. return super.foo({x: 10});
  494. }
  495. function foo(uint64 x) public override(a, aa) returns (uint64) {
  496. return 103 + x;
  497. }
  498. }
  499. contract a {
  500. function foo(uint64 x) public virtual returns (uint64) {
  501. return 102 + x;
  502. }
  503. }
  504. contract aa {
  505. function foo(uint64 x) public virtual returns (uint64) {
  506. return 202 + x;
  507. }
  508. }"##,
  509. );
  510. runtime.constructor(0, Vec::new());
  511. runtime.function("bar", Vec::new());
  512. assert_eq!(runtime.vm.output, 112u64.encode());
  513. // super should not consider interfaces
  514. let mut runtime = build_solidity(
  515. r##"
  516. contract b is a, aa {
  517. function bar() public returns (uint64) {
  518. return super.foo({x: 10});
  519. }
  520. function foo(uint64 x) public override(a, aa) returns (uint64) {
  521. return 103 + x;
  522. }
  523. }
  524. interface a {
  525. function foo(uint64 x) external returns (uint64);
  526. }
  527. contract aa {
  528. function foo(uint64 x) public virtual returns (uint64) {
  529. return 202 + x;
  530. }
  531. }"##,
  532. );
  533. runtime.constructor(0, Vec::new());
  534. runtime.function("bar", Vec::new());
  535. assert_eq!(runtime.vm.output, 212u64.encode());
  536. }
  537. #[test]
  538. fn var_or_function() {
  539. let mut runtime = build_solidity(
  540. r##"
  541. contract x is c {
  542. function f1() public returns (int64) {
  543. return c.selector();
  544. }
  545. function f2() public returns (int64) {
  546. function() internal returns (int64) a = c.selector;
  547. return a();
  548. }
  549. }
  550. contract c {
  551. int64 public selector = 102;
  552. }"##,
  553. );
  554. runtime.constructor(0, Vec::new());
  555. runtime.function("f1", Vec::new());
  556. assert_eq!(runtime.vm.output, 102u64.encode());
  557. runtime.function("f2", Vec::new());
  558. assert_eq!(runtime.vm.output, 102u64.encode());
  559. }