Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help


13.10 Unchecked Access Value Creation

(1)
The attribute Unchecked_Access is used to create access values in an unsafe manner -- the programmer is responsible for preventing ``dangling references.''
Static Semantics
(2)
The following attribute is defined for a prefix X that denotes an aliased view of an object:
(3)
X'Unchecked_Access

(4)
(5)


Prev | Up | Next | Back | Forward
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

Ada WWW Home -- Email comments, additions, corrections, gripes, kudos, etc. to:

Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12