Jump to content

Ada Programming/Attributes/'Unchecked Access

From Wikibooks, open books for an open world

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]
XUnchecked_Access (X:T) return access type