Article View: fr.comp.lang.ada
Article #48Re: separate
From: J-P. Rosen
Date: Wed, 10 Oct 2012 20:18
Date: Wed, 10 Oct 2012 20:18
21 lines
2340 bytes
2340 bytes
Le 10/10/2012 16:31, Yannick DuchĂȘne (Hibou57) a Ă©crit : >> En fait, j'imagine que la clause 'separate' permet de faire "comme si" >> une partie du code Ă©tait dĂ©jĂ rĂ©alisĂ©e. > > Non, câest juste pour dire que le source dâun sousâprogramme se trouve > dans un autre fichier, rien de moins et rien de plus. Si quand mĂȘme. On peut compiler du code qui utilise un SP separate mĂȘme si on n'a pas encore Ă©crit le corps, ce qui peut ĂȘtre utilisĂ© pour coder "top down". Avec un bĂ©mol cependant: avec les compilateurs "source" (et en particulier GNAT), le code n'est pas gĂ©nĂ©rĂ© si tous les corps sĂ©parĂ©s ne sont pas prĂ©sents. Mais on peut quand mĂȘme compiler pour vĂ©rifier que les spĂ©cifications correspondent bien Ă ce que l'on veut en faire. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr
Technical Details
Message-ID:
<k54l78$4rq$1@dont-email.me>Path:
arc1-ca.pugleaf.net!t10ni23662871pbh.0!nntp.google.com!news.glorb.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mailReferences:
<503e73cd$0$6456$426a34cc@news.free.fr> <87k3whfobn.fsf@ludovic-brenta.org> <503fad20$0$6452$426a34cc@news.free.fr> <op.wlyvyzlfule2fv@douda-yannick>Show Full Headers
Complete Article Headers
X-Google-Thread: 107e1d,9215e8272530eb
X-Google-NewGroupId: yes
X-Google-Attributes: gid43d0c745c,domainid0,public,usenet
X-Google-Language: FRENCH,UTF8
Received: by 10.66.77.131 with SMTP id s3mr2355796paw.24.1349900329252;
Wed, 10 Oct 2012 13:18:49 -0700 (PDT)
Path: arc1-ca.pugleaf.net!t10ni23662871pbh.0!nntp.google.com!news.glorb.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: fr.comp.lang.ada
Subject: Re: separate
Date: Wed, 10 Oct 2012 22:18:48 +0200
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <k54l78$4rq$1@dont-email.me>
References: <503e73cd$0$6456$426a34cc@news.free.fr> <87k3whfobn.fsf@ludovic-brenta.org> <503fad20$0$6452$426a34cc@news.free.fr> <op.wlyvyzlfule2fv@douda-yannick>
Mime-Version: 1.0
Injection-Date: Wed, 10 Oct 2012 20:18:48 +0000 (UTC)
Injection-Info: mx04.eternal-september.org; posting-host="709a3b9124d052b085bf6fc3f0a2adab";
logging-data="4986"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19nmN3UBHVyxfxDkYYiYrjQ"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1
In-Reply-To: <op.wlyvyzlfule2fv@douda-yannick>
Cancel-Lock: sha1:hEVArn2h7h0Hqn7O9QLku8lokUo=
X-Enigmail-Version: 1.4.4
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit