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-Thread: 103376,ff63dd9ded39893d
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!h11g2000prf.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Array Syntax
Date: Fri, 29 Feb 2008 08:01:27 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <a4084f1f-9fbc-4341-b71c-dda167e06f85@h11g2000prf.googlegroups.com>
References: <f62dad2b-1e64-4289-bd05-3ce7db98ffee@k2g2000hse.googlegroups.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1204300887 3507 127.0.0.1 (29 Feb 2008 16:01:27
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 29 Feb 2008 16:01:27 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: h11g2000prf.googlegroups.com; posting-host=153.98.68.197;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.3)
	Gecko/20040924,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:20147
Date: 2008-02-29T08:01:27-08:00
List-Id: <comp.lang.ada>

No, what you have is an array of 35 arrays of 6 records. Each record
(of type Pixel_Data) has two components, Num_Of_Values and
Is_Valid_Data.

So:

 Buffer_Pixel_Data (12) (1).Is_Valid_Data := True;

is legal.

The index types for the outermost array and the 35 arrays within it
are different. This is good as it makes it more difficult to
inadvertently use the wrong index. For example:

for J in Buffer_Pixel_Data'Range loop
   for K in Buffer_Pixel_Range (J)'Range loop
       Buffer_Pixel_Data (K) (J) := -- ERROR
          (Num_Of_Values => 42, Is_Valid_Data => True);
   end loop;
end loop;

will give you a compile-time error because you inadvertently swapped J
and K. HTH

--
Ludovic Brenta.