8.1.1.1.2 CreateMutableBinding ( N, D )

用于声明性环境记录的具体的环境记录方法 CreateMutableBinding 为未初始化的名称 N 创建一个新的可变绑定。 N 的此环境记录中不能存在绑定。如果布尔参数 D 的值为 true,则新绑定将标记为要删除。

  1. 使 envRec 变为调用该方法的声明性环境记录。
  2. 断言:envRec 不具有 N 的绑定。

  3. envRec 中为 N 创建一个可变绑定,并记录它是未初始化的。 如果 D 为真,则记录新创建的绑定可以通过随后的 DeleteBinding 调用来删除。

  4. 返回 NormalCompletion(empty)。

results matching ""

    No results matching ""