From: knut.omang@oracle.com (Knut Omang)
To: cocci@systeme.lip6.fr
Subject: [Cocci] [PATCH v2 2/5] Documentation: Further challenges around “runchecks”
Date: Sat, 23 Dec 2017 12:22:28 +0100 [thread overview]
Message-ID: <1514028148.31439.464.camel@oracle.com> (raw)
In-Reply-To: <67ce13bc-6022-9110-6d14-45ca22f91492@users.sourceforge.net>
Hi Marcus,
Thanks for all the useful enhancement feedback, I plan to look through these
in detail when I prepare for v3 - right now family has to get priority.
My initial thoughts from a quick glance is that these are good points that will improve
the docs and functionality, I also have a long list of ideas myself, but I am a bit
reluctant to put significantly more work into this until I have some guarantee that any of
it will be accepted. Maybe we can save some of it for an update patch later?
Thanks,
Knut
On Sat, 2017-12-23 at 11:10 +0100, SF Markus Elfring wrote:
> > +The ``typedef`` command adds ``NAME`` and associates it with the given
> > +regular expression. This expression is used to match against standard error
> > +output from the checker and ``NAME`` can be used as a new named check that
> > +runchecks understands and that can be used with checker supported names
> > +below to selectively suppress that particular set of warning or error
> > +messages.
>
> I would like to clarify further software development concerns.
> https://github.com/torvalds/linux/compare/master...knuto:runchecks#commit_comments_bucke
> t
>
> 1. Would an other identifier be more appropriate for this use case?
>
> 2. Which flavour of regular expressions would you like to use here?
>
> 3. Is the ?named check? a data filter?
>
> 4. How do you think about to share any more experiences from previous
> applications of similar approaches?
>
> 5. I imagine that corresponding regexes can become complicated.
> Would you like to develop a pattern library then?
>
> 6. It can happen that messages which are provided by special programs are
> so complex that scripts for higher level programming languages would
> be applied.
>
> 7. How would you like to iterate through several messages from an error log?
>
> 8. Will an include statement be needed so that configuration scripts can be
> better combined?
>
> 9. Does the suggested script language need a structured format description
> as extended Backus-Naur form (ISO/IEC 14977)?
>
> Regards,
> Markus
next prev parent reply other threads:[~2017-12-23 11:22 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-12-16 14:42 [Cocci] [PATCH v2 0/5] Support for generalized use of make C={1, 2} via a wrapper program Knut Omang
2017-12-16 14:42 ` [Cocci] [PATCH v2 2/5] Documentation: Add doc for runchecks, a checker runner Knut Omang
2017-12-16 15:08 ` Julia Lawall
2017-12-16 15:52 ` Knut Omang
[not found] ` <4be59ef0-50a9-83f5-2cf1-f5a34e5810a7@users.sourceforge.net>
2017-12-16 16:26 ` [Cocci] [PATCH v2 2/5] Documentation: Add doc for runchecks Knut Omang
2017-12-16 16:32 ` Julia Lawall
[not found] ` <4fe0691a-ca79-6bfc-918c-77c109ac14b3@users.sourceforge.net>
2017-12-16 17:36 ` Knut Omang
[not found] ` <c4c816cc-580f-d60b-1048-23a35ba287d3@users.sourceforge.net>
2017-12-17 2:19 ` Knut Omang
[not found] ` <9102c188-847a-6a59-5fce-85dfa01ad280@users.sourceforge.net>
2017-12-18 17:05 ` Knut Omang
[not found] ` <67ce13bc-6022-9110-6d14-45ca22f91492@users.sourceforge.net>
2017-12-23 11:22 ` Knut Omang [this message]
2017-12-16 15:21 ` [Cocci] [PATCH v2 0/5] Support for generalized use of make C={1, 2} via a wrapper program Joe Perches
2017-12-16 16:27 ` Knut Omang
2017-12-16 17:00 ` Joe Perches
2017-12-16 17:11 ` Knut Omang
2017-12-16 17:47 ` Stephen Hemminger
2017-12-16 18:02 ` Joe Perches
2017-12-17 2:14 ` Knut Omang
2017-12-18 5:00 ` Jason Gunthorpe
2017-12-18 6:00 ` Joe Perches
2017-12-18 13:05 ` Knut Omang
2017-12-18 15:30 ` Joe Perches
2017-12-18 16:41 ` Knut Omang
2017-12-18 17:49 ` Jason Gunthorpe
2017-12-18 17:46 ` Jason Gunthorpe
2017-12-18 17:53 ` Joe Perches
2017-12-18 17:56 ` Bart Van Assche
2017-12-18 18:39 ` Knut Omang
2017-12-18 19:24 ` Leon Romanovsky
2017-12-18 13:41 ` Knut Omang
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=1514028148.31439.464.camel@oracle.com \
--to=knut.omang@oracle.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