On Sun, 10 Jun 2012, SF Markus Elfring wrote:
Hello!
Names can be chosen for metavariables that are applied by the processing for
the semantic patch language. The uses of these names are not especially
marked in the corresponding patch code so far.
http://coccinelle.lip6.fr/docs/main_grammar002.html
I see a potential difficulty because of that when I would like to assure that
identifiers from the SmPL transformation specification are not in conflict
with the same ones from the C source code in the patch code. Can anything be
made safer for the involved name selection?
Actually, the goal is that you should be able to take a sample of code and
abstract over the names that occur in it. There is a checking phase that
looks for non-metavariables in places where metavaraibles are commonly
used. You can declare a metavariable as a symbol, and then it is matched
exactly in the C code by the checking phase does not give a warning about
it. One might like to use this for the name jiffies in the context of
Linux code, for example.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
