On Mon, 9 May 2011, SF Markus Elfring wrote: > > I'm not sure why that is a problem, but one can certainly write whatever > > one wants in the python code. > > Does the programming language interface provide control over the action if the > generation of a patch hunk is needed at all? > Can it be omitted if a "safety check" finds that the identifier contains the > desired name addition already?
I don't think that it would be desirable for coccinelle to be making all of these decisions for the user, particularly in the interface between the matching code and the python code. The semantics of a fresh identifier on the other hand could be to extend a string by adding the fewest number of characters to make the string unique. But that is not implemented. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
