From: "Robert I. Eachus" <eachus@mitre.org>
Subject: Re: Package with initialization only
Date: 1999/07/22
Date: 1999-07-22T18:05:20+00:00 [thread overview]
Message-ID: <37975E15.931CF7E8@mitre.org> (raw)
In-Reply-To: 37961DD6.E56BD3E9@maths.unine.ch
Gautier wrote:
> A small "aesthetic" problem: I have a package with initialization only;
> thus I must add a dummy procedure to resolve the with/without body
> ambiguity Ada95 doesn't accept. There is surely a more elegant formulation,
> surely with OO, since the initialization procedure affects the public
> variable of the package. Its present state:
This was considered when the change in the rule for package bodies was
made, the solution was to add a legality rule--RM 10.2.1(25): "If a
pragma Elaborate_Body applies to a declaration, then the declaration
requies a completion (a body)."
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
prev parent reply other threads:[~1999-07-22 0:00 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-21 0:00 Package with initialization only Gautier
1999-07-21 0:00 ` Gautier de Montmollin
1999-07-21 0:00 ` Robert A Duff
1999-07-21 0:00 ` Ted Dennison
1999-07-21 0:00 ` Samuel T. Harris
1999-07-21 0:00 ` David C. Hoos, Sr.
1999-07-22 0:00 ` David Kristola
1999-07-22 0:00 ` Samuel T. Harris
1999-07-22 0:00 ` Ted Dennison
1999-07-22 0:00 ` Marin David Condic
1999-07-22 0:00 ` laoxhai
1999-07-21 0:00 ` Martin C. Carlisle
1999-07-22 0:00 ` Robert I. Eachus [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox