strict digraph "tests/contract_testcases/solana/account_info.sol" {
	contract [label="contract c\ntests/contract_testcases/solana/account_info.sol:3:1-24:2"]
	f [label="function f\ncontract: c\ntests/contract_testcases/solana/account_info.sol:8:2-21\nsignature f()\nvisibility public\nmutability nonpayable"]
	f2 [label="function f2\ncontract: c\ntests/contract_testcases/solana/account_info.sol:13:2-22\nsignature f2()\nvisibility public\nmutability nonpayable"]
	notpub [label="function notpub\ncontract: c\ntests/contract_testcases/solana/account_info.sol:18:2-60\nsignature notpub((bytes32,uint64,bytes,bytes32,uint64,bool,bool,bool))\nvisibility private\nmutability nonpayable"]
	parameters [label="parameters\nstruct AccountInfo "]
	returns [label="returns\nstruct AccountInfo "]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/account_info.sol:3:1-24:2"]
	diagnostic_9 [label="variable cannot be of builtin type 'struct AccountInfo'\nlevel Error\ntests/contract_testcases/solana/account_info.sol:4:2-13"]
	diagnostic_10 [label="parameter of type 'struct AccountInfo' not alowed in public or external functions\nlevel Error\ntests/contract_testcases/solana/account_info.sol:6:15-26"]
	diagnostic_11 [label="return type 'struct AccountInfo' not allowed in public or external functions\nlevel Error\ntests/contract_testcases/solana/account_info.sol:6:44-55"]
	diagnostic_12 [label="builtin struct 'AccountInfo' cannot be created using struct literal\nlevel Error\ntests/contract_testcases/solana/account_info.sol:10:8-36"]
	diagnostic_13 [label="builtin struct 'AccountInfo' cannot be created using struct literal\nlevel Error\ntests/contract_testcases/solana/account_info.sol:15:8-22"]
	diagnostic_14 [label="struct 'AccountInfo' field 'key' is readonly\nlevel Error\ntests/contract_testcases/solana/account_info.sol:20:6-9"]
	contracts -> contract
	contract -> f [label="function"]
	contract -> f2 [label="function"]
	contract -> notpub [label="function"]
	notpub -> parameters [label="parameters"]
	notpub -> returns [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_9 [label="Error"]
	diagnostics -> diagnostic_10 [label="Error"]
	diagnostics -> diagnostic_11 [label="Error"]
	diagnostics -> diagnostic_12 [label="Error"]
	diagnostics -> diagnostic_13 [label="Error"]
	diagnostics -> diagnostic_14 [label="Error"]
}
