On Wed, 10 Oct 2018, Timur Tabi wrote:
> On Wed, Oct 10, 2018 at 10:37 AM Julia Lawall <[email protected]> wrote:
> > You can't put multiple @@'s at the beginning of a rule. This should be
> > just:
> >
> > @r depends on rules@
> > ...
> > @@
>
> I'll admit, I don't really understand any of the @ syntax. I must
> have copy/pasted too aggressively. Thanks, it works now.
You have one @@ before the metavariables and one after. The one before
can contain some other information. The grammar is not completely
correct, but youcan get an idea of what you can put between the initial @@
on page 2 here: docs/manual/main_grammar.pdf
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci