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,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!decwrl!mips!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!sei!jbg
From: jbg@sei.cmu.edu (John Goodenough)
Newsgroups: comp.lang.ada
Subject: Re: question re semantics of Ada length clause
Message-ID: <8125@fy.sei.cmu.edu>
Date: 6 Aug 90 13:30:16 GMT
References: <9008042114.AA11484@boardwalk.mitre.org.mitre.org>
Organization: Carnegie-Mellon University (Software Engineering Institute), Pgh, PA
In-reply-to: howell@BOARDWALK.MITRE.ORG's message of 4 Aug 90 21:14:37 GMT
List-Id: <comp.lang.ada>


The following approved AI specifies answers to some of your questions.
Regarding warning messages, the Standard does not require them, but an
implementation is allowed to provide them.

John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391

!standard 13.02    (08)                                 90-07-06  AI-00558/03
!class binding interpretation 88-04-26
!status WG9-approved 90-06-15
!status ARG-approved (10+1-1-1) 89-10-25 (by ballot)
!status ARG-approved (9-0-1) 89-02-27 (pending letter ballot)
!status work-item 88-04-26
!topic Specifying a collection size

!summary 89-11-14

A collection size specification cannot be rejected at compile time just
because the specified collection size is too large.  If insufficient space
is available, STORAGE_ERROR must be raised when elaborating the length
clause. 

If a positive storage size is specified, an implementation must allocate at
least the specified amount of space; reasonable "rounding up" of the
specified amount is allowed, where reasonable is to be understood in terms
of the implementation's usual algorithm for allocating space.  The rounding
algorithm must be specified in Appendix F. 

No space beyond the initial allocation can be provided by an
implementation. If an attempted allocation of a designated object would
exceed the amount of remaining unallocated space, an implementation must
raise STORAGE_ERROR. 

If the specified storage size is zero or negative, no storage is reserved
for the collection.   

-- 
John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391