From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Out parameters and unconstrained variant types
Date: Fri, 27 Jun 2008 09:58:43 +0200
Date: 2008-06-27T09:58:43+02:00 [thread overview]
Message-ID: <1syw5liuf8rra$.vtk0cmvbgsfj.dlg@40tude.net> (raw)
In-Reply-To: c6f8a097-4675-4335-bbda-ae552be2e8e6@m73g2000hsh.googlegroups.com
On Thu, 26 Jun 2008 17:22:29 -0700 (PDT), Gene wrote:
> type Conditional_Result (Exists : Boolean := False) is
[...]
> ALRM 2005 and Barnes seem to say the procedure Do_Something will know
> that rtn in foo is unconstrained and allow both calls to succeed.
Since you have a default value for the discriminant, it is perfectly OK to
assign it changing the constraint. This does not depend on wither the
parameter is in out or out. There shall be no Constraint_Error.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2008-06-27 7:58 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-27 0:22 Out parameters and unconstrained variant types Gene
2008-06-27 0:49 ` anon
2008-06-27 2:40 ` Adam Beneschan
2008-06-27 7:11 ` Georg Bauhaus
2008-06-27 7:58 ` Dmitry A. Kazakov [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