On Sat, 17 Dec 2011, SF Markus Elfring wrote:

I'm not sure that it is a good idea to reimplement all sorts of features from existing programming languages (assignments, conditionals, etc) in Coccinelle.

I do also not want a reimplementation of "all" stuff. I stumbled on the need to specify a function list only once in a convenient way so that it can be easily reused at other SmPL (script) places.

Now we have started the clarification about general extensions for constraint specifications. I hope that more mailing list readers will contribute their opinions for a constructive discussion of corresponding open issues.


But if an appropriate syntax for declaring them could be found, it would be
possible to allow metavariables to be inherited from previous rules.

I am very curious on the support for SmPL rule hierarchies which would enable
reuse of common specifications.

You can already use include for this.

I find the previously mentioned functionality around the feature "include_match" still unclear.
http://lists.diku.dk/pipermail/cocci/2011-December/002396.html
http://cocci.ekstranet.diku.dk/wiki/doku.php?id=coccinelle_api_for_use_with_python

include has nothing to do with include_match. include allows you to include other SmPL files. It is not python code.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to