| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- strict digraph "tests/contract_testcases/solana/using_list.sol" {
- id [label="function id\ntests/contract_testcases/solana/using_list.sol:1:1-40\nsignature id(uint256)\nvisibility internal\nmutability pure"]
- parameters [label="parameters\nuint256 x"]
- returns [label="returns\nuint256 "]
- return [label="return\ntests/contract_testcases/solana/using_list.sol:2:5-13"]
- variable [label="variable: x\nuint256\ntests/contract_testcases/solana/using_list.sol:2:12-13"]
- zero [label="function zero\ntests/contract_testcases/solana/using_list.sol:5:1-40\nsignature zero(uint256)\nvisibility internal\nmutability pure"]
- parameters_7 [label="parameters\nuint256 "]
- returns_8 [label="returns\nuint256 "]
- return_9 [label="return\ntests/contract_testcases/solana/using_list.sol:6:5-13"]
- number_literal [label="uint256 literal: 0\ntests/contract_testcases/solana/using_list.sol:6:12-13"]
- contract [label="contract C\ntests/contract_testcases/solana/using_list.sol:9:1-19:2"]
- using [label="using for uint256\nfunction id tests/contract_testcases/solana/using_list.sol:1:1-40\nfunction zero tests/contract_testcases/solana/using_list.sol:5:1-40"]
- f [label="function f\ncontract: C\ntests/contract_testcases/solana/using_list.sol:10:5-51\nsignature f(uint256)\nvisibility external\nmutability pure"]
- parameters_15 [label="parameters\nuint256 z"]
- returns_16 [label="returns\nuint256 "]
- return_17 [label="return\ntests/contract_testcases/solana/using_list.sol:11:9-22"]
- call_internal_function [label="call internal function\ntests/contract_testcases/solana/using_list.sol:11:16-22"]
- internal_function [label="function(uint256) internal pure returns (uint256)\nfree function id\ntests/contract_testcases/solana/using_list.sol:11:16-22"]
- variable_20 [label="variable: z\nuint256\ntests/contract_testcases/solana/using_list.sol:11:16-17"]
- g [label="function g\ncontract: C\ntests/contract_testcases/solana/using_list.sol:14:5-52\nsignature g(uint256)\nvisibility external\nmutability pure"]
- parameters_22 [label="parameters\nuint256 z"]
- returns_23 [label="returns\nuint256 "]
- return_24 [label="return\ntests/contract_testcases/solana/using_list.sol:15:9-24"]
- call_internal_function_25 [label="call internal function\ntests/contract_testcases/solana/using_list.sol:15:16-24"]
- internal_function_26 [label="function(uint256) internal pure returns (uint256)\nfree function zero\ntests/contract_testcases/solana/using_list.sol:15:16-24"]
- variable_27 [label="variable: z\nuint256\ntests/contract_testcases/solana/using_list.sol:15:16-17"]
- diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/using_list.sol:9:1-19:2"]
- free_functions -> id [label="function"]
- id -> parameters [label="parameters"]
- id -> returns [label="returns"]
- id -> return [label="body"]
- return -> variable [label="expr"]
- free_functions -> zero [label="function"]
- zero -> parameters_7 [label="parameters"]
- zero -> returns_8 [label="returns"]
- zero -> return_9 [label="body"]
- return_9 -> number_literal [label="expr"]
- contracts -> contract
- contract -> using [label="base"]
- contract -> f [label="function"]
- f -> parameters_15 [label="parameters"]
- f -> returns_16 [label="returns"]
- f -> return_17 [label="body"]
- return_17 -> call_internal_function [label="expr"]
- call_internal_function -> internal_function [label="function"]
- call_internal_function -> variable_20 [label="arg #0"]
- contract -> g [label="function"]
- g -> parameters_22 [label="parameters"]
- g -> returns_23 [label="returns"]
- g -> return_24 [label="body"]
- return_24 -> call_internal_function_25 [label="expr"]
- call_internal_function_25 -> internal_function_26 [label="function"]
- call_internal_function_25 -> variable_27 [label="arg #0"]
- diagnostics -> diagnostic [label="Debug"]
- }
|