strict digraph "tests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol" {
	contract [label="contract Base\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:1:1-7:2"]
	var [label="variable something\nvisibility private\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:2:5-30"]
	set [label="function set\ncontract: Base\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:4:5-42\nsignature set(uint256)\nvisibility public\nmutability pure"]
	parameters [label="parameters\nuint256 val"]
	expr [label="expression\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:5:9-24"]
	assign [label="assign\nuint256 storage\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:5:9-18"]
	storage_var [label="storage variable\nBase.something\nuint256 storage\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:5:9-18"]
	variable [label="variable: val\nuint256\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:5:21-24"]
	contract_9 [label="contract A\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:9:1-13:2"]
	a [label="function a\ncontract: A\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:10:5-29\nsignature a()\nvisibility public\nmutability pure"]
	expr_11 [label="expression\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:11:9-27"]
	call_internal_function [label="call internal function\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:11:9-27"]
	internal_function [label="function(uint256) internal pure returns (void)\nBase.set\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:11:9-27"]
	number_literal [label="uint256 literal: 1\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:11:24-25"]
	contract_15 [label="contract B\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:15:1-19:2"]
	base [label="base Base\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:15:15-19"]
	b [label="function b\ncontract: B\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:16:5-29\nsignature b()\nvisibility public\nmutability pure"]
	expr_18 [label="expression\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:17:9-27"]
	call_internal_function_19 [label="call internal function\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:17:9-27"]
	internal_function_20 [label="function(uint256) internal pure returns (void)\nBase.set\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:17:9-27"]
	number_literal_21 [label="uint256 literal: 1\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:17:24-25"]
	diagnostic [label="found contract 'Base'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:1:1-7:2"]
	diagnostic_24 [label="found contract 'A'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:9:1-13:2"]
	diagnostic_25 [label="function calls via contract name are only valid for base contracts\nlevel Error\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:11:9-27"]
	diagnostic_26 [label="found contract 'B'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/base_contracts_access_named_args_via_name.sol:15:1-19:2"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> set [label="function"]
	set -> parameters [label="parameters"]
	set -> expr [label="body"]
	expr -> assign [label="expr"]
	assign -> storage_var [label="left"]
	assign -> variable [label="right"]
	contracts -> contract_9
	contract_9 -> a [label="function"]
	a -> expr_11 [label="body"]
	expr_11 -> call_internal_function [label="expr"]
	call_internal_function -> internal_function [label="function"]
	call_internal_function -> number_literal [label="arg #0"]
	contracts -> contract_15
	contract_15 -> base [label="base"]
	contract_15 -> b [label="function"]
	b -> expr_18 [label="body"]
	expr_18 -> call_internal_function_19 [label="expr"]
	call_internal_function_19 -> internal_function_20 [label="function"]
	call_internal_function_19 -> number_literal_21 [label="arg #0"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_24 [label="Debug"]
	diagnostics -> diagnostic_25 [label="Error"]
	diagnostics -> diagnostic_26 [label="Debug"]
}
