From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5c2142ee5e956186 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!feedme.ziplink.net!news.swapon.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: The concept of semantic patching Date: Tue, 09 Aug 2011 18:38:36 +0200 Organization: A noiseless patient Spider Message-ID: References: <877h6n7okn.fsf@ludovic-brenta.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Tue, 9 Aug 2011 16:38:37 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="mg0R5YuliEZkJMrS+8IkZQ"; logging-data="2697"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19iKuzRwzlDSYwVvMFX/WBe" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:5.0) Gecko/20110624 Thunderbird/5.0 In-Reply-To: Cancel-Lock: sha1:K0ld5djlp56SBf/b6Dtt95rOs8I= Xref: g2news2.google.com comp.lang.ada:21470 Date: 2011-08-09T18:38:36+02:00 List-Id: Le 09/08/2011 17:50, Yannick Duchêne (Hibou57) a écrit : > Le Mon, 08 Aug 2011 20:20:08 +0200, Ludovic Brenta > 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