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,733faa8b7b00c147
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.maxwell.syr.edu!easynet-monga!easynet.net!feed4.jnfs.ja.net!feed2.jnfs.ja.net!feed1.jnfs.ja.net!jnfs.ja.net!xara.net!gxn.net!194.159.246.34.MISMATCH!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: basic ada question
Date: Fri, 19 Aug 2005 21:22:40 +0100
Organization: Pushface
Message-ID: <m2ek8phe27.fsf@grendel.local>
References: <NTnNe.64$_f.57@trnddc03>
 <slrndgc78g.igi.adi@ppc201.mipool.uni-jena.de>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1124482960 20030 62.49.19.209 (19 Aug 2005 20:22:40
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Fri, 19 Aug 2005 20:22:40 +0000 (UTC)
Cancel-Lock: sha1:mApNlWAJdY8IEKCeAMVt0Fnu9M0=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (darwin)
Xref: g2news1.google.com comp.lang.ada:4201
Date: 2005-08-19T21:22:40+01:00
List-Id: <comp.lang.ada>

Adrian Knoth <adi@thur.de> writes:

>> It seems to be optional and not required.
>
> You're not forced to use named parameters. It's just a feature to
> ease your life ;)

And it can really make it easier to understand a call and be sure you
have the parameters right;

      System.Pool_Size.Deallocate
        (Pool => System.Pool_Size.Stack_Bounded_Pool (Pool),
         Address => Address,
         Storage_Size => Storage_Size,
         Alignment => Alignment);

might look like overkill, but you can be sure it's what was meant.

I sometimes find myself using a mixed style,

               Invalidate (Current_Item (Using),
                           If_For_Instance =>
                             Instance_Base_P (For_The_Instance));

which is more of an annotation. Of course you need to name the
parameters so that they make sense when used like this (in particluar,
name them from the point of view of the caller).