strict digraph "tests/contract_testcases/solana/mapping_deletion.sol" {
	data_struct [label="name:data_struct\ncontract: DeleteTest\ntests/contract_testcases/solana/mapping_deletion.sol:13:12-23\nfield name:addr1 ty:address\nfield name:addr2 ty:address"]
	contract [label="contract savedTest\ntests/contract_testcases/solana/mapping_deletion.sol:1:1-10:2"]
	var [label="variable b\nvisibility internal\ntests/contract_testcases/solana/mapping_deletion.sol:2:5-11"]
	node_5 [label="constructor \ncontract: savedTest\ntests/contract_testcases/solana/mapping_deletion.sol:3:5-25\nsignature (uint256)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\nuint256 d"]
	expr [label="expression\ntests/contract_testcases/solana/mapping_deletion.sol:4:9-14"]
	assign [label="assign\nuint256 storage\ntests/contract_testcases/solana/mapping_deletion.sol:4:9-10"]
	storage_var [label="storage variable\nsavedTest.b\nuint256 storage\ntests/contract_testcases/solana/mapping_deletion.sol:4:9-10"]
	variable [label="variable: d\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:4:13-14"]
	increment [label="function increment\ncontract: savedTest\ntests/contract_testcases/solana/mapping_deletion.sol:7:5-38\nsignature increment(uint256)\nvisibility public\nmutability nonpayable"]
	parameters_12 [label="parameters\nuint256 f"]
	expr_13 [label="expression\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-15"]
	assign_14 [label="assign\nvoid\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-15"]
	storage_var_15 [label="storage variable\nsavedTest.b\nuint256 storage\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-10"]
	add [label="add\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-15"]
	storage_load [label="storage load uint256\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-15"]
	storage_var_18 [label="storage variable\nsavedTest.b\nuint256 storage\ntests/contract_testcases/solana/mapping_deletion.sol:8:9-10"]
	variable_19 [label="variable: f\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:8:14-15"]
	contract_20 [label="contract DeleteTest\ntests/contract_testcases/solana/mapping_deletion.sol:12:1-40:2"]
	var_21 [label="variable example\nvisibility internal\ntests/contract_testcases/solana/mapping_deletion.sol:18:5-41"]
	var_22 [label="variable example2\nvisibility internal\ntests/contract_testcases/solana/mapping_deletion.sol:19:5-40"]
	addData [label="function addData\ncontract: DeleteTest\ntests/contract_testcases/solana/mapping_deletion.sol:21:5-30\nsignature addData()\nvisibility public\nmutability nonpayable"]
	var_decl [label="variable decl struct DeleteTest.data_struct dt\ntests/contract_testcases/solana/mapping_deletion.sol:22:9-80"]
	struct_literal [label="struct literal: struct DeleteTest.data_struct\ntests/contract_testcases/solana/mapping_deletion.sol:22:26-80"]
	cast [label="cast address\ntests/contract_testcases/solana/mapping_deletion.sol:22:46-59"]
	builtins [label="builtin GetAddress\ntests/contract_testcases/solana/mapping_deletion.sol:22:54-58"]
	cast_28 [label="cast address\ntests/contract_testcases/solana/mapping_deletion.sol:22:26-80"]
	builtins_29 [label="builtin Sender\ntests/contract_testcases/solana/mapping_deletion.sol:22:68-78"]
	var_decl_30 [label="variable decl uint256 id\ntests/contract_testcases/solana/mapping_deletion.sol:23:9-20"]
	number_literal [label="uint256 literal: 1\ntests/contract_testcases/solana/mapping_deletion.sol:23:19-20"]
	expr_32 [label="expression\ntests/contract_testcases/solana/mapping_deletion.sol:24:9-25"]
	assign_33 [label="assign\nstruct DeleteTest.data_struct storage\ntests/contract_testcases/solana/mapping_deletion.sol:24:9-25"]
	subscript [label="subscript mapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:24:9-20"]
	storage_var_35 [label="storage variable\nDeleteTest.example\nmapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:24:9-16"]
	variable_36 [label="variable: id\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:24:17-19"]
	variable_37 [label="variable: dt\nstruct DeleteTest.data_struct\ntests/contract_testcases/solana/mapping_deletion.sol:24:23-25"]
	var_decl_38 [label="variable decl contract savedTest tt\ntests/contract_testcases/solana/mapping_deletion.sol:25:9-40"]
	constructor [label="constructor contract savedTest\ntests/contract_testcases/solana/mapping_deletion.sol:25:24-40"]
	number_literal_40 [label="uint256 literal: 4\ntests/contract_testcases/solana/mapping_deletion.sol:25:38-39"]
	expr_41 [label="expression\ntests/contract_testcases/solana/mapping_deletion.sol:26:9-26"]
	assign_42 [label="assign\ncontract savedTest storage\ntests/contract_testcases/solana/mapping_deletion.sol:26:9-26"]
	subscript_43 [label="subscript mapping(uint256 => contract savedTest) storage\ntests/contract_testcases/solana/mapping_deletion.sol:26:9-21"]
	storage_var_44 [label="storage variable\nDeleteTest.example2\nmapping(uint256 => contract savedTest) storage\ntests/contract_testcases/solana/mapping_deletion.sol:26:9-17"]
	variable_45 [label="variable: id\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:26:18-20"]
	variable_46 [label="variable: tt\ncontract savedTest\ntests/contract_testcases/solana/mapping_deletion.sol:26:24-26"]
	deltest [label="function deltest\ncontract: DeleteTest\ntests/contract_testcases/solana/mapping_deletion.sol:29:5-32\nsignature deltest()\nvisibility external\nmutability nonpayable"]
	var_decl_48 [label="variable decl uint256 id\ntests/contract_testcases/solana/mapping_deletion.sol:30:9-20"]
	number_literal_49 [label="uint256 literal: 1\ntests/contract_testcases/solana/mapping_deletion.sol:30:19-20"]
	delete [label="delete\nty: struct DeleteTest.data_struct\ntests/contract_testcases/solana/mapping_deletion.sol:31:9-27"]
	subscript_51 [label="subscript mapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:31:16-27"]
	storage_var_52 [label="storage variable\nDeleteTest.example\nmapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:31:16-23"]
	variable_53 [label="variable: id\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:31:24-26"]
	get [label="function get\ncontract: DeleteTest\ntests/contract_testcases/solana/mapping_deletion.sol:35:5-62\nsignature get()\nvisibility public\nmutability view"]
	returns [label="returns\nstruct DeleteTest.data_struct "]
	var_decl_56 [label="variable decl uint256 id\ntests/contract_testcases/solana/mapping_deletion.sol:36:9-20"]
	number_literal_57 [label="uint256 literal: 1\ntests/contract_testcases/solana/mapping_deletion.sol:36:19-20"]
	return [label="return\ntests/contract_testcases/solana/mapping_deletion.sol:37:9-27"]
	storage_load_59 [label="storage load struct DeleteTest.data_struct\ntests/contract_testcases/solana/mapping_deletion.sol:37:9-27"]
	subscript_60 [label="subscript mapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:37:16-27"]
	storage_var_61 [label="storage variable\nDeleteTest.example\nmapping(uint256 => struct DeleteTest.data_struct) storage\ntests/contract_testcases/solana/mapping_deletion.sol:37:16-23"]
	variable_62 [label="variable: id\nuint256\ntests/contract_testcases/solana/mapping_deletion.sol:37:24-26"]
	diagnostic [label="found contract 'savedTest'\nlevel Debug\ntests/contract_testcases/solana/mapping_deletion.sol:1:1-10:2"]
	diagnostic_65 [label="storage variable 'b' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/mapping_deletion.sol:2:5-11"]
	diagnostic_66 [label="found contract 'DeleteTest'\nlevel Debug\ntests/contract_testcases/solana/mapping_deletion.sol:12:1-40:2"]
	diagnostic_67 [label="storage variable 'example2' has been assigned, but never read\nlevel Warning\ntests/contract_testcases/solana/mapping_deletion.sol:19:5-40"]
	structs -> data_struct
	contracts -> contract
	contract -> var [label="variable"]
	contract -> node_5 [label="constructor"]
	node_5 -> parameters [label="parameters"]
	node_5 -> expr [label="body"]
	expr -> assign [label="expr"]
	assign -> storage_var [label="left"]
	assign -> variable [label="right"]
	contract -> increment [label="function"]
	increment -> parameters_12 [label="parameters"]
	increment -> expr_13 [label="body"]
	expr_13 -> assign_14 [label="expr"]
	assign_14 -> storage_var_15 [label="left"]
	assign_14 -> add [label="right"]
	add -> storage_load [label="left"]
	storage_load -> storage_var_18 [label="expr"]
	add -> variable_19 [label="right"]
	contracts -> contract_20
	contract_20 -> var_21 [label="variable"]
	contract_20 -> var_22 [label="variable"]
	contract_20 -> addData [label="function"]
	addData -> var_decl [label="body"]
	var_decl -> struct_literal [label="init"]
	struct_literal -> cast [label="arg #0"]
	cast -> builtins [label="expr"]
	struct_literal -> cast_28 [label="arg #1"]
	cast_28 -> builtins_29 [label="expr"]
	var_decl -> var_decl_30 [label="next"]
	var_decl_30 -> number_literal [label="init"]
	var_decl_30 -> expr_32 [label="next"]
	expr_32 -> assign_33 [label="expr"]
	assign_33 -> subscript [label="left"]
	subscript -> storage_var_35 [label="array"]
	subscript -> variable_36 [label="index"]
	assign_33 -> variable_37 [label="right"]
	expr_32 -> var_decl_38 [label="next"]
	var_decl_38 -> constructor [label="init"]
	constructor -> number_literal_40 [label="arg #0"]
	var_decl_38 -> expr_41 [label="next"]
	expr_41 -> assign_42 [label="expr"]
	assign_42 -> subscript_43 [label="left"]
	subscript_43 -> storage_var_44 [label="array"]
	subscript_43 -> variable_45 [label="index"]
	assign_42 -> variable_46 [label="right"]
	contract_20 -> deltest [label="function"]
	deltest -> var_decl_48 [label="body"]
	var_decl_48 -> number_literal_49 [label="init"]
	var_decl_48 -> delete [label="next"]
	delete -> subscript_51 [label="expr"]
	subscript_51 -> storage_var_52 [label="array"]
	subscript_51 -> variable_53 [label="index"]
	contract_20 -> get [label="function"]
	get -> returns [label="returns"]
	get -> var_decl_56 [label="body"]
	var_decl_56 -> number_literal_57 [label="init"]
	var_decl_56 -> return [label="next"]
	return -> storage_load_59 [label="expr"]
	storage_load_59 -> subscript_60 [label="expr"]
	subscript_60 -> storage_var_61 [label="array"]
	subscript_60 -> variable_62 [label="index"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_65 [label="Warning"]
	diagnostics -> diagnostic_66 [label="Debug"]
	diagnostics -> diagnostic_67 [label="Warning"]
}
