[Cocci] script code on metavariables

[elfring@users.sourceforge.net (SF Markus Elfring)]

> It is not possible to write an OCaml function definition that has the form
> of a C expression.  In practice, it is likely that one would only make a
> function call, like I showed in my example.

Are method calls are also supported there depending on the reused
programming language?


>> Does the described SmPL extension correspond to predicate functionality?
> 
> I guess.  The script code should return true or false.  If the script
> returns true, the match succeeds.

http://c2.com/cgi/wiki?PredicateFunction
http://stackoverflow.com/questions/5921609/what-is-predicate-in-c
https://en.wikipedia.org/wiki/Filter_%28higher-order_function%29

Will this kind of information matter for the outline in the evolving
documentation of the semantic patch language?



>> Will this aspect need further considerations because of the evolving
>> parallelisation support?
>> https://github.com/coccinelle/coccinelle/issues/50
> 
> I believe that parallelism with -j only fails if there is a finalize.

Would you like to clarify such an implementation detail a bit more?


> An initialize by itself should be OK.

How often will you need a corresponding finalisation action
(or destructor)?

Can the predicate function be eventually executed in parallel
(by a dedicated thread or another background process)?

Regards,
Markus