assign_array_in_array.dot 8.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. strict digraph "tests/contract_testcases/solana/assign_array_in_array.sol" {
  2. Sfixed [label="name:Sfixed\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:13:9-15\nfield name:f1 ty:uint256[3]"]
  3. Sdynamic [label="name:Sdynamic\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:14:9-17\nfield name:f1 ty:uint256[]"]
  4. contract [label="contract C\ntests/contract_testcases/solana/assign_array_in_array.sol:1:60-25:2"]
  5. fixed [label="function fixed\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:3:2-25\nsignature fixed()\nvisibility public\nmutability nonpayable"]
  6. var_decl [label="variable decl uint256[3][4] iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:4:3-27"]
  7. expr [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-19"]
  8. assign [label="assign\nuint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-19"]
  9. subscript [label="subscript uint256[3][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-9"]
  10. variable [label="variable: iPj\nuint256[3][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:3-6"]
  11. number_literal [label="uint32 literal: 0\ntests/contract_testcases/solana/assign_array_in_array.sol:5:7-8"]
  12. array_literal [label="array literal: uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:5:12-19"]
  13. number_literal_13 [label="uint256 literal: 1\ntests/contract_testcases/solana/assign_array_in_array.sol:5:13-14"]
  14. number_literal_14 [label="uint256 literal: 2\ntests/contract_testcases/solana/assign_array_in_array.sol:5:15-16"]
  15. number_literal_15 [label="uint256 literal: 3\ntests/contract_testcases/solana/assign_array_in_array.sol:5:17-18"]
  16. dynamic [label="function dynamic\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:8:2-27\nsignature dynamic()\nvisibility public\nmutability nonpayable"]
  17. var_decl_17 [label="variable decl uint256[][4] iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:9:3-26"]
  18. expr_18 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-28"]
  19. assign_19 [label="assign\nuint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-28"]
  20. subscript_20 [label="subscript uint256[][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-9"]
  21. variable_21 [label="variable: iPj\nuint256[][4]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:3-6"]
  22. number_literal_22 [label="uint32 literal: 0\ntests/contract_testcases/solana/assign_array_in_array.sol:10:7-8"]
  23. alloc_array [label="alloc array uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:10:12-28"]
  24. number_literal_24 [label="uint32 literal: 4\ntests/contract_testcases/solana/assign_array_in_array.sol:10:26-27"]
  25. fixed_struct [label="function fixed_struct\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:16:2-32\nsignature fixed_struct()\nvisibility public\nmutability nonpayable"]
  26. var_decl_26 [label="variable decl struct C.Sfixed iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:17:3-13"]
  27. expr_27 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:18:3-19"]
  28. assign_28 [label="assign\nuint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:3-19"]
  29. structmember [label="struct member #0 uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:7-9"]
  30. variable_30 [label="variable: iPj\nstruct C.Sfixed\ntests/contract_testcases/solana/assign_array_in_array.sol:18:3-6"]
  31. array_literal_31 [label="array literal: uint256[3]\ntests/contract_testcases/solana/assign_array_in_array.sol:18:12-19"]
  32. number_literal_32 [label="uint256 literal: 1\ntests/contract_testcases/solana/assign_array_in_array.sol:18:13-14"]
  33. number_literal_33 [label="uint256 literal: 2\ntests/contract_testcases/solana/assign_array_in_array.sol:18:15-16"]
  34. number_literal_34 [label="uint256 literal: 3\ntests/contract_testcases/solana/assign_array_in_array.sol:18:17-18"]
  35. dynamic_struct [label="function dynamic_struct\ncontract: C\ntests/contract_testcases/solana/assign_array_in_array.sol:21:2-34\nsignature dynamic_struct()\nvisibility public\nmutability nonpayable"]
  36. var_decl_36 [label="variable decl struct C.Sdynamic iPj\ntests/contract_testcases/solana/assign_array_in_array.sol:22:3-15"]
  37. expr_37 [label="expression\ntests/contract_testcases/solana/assign_array_in_array.sol:23:3-28"]
  38. assign_38 [label="assign\nuint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:3-28"]
  39. structmember_39 [label="struct member #0 uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:7-9"]
  40. variable_40 [label="variable: iPj\nstruct C.Sdynamic\ntests/contract_testcases/solana/assign_array_in_array.sol:23:3-6"]
  41. alloc_array_41 [label="alloc array uint256[]\ntests/contract_testcases/solana/assign_array_in_array.sol:23:12-28"]
  42. number_literal_42 [label="uint32 literal: 4\ntests/contract_testcases/solana/assign_array_in_array.sol:23:26-27"]
  43. diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/assign_array_in_array.sol:1:60-25:2"]
  44. diagnostic_45 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:3:2-25"]
  45. diagnostic_46 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:4:24-27"]
  46. diagnostic_47 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:8:2-27"]
  47. diagnostic_48 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:9:23-26"]
  48. diagnostic_49 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:16:2-32"]
  49. diagnostic_50 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:17:10-13"]
  50. diagnostic_51 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:21:2-34"]
  51. diagnostic_52 [label="local variable 'iPj' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/assign_array_in_array.sol:22:12-15"]
  52. structs -> Sfixed
  53. structs -> Sdynamic
  54. contracts -> contract
  55. contract -> fixed [label="function"]
  56. fixed -> var_decl [label="body"]
  57. var_decl -> expr [label="next"]
  58. expr -> assign [label="expr"]
  59. assign -> subscript [label="left"]
  60. subscript -> variable [label="array"]
  61. subscript -> number_literal [label="index"]
  62. assign -> array_literal [label="right"]
  63. array_literal -> number_literal_13 [label="arg #0"]
  64. array_literal -> number_literal_14 [label="arg #1"]
  65. array_literal -> number_literal_15 [label="arg #2"]
  66. contract -> dynamic [label="function"]
  67. dynamic -> var_decl_17 [label="body"]
  68. var_decl_17 -> expr_18 [label="next"]
  69. expr_18 -> assign_19 [label="expr"]
  70. assign_19 -> subscript_20 [label="left"]
  71. subscript_20 -> variable_21 [label="array"]
  72. subscript_20 -> number_literal_22 [label="index"]
  73. assign_19 -> alloc_array [label="right"]
  74. alloc_array -> number_literal_24 [label="length"]
  75. contract -> fixed_struct [label="function"]
  76. fixed_struct -> var_decl_26 [label="body"]
  77. var_decl_26 -> expr_27 [label="next"]
  78. expr_27 -> assign_28 [label="expr"]
  79. assign_28 -> structmember [label="left"]
  80. structmember -> variable_30 [label="var"]
  81. assign_28 -> array_literal_31 [label="right"]
  82. array_literal_31 -> number_literal_32 [label="arg #0"]
  83. array_literal_31 -> number_literal_33 [label="arg #1"]
  84. array_literal_31 -> number_literal_34 [label="arg #2"]
  85. contract -> dynamic_struct [label="function"]
  86. dynamic_struct -> var_decl_36 [label="body"]
  87. var_decl_36 -> expr_37 [label="next"]
  88. expr_37 -> assign_38 [label="expr"]
  89. assign_38 -> structmember_39 [label="left"]
  90. structmember_39 -> variable_40 [label="var"]
  91. assign_38 -> alloc_array_41 [label="right"]
  92. alloc_array_41 -> number_literal_42 [label="length"]
  93. diagnostics -> diagnostic [label="Debug"]
  94. diagnostics -> diagnostic_45 [label="Warning"]
  95. diagnostics -> diagnostic_46 [label="Warning"]
  96. diagnostics -> diagnostic_47 [label="Warning"]
  97. diagnostics -> diagnostic_48 [label="Warning"]
  98. diagnostics -> diagnostic_49 [label="Warning"]
  99. diagnostics -> diagnostic_50 [label="Warning"]
  100. diagnostics -> diagnostic_51 [label="Warning"]
  101. diagnostics -> diagnostic_52 [label="Warning"]
  102. }