Re: [Cocci] Checking execution environment for Python code in SmPL scripts

[Julia Lawall]

On Sat, 20 Apr 2019, Markus Elfring wrote:

> >>  @initialize:python@
> >> +URL << virtual.database_URL;
> >
> > On the command line, your -D argument is URL, but here the variable is
> > called database_URL.
>
> I am sorry that I have overlooked the identifier mismatch here.
>
>
> > If you don't provide the variables needed by the initialize rule,
> > the initialize rule doesn't run.
>
> Thanks for your explanation.
>
> I would appreciate a more appropriate error message for such use cases.

Coccinelle doesn't know what you intend.  Executing the initialize rule is
not obligatory.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci