strict digraph "tests/contract_testcases/substrate/primitives/address_payable_type_01.sol" {
	contract [label="contract c\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:2:9-10:10"]
	test1 [label="function test1\ncontract: c\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:3:13-79\nsignature test1(address,address)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\naddress payable a\naddress b"]
	returns [label="returns\nbool "]
	return [label="return\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:4:17-30"]
	equal [label="equal\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:4:24-30"]
	cast [label="cast address\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:4:24-25"]
	variable [label="variable: a\naddress payable\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:4:24-25"]
	variable_9 [label="variable: b\naddress\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:4:29-30"]
	test2 [label="function test2\ncontract: c\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:7:13-79\nsignature test2(address,address)\nvisibility public\nmutability nonpayable"]
	parameters_11 [label="parameters\naddress payable a\naddress b"]
	returns_12 [label="returns\nbool "]
	return_13 [label="return\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:8:17-30"]
	equal_14 [label="equal\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:8:24-30"]
	variable_15 [label="variable: b\naddress\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:8:24-25"]
	cast_16 [label="cast address\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:8:29-30"]
	variable_17 [label="variable: a\naddress payable\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:8:29-30"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:2:9-10:10"]
	diagnostic_20 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:3:13-79"]
	diagnostic_21 [label="function can be declared 'pure'\nlevel Warning\ntests/contract_testcases/substrate/primitives/address_payable_type_01.sol:7:13-79"]
	contracts -> contract
	contract -> test1 [label="function"]
	test1 -> parameters [label="parameters"]
	test1 -> returns [label="returns"]
	test1 -> return [label="body"]
	return -> equal [label="expr"]
	equal -> cast [label="left"]
	cast -> variable [label="expr"]
	equal -> variable_9 [label="right"]
	contract -> test2 [label="function"]
	test2 -> parameters_11 [label="parameters"]
	test2 -> returns_12 [label="returns"]
	test2 -> return_13 [label="body"]
	return_13 -> equal_14 [label="expr"]
	equal_14 -> variable_15 [label="left"]
	equal_14 -> cast_16 [label="right"]
	cast_16 -> variable_17 [label="expr"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_20 [label="Warning"]
	diagnostics -> diagnostic_21 [label="Warning"]
}
