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

林嘉(程二 福州) linjia at ruijie.com.cn
Tue Feb 18 08:26:59 CET 2014


Thank to all 

What the differentce among 'Identifier declaration statement' in metavariable portion?
I  just guess they all can be used to express a name of variable or function

For example:

@@
Identifier a; or declaration a;?
@@
...........



-----邮件原件-----
发件人: Peter Senna Tschudin [mailto:peter.senna at gmail.com] 
发送时间: 2014年2月17日 21:35
收件人: 林嘉(程二 福州)
抄送: cocci at systeme.lip6.fr
主题: Re: [Cocci] what is the function of 'position' in SMPL

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