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,65ad09b31f65a27f
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.189.194 with SMTP id gk2mr9428786pbc.3.1324602104841;
        Thu, 22 Dec 2011 17:01:44 -0800 (PST)
MIME-Version: 1.0
Path: 
 lh20ni53539pbb.0!nntp.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Aspects, rep specs, shifts, conditional expressions,
 expression functions
Date: Thu, 22 Dec 2011 19:01:41 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <jd0jtn$21o$1@munin.nbi.dk>
References: <CB186063.D1C0%yaldnif.w@blueyonder.co.uk>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1324602103 2104 69.95.181.76 (23 Dec 2011 01:01:43 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 23 Dec 2011 01:01:43 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Date: 2011-12-22T19:01:41-06:00
List-Id: <comp.lang.ada>

"Bill Findlay" <yaldnif.w@blueyonder.co.uk> wrote in message 
news:CB186063.D1C0%yaldnif.w@blueyonder.co.uk...
...
>   type blockage is (buffer_busy, locked_out) with Size => 1;

Minor stylistic comment:
The intended style for aspect_specifications is to have them indented on the 
line following the declaration, as follows:

   type blockage is (buffer_busy, locked_out)
      with Size => 1;

We had a huge argument about this in the ARG. Note that the recommended 
indentation style for any Ada construct is that shown in the syntax diagrams 
in the RM. (The layout of those productions is not random, even if a lot of 
people think it is!)

Of course, you can do whatever you want -- just keep in mind that there is 
an intended style for Ada.

                                  Randy.