On Sun, 28 Nov 2010, Michael Stefaniuc wrote:
> 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
Ah :) Thanks. I didn't implement the regexp stuff, and I only very rarely
use it...
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
