strict digraph "tests/contract_testcases/solana/event.sol" {
	Foo [label="name:Foo\ntests/contract_testcases/solana/event.sol:3:7-10\nfield name:no ty:int256 indexed:no\nfield name:name ty:string indexed:no"]
	contract [label="contract c\ntests/contract_testcases/solana/event.sol:5:1-11:2"]
	foo [label="function foo\ncontract: c\ntests/contract_testcases/solana/event.sol:6:5-26\nsignature foo()\nvisibility public\nmutability nonpayable"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/event.sol:5:1-11:2"]
	diagnostic_7 [label="'a' not found\nlevel Error\ntests/contract_testcases/solana/event.sol:7:18-19"]
	diagnostic_8 [label="'a' not found\nlevel Error\ntests/contract_testcases/solana/event.sol:8:24-25"]
	diagnostic_9 [label="'b' not found\nlevel Error\ntests/contract_testcases/solana/event.sol:8:33-34"]
	diagnostic_10 [label="duplicate argument with name 'no'\nlevel Error\ntests/contract_testcases/solana/event.sol:8:36-38"]
	diagnostic_11 [label="'c' is a contract\nlevel Error\ntests/contract_testcases/solana/event.sol:8:40-41"]
	diagnostic_12 [label="'a' not found\nlevel Error\ntests/contract_testcases/solana/event.sol:9:25-26"]
	diagnostic_13 [label="'b' not found\nlevel Error\ntests/contract_testcases/solana/event.sol:9:34-35"]
	diagnostic_14 [label="duplicate argument with name 'no'\nlevel Error\ntests/contract_testcases/solana/event.sol:9:37-39"]
	diagnostic_15 [label="'c' is a contract\nlevel Error\ntests/contract_testcases/solana/event.sol:9:41-42"]
	events -> Foo
	contracts -> contract
	contract -> foo [label="function"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_7 [label="Error"]
	diagnostics -> diagnostic_8 [label="Error"]
	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"]
	diagnostics -> diagnostic_15 [label="Error"]
}
