strict digraph "tests/contract_testcases/solana/now.sol" {
	S [label="name:S\ncontract: c\ntests/contract_testcases/solana/now.sol:2:9-10\nfield name:f1 ty:int256"]
	LockRecord [label="name:LockRecord\ncontract: 0\ntests/contract_testcases/solana/now.sol:19:8-18\nfield name:a ty:address indexed:no\nfield name:n ty:uint256 indexed:no\nfield name:m ty:uint256 indexed:no"]
	contract [label="contract c\ntests/contract_testcases/solana/now.sol:1:1-24:2"]
	f [label="function f\ncontract: c\ntests/contract_testcases/solana/now.sol:3:2-38\nsignature f((int256))\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nstruct c.S s"]
	returns [label="returns\nint256 "]
	g [label="function g\ncontract: c\ntests/contract_testcases/solana/now.sol:6:2-21\nsignature g()\nvisibility public\nmutability nonpayable"]
	h [label="function h\ncontract: c\ntests/contract_testcases/solana/now.sol:9:2-36\nsignature h()\nvisibility public\nmutability nonpayable"]
	returns_11 [label="returns\nuint256 "]
	j [label="function j\ncontract: c\ntests/contract_testcases/solana/now.sol:12:2-36\nsignature j()\nvisibility public\nmutability nonpayable"]
	returns_13 [label="returns\nbool "]
	k [label="function k\ncontract: c\ntests/contract_testcases/solana/now.sol:15:2-35\nsignature k()\nvisibility public\nmutability nonpayable"]
	returns_15 [label="returns\nint256 "]
	var_decl [label="variable decl int256 now\ntests/contract_testcases/solana/now.sol:16:3-14"]
	number_literal [label="int256 literal: 5\ntests/contract_testcases/solana/now.sol:16:13-14"]
	return [label="return\ntests/contract_testcases/solana/now.sol:17:3-13"]
	variable [label="variable: now\nint256\ntests/contract_testcases/solana/now.sol:17:10-13"]
	foo [label="function foo\ncontract: c\ntests/contract_testcases/solana/now.sol:20:2-23\nsignature foo()\nvisibility public\nmutability nonpayable"]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/now.sol:1:1-24:2"]
	diagnostic_23 [label="'now' not found\nlevel Error\ntests/contract_testcases/solana/now.sol:4:10-13"]
	diagnostic_24 [label="unknown function or type 'now'\nlevel Error\ntests/contract_testcases/solana/now.sol:7:3-6"]
	diagnostic_25 [label="'now' not found. 'now' was an alias for 'block.timestamp' in older versions of the Solidity language. Please use 'block.timestamp' instead.\nlevel Error\ntests/contract_testcases/solana/now.sol:10:10-13"]
	diagnostic_26 [label="'now' not found. 'now' was an alias for 'block.timestamp' in older versions of the Solidity language. Please use 'block.timestamp' instead.\nlevel Error\ntests/contract_testcases/solana/now.sol:13:10-13"]
	diagnostic_27 [label="'now' not found. 'now' was an alias for 'block.timestamp' in older versions of the Solidity language. Please use 'block.timestamp' instead.\nlevel Error\ntests/contract_testcases/solana/now.sol:21:34-37"]
	diagnostic_28 [label="'now' not found. 'now' was an alias for 'block.timestamp' in older versions of the Solidity language. Please use 'block.timestamp' instead.\nlevel Error\ntests/contract_testcases/solana/now.sol:22:41-44"]
	structs -> S
	events -> LockRecord
	contracts -> contract
	contract -> f [label="function"]
	f -> parameters [label="parameters"]
	f -> returns [label="returns"]
	contract -> g [label="function"]
	contract -> h [label="function"]
	h -> returns_11 [label="returns"]
	contract -> j [label="function"]
	j -> returns_13 [label="returns"]
	contract -> k [label="function"]
	k -> returns_15 [label="returns"]
	k -> var_decl [label="body"]
	var_decl -> number_literal [label="init"]
	var_decl -> return [label="next"]
	return -> variable [label="expr"]
	contract -> foo [label="function"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_23 [label="Error"]
	diagnostics -> diagnostic_24 [label="Error"]
	diagnostics -> diagnostic_25 [label="Error"]
	diagnostics -> diagnostic_26 [label="Error"]
	diagnostics -> diagnostic_27 [label="Error"]
	diagnostics -> diagnostic_28 [label="Error"]
}
