On 11/28/2010 01:20 PM, Julia Lawall wrote:
On Sun, 28 Nov 2010, Michael Stefaniuc wrote:
On 11/27/2010 01:44 PM, Vasiliy Kulikov wrote:
On Sat, Nov 27, 2010 at 13:27 +0100, Julia Lawall wrote:
position p != r.p;
Well, I wanted to do it, but if "r.p" is not found then the rule is not
processed:
--
@r@
identifier f ~= "no_such_f";
@@
f (...)
{
...
}
@@
identifier f != r.f;
Why don't you just use
identifier f !~= "no_such_f";
?
That way you don't need the first rule at all.
I don't think this is supported. We are just using OCaml regular
expressions, and I don't think there is a notion of complement. But
Nicolas would know better.
It is supported. I used it and there is even an example in
demos/regexp.cocci
bye
michael
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
