There would be no need to learn the SmPL constraints and where they could
occur.
I find it usual that it takes some time to learn a new (programming)
language.
But many features of SmPL like this are not particularly well thought out,
at least as to their scope (eg why can one put constraints on one kind
of metavariable but not on anoter kind). Why not just rely on a scripting
language that one is already familiar with and that can do everything?
Derek made the point that it was nice to be able to use Coccinelle without
having to know some other programming language. If he thinks that, then
perhaps that is a sign that the current feature set is not too burdensome
to learn. But 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.
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.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
