strict digraph "tests/contract_testcases/substrate/events/emit_06.sol" {
	foo [label="name:foo\ncontract: 0\ntests/contract_testcases/substrate/events/emit_06.sol:3:19-22\nfield name: ty:bool indexed:no\nfield name: ty:uint32 indexed:no"]
	contract [label="contract c\ntests/contract_testcases/substrate/events/emit_06.sol:2:9-7:10"]
	f [label="function f\ncontract: c\ntests/contract_testcases/substrate/events/emit_06.sol:4:13-37\nsignature f()\nvisibility public\nmutability view"]
	emit [label="emit\nevent c.foo\ntests/contract_testcases/substrate/events/emit_06.sol:5:17-37"]
	bool_literal [label="bool literal: true\ntests/contract_testcases/substrate/events/emit_06.sol:5:27-31"]
	number_literal [label="uint32 literal: 102\ntests/contract_testcases/substrate/events/emit_06.sol:5:33-36"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/events/emit_06.sol:2:9-7:10"]
	diagnostic_10 [label="function declared 'view' but this expression writes to state\nlevel Error\ntests/contract_testcases/substrate/events/emit_06.sol:5:17-37"]
	events -> foo
	contracts -> contract
	contract -> f [label="function"]
	f -> emit [label="body"]
	emit -> bool_literal [label="arg #0"]
	emit -> number_literal [label="arg #1"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_10 [label="Error"]
}
