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=-0.0 required=5.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4c41b799c707b3fa,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-24 09:04:41 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!howland.reston.ans.net!pipex!sunsite.doc.ic.ac.uk!vax.sbu.ac.uk!fintan
From: fintan@vax.sbu.ac.uk
Newsgroups: comp.lang.ada
Subject: re: access all definitive 
Message-ID: <1995Jan24.170441.8957@vax.sbu.ac.uk>
Date: 24 Jan 95 17:04:41 GMT
Organization: South Bank University
Date: 1995-01-24T17:04:41+00:00
List-Id: <comp.lang.ada>

re: access all query

It seems that my interpretation of the 95 LRM was
correct and that the gnat implementation is yet to 
be correctly implemented. i.e. 

  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.

fintan

_____________________________________________________________
Fintan Culwin PhD
Senior Lecturer Software Engineering
School of Computing
South Bank University
Borough Road
London SE1 0AA

Phone (+44) (0)171 815 7434
Fax   (+44) (0)171 815 7499

fintan@vax.sbu.ac.uk