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.
Do you know any documentation generators for your preferred programming
languages? Would you like to publish corresponding conversion results like class
diagrams from your build process?
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.
Thanks for your warning that source code adjustments can have additional side
effects during the patch process. ;-)
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.
I submitted also some bug reports for other software projects which show details
which I find improvable.
I find that your own examples like "Advanced SmPL: Finding Missing IS_ERR tests"
and "Finding Error Handling Bugs in OpenSSL using Coccinelle" show enough
opportunities for further patch generalisation I propose for the issue
"completion of error detection and corresponding exception handling".
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.
I disagree to this view. It may be that we have partly not yet found a "common
wave length" to clarify ideas a bit easier.
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
