X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/d6a5560288005da768c418d34b92e811d8e30b8f..5636bb2c2537506718da74f85a2b81a5ff3df16f:/parsing_c/unparse_hrule.ml diff --git a/parsing_c/unparse_hrule.ml b/parsing_c/unparse_hrule.ml index f6a780c..9f23e45 100644 --- a/parsing_c/unparse_hrule.ml +++ b/parsing_c/unparse_hrule.ml @@ -135,7 +135,7 @@ let get_function_name rule env = match names with [name] -> (match env_lookup (function nm -> nm = name) env with - Ast_c.MetaIdVal(s) | Ast_c.MetaFuncVal(s) + Ast_c.MetaIdVal(s,_) | Ast_c.MetaFuncVal(s) | Ast_c.MetaLocalFuncVal(s) -> s | _ -> error rule "not possible") | _ -> error rule "inconsistent rule generation" @@ -227,7 +227,7 @@ let print_extra_typedefs pr env = match vl with Ast_c.MetaIdVal(_) | Ast_c.MetaFuncVal(_) | Ast_c.MetaLocalFuncVal(_) -> () - | Ast_c.MetaExprVal(exp) -> Visitor_c.vk_expr bigf exp + | Ast_c.MetaExprVal(exp,_) -> Visitor_c.vk_expr bigf exp | Ast_c.MetaExprListVal(args) -> Visitor_c.vk_argument_list bigf args | Ast_c.MetaParamVal(param) -> Visitor_c.vk_param bigf param | Ast_c.MetaParamListVal(params) -> Visitor_c.vk_param_list bigf params @@ -264,8 +264,8 @@ let rename argids env = match vl with Ast_c.MetaIdVal(_) | Ast_c.MetaFuncVal(_) | Ast_c.MetaLocalFuncVal(_) -> vl - | Ast_c.MetaExprVal(exp) -> - Ast_c.MetaExprVal(Visitor_c.vk_expr_s bigf exp) + | Ast_c.MetaExprVal(exp,c) -> + Ast_c.MetaExprVal(Visitor_c.vk_expr_s bigf exp,c) | Ast_c.MetaExprListVal(args) -> Ast_c.MetaExprListVal(Visitor_c.vk_arguments_s bigf args) | Ast_c.MetaParamVal(param) -> @@ -478,7 +478,7 @@ let pp_rule local_metas ast env srcfile = error rule "not an abstract line" in let pr_space _ = pr " " in Unparse_cocci.pp_list_list_any - ([env], (fun s _ _ _ -> pr s), pr_c, pr_space, pr_space, pr, + ([env], (fun s _ _ _ _ -> pr s), pr_c, pr_space, pr_space, pr, (fun _ _ -> ()), (function _ -> ()), (function _ -> ())) true printable Unparse_cocci.InPlace; print_end pr;