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,FREEMAIL_FROM
	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!news3.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!138.195.8.3.MISMATCH!news.ecp.fr!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: The concept of semantic patching
Date: Tue, 09 Aug 2011 17:50:33 +0200
Organization: Ada @ Home
Message-ID: <op.vzyeajpuule2fv@index.ici>
References: <op.vzun75ezule2fv@index.ici> <877h6n7okn.fsf@ludovic-brenta.org>
NNTP-Posting-Host: eaIeCEiooOYEq8aEHDAZcQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/11.50 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news2.google.com comp.lang.ada:21469
Date: 2011-08-09T17:50:33+02:00
List-Id: <comp.lang.ada>

Le Mon, 08 Aug 2011 20:20:08 +0200, Ludovic Brenta  =

<ludovic@ludovic-brenta.org> a =C3=A9crit:
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 wh=
y  =

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.


-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D  [Ep=
igrams on  =

Programming =E2=80=94 Alan J. =E2=80=94 P. Yale University]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [Idem]
Java: Write once, Never revisit