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?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
