On Tue, 4 Dec 2018, Timur Tabi wrote:
> On Thu, Nov 15, 2018 at 3:29 PM Julia Lawall <[email protected]> wrote:
>
> > The name of the current function at a given match is available in a
> > position variable bound as part of that match. A position variable should
> > have a current_element field.
>
> Unfortunately, I don't understand what you're saying. I see some
> examples referencing the "position" in a Python script, but they don't
> make any sense to me, e.g.
>
> http://coccinelle.lip6.fr/docs/main_grammar016.html#sec27
>
> The example shows:
>
> @ r exists @
> local idexpression struct device_node *n;
> position p1, p2;
> statement S1,S2;
> expression E,E1;
>
> I assume when you say "position parameter", you're talking about the
> "position p1, p2;" above. If so, I'm completely confused.
In the example, p1 will store the position of n. In the python rule, you
can then access p1[0].current_element to get the name of the function in
which n occurs.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
