hyperledger-solang_solang/tests/contract_testcases/solana/annotations_bad.dot

strict digraph "tests/contract_testcases/solana/annotations_bad.sol" {
	EB [label="name: EB\ntests/contract_testcases/solana/annotations_bad.sol:13:1-15\nvalue: f1"]
	e [label="name: e\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:45:2-15\nvalue: e1"]
	f [label="name: f\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:48:2-15\nvalue: e1"]
	X [label="name:X\ntests/contract_testcases/solana/annotations_bad.sol:7:8-9\nfield name:f1 ty:int256"]
	Y [label="name:Y\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:43:9-10\nfield name:v ty:bool"]
	EV [label="name:EV\ntests/contract_testcases/solana/annotations_bad.sol:10:7-9\nfield name: ty:bool indexed:no"]
	E [label="name:E\ncontract: 0\ntests/contract_testcases/solana/annotations_bad.sol:51:8-9"]
	foo2 [label="name:foo2 ty:bool\ntests/contract_testcases/solana/annotations_bad.sol:16:1-18"]
	foo [label="name:foo ty:int64\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:54:2-19"]
	odd [label="function odd\ntests/contract_testcases/solana/annotations_bad.sol:22:1-36\nsignature odd(uint256)\nvisibility internal\nmutability nonpayable"]
	parameters [label="parameters\nuint256 v"]
	returns [label="returns\nbool "]
	return [label="return\ntests/contract_testcases/solana/annotations_bad.sol:23:5-24"]
	not [label="not\ntests/contract_testcases/solana/annotations_bad.sol:23:12-24"]
	equal [label="equal\ntests/contract_testcases/solana/annotations_bad.sol:23:12-24"]
	bitwise_and [label="bitwise and\nuint256\ntests/contract_testcases/solana/annotations_bad.sol:23:13-18"]
	variable [label="variable: v\nuint256\ntests/contract_testcases/solana/annotations_bad.sol:23:13-14"]
	number_literal [label="uint256 literal: 1\ntests/contract_testcases/solana/annotations_bad.sol:23:17-18"]
	number_literal_23 [label="uint256 literal: 0\ntests/contract_testcases/solana/annotations_bad.sol:23:23-24"]
	contract [label="contract c\ntests/contract_testcases/solana/annotations_bad.sol:35:1-65:2"]
	var [label="variable state\nvisibility internal\ntests/contract_testcases/solana/annotations_bad.sol:37:2-11"]
	using [label="using for uint256\nfunction odd tests/contract_testcases/solana/annotations_bad.sol:22:1-36"]
	node_28 [label="constructor \ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:58:2-16\nsignature ()\nvisibility public\nmutability nonpayable"]
	annotations [label="annotations"]
	alloc_array [label="alloc array bytes\ninitializer: 666f6f\ntests/contract_testcases/solana/annotations_bad.sol:57:8-13"]
	number_literal_31 [label="uint32 literal: 3\ntests/contract_testcases/solana/annotations_bad.sol:57:8-13"]
	method [label="function method\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:61:2-26\nsignature method()\nvisibility public\nmutability nonpayable"]
	method2 [label="function method2\ncontract: c\ntests/contract_testcases/solana/annotations_bad.sol:64:2-35\nsignature method2()\nvisibility public\nmutability nonpayable\nvirtual"]
	diagnostic [label="annotations not allowed on pragma\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:2:1-19"]
	diagnostic_36 [label="annotations not allowed on pragma\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:3:1-10"]
	diagnostic_37 [label="unknown pragma 'version' with value '1.1' ignored\nlevel Warning\ntests/contract_testcases/solana/annotations_bad.sol:4:1-19"]
	diagnostic_38 [label="annotations not allowed on struct\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:6:1-8"]
	diagnostic_39 [label="annotations not allowed on event\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:9:1-15"]
	diagnostic_40 [label="annotations not allowed on enum\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:12:1-14"]
	diagnostic_41 [label="annotations not allowed on type\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:15:1-13"]
	diagnostic_42 [label="annotations not allowed on variable\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:18:1-13"]
	diagnostic_43 [label="annotations not allowed on function\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:21:1-30"]
	diagnostic_44 [label="annotations not allowed on using\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:26:1-16"]
	diagnostic_45 [label="unknown annotation 'program' on contract c\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:29:1-28"]
	diagnostic_46 [label="annotion takes an account, for example '@program_id(\"BBH7Xi5ddus5EoQhzJLgyodVxJJGkvBRCY5AhBA1jwUr\")'\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:30:1-17"]
	diagnostic_47 [label="address literal 123 incorrect length of 2\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:31:13-18"]
	diagnostic_48 [label="address literal 5zMuDyvxCyss68EjbFgJZ22dxzHUZUW7ZV2v2Na4N9YWees incorrect length of 34\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:32:13-62"]
	diagnostic_49 [label="duplicate program_id annotation\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:34:1-60"]
	note [label="location of previous program_id annotation\ntests/contract_testcases/solana/annotations_bad.sol:33:1-60"]
	diagnostic_51 [label="found abstract contract 'c'\nlevel Debug\ntests/contract_testcases/solana/annotations_bad.sol:35:1-65:2"]
	diagnostic_52 [label="annotations not allowed on variable\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:36:2-14"]
	diagnostic_53 [label="annotations not allowed on using\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:39:2-29"]
	diagnostic_54 [label="annotations not allowed on struct\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:42:2-9"]
	diagnostic_55 [label="annotations not allowed on enum\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:47:2-13"]
	diagnostic_56 [label="annotations not allowed on event\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:50:2-14"]
	diagnostic_57 [label="annotations not allowed on type\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:53:2-10"]
	diagnostic_58 [label="unknown annotation method for constructor\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:56:2-14"]
	diagnostic_59 [label="unknown annotation fn for function\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:60:2-31"]
	diagnostic_60 [label="annotation '@annotation' not allowed on function with no body\nlevel Error\ntests/contract_testcases/solana/annotations_bad.sol:63:2-27"]
	enums -> EB
	enums -> e
	enums -> f
	structs -> X
	structs -> Y
	events -> EV
	events -> E
	types -> foo2
	types -> foo
	free_functions -> odd [label="function"]
	odd -> parameters [label="parameters"]
	odd -> returns [label="returns"]
	odd -> return [label="body"]
	return -> not [label="expr"]
	not -> equal [label="expr"]
	equal -> bitwise_and [label="left"]
	bitwise_and -> variable [label="left"]
	bitwise_and -> number_literal [label="right"]
	equal -> number_literal_23 [label="right"]
	contracts -> contract
	contract -> var [label="variable"]
	contract -> using [label="base"]
	contract -> node_28 [label="constructor"]
	node_28 -> annotations [label="annotations"]
	annotations -> alloc_array [label="seed"]
	alloc_array -> number_literal_31 [label="length"]
	contract -> method [label="function"]
	contract -> method2 [label="function"]
	diagnostics -> diagnostic [label="Error"]
	diagnostics -> diagnostic_36 [label="Error"]
	diagnostics -> diagnostic_37 [label="Warning"]
	diagnostics -> diagnostic_38 [label="Error"]
	diagnostics -> diagnostic_39 [label="Error"]
	diagnostics -> diagnostic_40 [label="Error"]
	diagnostics -> diagnostic_41 [label="Error"]
	diagnostics -> diagnostic_42 [label="Error"]
	diagnostics -> diagnostic_43 [label="Error"]
	diagnostics -> diagnostic_44 [label="Error"]
	diagnostics -> diagnostic_45 [label="Error"]
	diagnostics -> diagnostic_46 [label="Error"]
	diagnostics -> diagnostic_47 [label="Error"]
	diagnostics -> diagnostic_48 [label="Error"]
	diagnostics -> diagnostic_49 [label="Error"]
	diagnostic_49 -> note [label="note"]
	diagnostics -> diagnostic_51 [label="Debug"]
	diagnostics -> diagnostic_52 [label="Error"]
	diagnostics -> diagnostic_53 [label="Error"]
	diagnostics -> diagnostic_54 [label="Error"]
	diagnostics -> diagnostic_55 [label="Error"]
	diagnostics -> diagnostic_56 [label="Error"]
	diagnostics -> diagnostic_57 [label="Error"]
	diagnostics -> diagnostic_58 [label="Error"]
	diagnostics -> diagnostic_59 [label="Error"]
	diagnostics -> diagnostic_60 [label="Error"]
}