AttributeTag is added to SmPL AST0. Reflect these changes in insert_plus.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/ast0toast.mli | 1 + parsing_cocci/insert_plus.ml | 8 ++++++++ 2 files changed, 9 insertions(+) diff --git a/parsing_cocci/ast0toast.mli b/parsing_cocci/ast0toast.mli index f4d2bb19..302c2b7d 100644 --- a/parsing_cocci/ast0toast.mli +++ b/parsing_cocci/ast0toast.mli @@ -36,6 +36,7 @@ val define_param_dots : Ast_cocci.define_param Ast_cocci.dots val case_line : Ast0_cocci.case_line -> Ast_cocci.case_line val string_fragment : Ast0_cocci.string_fragment -> Ast_cocci.string_fragment +val attribute : Ast0_cocci.attr -> Ast_cocci.attr val typeC : bool (*allminus*) -> Ast0_cocci.typeC -> Ast_cocci.fullType val declaration : Ast0_cocci.declaration -> Ast_cocci.declaration val field : Ast0_cocci.field -> Ast_cocci.field diff --git a/parsing_cocci/insert_plus.ml b/parsing_cocci/insert_plus.ml index 63635b43..6c11a339 100644 --- a/parsing_cocci/insert_plus.ml +++ b/parsing_cocci/insert_plus.ml @@ -133,6 +133,7 @@ let create_root_token_table minus = | Ast0.ForInfoTag(d) -> Ast0.get_index d | Ast0.CaseLineTag(d) -> Ast0.get_index d | Ast0.StringFragmentTag(d) -> Ast0.get_index d + | Ast0.AttributeTag(d) -> Ast0.get_index d | Ast0.TopTag(d) -> Ast0.get_index d | Ast0.IsoWhenTag(_) -> failwith "only within iso phase" | Ast0.IsoWhenTTag(_) -> failwith "only within iso phase" @@ -461,6 +462,9 @@ let call_collect_minus context_nodes : | Ast0.StringFragmentTag(e) -> (Ast0.get_index e, (collect_minus_join_points e).VT0.combiner_rec_string_fragment e) + | Ast0.AttributeTag(e) -> + (Ast0.get_index e, + (collect_minus_join_points e).VT0.combiner_rec_attribute e) | Ast0.CaseLineTag(e) -> (Ast0.get_index e, (collect_minus_join_points e).VT0.combiner_rec_case_line e) @@ -548,6 +552,7 @@ let mk_statement x = Ast.StatementTag (Ast0toast.statement x) let mk_forinfo x = Ast.ForInfoTag (Ast0toast.forinfo x) let mk_case_line x = Ast.CaseLineTag (Ast0toast.case_line x) let mk_string_fragment x = Ast.StringFragmentTag (Ast0toast.string_fragment x) +let mk_attribute x = Ast.AttributeTag (Ast0toast.attribute x) let mk_const_vol x = Ast.ConstVolTag x let mk_token x info = Ast.Token (x,Some info) let mk_meta (_,x) info = Ast.Token (x,Some info) @@ -751,6 +756,9 @@ let call_collect_plus context_nodes : | Ast0.StringFragmentTag(e) -> (Ast0.get_index e, (collect_plus_nodes e).VT0.combiner_rec_string_fragment e) + | Ast0.AttributeTag(e) -> + (Ast0.get_index e, + (collect_plus_nodes e).VT0.combiner_rec_attribute e) | Ast0.TopTag(e) -> (Ast0.get_index e, (collect_plus_nodes e).VT0.combiner_rec_top_level e) -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
