Ada Programming/Attributes/'Index

From Wikibooks, open books for an open world

< Ada Programming‎ | Attributes

This page may need to be reviewed for quality.

Jump to navigation Jump to search

Description

[edit | edit source]

Within a precondition or postcondition expression for entry family E, denotes the value of the entry index for the call of E.

Example

[edit | edit source]

E’Index return entry_index_subtype

Retrieved from "https://en.wikibooks.org/w/index.php?title=Ada_Programming/Attributes/%27Index&oldid=4402615"

Book:Ada Programming