comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Idiomatic formatting for empty package
Date: Tue, 10 Oct 2017 10:38:15 -0700 (PDT)
Date: 2017-10-10T10:38:15-07:00	[thread overview]
Message-ID: <0e07e8da-faf0-4124-adbf-c654d6193089@googlegroups.com> (raw)
In-Reply-To: <orilq8$c91$1@dont-email.me>

Am Dienstag, 10. Oktober 2017 16:34:51 UTC+2 schrieb Jeffrey R. Carter:
> On 10/10/2017 12:21 PM, AdaMagica wrote:
> > But those renamings don't clutter the user's namespace since the names may be
> > used for user-created packages: RM J.1(10), AARM A.2(4.a).
> 
> Yes, but I'd never use those names, since they'd confuse the reader, who would
> reasonably assume they were the renamings. So they're still effectively off limits.

Ha! This facility once redounded to my advantage when rehosting airborne Ada 83 code for a full scale flight simulator in Ada 95. Package Calendar had to be replaced by a simulated time calendar. Rather than searching the millions of lines of code and exchanging Calender by Sim_Calendar, I only had to declare
package Calendar renames Sim_Calendar;
(I know I was lucky because the airborne code used Ada 83 and I could use newer Ada generations.)


  reply	other threads:[~2017-10-10 17:38 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-10-04 21:36 Idiomatic formatting for empty package Victor Porton
2017-10-04 22:10 ` Victor Porton
2017-10-05  5:27   ` Re : " Pascal Obry
2017-10-05 18:10     ` marciant
2017-10-05 23:37       ` Randy Brukardt
2017-10-06 20:04         ` marciant
2017-10-07  1:55           ` Randy Brukardt
2017-10-05 23:36 ` Randy Brukardt
2017-10-06  8:47   ` Jeffrey R. Carter
2017-10-07  1:52     ` Randy Brukardt
2017-10-07  6:55       ` Jeffrey R. Carter
2017-10-09 21:45         ` Randy Brukardt
2017-10-10  7:12           ` Jeffrey R. Carter
2017-10-10 10:21             ` AdaMagica
2017-10-10 14:34               ` Jeffrey R. Carter
2017-10-10 17:38                 ` AdaMagica [this message]
2017-10-05 23:49 ` andrewshvets
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox