strict digraph "tests/contract_testcases/substrate/inheritance/test_interface_09.sol" {
	contract [label="contract bar\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:2:9-4:10"]
	f1 [label="function f1\ncontract: bar\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:3:13-44\nsignature f1(address)\nvisibility external\nmutability nonpayable\nvirtual"]
	parameters [label="parameters\naddress a"]
	contract_4 [label="contract bar2\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:6:9-8:10"]
	f1_5 [label="function f1\ncontract: bar2\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:7:13-44\nsignature f1(address)\nvisibility external\nmutability nonpayable\nvirtual"]
	parameters_6 [label="parameters\naddress a"]
	contract_7 [label="contract x\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:10:9-12:10"]
	base [label="base bar\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:10:23-26"]
	f1_9 [label="function f1\ncontract: x\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:11:13-42\nsignature f1(address)\nvisibility public\nmutability nonpayable"]
	parameters_10 [label="parameters\naddress a"]
	contract_11 [label="contract y\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:14:9-16:10"]
	base_12 [label="base bar2\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:14:23-27"]
	base_13 [label="base x\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:14:29-30"]
	f2 [label="function f2\ncontract: y\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:15:13-42\nsignature f2(address)\nvisibility public\nmutability nonpayable"]
	parameters_15 [label="parameters\naddress a"]
	diagnostic [label="found interface 'bar'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:2:9-4:10"]
	diagnostic_18 [label="found interface 'bar2'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:6:9-8:10"]
	diagnostic_19 [label="found contract 'x'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:10:9-12:10"]
	diagnostic_20 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:11:13-42"]
	diagnostic_21 [label="function parameter 'a' has never been read\nlevel Warning\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:11:33-34"]
	diagnostic_22 [label="found contract 'y'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:14:9-16:10"]
	diagnostic_23 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:15:13-42"]
	diagnostic_24 [label="function parameter 'a' has never been read\nlevel Warning\ntests/contract_testcases/substrate/inheritance/test_interface_09.sol:15:33-34"]
	contracts -> contract
	contract -> f1 [label="function"]
	f1 -> parameters [label="parameters"]
	contracts -> contract_4
	contract_4 -> f1_5 [label="function"]
	f1_5 -> parameters_6 [label="parameters"]
	contracts -> contract_7
	contract_7 -> base [label="base"]
	contract_7 -> f1_9 [label="function"]
	f1_9 -> parameters_10 [label="parameters"]
	contracts -> contract_11
	contract_11 -> base_12 [label="base"]
	contract_11 -> base_13 [label="base"]
	contract_11 -> f2 [label="function"]
	f2 -> parameters_15 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_18 [label="Debug"]
	diagnostics -> diagnostic_19 [label="Debug"]
	diagnostics -> diagnostic_20 [label="Warning"]
	diagnostics -> diagnostic_21 [label="Warning"]
	diagnostics -> diagnostic_22 [label="Debug"]
	diagnostics -> diagnostic_23 [label="Warning"]
	diagnostics -> diagnostic_24 [label="Warning"]
}
