411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Index
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
Within a precondition or postcondition expression for entry family E, denotes the value of the entry index for the call of E.
Example
E’Index return entry_index_subtype