> So that I can make the documentation as helpful as possible, could you let 
> me know which part was not obvious?

I admit that I might be not as familiar with this evolving language as you would
expect.

I find that the current presentation of the SmPL syntax in an extended
Backus–Naur form results in some efforts to gain the knowledge about
relationships that will be needed for the desired filter expression.
http://coccinelle.lip6.fr/docs/main_grammar004.html


> The ability to specify a metavariable as the return type,
> or the ability to add new inheritable information?

Both - I guess that such features are hard to extract from a detailed grammar.

I was also looking for an approach where a single rule or pattern application
would be sufficient.

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to