From: Jaskaran Singh <jaskaran.singh@collabora.com>
To: cocci@systeme.lip6.fr
Subject: [Cocci] [PATCH 00/24] parsing_cocci: Add attributefn to the SmPL AST0 visitor
Date: Thu, 16 Jul 2020 18:29:51 +0530 [thread overview]
Message-ID: <20200716130016.23729-1-jaskaran.singh@collabora.com> (raw)
This patch series aims to add a public function for visiting attributes
to the SmPL AST0 visitor. This is needed to support meta attributes. An
AttributeTag constructor is also added due to dependencies, as well as
to maintain consistency with the codebase.
Jaskaran Singh (24):
parsing_cocci: visitor_ast0: Add attributefn to SmPL AST0 visitor
parsing_cocci: ast0toast: Reflect attributefn in AST0 visitor
parsing_cocci: check_meta: Reflect attributefn in AST0 visitor
parsing_cocci: function_prototypes: Reflect attributefn in AST0 visitor
parsing_cocci: iso_compile: Reflect attributefn in AST0 visitor
parsing_cocci: iso_pattern: Reflect attributefn in AST0 visitor
parsing_cocci: parse_cocci: Reflect attributefn in AST0 visitor
parsing_cocci: single_statement: Reflect attributefn in AST0 visitor
parsing_cocci: unitary_ast0: Reflect attributefn in AST0 visitor
parsing_cocci: ast0_cocci: Add AttributeTag to SmPL AST0
parsing_cocci: visitor_ast0: Reflect AttributeTag in SmPL AST0
parsing_cocci: iso_pattern: Reflect AttributeTag in SmPL AST0
parsing_cocci: unparse_ast0: Reflect AttributeTag in SmPL AST0
parsing_cocci: context_neg: Reflect AttributeTag in SmPL AST0
parsing_cocci: insert_plus: Reflect AttributeTag in SmPL AST0
parsing_cocci: ast_cocci: Add AttributeTag to the SmPL AST
parsing_cocci: pretty_print_cocci: Reflect AttributeTag in SmPL AST
parsing_c: unparse_cocci: Reflect AttributeTag in SmPL AST
parsing_cocci: visitor_ast: Reflect AttributeTag in SmPL AST
parsing_cocci: ast0toast: Reflect AttributeTag in the SmPL ASTs
ocaml: coccilib: Reflect AttributeTag in the SmPL ASTs
parsing_cocci: context_neg: Reflect attributefn in AST0 visitor
parsing_cocci: insert_plus: Reflect attributefn in AST0 visitor
tools: spgen: Reflect attributefn in AST0 visitor
ocaml/coccilib.mli | 2 ++
parsing_c/unparse_cocci.ml | 1 +
parsing_cocci/ast0_cocci.ml | 2 ++
parsing_cocci/ast0_cocci.mli | 2 ++
parsing_cocci/ast0toast.ml | 5 +++--
parsing_cocci/ast0toast.mli | 1 +
parsing_cocci/ast_cocci.ml | 2 ++
parsing_cocci/ast_cocci.mli | 1 +
parsing_cocci/check_meta.ml | 4 ++--
parsing_cocci/context_neg.ml | 23 +++++++++++++++++------
parsing_cocci/function_prototypes.ml | 6 +++---
parsing_cocci/insert_plus.ml | 18 ++++++++++++++----
parsing_cocci/iso_compile.ml | 2 +-
parsing_cocci/iso_pattern.ml | 17 +++++++++++------
parsing_cocci/parse_cocci.ml | 2 +-
parsing_cocci/pretty_print_cocci.ml | 1 +
parsing_cocci/single_statement.ml | 2 +-
parsing_cocci/unitary_ast0.ml | 2 +-
parsing_cocci/unparse_ast0.ml | 1 +
parsing_cocci/visitor_ast.ml | 2 ++
parsing_cocci/visitor_ast0.ml | 24 ++++++++++++++++++++----
parsing_cocci/visitor_ast0.mli | 2 ++
parsing_cocci/visitor_ast0_types.ml | 6 ++++++
parsing_cocci/visitor_ast0_types.mli | 6 ++++++
tools/spgen/source/detect_patch.ml | 3 ++-
tools/spgen/source/meta_variable.ml | 3 ++-
tools/spgen/source/rule_body.ml | 3 ++-
27 files changed, 109 insertions(+), 34 deletions(-)
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
next reply other threads:[~2020-07-16 13:02 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-16 12:59 Jaskaran Singh [this message]
2020-07-16 12:59 ` [Cocci] [PATCH 01/24] parsing_cocci: visitor_ast0: Add attributefn to SmPL AST0 visitor Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 02/24] parsing_cocci: ast0toast: Reflect attributefn in " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 03/24] parsing_cocci: check_meta: " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 04/24] parsing_cocci: function_prototypes: " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 05/24] parsing_cocci: iso_compile: " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 06/24] parsing_cocci: iso_pattern: " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 07/24] parsing_cocci: parse_cocci: " Jaskaran Singh
2020-07-16 12:59 ` [Cocci] [PATCH 08/24] parsing_cocci: single_statement: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 09/24] parsing_cocci: unitary_ast0: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 10/24] parsing_cocci: ast0_cocci: Add AttributeTag to SmPL AST0 Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 11/24] parsing_cocci: visitor_ast0: Reflect AttributeTag in " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 12/24] parsing_cocci: iso_pattern: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 13/24] parsing_cocci: unparse_ast0: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 14/24] parsing_cocci: context_neg: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 15/24] parsing_cocci: insert_plus: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 16/24] parsing_cocci: ast_cocci: Add AttributeTag to the SmPL AST Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 17/24] parsing_cocci: pretty_print_cocci: Reflect AttributeTag in " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 18/24] parsing_c: unparse_cocci: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 19/24] parsing_cocci: visitor_ast: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 20/24] parsing_cocci: ast0toast: Reflect AttributeTag in the SmPL ASTs Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 21/24] ocaml: coccilib: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 22/24] parsing_cocci: context_neg: Reflect attributefn in AST0 visitor Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 23/24] parsing_cocci: insert_plus: " Jaskaran Singh
2020-07-16 13:00 ` [Cocci] [PATCH 24/24] tools: spgen: " Jaskaran Singh
2020-07-18 13:59 ` [Cocci] [PATCH 00/24] parsing_cocci: Add attributefn to the SmPL " Julia Lawall
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200716130016.23729-1-jaskaran.singh@collabora.com \
--to=jaskaran.singh@collabora.com \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).