comp.lang.ada
 help / color / mirror / Atom feed
From: fintan@vax.sbu.ac.uk
Subject: re: access all definitive
Date: 24 Jan 95 17:04:41 GMT
Date: 1995-01-24T17:04:41+00:00	[thread overview]
Message-ID: <1995Jan24.170441.8957@vax.sbu.ac.uk> (raw)

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






             reply	other threads:[~1995-01-24 17:04 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-01-24 17:04 fintan [this message]
1995-01-27  9:54 ` access all definitive Michel Gauthier
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