[Cocci] parameter list to expression list?

Julia Lawall julia.lawall at lip6.fr
Mon Mar 25 22:27:04 CET 2013


On Mon, 25 Mar 2013, Michael Stefaniuc wrote:

> Hello,
> 
> is there an intrinsic way to get from a parameter list to an expression
> list? That would come in handy when forwarding from one function to
> another one. At the moment I help myself with a python rule that
> transforms the parameter list to an identifier but that feels clumsy.
> E.g. in SmPL pseudo code something like this would be nice:
> 
> @@
> type T;
> parameter list P;
> expression list E = P;
> expression ret;
> @@
>  T foo(P)
>  {
>      return
> -           ret
> +           bar(E)
>      ;
>  }

No, there is nothing. I guess your transformation gets rid of the types in 
the parameter list?  Perhaps what you would liek is a way to just match 
the list of identifier parts?

julia


More information about the Cocci mailing list