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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a644fa9cd1a3869a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-28 21:45:48 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!ppp-1-42.cvx6.telinco.NET!not-for-mail
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Overriding 'Class'Input (was: List container strawman 1.1)
Date: Thu, 29 Nov 2001 05:12:24 -0000
Message-ID: <9u4i29$63stg$1@ID-25716.news.dfncis.de>
References: 
 <3BECA3B7.5020702@telepath.com><3BF0247D.4500975E@san.rr.com><5BXH7.22252$xS6.34813@www.newsranger.com><3BF052D3.ECEF3FF2@san.rr.com><dibI7.23087$xS6.35921@www.newsranger.com><3BF19FF8.7FE097EF@boeing.com><3BF27410.C899A16B@brighton.ac.uk><pOvI7.24339$xS6.38484@www.newsranger.com><3BF3EDE5.FE0ED701@brighton.ac.uk><SLbK7.30473$xS6.49203@www.newsranger.com>
 <700ht9.6k1.ln@127.0.0.1> <9tht9a$2j1ni$1@ID-25716.news.dfncis.de>
 <3piL7.34607$xS6.59455@www.newsranger.com> <9u0rkd$q9k$1@nh.pace.co.uk>
 <3C049C06.DF85EF80@angelfire.com> <9u2scm$lqg$1@nh.pace.co.uk>
 <we9N7.40988$xS6.68991@www.newsranger.com> <9u38pn$r7r$1@nh.pace.co.uk>
 <9paN7.41146$xS6.69394@www.newsranger.com>
 <ACaN7.41163$xS6.69385@www.newsranger.com> <9u3i3t$211$1@nh.pace.co.uk>
 <WzcN7.41321$xS6.69893@www.newsranger.com> <9u3m6a$3o0$1@nh.pace.co.uk>
NNTP-Posting-Host: ppp-1-42.cvx6.telinco.net (212.1.156.42)
X-Trace: fu-berlin.de 1007012746 6419376 212.1.156.42 (16 [25716])
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Xref: archiver1.google.com comp.lang.ada:17149
Date: 2001-11-29T05:12:24+00:00
List-Id: <comp.lang.ada>

In my proposal (V5R1), the types Unbounded_List and Bounded_List are both
definite. I override 'Read and 'Write to: (1) read/write the length (number
of data values); (2) read/write the values in order.

Since the types are definite, 'Input and 'Output simply call 'Read and
'Write respectively (RM95 13.13.2 (18-27)), so they will work correctly
automatically. Since the types are not tagged, there is no question about
'Class'Input or 'Class'Output.

The length is specified as being written by Natural'Write, so it can be
explicitly read and used to dimension a structure (e.g. an array) if
required.

--
Best wishes,
Nick Roberts