From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Test for constant (or "in parameter" in procedure)
Date: Thu, 9 Feb 2017 04:11:03 -0800 (PST)
Date: 2017-02-09T04:11:03-08:00 [thread overview]
Message-ID: <8aaa2cef-9ca2-4536-bdf2-1567947b9ab8@googlegroups.com> (raw)
In-Reply-To: <ce914880-959e-48c9-8ffc-7f14cd022ed6@googlegroups.com>
What do you mean by testing for constantness?
An object is either declared constant or not; it's either an in-parameter or not.
But be careful: Especially for immutably limited types, you cannot (and need not) know what's going on behind the screen.
(E.g. what would a constant task object mean? And think of the Rosen trick!)
It's completely up to the implementor of an immutably limited object to behave correctly under all circumstances. You, the user, cannot know whether it's truely constant or not.
next prev parent reply other threads:[~2017-02-09 12:11 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-09 4:38 Test for constant (or "in parameter" in procedure) reinkor
2017-02-09 12:11 ` AdaMagica [this message]
2017-02-09 12:46 ` reinkor
2017-02-09 13:09 ` Dmitry A. Kazakov
2017-02-09 14:10 ` AdaMagica
2017-02-09 15:01 ` reinkor
2017-02-09 16:51 ` G.B.
2017-02-09 16:59 ` reinkor
2017-02-09 17:17 ` Dmitry A. Kazakov
2017-02-09 17:31 ` G.B.
2017-02-09 18:46 ` Niklas Holsti
2017-02-10 7:48 ` reinkor
2017-02-09 18:03 ` Jeffrey R. Carter
2017-03-26 20:57 ` Norman Worth
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox