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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c6517ef820c06ae0
X-Google-Attributes: gid103376,public
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: generic formal object parameters of mode 'in out'
Date: 2000/11/06
Message-ID: <wccitq06ha8.fsf@world.std.com>#1/1
X-Deja-AN: 690388553
Sender: bobduff@world.std.com (Robert A Duff)
References: <3a06dc1c.259466533@news.rrds.co.uk>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 2000-11-06T00:00:00+00:00
List-Id: <comp.lang.ada>

steve.folly@rdel.co.uk (Steve Folly) writes:

> While reading the ARM today I noticed it's possible to specify generic
> formal objects of mode 'in out'.
> 
> I was just wondering what use this could have?

Only a little.

> Am I right in thinking that by making Template an 'in out', I don't
> need The_Template.

No.  The visibility rules have nothing to do with the mode.
The fact that you can't see the formals from outside is an
annoyance, but no big deal, and is not affected by 'in' vs
'in out'.

> And, if it is now an 'in out', can I change Template at any time
> outside of the instantiation (or inside it) ?

It's a (view of a) variable, and so can be modified.

- Bob