strict digraph "tests/contract_testcases/substrate/selector_override.sol" {
	contract [label="contract selector\ntests/contract_testcases/substrate/selector_override.sol:1:1-8:2"]
	m [label="modifier m\ncontract: selector\ntests/contract_testcases/substrate/selector_override.sol:3:2-29\nmutability nonpayable"]
	underscore [label="undersore\ntests/contract_testcases/substrate/selector_override.sol:3:31-32"]
	node_4 [label="receive \ncontract: selector\ntests/contract_testcases/substrate/selector_override.sol:4:2-44\nmutability payable"]
	node_5 [label="fallback \ncontract: selector\ntests/contract_testcases/substrate/selector_override.sol:5:2-39\nmutability nonpayable"]
	i [label="function i\ncontract: selector\ntests/contract_testcases/substrate/selector_override.sol:6:2-45\nsignature i()\nvisibility internal\nmutability nonpayable"]
	p [label="function p\ncontract: selector\ntests/contract_testcases/substrate/selector_override.sol:7:2-44\nsignature p()\nvisibility private\nmutability nonpayable"]
	diagnostic [label="found contract 'selector'\nlevel Debug\ntests/contract_testcases/substrate/selector_override.sol:1:1-8:2"]
	diagnostic_10 [label="selector is 2 bytes, 4 bytes expected\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:2:25-34"]
	diagnostic_11 [label="overriding selector not permitted on modifier\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:3:24-29"]
	diagnostic_12 [label="overriding selector not permitted on receive\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:4:38-44"]
	diagnostic_13 [label="overriding selector not permitted on fallback\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:5:31-39"]
	diagnostic_14 [label="overriding selector only permitted on 'public' or 'external' function, not 'internal'\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:6:35-45"]
	diagnostic_15 [label="overriding selector only permitted on 'public' or 'external' function, not 'private'\nlevel Error\ntests/contract_testcases/substrate/selector_override.sol:7:34-44"]
	contracts -> contract
	contract -> m [label="modifier"]
	m -> underscore [label="body"]
	contract -> node_4 [label="receive"]
	contract -> node_5 [label="fallback"]
	contract -> i [label="function"]
	contract -> p [label="function"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_10 [label="Error"]
	diagnostics -> diagnostic_11 [label="Error"]
	diagnostics -> diagnostic_12 [label="Error"]
	diagnostics -> diagnostic_13 [label="Error"]
	diagnostics -> diagnostic_14 [label="Error"]
	diagnostics -> diagnostic_15 [label="Error"]
}
