strict digraph "tests/contract_testcases/substrate/functions/constructor_override_03.sol" {
	contract [label="contract A\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:1:1-4:2"]
	foo [label="constructor foo\ncontract: A\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:2:2-26\nsignature foo()\nvisibility public\nmutability nonpayable"]
	new [label="constructor new\ncontract: A\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:3:2-17\nsignature new()\nvisibility public\nmutability nonpayable"]
	contract_4 [label="contract C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:6:1-12:2"]
	base [label="base A\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:6:15-16"]
	new_6 [label="constructor new\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:7:2-29\nsignature new(bool)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nbool b"]
	foo_8 [label="constructor foo\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:8:2-32\nsignature foo(bool)\nvisibility public\nmutability nonpayable"]
	parameters_9 [label="parameters\nbool b"]
	foo_10 [label="function foo\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:9:5-31\nsignature foo()\nvisibility public\nmutability pure"]
	foo_11 [label="function foo\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:10:5-40\nsignature foo(uint256)\nvisibility public\nmutability pure"]
	parameters_12 [label="parameters\nuint256 i"]
	foo_13 [label="constructor foo\ncontract: C\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:11:2-34\nsignature foo(string)\nvisibility public\nmutability nonpayable"]
	parameters_14 [label="parameters\nstring s"]
	diagnostic [label="found abstract contract 'A'\nlevel Debug\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:1:1-4:2"]
	diagnostic_17 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:2:20-26"]
	diagnostic_18 [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:6:1-12:2"]
	diagnostic_19 [label="function parameter 'b' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:7:20-21"]
	diagnostic_20 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:7:23-29"]
	diagnostic_21 [label="function parameter 'b' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:8:23-24"]
	diagnostic_22 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:8:26-32"]
	diagnostic_23 [label="function parameter 'i' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:10:26-27"]
	diagnostic_24 [label="function parameter 's' has never been read\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:11:25-26"]
	diagnostic_25 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/functions/constructor_override_03.sol:11:28-34"]
	contracts -> contract
	contract -> foo [label="constructor"]
	contract -> new [label="constructor"]
	contracts -> contract_4
	contract_4 -> base [label="base"]
	contract_4 -> new_6 [label="constructor"]
	new_6 -> parameters [label="parameters"]
	contract_4 -> foo_8 [label="constructor"]
	foo_8 -> parameters_9 [label="parameters"]
	contract_4 -> foo_10 [label="function"]
	contract_4 -> foo_11 [label="function"]
	foo_11 -> parameters_12 [label="parameters"]
	contract_4 -> foo_13 [label="constructor"]
	foo_13 -> parameters_14 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_17 [label="Warning"]
	diagnostics -> diagnostic_18 [label="Debug"]
	diagnostics -> diagnostic_19 [label="Warning"]
	diagnostics -> diagnostic_20 [label="Warning"]
	diagnostics -> diagnostic_21 [label="Warning"]
	diagnostics -> diagnostic_22 [label="Warning"]
	diagnostics -> diagnostic_23 [label="Warning"]
	diagnostics -> diagnostic_24 [label="Warning"]
	diagnostics -> diagnostic_25 [label="Warning"]
}
