| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- strict digraph "tests/contract_testcases/solana/import_free_function.sol" {
- foo [label="function foo\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29\nsignature foo()\nvisibility internal\nmutability nonpayable"]
- returns [label="returns\nint256 "]
- for [label="for\ntests/contract_testcases/solana/for_if_no_else.sol:2:2-4:13"]
- var_decl [label="variable decl int256 i\ntests/contract_testcases/solana/for_if_no_else.sol:2:7-14"]
- number_literal [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:2:13-14"]
- less [label="less\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-21"]
- variable [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:16-17"]
- number_literal_8 [label="int256 literal: 10\ntests/contract_testcases/solana/for_if_no_else.sol:2:19-21"]
- expr [label="expression\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-26"]
- post_increment [label="post increment\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-26"]
- variable_11 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:2:23-24"]
- if [label="if\ntests/contract_testcases/solana/for_if_no_else.sol:3:3-4:13"]
- more [label="more\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-12"]
- variable_14 [label="variable: i\nint256\ntests/contract_testcases/solana/for_if_no_else.sol:3:7-8"]
- number_literal_15 [label="int256 literal: 0\ntests/contract_testcases/solana/for_if_no_else.sol:3:11-12"]
- return [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:4:4-12"]
- number_literal_17 [label="int256 literal: 1\ntests/contract_testcases/solana/for_if_no_else.sol:4:11-12"]
- return_18 [label="return\ntests/contract_testcases/solana/for_if_no_else.sol:6:2-10"]
- number_literal_19 [label="int256 literal: 2\ntests/contract_testcases/solana/for_if_no_else.sol:6:9-10"]
- bar [label="function bar\ntests/contract_testcases/solana/import_free_function.sol:6:1-16\nsignature bar()\nvisibility internal\nmutability nonpayable"]
- var_decl_21 [label="variable decl int256 x\ntests/contract_testcases/solana/import_free_function.sol:7:2-15"]
- call_internal_function [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
- internal_function [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:7:10-15"]
- expr_24 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
- assign [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-19"]
- variable_26 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:8:2-3"]
- call_internal_function_27 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
- internal_function_28 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:8:6-19"]
- expr_29 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
- assign_30 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-13"]
- variable_31 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:9:2-3"]
- call_internal_function_32 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
- internal_function_33 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:9:6-13"]
- expr_34 [label="expression\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
- assign_35 [label="assign\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-15"]
- variable_36 [label="variable: x\nint256\ntests/contract_testcases/solana/import_free_function.sol:10:2-3"]
- call_internal_function_37 [label="call internal function\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
- internal_function_38 [label="function() internal returns (int256)\nfree function foo\ntests/contract_testcases/solana/import_free_function.sol:10:6-15"]
- diagnostic [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/solana/for_if_no_else.sol:1:1-29"]
- free_functions -> foo [label="function"]
- foo -> returns [label="returns"]
- foo -> for [label="body"]
- for -> var_decl [label="init"]
- var_decl -> number_literal [label="init"]
- for -> less [label="cond"]
- less -> variable [label="left"]
- less -> number_literal_8 [label="right"]
- for -> expr [label="next"]
- expr -> post_increment [label="expr"]
- post_increment -> variable_11 [label="expr"]
- for -> if [label="body"]
- if -> more [label="cond"]
- more -> variable_14 [label="left"]
- more -> number_literal_15 [label="right"]
- if -> return [label="then"]
- return -> number_literal_17 [label="expr"]
- for -> return_18 [label="next"]
- return_18 -> number_literal_19 [label="expr"]
- free_functions -> bar [label="function"]
- bar -> var_decl_21 [label="body"]
- var_decl_21 -> call_internal_function [label="init"]
- call_internal_function -> internal_function [label="function"]
- var_decl_21 -> expr_24 [label="next"]
- expr_24 -> assign [label="expr"]
- assign -> variable_26 [label="left"]
- assign -> call_internal_function_27 [label="right"]
- call_internal_function_27 -> internal_function_28 [label="function"]
- expr_24 -> expr_29 [label="next"]
- expr_29 -> assign_30 [label="expr"]
- assign_30 -> variable_31 [label="left"]
- assign_30 -> call_internal_function_32 [label="right"]
- call_internal_function_32 -> internal_function_33 [label="function"]
- expr_29 -> expr_34 [label="next"]
- expr_34 -> assign_35 [label="expr"]
- assign_35 -> variable_36 [label="left"]
- assign_35 -> call_internal_function_37 [label="right"]
- call_internal_function_37 -> internal_function_38 [label="function"]
- diagnostics -> diagnostic [label="Warning"]
- }
|