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=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.159.36.72 with SMTP id 66mr55792566uaq.9.1470200666843; Tue, 02 Aug 2016 22:04:26 -0700 (PDT) X-Received: by 10.157.9.72 with SMTP id 66mr772735otp.13.1470200666759; Tue, 02 Aug 2016 22:04:26 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!j37no6385154qta.0!news-out.google.com!d130ni23079ith.0!nntp.google.com!f6no6924706ith.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 2 Aug 2016 22:04:25 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=105.235.154.114; posting-account=RLLoCgoAAAAlrjFze52eMRxLw8Zw6JGC NNTP-Posting-Host: 105.235.154.114 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <677b076a-4cfb-4972-b5e5-d56c86e2179f@googlegroups.com> Subject: Representation clause of a discriminated record From: David SAUVAGE Injection-Date: Wed, 03 Aug 2016 05:04:26 +0000 Content-Type: text/plain; charset=UTF-8 X-Received-Bytes: 1533 X-Received-Body-CRC: 1081125625 Xref: news.eternal-september.org comp.lang.ada:31260 Date: 2016-08-02T22:04:25-07:00 List-Id: Hi.all, For a data frame which length can vary, we have described this data frame as a record, and wish to describe it's representation clause. What would be a valid representation clause for the following discriminated record ? (taken from the Ada wikibook [1]) type Discriminated_Record (Size : Natural) is record A : String (1 .. Size); end record; [1] https://en.wikibooks.org/wiki/Ada_Programming/Types/record#Discriminated_record