From: Keith Thompson <kst-u@mib.org>
Subject: Re: How unchecked conversion works?
Date: Sat, 15 Jan 2005 01:27:15 GMT
Date: 2005-01-15T01:27:15+00:00 [thread overview]
Message-ID: <lnr7kncwi5.fsf@nuthaus.mib.org> (raw)
In-Reply-To: mailman.57.1105744501.527.comp.lang.ada@ada-france.org
Marius Amado Alves <amado.alves@netcabo.pt> writes:
>> Don't use unchecked_conversion for what?
>
> For converting an real to an integer.
>
>> I think the original poster
>> was specifically asking about the semantics of an unchecked_conversion
>> from fixed to integer, not about a type conversion.
>
> Does the ARM specify the internal representation of numerical values?
> Only that would give the sought predictability.
I don't think it *quite* specifies the internal representation, but
the requirements on the representable values strongly imply that
they're represented as scaled integers.
--
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-15 1:27 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
2005-01-14 23:15 ` Marius Amado Alves
2005-01-15 1:27 ` Keith Thompson [this message]
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