Ada Programming/Attributes/'Unchecked Access
Description
[edit | edit source]Same as X’Access but lacks accessibility rules/checks.
All rules and semantics that apply to X'Access apply also to X'Unchecked_Access, except that, for the purposes of accessibility rules and checks, it is as if X were declared immediately within a library package.
Example
[edit | edit source]X’Unchecked_Access (X:T) return access type