hyperledger-solang_solang/tests/contract_testcases/substrate/inheritance/inherit_03.dot

strict digraph "tests/contract_testcases/substrate/inheritance/inherit_03.sol" {
	contract [label="contract a\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:2:9-5:10"]
	new [label="constructor new\ncontract: a\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:3:13-41\nsignature new(int256)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nint256 arg1"]
	contract_4 [label="contract b\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:7:9-10:10"]
	base [label="base a\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:7:23-24"]
	new_6 [label="constructor new\ncontract: b\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:8:13-41\nsignature new(int256)\nvisibility public\nmutability nonpayable"]
	parameters_7 [label="parameters\nint256 arg1"]
	diagnostic [label="found contract 'a'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:2:9-5:10"]
	diagnostic_10 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:3:35-41"]
	diagnostic_11 [label="found contract 'b'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:7:9-10:10"]
	diagnostic_12 [label="missing arguments to base contract 'a' constructor\nlevel Error\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:7:9-10:10"]
	diagnostic_13 [label="contract 'b' duplicate base 'a'\nlevel Error\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:7:26-27"]
	diagnostic_14 [label="missing arguments to contract 'a' constructor\nlevel Error\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:8:13-41"]
	diagnostic_15 [label="'public': visibility for constructors is ignored\nlevel Warning\ntests/contract_testcases/substrate/inheritance/inherit_03.sol:8:35-41"]
	contracts -> contract
	contract -> new [label="constructor"]
	new -> parameters [label="parameters"]
	contracts -> contract_4
	contract_4 -> base [label="base"]
	contract_4 -> new_6 [label="constructor"]
	new_6 -> parameters_7 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_10 [label="Warning"]
	diagnostics -> diagnostic_11 [label="Debug"]
	diagnostics -> diagnostic_12 [label="Error"]
	diagnostics -> diagnostic_13 [label="Error"]
	diagnostics -> diagnostic_14 [label="Error"]
	diagnostics -> diagnostic_15 [label="Warning"]
}