On Sun, 30 Jan 2011, SF Markus Elfring wrote: > > It would seem reasonable to do so, unless it causes some ambiguity in the > > parser. > > Would you like to register a feature request for such an extension?
Noted. > > Yes, the first one that matches is used. > > What is the correct term for the "|" notation so that I will find it easier in > your documentation? I call it a disjunction, but in the grammar it is represented as OR: http://coccinelle.lip6.fr/docs/main_grammar008.html#OR julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
