Parameter attributes are added to the SmPL AST. Print these attributes correctly in pretty_print_cocci.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com> --- parsing_cocci/pretty_print_cocci.ml | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/parsing_cocci/pretty_print_cocci.ml b/parsing_cocci/pretty_print_cocci.ml index 7628882b..a9eb4a8b 100644 --- a/parsing_cocci/pretty_print_cocci.ml +++ b/parsing_cocci/pretty_print_cocci.ml @@ -688,9 +688,18 @@ and designator = function and parameterTypeDef p = match Ast.unwrap p with - Ast.VoidParam(ty) -> fullType ty - | Ast.Param(ty,Some id) -> print_named_type ty (fun _ -> ident id); - | Ast.Param(ty,None) -> fullType ty + Ast.VoidParam(ty,attr) -> + fullType ty; + (if not (attr = []) then print_string " "); + print_between print_space (mcode print_string) attr + | Ast.Param(ty,Some id,attr) -> + print_named_type ty (fun _ -> ident id); + (if not (attr = []) then print_string " "); + print_between print_space (mcode print_string) attr + | Ast.Param(ty,None,attr) -> + fullType ty; + (if not (attr = []) then print_string " "); + print_between print_space (mcode print_string) attr | Ast.MetaParam(name,_,_,_) -> mcode print_meta name | Ast.MetaParamList(name,_,_,_,_) -> mcode print_meta name | Ast.PComma(cm) -> mcode print_string cm; print_space() -- 2.21.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci