On Tue, Feb 1, 2011 at 11:10 AM, SF Markus Elfring <[email protected]> wrote: >> All of this information could be read in by a script and then used within >> Coccinelle to set up new invocations of Coccinelle for each set of >> arguments, as illustrated in iteration.cocci. > > Are the application programming interfaces between Objective Caml and the > currently supported scripting languages (Python) completely documented?
You will find information about the API in the wiki http://cocci.ekstranet.diku.dk/wiki/doku.php For iterations, it is only supported in OCaml scripting. In that case, you can take a look at the iteration.cocci example mentioned by Julia and the presentation of the 4th workshop about Advanced Smpl http://coccinelle.lip6.fr/papers.php http://coccinelle.lip6.fr/papers/cocciwk4_talk2.pdf > > >> The position variable unambiguously identifies what code is matched, >> so you can put there whatever you want. > > The semantic patch language can extract potential update candidates from the > analysed source file. I'm still unsure if each of the provided positions can > be directly connected with source code adjustments in a general way by the > means of SmPL alone. I'm not sure to understand what you want. Positions are directly connected with tokens in the original C code. There are not related to "adjustements". Also, what do you mean by "in a general way by the means of SmPL alone." > > Regards, > Markus > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > -- Nicolas Palix http://proton.inrialpes.fr/~npalix/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
