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 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Predicate and value attribute Date: Mon, 25 Jan 2016 09:28:43 +0100 Organization: JSA Research & Innovation Message-ID: <87y4becbb8.fsf@adaheads.sparre-andersen.dk> References: <56a360fa$0$3294$426a74cc@news.free.fr> NNTP-Posting-Host: 93.165.155.46 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: loke.gir.dk 1453710523 30570 93.165.155.46 (25 Jan 2016 08:28:43 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 25 Jan 2016 08:28:43 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) Cancel-Lock: sha1:Lg+ZYqXxTNtO+phL/S8/FyTyjKs= Xref: news.eternal-september.org comp.lang.ada:29230 Date: 2016-01-25T09:28:43+01:00 List-Id: Xavier Petit wrote: > So I should never write "Positive'Value" right? It is completely okay to use "Positive'Value", but it generally only makes sense if you are putting the result into an object of type Positive. As S'Value attribute returns S'Base, "Integer'Value" isn't much more appropriate than "Positive'Value". Greetings, Jacob -- "The problem with America is stupidity. I'm not saying there should be a capital punishment for stupidity, but why don't we just take the safety labels off of everything and let the problem solve itself?"