On Wed, 7 Sep 2011, SF Markus Elfring wrote:
> > What would the point be?
>
> I assume that you might be used to benefits from comand line interfaces like
> bash or git for some use cases.
Coccinelle has a command line interface, using the -sp argument.
> I suggest to construct and apply semantic patches by additional commands
> that can be executed by an OCaml interpreter. This approach would
> provide an alternative and interactive way for change specifications.
Personally, my use of the ocaml interpreter is limited to computing the
value of arithmetic expressions and finding the types of various
functions. I never do any useful work at that level. It could be more
interesting to compile coccinelle as an ocaml library that could be called
from other functions.
Actually, the coccinelle make file may already have the capability to
generate an ocaml interpreter (top level) that has coccinelle built into
it in some way. Maybe someone else knows.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
