Coccinelle Archive on lore.kernel.org
 help / color / mirror / Atom feed
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

  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