push_array_literal.dot 3.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. strict digraph "tests/contract_testcases/substrate/arrays/push_array_literal.sol" {
  2. contract [label="contract c\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:2:1-8:2"]
  3. var [label="variable s_vec\nvisibility internal\nuint256[3][]\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:3:2-20"]
  4. test [label="function test\ncontract: c\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:4:2-47\nsignature test()\nvisibility public\nmutability nonpayable"]
  5. returns [label="returns\nuint256 ret1"]
  6. expr [label="expression\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:3-24"]
  7. builtins [label="builtin ArrayPush\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:9-13"]
  8. storage_var [label="storage variable\nc.s_vec\nuint256[3][] storage\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:3-8"]
  9. array_literal [label="array literal: uint256[3]\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:14-23"]
  10. number_literal [label="uint256 literal: 1\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:15-16"]
  11. number_literal_10 [label="uint256 literal: 2\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:18-19"]
  12. number_literal_11 [label="uint256 literal: 3\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:5:21-22"]
  13. return [label="return\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:3-21"]
  14. storage_load [label="storage load uint256\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:3-21"]
  15. subscript [label="subscript uint256[3] storage\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:10-21"]
  16. subscript_15 [label="subscript uint256[3][] storage\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:10-18"]
  17. storage_var_16 [label="storage variable\nc.s_vec\nuint256[3][] storage\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:10-15"]
  18. number_literal_17 [label="uint256 literal: 1\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:16-17"]
  19. number_literal_18 [label="uint256 literal: 1\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:6:19-20"]
  20. diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/arrays/push_array_literal.sol:2:1-8:2"]
  21. contracts -> contract
  22. contract -> var [label="variable"]
  23. contract -> test [label="function"]
  24. test -> returns [label="returns"]
  25. test -> expr [label="body"]
  26. expr -> builtins [label="expr"]
  27. builtins -> storage_var [label="arg #0"]
  28. builtins -> array_literal [label="arg #1"]
  29. array_literal -> number_literal [label="arg #0"]
  30. array_literal -> number_literal_10 [label="arg #1"]
  31. array_literal -> number_literal_11 [label="arg #2"]
  32. expr -> return [label="next"]
  33. return -> storage_load [label="expr"]
  34. storage_load -> subscript [label="expr"]
  35. subscript -> subscript_15 [label="array"]
  36. subscript_15 -> storage_var_16 [label="array"]
  37. subscript_15 -> number_literal_17 [label="index"]
  38. subscript -> number_literal_18 [label="index"]
  39. diagnostics -> diagnostic [label="Debug"]
  40. }