On Mon, 22 Feb 2010, SF Markus Elfring wrote: > > You can also match on the prototype of the function with a type > > metavariable T. > > > > After my "ok" rule, you could introduce: > > > > @get_type depends on !ok@ > > identifier r.f; > > type T; > > @@ > > > > T f (...); > > I am sorry that I overlooked such an approach. This rule combination was not > so > obvious for me from the SmPL syntax documentation. > Would you like to add it to the example chapter?
So that I can make the documentation as helpful as possible, could you let me know which part was not obvious? The ability to specify a metavariable as the return type, or the ability to add new inheritable information? thanks, julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
