信息技术 程序设计语言 Ada

[中文适用范围]： 本国际标准规定了用 Ada 编写的程序的形式和含义。 其目的是促进Ada程序向各种数据处理系统的可移植性。 1 范围 本国际标准规定： · 用 Ada 编写的程序的形式； · 翻译并执行这样的程序的效果； · 程序单元组合形成 Ada 程序的方式； · 需要一致的实现来提供的语言定义的库单元； · 标准内允许的变化以及记录这些变化的方式； · 那些违反标准的行为需要一致的实现来检测，以及尝试翻译或执行包含此类违规行为的程序的影响； · 那些违反标准的行为不需要一致性实施来检测。 本国际标准没有规定： · 将 Ada 编写的程序转换为处理器可执行的目标代码的方法； · 调用程序的翻译或执行以及控制执行单元的方式； · 目标代码的大小或速度，或不同语言结构的相对执行速度； · 实施产生的任何列表的形式或内容；特别是错误或警告消息的形式或内容； · 未指定执行的效果。 · 项目或项目单元的规模将超出特定的一致性实施的能力。 2 结构 本国际标准包含十三节、十四个附录和一个索引。 Ada 语言的核心包括： · 第 1 节到第 13 节 · 附件 A，“预定义的语言环境” · 附件 B，“与其他语言的接口” · 附件 J，“过时的功能” 以下特殊需求附件定义了以下功能：某些应用领域需要： · 附件 C，“系统编程” · 附件 D，“实时系统” · 附件 E，“分布式系统” · 附件 F，“信息系统” · 附件 G，“数值” · 附件 H， “安全和安保” 核心语言和特殊需求附件是规范性的，但下面列出的每个项目中的材料都是信息性的： · 注释或示例标题下的文本。 · 标题以“Example”或“Examples”开头的每个条款或子条款。 所有实现都应符合核心语言。 此外，实施可以单独符合一个或多个特殊需求附件。 以下附件提供了信息： · 附件 K，“语言定义的属性” · 附件 L，“语言定义的编译指示” · 附件 M，“实现定义的特性” · 附件 N，“术语表” · 附件 P，“语法摘要" 每个部分都分为具有共同结构的条款和子条款。 每个部分、条款和子条款首先介绍其主题。 在介绍性文本之后，文本标有以下标题： 语法 语法规则（缩进）。 名称解析规则 用于名称解析的编译时规则，包括重载解析。 合法性规则 在编译时强制执行的规则。 如果一个构造遵守所有合法性规则，则该构造是合法的。 静态语义 每个构造的编译时效果的定义。 编译后规则 在运行分区之前强制执行的规则。 如果一个分区的编译单元合法并且遵守所有编译后规则，则该分区是合法的。 动态语义 每个构造的运行时效果的定义。 有界（运行时）错误 导致有界（运行时）错误的情况（参见 1.1.5）。 错误执行 导致错误执行的情况（见 1.1.5）。 实施要求 符合实施的附加要求。 文档要求 符合实施的文档要求。 指标 为某些语言缺点执行的时间/空间属性指定的指标