On Tue, 23 Feb 2010, SF Markus Elfring wrote: > > 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.
There is no way to refer to the type of a function call. I'm not sure whether any type information is collected for top-level function names. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
