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
It seems that the main difference is in my expectation that I do not want to
include other OCaml or Python script code but only a bit of additional SmPL
specifications for my use case as I mentioned it for the topic "Sharing of SmPL
constraint declarations?".
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
