ii_of_attr can be used to get the corresponding info of a single C attribute. Add this function to lib_parsing_c.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_c/lib_parsing_c.ml | 1 + parsing_c/lib_parsing_c.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/parsing_c/lib_parsing_c.ml b/parsing_c/lib_parsing_c.ml index 2ab3b3a9..99e43be3 100644 --- a/parsing_c/lib_parsing_c.ml +++ b/parsing_c/lib_parsing_c.ml @@ -315,6 +315,7 @@ let ii_of_define_params = let ii_of_ident_list = extract_info_visitor Visitor_c.vk_ident_list_splitted let ii_of_exec_code_list = extract_info_visitor Visitor_c.vk_exec_code_list_splitted +let ii_of_attr = extract_info_visitor Visitor_c.vk_attribute let ii_of_attrs = extract_info_visitor Visitor_c.vk_attrs_splitted let ii_of_toplevel = extract_info_visitor Visitor_c.vk_toplevel diff --git a/parsing_c/lib_parsing_c.mli b/parsing_c/lib_parsing_c.mli index 1fc59420..d9578f3c 100644 --- a/parsing_c/lib_parsing_c.mli +++ b/parsing_c/lib_parsing_c.mli @@ -125,6 +125,7 @@ val ii_of_ident_list : (Ast_c.name, Ast_c.il) Common.either list -> Ast_c.info list val ii_of_exec_code_list : (Ast_c.exec_code, Ast_c.il) Common.either list -> Ast_c.info list +val ii_of_attr : Ast_c.attribute -> Ast_c.info list val ii_of_attrs : (Ast_c.attribute, Ast_c.il) Common.either list -> Ast_c.info list val ii_of_toplevel : Ast_c.toplevel -> Ast_c.info list -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
