Re: The concept of semantic patching

["J-P. Rosen" <rosen@adalog.fr>]

Le 09/08/2011 17:50, Yannick Duchêne (Hibou57) a écrit :
> Le Mon, 08 Aug 2011 20:20:08 +0200, Ludovic Brenta
> <ludovic@ludovic-brenta.org> a écrit:
> Hi Ludovic,
> 
>> adasubst and adadep from Adalog and Jean-Pierre Rosen.
>>
>> http://www.adalog.fr/compo1.htm#adadep
>>
> AdaDep don't play in the same area. AdaSubst is more close, but don't do
> the same. Some part of what Coccinelle do, as far I understand it, could
> be done with AdaControl, some other part with AdaSubst. But look at how
> the patch works, as exposed in
> http://coccinelle.lip6.fr/Intro_gen.pdf
> Seems to be able to insert instructions at relevant place too (that's
> why I feel this is more than classical refactoring, although this is
> still kind of refactoring). Unless I am wrong about AdaSubst can do, I
> believe it does not come this ability.
> 
AdaSubst does only (semantic) identifiers substitution. But it comes
with a package ("Producer") which makes it easy to perform any
transformation on source code.

I didn't investigate what Coccinelle really does, but if anybody is
tempted to do it... Since Coccinelle  means Ladybug, it could be called
Ladabug :-)

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Adalog a déménagé / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00