8.1.1.5.5 CreateImportBinding ( N, M, N2 )

模块环境记录的具体环境记录方法 CreateImportBinding 为名称 N 创建了一个新的初始化的不可变间接绑定。对于 N,此环境记录中不能存在绑定。M 是模块记录,N2 是绑定的名称 存在于 M 的模块环境记录中。 访问新绑定的值将间接访问目标绑定的绑定值。

  1. envRec 是调用该方法的模块环境记录。
  2. 断言:envRec不具有对 N 的绑定。
  3. 断言:M 是模块记录。
  4. 断言:当 M.[[Environment]] 被实例化时,它将具有对 N2 的直接绑定。
  5. envRec 中为 N 创建一个不可变的间接绑定,引用 M N2 作为其目标绑定,并记录绑定已初始化。
  6. 返回 NormalCompletion(empty)。

results matching ""

    No results matching ""