跳转到内容

Ada 编程/属性/'Index

Add links
来自 Wikibooks，开放的书籍，开放的世界
< Ada 编程 | 属性
此页面可能需要进行 质量审查。

描述

[编辑 | 编辑源代码]

在入口族 E 的先决条件或后置条件表达式中，表示对 E 的调用的入口索引的值。

示例

[编辑 | 编辑源代码]
E’Index return entry_index_subtype
检索自 "https://wikibooks.cn/wiki/Ada_Programming/Attributes/%27Index"
华夏公益教科书