>>> The expression should return true or false, ie true if the proposed value
>>> of p is acceptable as a match, and false if it is not.
>>
>> Do you describe the introduction of generic predicate functions here?
> 
> I don't understand the question.

I try another wording …


> In any case, the script doesn't define functions, due to the very limited 
> syntax.

Do you exclude function definitions there so far?

Does the described SmPL extension correspond to predicate functionality?


> The normal case woudl be to define some functions in the initialize rule
> of the semantic patch, and just call them here.

I like such source code organisation in principle for some use cases.
Will this aspect need further considerations because of the evolving
parallelisation support?
https://github.com/coccinelle/coccinelle/issues/50

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to