From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.31.110.203 with SMTP id j194mr640218vkc.15.1486642263725; Thu, 09 Feb 2017 04:11:03 -0800 (PST) X-Received: by 10.157.17.114 with SMTP id p47mr102648otp.6.1486642263655; Thu, 09 Feb 2017 04:11:03 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!feeder.erje.net!2.us.feeder.erje.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder1.iad1.usenetexpress.com!216.166.98.84.MISMATCH!border1.nntp.dca1.giganews.com!nntp.giganews.com!i7no318649qta.1!news-out.google.com!78ni1538itm.0!nntp.google.com!r185no493326ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 9 Feb 2017 04:11:03 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.55.210.103; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.55.210.103 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8aaa2cef-9ca2-4536-bdf2-1567947b9ab8@googlegroups.com> Subject: Re: Test for constant (or "in parameter" in procedure) From: AdaMagica Injection-Date: Thu, 09 Feb 2017 12:11:03 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:33284 Date: 2017-02-09T04:11:03-08:00 List-Id: 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.