On Mon, 27 Apr 2020, Jaskaran Singh wrote: > Parameter attributes are added to the SmPL AST. Reflect these changes in > check_meta.ml. Maybe add a comment that for the moment there are no metavariables for attributes. julia > > Signed-off-by: Jaskaran Singh <[email protected]> > --- > parsing_cocci/check_meta.ml | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/parsing_cocci/check_meta.ml b/parsing_cocci/check_meta.ml > index 5a348ba3..ab1d357e 100644 > --- a/parsing_cocci/check_meta.ml > +++ b/parsing_cocci/check_meta.ml > @@ -374,7 +374,7 @@ and initialiser_list old_metas table minus = > > and parameterTypeDef old_metas table minus param = > match Ast0.unwrap param with > - Ast0.Param(ty,id) -> > + Ast0.Param(ty,id,attr) -> > get_opt (ident ID old_metas table minus) id; > typeC old_metas table minus ty > | Ast0.MetaParam(name,_,_) -> > -- > 2.21.1 > > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
- [Cocci] [PATCH 00/23] cocci: Add parameter attributes to Sm... Jaskaran Singh
- [Cocci] [PATCH 01/23] parsing_cocci: ast0_cocci: Add p... Jaskaran Singh
- [Cocci] [PATCH 07/23] parsing_cocci: context_neg: Refl... Jaskaran Singh
- [Cocci] [PATCH 04/23] parsing_cocci: arity: Reflect Pa... Jaskaran Singh
- [Cocci] [PATCH 03/23] parsing_cocci: visitor_ast0: Vis... Jaskaran Singh
- [Cocci] [PATCH 06/23] parsing_cocci: compute_lines: Re... Jaskaran Singh
- [Cocci] [PATCH 09/23] parsing_cocci: index: Reflect Pa... Jaskaran Singh
- [Cocci] [PATCH 05/23] parsing_cocci: check_meta: Refle... Jaskaran Singh
- Re: [Cocci] [PATCH 05/23] parsing_cocci: check_met... Julia Lawall
- [Cocci] [PATCH 02/23] parsing_cocci: parser: Parse Par... Jaskaran Singh
- [Cocci] [PATCH 08/23] parsing_cocci: function_prototyp... Jaskaran Singh
- [Cocci] [PATCH 21/23] ocaml: coccilib: Reflect Paramet... Jaskaran Singh
- [Cocci] [PATCH 20/23] engine: cocci_vs_c: Match Parame... Jaskaran Singh
- [Cocci] [PATCH 18/23] parsing_cocci: pretty_print_cocc... Jaskaran Singh
- [Cocci] [PATCH 19/23] parsing_cocci: unify_ast: Reflec... Jaskaran Singh
- [Cocci] [PATCH 11/23] parsing_cocci: type_infer: Refle... Jaskaran Singh
- [Cocci] [PATCH 17/23] parsing_cocci: disjdistr: Reflec... Jaskaran Singh
- [Cocci] [PATCH 13/23] parsing_c: unparse_cocci: Reflec... Jaskaran Singh
- [Cocci] [PATCH 14/23] parsing_cocci: ast_cocci: Add Pa... Jaskaran Singh
