comp.lang.ada
 help / color / mirror / Atom feed
From: gauthier@unilim.fr (Michel Gauthier)
Subject: Re: access all definitive
Date: 27 Jan 1995 09:54:56 GMT
Date: 1995-01-27T09:54:56+00:00	[thread overview]
Message-ID: <gauthier-2701950948340001@164.81.60.62> (raw)
In-Reply-To: 1995Jan24.170441.8957@vax.sbu.ac.uk

In article <1995Jan24.170441.8957@vax.sbu.ac.uk>, fintan@vax.sbu.ac.uk wrote:

> re: access all query
> 
> [...]
> 
>   an access all type can only designate an aliased
>   variable and cannot designate a dynamic variable.
> 
>   an access variable is a la 83 and can only designate 
>   a dynamic variable and cannot designate an aliased
>   variable.

A dynamic variable a la 83 is intrinsicly aliased, with all
that can be implied by this property.

-- 
Michel Gauthier - Laboratoire d'informatique - 123 avenue Albert Thomas
F-87060 Limoges - fax +33()55457315
----- Are the messages that objects exchange also objects ? -----



  reply	other threads:[~1995-01-27  9:54 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-01-24 17:04 access all definitive fintan
1995-01-27  9:54 ` Michel Gauthier [this message]
1995-01-28 19:48   ` Robert Dewar
1995-01-30  5:24     ` Michael Feldman
1995-01-28  5:36 ` Cyrille Comar
1995-01-28  5:45 ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox