Ada Programming/Attributes/'Initialized

Description

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

This article is issued from Wikibooks. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.