Ada Programming/Attributes/'Definite

From Wikibooks, open books for an open world
< Ada Programming‎ | Attributes
Jump to navigation Jump to search

Description

[edit | edit source]

S'Definite yields True if the actual subtype corresponding to S is definite; otherwise, it yields False.

The value of this attribute is of the predefined type Boolean.

Example

[edit | edit source]
S’Definite return Boolean
Retrieved from "https://en.wikibooks.org/w/index.php?title=Ada_Programming/Attributes/%27Definite&oldid=4399647"