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