All of lore.kernel.org
 help / color / mirror / Atom feed
From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] script code on metavariables
Date: Mon, 18 Jan 2016 13:28:26 +0100	[thread overview]
Message-ID: <569CDA6A.5020005@users.sourceforge.net> (raw)
In-Reply-To: <alpine.DEB.2.10.1601181301450.2520@hadrien>

> I don't know what is meant exactly by a method call, but anything that
> looks like a valid C expression is fine.  The code will not be interpreted
> by Coccinelle, only by the relevant scripting language, which is currently
> only OCaml.

Would an other wording fit also?

The returning of a boolean value should just work. Can the reference to
the C programming language be lifted already if an external script processor
will finally take care for the embedded source code?


> The restriction to being a C expression is only a parsing issue.

I imagine that there will be more dependencies to consider, won't it?


> No, it runs in the same thread as the rest of the processing.

Would it make sense occasionally to execute the predicate function
in parallel (by a dedicated thread or another background process)?

Regards,
Markus

  reply	other threads:[~2016-01-18 12:28 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-01-17  8:47 [Cocci] script code on metavariables Julia Lawall
2016-01-18 10:11 ` SF Markus Elfring
2016-01-18 10:15   ` Julia Lawall
2016-01-18 10:30     ` SF Markus Elfring
2016-01-18 10:43       ` Julia Lawall
2016-01-18 12:00         ` SF Markus Elfring
2016-01-18 12:05           ` Julia Lawall
2016-01-18 12:28             ` SF Markus Elfring [this message]
2016-01-18 20:25         ` [Cocci] Documentation check for parallelisation support? SF Markus Elfring

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=569CDA6A.5020005@users.sourceforge.net \
    --to=elfring@users.sourceforge.net \
    --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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.