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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utcs!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!SU-SIERRA.ARPA!Bryan
From: Bryan@SU-SIERRA.ARPA.UUCP
Newsgroups: net.lang.ada
Subject: numeric base types
Message-ID: <12222025438.13.BRYAN@su-sierra.arpa>
Date: Sat, 12-Jul-86 03:50:54 EDT
Article-I.D.: su-sierr.12222025438.13.BRYAN
Posted: Sat Jul 12 03:50:54 1986
Date-Received: Sat, 12-Jul-86 08:45:17 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


 

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