On Thu, 28 Jul 2016, SF Markus Elfring wrote:
> > Version 1.0.4 is released. This removes the make of spgen when making
> > spatch, removes the pre-generated menhir file when menhir is available,
> > and adds the ability to reason about the lengths of statement lists.
>
> I am becoming interested in this functionality a bit more.
>
>
> The documentation contains information like the following so far.
> https://github.com/coccinelle/coccinelle/blob/3b52bd3c6960dc996186e1c58c96355db288825c/docs/manual/cocci_syntax.tex#L181
>
> "…
> metadecl ::=
> …
> | parameter list [ id ] ids ;
> | parameter list [ const ] ids ;
> …
> | statement [list] ids ;
> …
> | expression list [ id ] ids ;
> expression list [ const ] ids ;
> …"
>
>
> Which programming interfaces (for OCaml and Python) will make it possible
> to determine the length of statement sequences
>
> Would it make sense to extend the support for statement lists
> in a way which is similar to the other list types in the semantic
> patch language?
I believe that it is already possible.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
