strict digraph "tests/contract_testcases/substrate/functions/constructor_override_02.sol" {
	contract [label="contract C\ntests/contract_testcases/substrate/functions/constructor_override_02.sol:1:1-5:2"]
	bar [label="constructor bar\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_02.sol:2:5-23\nsignature bar()\nvisibility public\nmutability nonpayable"]
	foo [label="constructor foo\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_02.sol:4:5-34\nsignature foo(uint256)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nuint256 foo"]
	diagnostic [label="found abstract contract 'C'\nlevel Debug\ntests/contract_testcases/substrate/functions/constructor_override_02.sol:1:1-5:2"]
	diagnostic_7 [label="function parameter 'foo' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_02.sol:4:29-32"]
	contracts -> contract
	contract -> bar [label="constructor"]
	contract -> foo [label="constructor"]
	foo -> parameters [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_7 [label="Warning"]
}
