From: Bryan@SU-SIERRA.ARPA.UUCP
Subject: numeric base types
Date: Sat, 12-Jul-86 03:50:54 EDT [thread overview]
Date: Sat Jul 12 03:50:54 1986
Message-ID: <12222025438.13.BRYAN@su-sierra.arpa> (raw)
>>Are all numeric base types anonymous?
All the following must be true:
Short_Integer'First = Short_Integer'Base'First
Short_Integer'Last = Short_Integer'Base'Last
Integer'First = Integer'Base'First
Integer'Last = Integer'Base'Last
Long_Integer'First = Long_Integer'Base'First
Long_Integer'Last = Long_Integer'Base'Last
RM 3.5.4(7), 3.5.7(8)
All base type are either predefined or anonymous. The same is true
for the predefined fixed point types. The base type of the predefined integer
and fixed point types is the type itself.
--------------
>>Concerning safe numbers, consider:
>> type F is digits 4;
>>May it be true that F'Safe_Small < F'Small? May safe numbers exist within
>>a model interval?
>>Must it be true that
For any floating point type F:
F'Safe_Small <= F'Small
F'Base'Safe_Small = F'Safe_Small
F'Base'Digits >= F'Digits
RM 3.5.8(18).
The safe numbers of a fixed point type are the model numbers of its base
type (RM 3.5.9/11). As far as I can tell, Duration need not be its own
base type.
doug
-------
reply other threads:[~1986-07-12 7:50 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox