Ada Programming/Attributes/'Index

Description

edit

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

Example

edit
EIndex return entry_index_subtype