strict digraph "tests/contract_testcases/substrate/functions/constructor_override_01.sol" {
	contract [label="contract C\ntests/contract_testcases/substrate/functions/constructor_override_01.sol:1:1-5:2"]
	new [label="constructor new\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_01.sol:2:5-26\nsignature new()\nvisibility public\nmutability payable"]
	new_3 [label="constructor new\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_01.sol:4:5-37\nsignature new(uint256)\nvisibility public\nmutability payable"]
	parameters [label="parameters\nuint256 foo"]
	diagnostic [label="found abstract contract 'C'\nlevel Debug\ntests/contract_testcases/substrate/functions/constructor_override_01.sol:1:1-5:2"]
	diagnostic_7 [label="function parameter 'foo' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_01.sol:4:25-28"]
	contracts -> contract
	contract -> new [label="constructor"]
	contract -> new_3 [label="constructor"]
	new_3 -> parameters [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_7 [label="Warning"]
}
