Jump to content

Ada Programming/Attributes/'Index

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]

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/wiki/Ada_Programming/Attributes/%27Index"