On Tue, 1 Feb 2011, SF Markus Elfring wrote: > > You will find information about the API in the wiki > > http://cocci.ekstranet.diku.dk/wiki/doku.php > > Thanks for the link. > > I would not categorise the articles in the section "Play with your ladybug and > python" as a complete documentation for the application programming interfaces > between Objective Caml and the currently supported scripting language(s) so > far.
Indeed, similar documentation should be written for the OCaml API. But except for the addition of iteration it at most resembles the python one. > I am looking also for a description of your O'Caml class library. This is not likely to happen. It would be a very large amount of work, and I don't think many people would want to use very much of it. There are a lot of other documentation priorities that should be addressed before that :) > > I'm not sure to understand what you want. > > I hope that I can clarify my ideas a bit more ... > > > > Positions are directly connected with tokens in the original C code. > > There are not related to "adjustements". > > The semantic patch language can capture some data in position variables. > http://cocci.ekstranet.diku.dk/wiki/doku.php?id=source_location_information > > The plus character (+) denotes source code adjustments in patches usually and > not a call to an external programming language. I'm not sure what the point is here. + is indeed for transformation. Once you have made a transformation, you can no longer refer to previously saved positions, as positions are not updated according to the transformations that have occurred. > > Also, what do you mean by "in a general way by the means of SmPL alone." > > Can fixes (or source code transformations) for the completion of error > detection and corresponding exception handling be only specified by the means > of the "+" notation? > http://coccinelle.lip6.fr/docs/main_grammar004.html I really think you should try to do what you want, and then come back with some concrete code that is or is not satisfactory. There are many ways of doing things, and many things that one may want to do, and it is not really possible to answer general questions like this. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
