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=-1.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b14cbbd362590ac9 X-Google-Attributes: gid103376,public From: Nick Roberts Subject: Re: Rep-spec question Date: 1999/11/12 Message-ID: <382C58BE.B047EA0D@callnetuk.com>#1/1 X-Deja-AN: 547843209 Content-Transfer-Encoding: 7bit References: <80ck3b$deu$1@nnrp1.deja.com> <80clia$ein$1@nnrp1.deja.com> <80clr0$etf$1@nnrp1.deja.com> <80cqb7$if9$1@nnrp1.deja.com> X-Original-NNTP-Posting-Host: da132d181.dialup.callnetuk.com X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Trace: 12 Nov 1999 18:33:17 GMT, da132d181.dialup.callnetuk.com Organization: Computer Consultant MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-11-12T00:00:00+00:00 List-Id: Keith Thompson wrote: > ... > I think there's an AI that modifies the above advice. > ... It's AI95-00051/08 (98-04-01), which is binding. I won't quote the entire thing wholesale, but in the middle it says: ----- 3. For a non-aliased object, the implementation should support a Size clause specifying a Size up to (at least) the following values, which depends on the class of the object. (Similarly, the implementation should support a Component_Size clause and a record_representation_clause specifying the Size of a component up to (at least) these values, depending on the class of the component.) - For a signed integer, up to the Size of the largest signed integer type supported by the implementation. - For a modular integer, up to the Size of the largest modular type supported by the implementation. - For an object of an enumerated type, up to the Size of the largest signed integer type, or the largest modular type, whichever is smaller. For fixed point, floating point, access, and composite objects, the implementation need not support any Size other than what would be chosen by default. In the discrete case, any extra bits are set to appropriate values when assigning to the object whose Size has been specified; for example, the value being assigned should be zero-extended or sign-extended as appropriate. When reading from the object, any extra bits may be ignored. ----- Which I think more or less clarifies the question. -- Nick Roberts Computer Consultant (UK) http://www.callnetuk.com/home/nickroberts http://www.adapower.com/lab/adaos