[Cocci] what is the function of 'position' in SMPL

Peter Senna Tschudin peter.senna at gmail.com
Mon Feb 17 14:34:49 CET 2014


p is a position metavariable. It is useful when you want to print line
and column numbers of interesting parts.

The @p means that the position of what matches to 'i' will be saved into p.

There is some information available at:
http://coccinelle.lip6.fr/docs/main_grammar.pdf

On Mon, Feb 17, 2014 at 6:45 AM, 林嘉(程二 福州) <linjia at ruijie.com.cn> wrote:
> e.g. in find_unsigned.cocci
>
> @u@ type T; unsigned T i; position p; @@
>  i at p < 0
>
>
> what is the difference with
>
> @u@ type T; unsigned T i; @@
>  i < 0
>
>
> and what is the meaning of operator '@' ahead 'p'?
>
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci



-- 
Peter


More information about the Cocci mailing list