||||
总有机碳--/----/--.--.--|索引|搜索|语法|帮助

8.4使用条款

(1)

use_package_clause可以直接查看以下声明出现在包裹的可见部分；usetypeclause直接实现类型的基本运算符的可见性。

语法

(2)use_clause:：=use_package_clause|use_type_clause(3)use_package_clause:：=使用软件包名称｛，软件包名称｝；(4)use_type_clause：：=使用类型subype_mark{，subype_mark}；

合法性规则

(5)

use_package_clause的package_name应表示一个包。

静态语义

(6)

对于每个use_clause，都有一个特定的文本区域，称为scopeuse_clause的。对于library_unit_declaration或library_unit_renaming_declauration的context_clause中的use_clause，范围是声明的整个声明区域。对于中的use_clause主体的contextclause，范围是整个主体和任何子单元（包括多重嵌套子单元）。范围不包括context_clauses本身。

(7)

对于声明性区域内的use_clause，作用域为声明区域中紧跟useclause和之后的部分扩展到声明区域的末尾。然而，库单元私有部分中use_clause的范围不包括可见的该图书馆单位的任何公共后代的一部分。

(8)

对于由use_package_clause的package_name表示的每个包范围包含一个位置，每个声明立即出现在如果满足以下条件，则包的声明区域可能在此处可用声明在此处可见。对于每种T或T类由usetypeclause的子类型标记确定，其范围包含地方，T类型的每个基元运算符的声明可能如果其声明在此处可见，则在此处可见。

(9)

如果声明可能是可用可见的，则该声明是可用可视的，但在中除外这些命名冲突案例：

(10)

• 如果所考虑的位置在同形异义词的直接范围内声明。

(11)

• 具有相同的潜在可用可见声明除非每个标识符都是可重载声明。

动态语义

(12)

对use_clause的阐述没有任何效果。

示例

(13)

上下文子句中的use子句示例：

（14）和艾达。日历；使用Ada；

(15)

使用类型子句示例：

(16)使用类型Rational_Numbers。理性；--见7.1三分之二：基本原理_数量。有理数：=2/3；

||||
总有机碳--/----/--.--.--|索引|搜索|语法|帮助

--通过电子邮件将评论、补充、更正、抱怨、荣誉等发送至：