strict digraph "tests/contract_testcases/substrate/functions/mutability_01.sol" {
	contract [label="contract test\ntests/contract_testcases/substrate/functions/mutability_01.sol:1:1-5:10"]
	bar [label="function bar\ncontract: test\ntests/contract_testcases/substrate/functions/mutability_01.sol:2:13-59\nsignature bar()\nvisibility public\nmutability view"]
	returns [label="returns\nint64 "]
	return [label="return\ntests/contract_testcases/substrate/functions/mutability_01.sol:3:17-27"]
	number_literal [label="int64 literal: 102\ntests/contract_testcases/substrate/functions/mutability_01.sol:3:24-27"]
	diagnostic [label="found contract 'test'\nlevel Debug\ntests/contract_testcases/substrate/functions/mutability_01.sol:1:1-5:10"]
	diagnostic_8 [label="function declared 'view' can be declared 'pure'\nlevel Warning\ntests/contract_testcases/substrate/functions/mutability_01.sol:2:13-59"]
	diagnostic_9 [label="'constant' is deprecated. Use 'view' instead\nlevel Warning\ntests/contract_testcases/substrate/functions/mutability_01.sol:2:35-43"]
	contracts -> contract
	contract -> bar [label="function"]
	bar -> returns [label="returns"]
	bar -> return [label="body"]
	return -> number_literal [label="expr"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_8 [label="Warning"]
	diagnostics -> diagnostic_9 [label="Warning"]
}
