From: Keith Thompson <kst-u@mib.org>
Subject: Re: How unchecked conversion works?
Date: Fri, 14 Jan 2005 22:29:20 GMT
Date: 2005-01-14T22:29:20+00:00 [thread overview]
Message-ID: <ln7jmfejb4.fsf@nuthaus.mib.org> (raw)
In-Reply-To: mailman.51.1105718131.527.comp.lang.ada@ada-france.org
Marius Amado Alves <amado.alves@netcabo.pt> writes:
> As others have said, don't use unchecked_conversion for this.
> And yes, the result value if of course predictable, namely as per
> section 3.4 of the RM, enigmatically entitled "Type Conversions":
Don't use unchecked_conversion for what? I think the original poster
was specifically asking about the semantics of an unchecked_conversion
from fixed to integer, not about a type conversion.
--
Keith Thompson (The_Other_Keith) kst-u@mib.org <http://www.ghoti.net/~kst>
San Diego Supercomputer Center <*> <http://users.sdsc.edu/~kst>
We must do something. This is something. Therefore, we must do this.
next prev parent reply other threads:[~2005-01-14 22:29 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-01-13 18:54 How unchecked conversion works? None
2005-01-13 21:22 ` Frank J. Lhota
2005-01-13 22:28 ` Keith Thompson
2005-01-14 0:17 ` Larry Kilgallen
2005-01-14 15:23 ` None
2005-01-14 15:55 ` Marius Amado Alves
2005-01-14 22:29 ` Keith Thompson [this message]
2005-01-14 23:15 ` Marius Amado Alves
2005-01-15 1:27 ` Keith Thompson
2005-01-15 2:15 ` Larry Kilgallen
2005-01-15 10:24 ` Marius Amado Alves
2005-01-15 12:02 ` Larry Kilgallen
2005-01-15 16:54 ` Nick Roberts
2005-01-16 16:14 ` Larry Kilgallen
2005-01-16 16:41 ` Jeffrey Carter
2005-01-16 20:52 ` TCSEC security levels [was: How unchecked conversion works?] Nick Roberts
2005-01-17 15:57 ` Larry Kilgallen
2005-01-17 0:34 ` How unchecked conversion works? Larry Kilgallen
2005-01-17 1:29 ` Jeffrey Carter
2005-01-17 4:20 ` Larry Kilgallen
2005-01-15 18:24 ` Jeffrey Carter
2005-01-14 16:52 ` Mark H Johnson
2005-01-14 22:27 ` Keith Thompson
2005-01-14 22:49 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox