Re: Indentation

[Peter Chapin <PChapin@vtc.vsc.edu>]

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