Jump to content

Ada Programming/Attributes/'Initialized

Add links
From Wikibooks, open books for an open world
< Ada Programming | Attributes
This page may need to be reviewed for quality.

Description

[edit | edit source]

For the syntax and semantics of this attribute, see the SPARK 2014 Reference Manual, section 6.10.

Retrieved from "https://en.wikibooks.org/wiki/Ada_Programming/Attributes/%27Initialized"