Re: [Cocci] Further developments around function callbacks for SmPL metavariables?

2016-11-16 Thread Julia Lawall
On Thu, 17 Nov 2016, SF Markus Elfring wrote: > > The idea with the script constraints on metavariables feature is that the > > script code there should only contain a function call. > > I would like to add another view to this software evolution for > further considerations. > The purpose of

Re: [Cocci] Further developments around function callbacks for SmPL metavariables?

2016-11-16 Thread SF Markus Elfring
> The idea with the script constraints on metavariables feature is that the > script code there should only contain a function call. I would like to add another view to this software evolution for further considerations. The purpose of such a function call can be interpreted in different ways,

Re: [Cocci] SmPL script construction with included files

2016-11-16 Thread SF Markus Elfring
> > The idea with the script constraints on metavariables feature is that the > script code there should only contain a function call. The actual > function definition should be elsewhere; probably in an initialize rule. This information can be reasonable to some degree. How will the software

Re: [Cocci] SmPL script construction with included files

2016-11-16 Thread Julia Lawall
> I am thinking about an other use case a bit more where I have got a few > SmPL script templates which are working to some degree. If I would like > to use also the functionality “Script constraints on meta-variables” > (instead of a big regular expression) for a function name selection on >

[Cocci] Coccinelle-related engineer, PhD and postdoc positions

2016-11-16 Thread Julia Lawall
A PhD (3 years) and a postdoc position (15 months) are available at Inria/LIP6 in Paris in the Whisper team in the context of the joint ANR/NRF project "ITrans: Automatic inference of software transformation rules for automatically back and forward porting legacy infrastructure software". The PhD

Re: [Cocci] SmPL script construction with included files

2016-11-16 Thread Julia Lawall
On Wed, 16 Nov 2016, SF Markus Elfring wrote: > > In a script rule, the metavariable declarations are interpreted by > > Coccinelle, > > not the scripting language, so an include would not be allowed there. > > This detail was clear for me in principle. > > > > Script rules also don't have

Re: [Cocci] SmPL script construction with included files

2016-11-16 Thread SF Markus Elfring
> In a script rule, the metavariable declarations are interpreted by Coccinelle, > not the scripting language, so an include would not be allowed there. This detail was clear for me in principle. > Script rules also don't have constraints on metavariables anyway, Can other SmPL rule types

Re: [Cocci] SmPL script construction with several initialisation parts

2016-11-16 Thread SF Markus Elfring
Can such initialisation code be constructed by the specification of several script parts there? >>> I don't understand the question. >> I suggest to consider corresponding design consequences again. >> >> >>> If the script language supports includes, then you can put includes in the >>>

Re: [Cocci] SmPL script construction with included files

2016-11-16 Thread Julia Lawall
On Wed, 16 Nov 2016, SF Markus Elfring wrote: > > I don't understand what it would mean for syntax to or not to matter. > > I am checking if the mentioned SmPL statement could be used just for the > inclusion of a bit of code for a metavariable constraint within a script > template. In a

Re: [Cocci] Help in interpreting results

2016-11-16 Thread Julia Lawall
On Wed, 16 Nov 2016, Reshetova, Elena wrote: > > >You may want to run coccinelle/scripts/idutils_index.sh in your code base. > > >Then if you use the argument --use-idutils it will select the relevant > > >files up front from the index and be even more >efficient. Skipping means > > >that it

Re: [Cocci] Help in interpreting results

2016-11-16 Thread Reshetova, Elena
> >You may want to run coccinelle/scripts/idutils_index.sh in your code base. > >Then if you use the argument --use-idutils it will select the relevant files > >up front from the index and be even more >efficient. Skipping means that it > >essentialy did a grep and didn't find anything. If the

Re: [Cocci] Help in interpreting results

2016-11-16 Thread Reshetova, Elena
>You may want to run coccinelle/scripts/idutils_index.sh in your code base. >Then if you use the argument --use-idutils it will select the relevant files >up front from the index and be even more >efficient. Skipping means that it >essentialy did a grep and didn't find anything. If the