From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: limited agregate and limited components default initialization
Date: Tue, 3 Apr 2018 19:01:40 +0200
Date: 2018-04-03T19:01:40+02:00 [thread overview]
Message-ID: <pa0c1l$3se$1@dont-email.me> (raw)
In-Reply-To: <p9u7rm$23q$1@franka.jacob-sparre.dk>
> "Jean-Claude Rostaing" <00120260a@gmail.com> wrote in message
> news:d83d9dd1-3674-4299-ac9c-1bf5862ae0e2@googlegroups.com...
>
> Shouldn't the expression
> function
> function GET (Pointer : Pointer_Type) return Accessor_Type is
> (if Pointer.Pointer = null or else POINTER.Pointer.Value = null then
> raise EXC_NULL_POINTER_ACCESS
> else ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value));
> be strictly equivalent to
> function GET (Pointer : Pointer_Type) return Accessor_Type is
> begin
> if Pointer.Pointer = null or else POINTER.Pointer.Value = null then
> raise EXC_NULL_POINTER_ACCESS;
> else
> return ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value);
> end if;
> end GET;
Technically, the expression function is equivalent to
function Get (Pointer : Pointer_Type) return Accessor_Type is
begin
return (if Pointer.Pointer = null or else POINTER.Pointer.Value = null then
raise EXC_NULL_POINTER_ACCESS
else ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value));
end Get;
so it would be interesting to see what that does. I don't see any reason why
your non-expression version wouldn't also be equivalent, too, though.
--
Jeff Carter
"[A] brilliant military career that after thirty
years catapulted him to the rank of corporal."
Take the Money and Run
138
next prev parent reply other threads:[~2018-04-03 17:01 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-31 23:36 limited agregate and limited components default initialization Jean-Claude Rostaing
2018-04-01 0:52 ` Jere
2018-04-01 1:12 ` Jere
2018-04-01 1:16 ` Jean-Claude Rostaing
2018-04-01 1:34 ` Jere
2018-04-01 2:07 ` Jean-Claude Rostaing
2018-04-01 2:40 ` Jere
2018-04-01 2:54 ` Jere
2018-04-01 3:14 ` Jere
2018-04-01 3:31 ` Jere
2018-04-01 9:32 ` Jacob Sparre Andersen
2018-04-01 12:58 ` Jean-Claude Rostaing
2018-04-01 13:33 ` Dmitry A. Kazakov
2018-04-01 15:46 ` Jean-Claude Rostaing
2018-04-01 15:53 ` Jean-Claude Rostaing
2018-04-01 15:54 ` Jean-Claude Rostaing
2018-04-01 21:31 ` Dmitry A. Kazakov
2018-04-02 3:44 ` Randy Brukardt
2018-04-02 11:25 ` Jean-Claude Rostaing
2018-04-02 12:11 ` Dmitry A. Kazakov
2018-04-02 12:15 ` Jean-Claude Rostaing
2018-04-02 21:37 ` Randy Brukardt
2018-04-03 17:01 ` Jeffrey R. Carter [this message]
2018-04-05 10:27 ` AdaMagica
2018-04-02 3:42 ` Randy Brukardt
2018-04-01 22:52 ` Jean-Claude Rostaing
2018-04-01 23:36 ` Jean-Claude Rostaing
2018-04-01 23:39 ` Jean-Claude Rostaing
2018-04-02 18:19 ` Jere
2018-04-02 18:50 ` Dmitry A. Kazakov
2018-04-02 19:46 ` Jere
2018-04-02 19:59 ` Dmitry A. Kazakov
2018-04-02 21:03 ` Jean-Claude Rostaing
2018-04-03 8:14 ` Dmitry A. Kazakov
2018-04-03 1:27 ` Dennis Lee Bieber
2018-04-02 22:39 ` Robert I. Eachus
2018-04-03 18:18 ` Jean-Claude Rostaing
2018-04-03 18:28 ` Jean-Claude Rostaing
2018-04-03 19:18 ` Jeffrey R. Carter
2018-04-03 19:25 ` Jean-Claude Rostaing
2018-04-03 20:12 ` Jeffrey R. Carter
2018-04-03 22:37 ` Jean-Claude Rostaing
2018-04-04 2:18 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox