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.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
