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.
I am looking also for a description of your O'Caml class library.
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.
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
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)