comp.lang.ada
 help / color / mirror / Atom feed
From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Predicate and value attribute
Date: Mon, 25 Jan 2016 09:28:43 +0100
Date: 2016-01-25T09:28:43+01:00	[thread overview]
Message-ID: <87y4becbb8.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: 56a360fa$0$3294$426a74cc@news.free.fr

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?"

  parent reply	other threads:[~2016-01-25  8:28 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-01-23 11:16 Predicate and value attribute Xavier Petit
2016-01-24 11:38 ` AdaMagica
2016-01-25  8:28 ` Jacob Sparre Andersen [this message]
2016-01-25 14:52 ` Xavier Petit
2016-01-26  0:28   ` Anh Vo
2016-01-26 11:09     ` Xavier Petit
2016-01-26 18:06       ` Jeffrey R. Carter
2016-01-26 20:41         ` Anh Vo
2016-01-26 20:43       ` Simon Wright
2016-01-27 22:02         ` Xavier Petit
2016-01-28  7:56           ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox