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
Path: 
 backlog3.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 08 Aug 2014 12:50:05 -0500
Date: Fri, 08 Aug 2014 13:50:04 -0400
From: Peter Chapin <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:31.0) Gecko/20100101 Thunderbird/31.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Indentation
References: <ls2su9$kh7$1@speranza.aioe.org>
 <0c2b1cf8-125b-44d6-9f46-2dc1c546e5c6@googlegroups.com>
 <ls30lf$cj2$2@dont-email.me> <6dCdndsS1IpUkXjO4p2dnAA@giganews.com>
In-Reply-To: <6dCdndsS1IpUkXjO4p2dnAA@giganews.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Message-ID: <nvqdnZNNopVTkHjO4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-tfu9ELp3hg4B+5pCwoffF0JcEznduU8Llt+wsztMmwgSgWPzbqUBxNU1QmL1q/epHShbhr9l7Gtds52!84Lc029Mqw6vL1wwoKC9ebRL3QgfGR0dnonyGuz/53vHnSvdVy4iw+QeWnYr0Rs=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2497
Xref: number.nntp.dca.giganews.com comp.lang.ada:188268
Date: 2014-08-08T13:50:04-04:00
List-Id: <comp.lang.ada>

On 2014-08-08 13:45, Peter Chapin wrote:

> I favor indenting the aspect. Consider the common case where there are
> multiple declarations at the same level...

I forgot to mention (sorry) that if the aspect's value is complex, such
as often the case for Pre, Post, and other assertions, it is normal for
the aspect itself to span multiple lines. Trying to put it on the same
line as the declaration is crazy in that case and not indenting it
doesn't work well either. Then, for consistency it seems natural to
treat all aspects the same way.

   -- Division returns quotient and remainder.
   procedure Divide (Dividend  : in  Very_Long;
                     Divisor   : in  Very_Long;
                     Quotient  : out Very_Long;
                     Remainder : out Very_Long)
      with
         Depends => (Quotient  => (Dividend, Divisor, Quotient),
                     Remainder => (Dividend, Divisor, Remainder)),
         Pre     => (not Is_Zero(Divisor)) and
                    (Divisor.Digit_Length  = Remainder.Digit_Length) and
                    (Dividend.Digit_Length = Quotient.Digit_Length ) and
                    (Dividend.Digit_Length = 2*Divisor.Digit_Length);

Peter