I want to introduce... a _rule_ constraint.
I like your idea, too.
The script must be a function that takes an AST as argument and returns a boolean that indicates whether the argument is acceptable.
I would also appreciate if such predicate functions would be generally supported by the semantic patch environment.
I would like to suggest that identifier (or function) list become constructable not only from manual specification as it is currently provided but also from the processing of patch/source code analysis patterns. How do you think about the assignment of filtered update or exclusion candidates to a new SmPL key word?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
