import_free_function.dot 5.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
  1. strict digraph "tests/contract_testcases/solana/import_free_function.sol" {
  2. foo [label="function foo\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29\nsignature foo()\nvisibility internal\nmutability nonpayable"]
  3. returns [label="returns\nint256 "]
  4. for [label="for\ntests/contract_testcases/solana/for_if_no_else.sol:2:2-4:13"]
  5. var_decl [label="variable decl int256 i\ntests/contract_testcases/solana/for_if_no_else.sol:2:7-14"]
  6. number_literal [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:2:13-14"]
  7. less [label="less\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-21"]
  8. variable [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-17"]
  9. number_literal_8 [label="int256 literal: 10\ntests/contract_testcases/solana/for_if_no_else.sol:2:19-21"]
  10. post_increment [label="post increment\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-26"]
  11. variable_10 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-24"]
  12. if [label="if\ntests/contract_testcases/solana/for_if_no_else.sol:3:3-4:13"]
  13. more [label="more\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-12"]
  14. variable_13 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-8"]
  15. number_literal_14 [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:3:11-12"]
  16. return [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:4:4-12"]
  17. number_literal_16 [label="int256 literal: 1\ntests/contract_testcases/solana/for_if_no_else.sol:4:11-12"]
  18. return_17 [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:6:2-10"]
  19. number_literal_18 [label="int256 literal: 2\ntests/contract_testcases/solana/for_if_no_else.sol:6:9-10"]
  20. bar [label="function bar\ntests/contract_testcases/solana/import_free_function.sol:6:1-16\nsignature bar()\nvisibility internal\nmutability nonpayable"]
  21. var_decl_20 [label="variable decl int256 x\ntests/contract_testcases/solana/import_free_function.sol:7:2-15"]
  22. call_internal_function [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
  23. internal_function [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
  24. expr [label="expression\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
  25. assign [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
  26. variable_25 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-3"]
  27. call_internal_function_26 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
  28. internal_function_27 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
  29. expr_28 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
  30. assign_29 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
  31. variable_30 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-3"]
  32. call_internal_function_31 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
  33. internal_function_32 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
  34. expr_33 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
  35. assign_34 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
  36. variable_35 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-3"]
  37. call_internal_function_36 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
  38. internal_function_37 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
  39. diagnostic [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29"]
  40. free_functions -> foo [label="function"]
  41. foo -> returns [label="returns"]
  42. foo -> for [label="body"]
  43. for -> var_decl [label="init"]
  44. var_decl -> number_literal [label="init"]
  45. for -> less [label="cond"]
  46. less -> variable [label="left"]
  47. less -> number_literal_8 [label="right"]
  48. for -> post_increment [label="next"]
  49. post_increment -> variable_10 [label="expr"]
  50. for -> if [label="body"]
  51. if -> more [label="cond"]
  52. more -> variable_13 [label="left"]
  53. more -> number_literal_14 [label="right"]
  54. if -> return [label="then"]
  55. return -> number_literal_16 [label="expr"]
  56. for -> return_17 [label="next"]
  57. return_17 -> number_literal_18 [label="expr"]
  58. free_functions -> bar [label="function"]
  59. bar -> var_decl_20 [label="body"]
  60. var_decl_20 -> call_internal_function [label="init"]
  61. call_internal_function -> internal_function [label="function"]
  62. var_decl_20 -> expr [label="next"]
  63. expr -> assign [label="expr"]
  64. assign -> variable_25 [label="left"]
  65. assign -> call_internal_function_26 [label="right"]
  66. call_internal_function_26 -> internal_function_27 [label="function"]
  67. expr -> expr_28 [label="next"]
  68. expr_28 -> assign_29 [label="expr"]
  69. assign_29 -> variable_30 [label="left"]
  70. assign_29 -> call_internal_function_31 [label="right"]
  71. call_internal_function_31 -> internal_function_32 [label="function"]
  72. expr_28 -> expr_33 [label="next"]
  73. expr_33 -> assign_34 [label="expr"]
  74. assign_34 -> variable_35 [label="left"]
  75. assign_34 -> call_internal_function_36 [label="right"]
  76. call_internal_function_36 -> internal_function_37 [label="function"]
  77. diagnostics -> diagnostic [label="Warning"]
  78. }