@next-core/cook 2.3.0 → 2.4.0

package/dist/esm/ExecutionContext.js

@@ -1,4 +1,20 @@
 import _defineProperty from "@babel/runtime/helpers/defineProperty";
+export let Mode = /*#__PURE__*/function (Mode) {
+  Mode[Mode["LEXICAL"] = 0] = "LEXICAL";
+  Mode[Mode["STRICT"] = 1] = "STRICT";
+  return Mode;
+}({});
+export const SourceNode = Symbol.for("SourceNode");
+export const FormalParameters = Symbol.for("FormalParameters");
+export const ECMAScriptCode = Symbol.for("ECMAScriptCode");
+export const Environment = Symbol.for("Environment");
+export const IsConstructor = Symbol.for("IsConstructor");
+export const ThisMode = Symbol.for("ThisMode");
+export const DebuggerCall = Symbol.for("$DebuggerCall$");
+export const DebuggerScope = Symbol.for("$DebuggerScope$");
+export const DebuggerNode = Symbol.for("$DebuggerNode$");
+export const DebuggerReturn = Symbol.for("$DebuggerReturn$");
+
 // https://tc39.es/ecma262/#sec-execution-contexts
 export class ExecutionContext {
   constructor() {
@@ -7,11 +23,20 @@ export class ExecutionContext {
     _defineProperty(this, "Function", void 0);
   }
 }
+export let BindingStatus = /*#__PURE__*/function (BindingStatus) {
+  BindingStatus[BindingStatus["UNINITIALIZED"] = 0] = "UNINITIALIZED";
+  BindingStatus[BindingStatus["LEXICAL"] = 1] = "LEXICAL";
+  BindingStatus[BindingStatus["INITIALIZED"] = 2] = "INITIALIZED";
+  return BindingStatus;
+}({});
+
 // https://tc39.es/ecma262/#sec-environment-records
 export class EnvironmentRecord {
   constructor(outer) {
     _defineProperty(this, "OuterEnv", void 0);
     _defineProperty(this, "bindingMap", new Map());
+    _defineProperty(this, "ThisValue", undefined);
+    _defineProperty(this, "ThisBindingStatus", void 0);
     this.OuterEnv = outer;
   }
   HasBinding(name) {
@@ -78,17 +103,39 @@ export class EnvironmentRecord {
     }
     return binding.value;
   }
+  HasThisBinding() {
+    return false;
+  }
 }
 export class DeclarativeEnvironment extends EnvironmentRecord {}
-export class FunctionEnvironment extends EnvironmentRecord {}
-export const SourceNode = Symbol.for("SourceNode");
-export const FormalParameters = Symbol.for("FormalParameters");
-export const ECMAScriptCode = Symbol.for("ECMAScriptCode");
-export const Environment = Symbol.for("Environment");
-export const IsConstructor = Symbol.for("IsConstructor");
-export const DebuggerCall = Symbol.for("$DebuggerCall$");
-export const DebuggerScope = Symbol.for("$DebuggerScope$");
-export const DebuggerNode = Symbol.for("$DebuggerNode$");
+export class FunctionEnvironment extends EnvironmentRecord {
+  constructor(F) {
+    super(F[Environment]);
+    if (F[ThisMode] === Mode.LEXICAL) {
+      this.ThisBindingStatus = BindingStatus.LEXICAL;
+    } else {
+      this.ThisBindingStatus = BindingStatus.UNINITIALIZED;
+    }
+  }
+  HasThisBinding() {
+    return this.ThisBindingStatus !== BindingStatus.LEXICAL;
+  }
+  BindThisValue(value) {
+    // Assert: envRec.[[ThisBindingStatus]] is not LEXICAL.
+    if (this.ThisBindingStatus === BindingStatus.INITIALIZED) {
+      throw new Error("This binding has been initialized");
+    }
+    this.ThisValue = value;
+    this.ThisBindingStatus = BindingStatus.INITIALIZED;
+  }
+  GetThisBinding() {
+    // Assert: envRec.[[ThisBindingStatus]] is not LEXICAL.
+    if (this.ThisBindingStatus === BindingStatus.UNINITIALIZED) {
+      throw new Error("This binding is not initialized");
+    }
+    return this.ThisValue;
+  }
+}
 // https://tc39.es/ecma262/#sec-reference-record-specification-type
 export class ReferenceRecord {
   constructor(base, referenceName, strict) {

package/dist/esm/ExecutionContext.js.map

@@ -1 +1 @@
-{"version":3,"file":"ExecutionContext.js","names":["ExecutionContext","constructor","_defineProperty","EnvironmentRecord","outer","Map","OuterEnv","HasBinding","name","bindingMap","has","CreateMutableBinding","deletable","set","mutable","NormalCompletion","undefined","CreateImmutableBinding","strict","InitializeBinding","value","binding","get","Object","assign","initialized","SetMutableBinding","_strict","ReferenceError","TypeError","GetBindingValue","DeclarativeEnvironment","FunctionEnvironment","SourceNode","Symbol","for","FormalParameters","ECMAScriptCode","Environment","IsConstructor","DebuggerCall","DebuggerScope","DebuggerNode","ReferenceRecord","base","referenceName","Base","ReferenceName","Strict","CompletionRecord","type","Type","Value","Empty"],"sources":["../../src/ExecutionContext.ts"],"sourcesContent":["import type {\n  ArrowFunctionExpression,\n  Expression,\n  FunctionDeclaration,\n  FunctionExpression,\n  Statement,\n} from \"@babel/types\";\nimport type { EstreeNode } from \"./interfaces.js\";\n\n// https://tc39.es/ecma262/#sec-execution-contexts\nexport class ExecutionContext {\n  VariableEnvironment?: EnvironmentRecord;\n  LexicalEnvironment?: EnvironmentRecord;\n  Function?: FunctionObject;\n}\n\nexport type EnvironmentRecordType = \"function\" | \"declarative\";\n\n// https://tc39.es/ecma262/#sec-environment-records\nexport class EnvironmentRecord {\n  readonly OuterEnv: EnvironmentRecord | null | undefined;\n  private readonly bindingMap = new Map<string, BindingState>();\n\n  constructor(outer: EnvironmentRecord | null | undefined) {\n    this.OuterEnv = outer;\n  }\n\n  HasBinding(name: string): boolean {\n    return this.bindingMap.has(name);\n  }\n\n  CreateMutableBinding(name: string, deletable: boolean): CompletionRecord {\n    // Assert: binding does not exist.\n    this.bindingMap.set(name, {\n      mutable: true,\n      deletable,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  /**\n   * Create an immutable binding.\n   *\n   * @param name - The binding name.\n   * @param strict - For named function expressions, strict is false, otherwise it's true.\n   * @returns CompletionRecord.\n   */\n  CreateImmutableBinding(name: string, strict: boolean): CompletionRecord {\n    // Assert: binding does not exist.\n    this.bindingMap.set(name, {\n      strict,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  InitializeBinding(name: string, value: unknown): CompletionRecord {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists and uninitialized.\n    Object.assign<BindingState, Partial<BindingState>>(binding, {\n      initialized: true,\n      value,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  /**\n   * Update a mutable binding value, including function declarations.\n   *\n   * @param name - The binding name.\n   * @param value - The binding value.\n   * @param strict - For functions, strict is always false, otherwise it depends on strict-mode.\n   * @returns\n   */\n  SetMutableBinding(\n    name: string,\n    value: unknown,\n    _strict?: boolean\n  ): CompletionRecord {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists.\n    if (!binding.initialized) {\n      throw new ReferenceError(`${name} is not initialized`);\n    } else if (binding.mutable) {\n      binding.value = value;\n    } else {\n      throw new TypeError(`Assignment to constant variable`);\n    }\n    return NormalCompletion(undefined);\n  }\n\n  GetBindingValue(name: string, _strict?: boolean): unknown {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists.\n    if (!binding.initialized) {\n      throw new ReferenceError(`${name} is not initialized`);\n    }\n    return binding.value;\n  }\n}\n\nexport class DeclarativeEnvironment extends EnvironmentRecord {}\n\nexport class FunctionEnvironment extends EnvironmentRecord {}\n\nexport interface BindingState {\n  initialized?: boolean;\n  value?: unknown;\n  mutable?: boolean;\n\n  /** This is used for mutable bindings only. */\n  deletable?: boolean;\n\n  /**\n   * This is used for immutable bindings only.\n   * For named function expressions, `strict` is false,\n   * otherwise it's true.\n   */\n  strict?: boolean;\n}\n\nexport const SourceNode = Symbol.for(\"SourceNode\");\nexport const FormalParameters = Symbol.for(\"FormalParameters\");\nexport const ECMAScriptCode = Symbol.for(\"ECMAScriptCode\");\nexport const Environment = Symbol.for(\"Environment\");\nexport const IsConstructor = Symbol.for(\"IsConstructor\");\nexport const DebuggerCall = Symbol.for(\"$DebuggerCall$\");\nexport const DebuggerScope = Symbol.for(\"$DebuggerScope$\");\nexport const DebuggerNode = Symbol.for(\"$DebuggerNode$\");\n\nexport interface FunctionObject {\n  (...args: unknown[]): unknown;\n  [SourceNode]:\n    | FunctionDeclaration\n    | FunctionExpression\n    | ArrowFunctionExpression;\n  [FormalParameters]: FunctionDeclaration[\"params\"];\n  [ECMAScriptCode]: Statement[] | Expression;\n  [Environment]: EnvironmentRecord;\n  [IsConstructor]: boolean;\n  [DebuggerCall]?: (...args: unknown[]) => IterableIterator<unknown>;\n  [DebuggerScope]?: () => EnvironmentRecord | null | undefined;\n  [DebuggerNode]?: () => EstreeNode | undefined;\n}\n\n// https://tc39.es/ecma262/#sec-reference-record-specification-type\nexport class ReferenceRecord {\n  readonly Base:\n    | Record<PropertyKey, unknown>\n    | EnvironmentRecord\n    | \"unresolvable\";\n  readonly ReferenceName: PropertyKey;\n  /** Whether the reference is in strict mode. */\n  readonly Strict?: boolean;\n\n  constructor(\n    base: Record<PropertyKey, unknown> | EnvironmentRecord | \"unresolvable\",\n    referenceName: PropertyKey,\n    strict: boolean\n  ) {\n    this.Base = base;\n    this.ReferenceName = referenceName;\n    this.Strict = strict;\n  }\n}\n\n// https://tc39.es/ecma262/#sec-completion-record-specification-type\nexport class CompletionRecord {\n  readonly Type: CompletionRecordType;\n  readonly Value: unknown;\n\n  constructor(type: CompletionRecordType, value: unknown) {\n    this.Type = type;\n    this.Value = value;\n  }\n}\n\nexport type CompletionRecordType =\n  | \"normal\"\n  | \"break\"\n  | \"continue\"\n  | \"return\"\n  | \"throw\";\n\n// https://tc39.es/ecma262/#sec-normalcompletion\nexport function NormalCompletion(value: unknown): CompletionRecord {\n  return new CompletionRecord(\"normal\", value);\n}\n\nexport const Empty = Symbol(\"empty completion\");\n\nexport interface OptionalChainRef {\n  skipped?: boolean;\n}\n"],"mappings":";AASA;AACA,OAAO,MAAMA,gBAAgB,CAAC;EAAAC,YAAA;IAAAC,eAAA;IAAAA,eAAA;IAAAA,eAAA;EAAA;AAI9B;AAIA;AACA,OAAO,MAAMC,iBAAiB,CAAC;EAI7BF,WAAWA,CAACG,KAA2C,EAAE;IAAAF,eAAA;IAAAA,eAAA,qBAF3B,IAAIG,GAAG,CAAuB,CAAC;IAG3D,IAAI,CAACC,QAAQ,GAAGF,KAAK;EACvB;EAEAG,UAAUA,CAACC,IAAY,EAAW;IAChC,OAAO,IAAI,CAACC,UAAU,CAACC,GAAG,CAACF,IAAI,CAAC;EAClC;EAEAG,oBAAoBA,CAACH,IAAY,EAAEI,SAAkB,EAAoB;IACvE;IACA,IAAI,CAACH,UAAU,CAACI,GAAG,CAACL,IAAI,EAAE;MACxBM,OAAO,EAAE,IAAI;MACbF;IACF,CAAC,CAAC;IACF,OAAOG,gBAAgB,CAACC,SAAS,CAAC;EACpC;;EAEA;AACF;AACA;AACA;AACA;AACA;AACA;EACEC,sBAAsBA,CAACT,IAAY,EAAEU,MAAe,EAAoB;IACtE;IACA,IAAI,CAACT,UAAU,CAACI,GAAG,CAACL,IAAI,EAAE;MACxBU;IACF,CAAC,CAAC;IACF,OAAOH,gBAAgB,CAACC,SAAS,CAAC;EACpC;EAEAG,iBAAiBA,CAACX,IAAY,EAAEY,KAAc,EAAoB;IAChE,MAAMC,OAAO,GAAG,IAAI,CAACZ,UAAU,CAACa,GAAG,CAACd,IAAI,CAAiB;IACzD;IACAe,MAAM,CAACC,MAAM,CAAsCH,OAAO,EAAE;MAC1DI,WAAW,EAAE,IAAI;MACjBL;IACF,CAAC,CAAC;IACF,OAAOL,gBAAgB,CAACC,SAAS,CAAC;EACpC;;EAEA;AACF;AACA;AACA;AACA;AACA;AACA;AACA;EACEU,iBAAiBA,CACflB,IAAY,EACZY,KAAc,EACdO,OAAiB,EACC;IAClB,MAAMN,OAAO,GAAG,IAAI,CAACZ,UAAU,CAACa,GAAG,CAACd,IAAI,CAAiB;IACzD;IACA,IAAI,CAACa,OAAO,CAACI,WAAW,EAAE;MACxB,MAAM,IAAIG,cAAc,CAAC,GAAGpB,IAAI,qBAAqB,CAAC;IACxD,CAAC,MAAM,IAAIa,OAAO,CAACP,OAAO,EAAE;MAC1BO,OAAO,CAACD,KAAK,GAAGA,KAAK;IACvB,CAAC,MAAM;MACL,MAAM,IAAIS,SAAS,CAAC,iCAAiC,CAAC;IACxD;IACA,OAAOd,gBAAgB,CAACC,SAAS,CAAC;EACpC;EAEAc,eAAeA,CAACtB,IAAY,EAAEmB,OAAiB,EAAW;IACxD,MAAMN,OAAO,GAAG,IAAI,CAACZ,UAAU,CAACa,GAAG,CAACd,IAAI,CAAiB;IACzD;IACA,IAAI,CAACa,OAAO,CAACI,WAAW,EAAE;MACxB,MAAM,IAAIG,cAAc,CAAC,GAAGpB,IAAI,qBAAqB,CAAC;IACxD;IACA,OAAOa,OAAO,CAACD,KAAK;EACtB;AACF;AAEA,OAAO,MAAMW,sBAAsB,SAAS5B,iBAAiB,CAAC;AAE9D,OAAO,MAAM6B,mBAAmB,SAAS7B,iBAAiB,CAAC;AAkB3D,OAAO,MAAM8B,UAAU,GAAGC,MAAM,CAACC,GAAG,CAAC,YAAY,CAAC;AAClD,OAAO,MAAMC,gBAAgB,GAAGF,MAAM,CAACC,GAAG,CAAC,kBAAkB,CAAC;AAC9D,OAAO,MAAME,cAAc,GAAGH,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AAC1D,OAAO,MAAMG,WAAW,GAAGJ,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AACpD,OAAO,MAAMI,aAAa,GAAGL,MAAM,CAACC,GAAG,CAAC,eAAe,CAAC;AACxD,OAAO,MAAMK,YAAY,GAAGN,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AACxD,OAAO,MAAMM,aAAa,GAAGP,MAAM,CAACC,GAAG,CAAC,iBAAiB,CAAC;AAC1D,OAAO,MAAMO,YAAY,GAAGR,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AAiBxD;AACA,OAAO,MAAMQ,eAAe,CAAC;EAS3B1C,WAAWA,CACT2C,IAAuE,EACvEC,aAA0B,EAC1B3B,MAAe,EACf;IAAAhB,eAAA;IAAAA,eAAA;IAPF;IAAAA,eAAA;IAQE,IAAI,CAAC4C,IAAI,GAAGF,IAAI;IAChB,IAAI,CAACG,aAAa,GAAGF,aAAa;IAClC,IAAI,CAACG,MAAM,GAAG9B,MAAM;EACtB;AACF;;AAEA;AACA,OAAO,MAAM+B,gBAAgB,CAAC;EAI5BhD,WAAWA,CAACiD,IAA0B,EAAE9B,KAAc,EAAE;IAAAlB,eAAA;IAAAA,eAAA;IACtD,IAAI,CAACiD,IAAI,GAAGD,IAAI;IAChB,IAAI,CAACE,KAAK,GAAGhC,KAAK;EACpB;AACF;AASA;AACA,OAAO,SAASL,gBAAgBA,CAACK,KAAc,EAAoB;EACjE,OAAO,IAAI6B,gBAAgB,CAAC,QAAQ,EAAE7B,KAAK,CAAC;AAC9C;AAEA,OAAO,MAAMiC,KAAK,GAAGnB,MAAM,CAAC,kBAAkB,CAAC","ignoreList":[]}
+{"version":3,"file":"ExecutionContext.js","names":["Mode","SourceNode","Symbol","for","FormalParameters","ECMAScriptCode","Environment","IsConstructor","ThisMode","DebuggerCall","DebuggerScope","DebuggerNode","DebuggerReturn","ExecutionContext","constructor","_defineProperty","BindingStatus","EnvironmentRecord","outer","Map","undefined","OuterEnv","HasBinding","name","bindingMap","has","CreateMutableBinding","deletable","set","mutable","NormalCompletion","CreateImmutableBinding","strict","InitializeBinding","value","binding","get","Object","assign","initialized","SetMutableBinding","_strict","ReferenceError","TypeError","GetBindingValue","HasThisBinding","DeclarativeEnvironment","FunctionEnvironment","F","LEXICAL","ThisBindingStatus","UNINITIALIZED","BindThisValue","INITIALIZED","Error","ThisValue","GetThisBinding","ReferenceRecord","base","referenceName","Base","ReferenceName","Strict","CompletionRecord","type","Type","Value","Empty"],"sources":["../../src/ExecutionContext.ts"],"sourcesContent":["import type {\n  ArrowFunctionExpression,\n  Expression,\n  FunctionDeclaration,\n  FunctionExpression,\n  Statement,\n} from \"@babel/types\";\nimport type { EstreeNode } from \"./interfaces.js\";\n\nexport enum Mode {\n  LEXICAL,\n  STRICT,\n}\n\nexport const SourceNode = Symbol.for(\"SourceNode\");\nexport const FormalParameters = Symbol.for(\"FormalParameters\");\nexport const ECMAScriptCode = Symbol.for(\"ECMAScriptCode\");\nexport const Environment = Symbol.for(\"Environment\");\nexport const IsConstructor = Symbol.for(\"IsConstructor\");\nexport const ThisMode = Symbol.for(\"ThisMode\");\nexport const DebuggerCall = Symbol.for(\"$DebuggerCall$\");\nexport const DebuggerScope = Symbol.for(\"$DebuggerScope$\");\nexport const DebuggerNode = Symbol.for(\"$DebuggerNode$\");\nexport const DebuggerReturn = Symbol.for(\"$DebuggerReturn$\");\n\n// https://tc39.es/ecma262/#sec-execution-contexts\nexport class ExecutionContext {\n  VariableEnvironment?: EnvironmentRecord;\n  LexicalEnvironment?: EnvironmentRecord;\n  Function?: FunctionObject;\n}\n\nexport type EnvironmentRecordType = \"function\" | \"declarative\";\n\nexport enum BindingStatus {\n  UNINITIALIZED,\n  LEXICAL,\n  INITIALIZED,\n}\n\n// https://tc39.es/ecma262/#sec-environment-records\nexport class EnvironmentRecord {\n  readonly OuterEnv: EnvironmentRecord | null | undefined;\n  private readonly bindingMap = new Map<string, BindingState>();\n  protected ThisValue: unknown = undefined;\n  protected ThisBindingStatus: BindingStatus | undefined;\n\n  constructor(outer: EnvironmentRecord | null | undefined) {\n    this.OuterEnv = outer;\n  }\n\n  HasBinding(name: string): boolean {\n    return this.bindingMap.has(name);\n  }\n\n  CreateMutableBinding(name: string, deletable: boolean): CompletionRecord {\n    // Assert: binding does not exist.\n    this.bindingMap.set(name, {\n      mutable: true,\n      deletable,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  /**\n   * Create an immutable binding.\n   *\n   * @param name - The binding name.\n   * @param strict - For named function expressions, strict is false, otherwise it's true.\n   * @returns CompletionRecord.\n   */\n  CreateImmutableBinding(name: string, strict: boolean): CompletionRecord {\n    // Assert: binding does not exist.\n    this.bindingMap.set(name, {\n      strict,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  InitializeBinding(name: string, value: unknown): CompletionRecord {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists and uninitialized.\n    Object.assign<BindingState, Partial<BindingState>>(binding, {\n      initialized: true,\n      value,\n    });\n    return NormalCompletion(undefined);\n  }\n\n  /**\n   * Update a mutable binding value, including function declarations.\n   *\n   * @param name - The binding name.\n   * @param value - The binding value.\n   * @param strict - For functions, strict is always false, otherwise it depends on strict-mode.\n   * @returns\n   */\n  SetMutableBinding(\n    name: string,\n    value: unknown,\n    _strict?: boolean\n  ): CompletionRecord {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists.\n    if (!binding.initialized) {\n      throw new ReferenceError(`${name} is not initialized`);\n    } else if (binding.mutable) {\n      binding.value = value;\n    } else {\n      throw new TypeError(`Assignment to constant variable`);\n    }\n    return NormalCompletion(undefined);\n  }\n\n  GetBindingValue(name: string, _strict?: boolean): unknown {\n    const binding = this.bindingMap.get(name) as BindingState;\n    // Assert: binding exists.\n    if (!binding.initialized) {\n      throw new ReferenceError(`${name} is not initialized`);\n    }\n    return binding.value;\n  }\n\n  HasThisBinding() {\n    return false;\n  }\n}\n\nexport class DeclarativeEnvironment extends EnvironmentRecord {}\n\nexport class FunctionEnvironment extends EnvironmentRecord {\n  constructor(F: FunctionObject) {\n    super(F[Environment]);\n    if (F[ThisMode] === Mode.LEXICAL) {\n      this.ThisBindingStatus = BindingStatus.LEXICAL;\n    } else {\n      this.ThisBindingStatus = BindingStatus.UNINITIALIZED;\n    }\n  }\n\n  HasThisBinding() {\n    return this.ThisBindingStatus !== BindingStatus.LEXICAL;\n  }\n\n  BindThisValue(value: unknown) {\n    // Assert: envRec.[[ThisBindingStatus]] is not LEXICAL.\n    if (this.ThisBindingStatus === BindingStatus.INITIALIZED) {\n      throw new Error(\"This binding has been initialized\");\n    }\n    this.ThisValue = value;\n    this.ThisBindingStatus = BindingStatus.INITIALIZED;\n  }\n\n  GetThisBinding() {\n    // Assert: envRec.[[ThisBindingStatus]] is not LEXICAL.\n    if (this.ThisBindingStatus === BindingStatus.UNINITIALIZED) {\n      throw new Error(\"This binding is not initialized\");\n    }\n    return this.ThisValue;\n  }\n}\n\nexport interface BindingState {\n  initialized?: boolean;\n  value?: unknown;\n  mutable?: boolean;\n\n  /** This is used for mutable bindings only. */\n  deletable?: boolean;\n\n  /**\n   * This is used for immutable bindings only.\n   * For named function expressions, `strict` is false,\n   * otherwise it's true.\n   */\n  strict?: boolean;\n}\n\nexport interface FunctionObject {\n  (...args: unknown[]): unknown;\n  [SourceNode]:\n    | FunctionDeclaration\n    | FunctionExpression\n    | ArrowFunctionExpression;\n  [FormalParameters]: FunctionDeclaration[\"params\"];\n  [ECMAScriptCode]: Statement[] | Expression;\n  [Environment]: EnvironmentRecord;\n  [IsConstructor]: boolean;\n  [ThisMode]?: Mode;\n  [DebuggerCall]?: (...args: unknown[]) => IterableIterator<unknown>;\n  [DebuggerScope]?: () => EnvironmentRecord | null | undefined;\n  [DebuggerNode]?: () => EstreeNode | undefined;\n}\n\n// https://tc39.es/ecma262/#sec-reference-record-specification-type\nexport class ReferenceRecord {\n  readonly Base:\n    | Record<PropertyKey, unknown>\n    | EnvironmentRecord\n    | \"unresolvable\";\n  readonly ReferenceName: PropertyKey;\n  /** Whether the reference is in strict mode. */\n  readonly Strict?: boolean;\n\n  constructor(\n    base: Record<PropertyKey, unknown> | EnvironmentRecord | \"unresolvable\",\n    referenceName: PropertyKey,\n    strict: boolean\n  ) {\n    this.Base = base;\n    this.ReferenceName = referenceName;\n    this.Strict = strict;\n  }\n}\n\n// https://tc39.es/ecma262/#sec-completion-record-specification-type\nexport class CompletionRecord {\n  readonly Type: CompletionRecordType;\n  readonly Value: unknown;\n\n  constructor(type: CompletionRecordType, value: unknown) {\n    this.Type = type;\n    this.Value = value;\n  }\n}\n\nexport type CompletionRecordType =\n  | \"normal\"\n  | \"break\"\n  | \"continue\"\n  | \"return\"\n  | \"throw\";\n\n// https://tc39.es/ecma262/#sec-normalcompletion\nexport function NormalCompletion(value: unknown): CompletionRecord {\n  return new CompletionRecord(\"normal\", value);\n}\n\nexport const Empty = Symbol(\"empty completion\");\n\nexport interface OptionalChainRef {\n  skipped?: boolean;\n}\n"],"mappings":";AASA,WAAYA,IAAI,0BAAJA,IAAI;EAAJA,IAAI,CAAJA,IAAI;EAAJA,IAAI,CAAJA,IAAI;EAAA,OAAJA,IAAI;AAAA;AAKhB,OAAO,MAAMC,UAAU,GAAGC,MAAM,CAACC,GAAG,CAAC,YAAY,CAAC;AAClD,OAAO,MAAMC,gBAAgB,GAAGF,MAAM,CAACC,GAAG,CAAC,kBAAkB,CAAC;AAC9D,OAAO,MAAME,cAAc,GAAGH,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AAC1D,OAAO,MAAMG,WAAW,GAAGJ,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC;AACpD,OAAO,MAAMI,aAAa,GAAGL,MAAM,CAACC,GAAG,CAAC,eAAe,CAAC;AACxD,OAAO,MAAMK,QAAQ,GAAGN,MAAM,CAACC,GAAG,CAAC,UAAU,CAAC;AAC9C,OAAO,MAAMM,YAAY,GAAGP,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AACxD,OAAO,MAAMO,aAAa,GAAGR,MAAM,CAACC,GAAG,CAAC,iBAAiB,CAAC;AAC1D,OAAO,MAAMQ,YAAY,GAAGT,MAAM,CAACC,GAAG,CAAC,gBAAgB,CAAC;AACxD,OAAO,MAAMS,cAAc,GAAGV,MAAM,CAACC,GAAG,CAAC,kBAAkB,CAAC;;AAE5D;AACA,OAAO,MAAMU,gBAAgB,CAAC;EAAAC,YAAA;IAAAC,eAAA;IAAAA,eAAA;IAAAA,eAAA;EAAA;AAI9B;AAIA,WAAYC,aAAa,0BAAbA,aAAa;EAAbA,aAAa,CAAbA,aAAa;EAAbA,aAAa,CAAbA,aAAa;EAAbA,aAAa,CAAbA,aAAa;EAAA,OAAbA,aAAa;AAAA;;AAMzB;AACA,OAAO,MAAMC,iBAAiB,CAAC;EAM7BH,WAAWA,CAACI,KAA2C,EAAE;IAAAH,eAAA;IAAAA,eAAA,qBAJ3B,IAAII,GAAG,CAAuB,CAAC;IAAAJ,eAAA,oBAC9BK,SAAS;IAAAL,eAAA;IAItC,IAAI,CAACM,QAAQ,GAAGH,KAAK;EACvB;EAEAI,UAAUA,CAACC,IAAY,EAAW;IAChC,OAAO,IAAI,CAACC,UAAU,CAACC,GAAG,CAACF,IAAI,CAAC;EAClC;EAEAG,oBAAoBA,CAACH,IAAY,EAAEI,SAAkB,EAAoB;IACvE;IACA,IAAI,CAACH,UAAU,CAACI,GAAG,CAACL,IAAI,EAAE;MACxBM,OAAO,EAAE,IAAI;MACbF;IACF,CAAC,CAAC;IACF,OAAOG,gBAAgB,CAACV,SAAS,CAAC;EACpC;;EAEA;AACF;AACA;AACA;AACA;AACA;AACA;EACEW,sBAAsBA,CAACR,IAAY,EAAES,MAAe,EAAoB;IACtE;IACA,IAAI,CAACR,UAAU,CAACI,GAAG,CAACL,IAAI,EAAE;MACxBS;IACF,CAAC,CAAC;IACF,OAAOF,gBAAgB,CAACV,SAAS,CAAC;EACpC;EAEAa,iBAAiBA,CAACV,IAAY,EAAEW,KAAc,EAAoB;IAChE,MAAMC,OAAO,GAAG,IAAI,CAACX,UAAU,CAACY,GAAG,CAACb,IAAI,CAAiB;IACzD;IACAc,MAAM,CAACC,MAAM,CAAsCH,OAAO,EAAE;MAC1DI,WAAW,EAAE,IAAI;MACjBL;IACF,CAAC,CAAC;IACF,OAAOJ,gBAAgB,CAACV,SAAS,CAAC;EACpC;;EAEA;AACF;AACA;AACA;AACA;AACA;AACA;AACA;EACEoB,iBAAiBA,CACfjB,IAAY,EACZW,KAAc,EACdO,OAAiB,EACC;IAClB,MAAMN,OAAO,GAAG,IAAI,CAACX,UAAU,CAACY,GAAG,CAACb,IAAI,CAAiB;IACzD;IACA,IAAI,CAACY,OAAO,CAACI,WAAW,EAAE;MACxB,MAAM,IAAIG,cAAc,CAAC,GAAGnB,IAAI,qBAAqB,CAAC;IACxD,CAAC,MAAM,IAAIY,OAAO,CAACN,OAAO,EAAE;MAC1BM,OAAO,CAACD,KAAK,GAAGA,KAAK;IACvB,CAAC,MAAM;MACL,MAAM,IAAIS,SAAS,CAAC,iCAAiC,CAAC;IACxD;IACA,OAAOb,gBAAgB,CAACV,SAAS,CAAC;EACpC;EAEAwB,eAAeA,CAACrB,IAAY,EAAEkB,OAAiB,EAAW;IACxD,MAAMN,OAAO,GAAG,IAAI,CAACX,UAAU,CAACY,GAAG,CAACb,IAAI,CAAiB;IACzD;IACA,IAAI,CAACY,OAAO,CAACI,WAAW,EAAE;MACxB,MAAM,IAAIG,cAAc,CAAC,GAAGnB,IAAI,qBAAqB,CAAC;IACxD;IACA,OAAOY,OAAO,CAACD,KAAK;EACtB;EAEAW,cAAcA,CAAA,EAAG;IACf,OAAO,KAAK;EACd;AACF;AAEA,OAAO,MAAMC,sBAAsB,SAAS7B,iBAAiB,CAAC;AAE9D,OAAO,MAAM8B,mBAAmB,SAAS9B,iBAAiB,CAAC;EACzDH,WAAWA,CAACkC,CAAiB,EAAE;IAC7B,KAAK,CAACA,CAAC,CAAC1C,WAAW,CAAC,CAAC;IACrB,IAAI0C,CAAC,CAACxC,QAAQ,CAAC,KAAKR,IAAI,CAACiD,OAAO,EAAE;MAChC,IAAI,CAACC,iBAAiB,GAAGlC,aAAa,CAACiC,OAAO;IAChD,CAAC,MAAM;MACL,IAAI,CAACC,iBAAiB,GAAGlC,aAAa,CAACmC,aAAa;IACtD;EACF;EAEAN,cAAcA,CAAA,EAAG;IACf,OAAO,IAAI,CAACK,iBAAiB,KAAKlC,aAAa,CAACiC,OAAO;EACzD;EAEAG,aAAaA,CAAClB,KAAc,EAAE;IAC5B;IACA,IAAI,IAAI,CAACgB,iBAAiB,KAAKlC,aAAa,CAACqC,WAAW,EAAE;MACxD,MAAM,IAAIC,KAAK,CAAC,mCAAmC,CAAC;IACtD;IACA,IAAI,CAACC,SAAS,GAAGrB,KAAK;IACtB,IAAI,CAACgB,iBAAiB,GAAGlC,aAAa,CAACqC,WAAW;EACpD;EAEAG,cAAcA,CAAA,EAAG;IACf;IACA,IAAI,IAAI,CAACN,iBAAiB,KAAKlC,aAAa,CAACmC,aAAa,EAAE;MAC1D,MAAM,IAAIG,KAAK,CAAC,iCAAiC,CAAC;IACpD;IACA,OAAO,IAAI,CAACC,SAAS;EACvB;AACF;AAkCA;AACA,OAAO,MAAME,eAAe,CAAC;EAS3B3C,WAAWA,CACT4C,IAAuE,EACvEC,aAA0B,EAC1B3B,MAAe,EACf;IAAAjB,eAAA;IAAAA,eAAA;IAPF;IAAAA,eAAA;IAQE,IAAI,CAAC6C,IAAI,GAAGF,IAAI;IAChB,IAAI,CAACG,aAAa,GAAGF,aAAa;IAClC,IAAI,CAACG,MAAM,GAAG9B,MAAM;EACtB;AACF;;AAEA;AACA,OAAO,MAAM+B,gBAAgB,CAAC;EAI5BjD,WAAWA,CAACkD,IAA0B,EAAE9B,KAAc,EAAE;IAAAnB,eAAA;IAAAA,eAAA;IACtD,IAAI,CAACkD,IAAI,GAAGD,IAAI;IAChB,IAAI,CAACE,KAAK,GAAGhC,KAAK;EACpB;AACF;AASA;AACA,OAAO,SAASJ,gBAAgBA,CAACI,KAAc,EAAoB;EACjE,OAAO,IAAI6B,gBAAgB,CAAC,QAAQ,EAAE7B,KAAK,CAAC;AAC9C;AAEA,OAAO,MAAMiC,KAAK,GAAGjE,MAAM,CAAC,kBAAkB,CAAC","ignoreList":[]}

package/dist/esm/context-free.js

@@ -156,6 +156,8 @@ export function ApplyStringOrNumericBinaryOperator(leftValue, operator, rightVal
       return leftValue >= rightValue;
     case "<=":
       return leftValue <= rightValue;
+    case "in":
+      return leftValue in rightValue;
   }
   throw new SyntaxError(`Unsupported binary operator \`${operator}\``);
 }

package/dist/esm/context-free.js.map

@@ -1 +1 @@
-{"version":3,"file":"context-free.js","names":["CompletionRecord","Empty","EnvironmentRecord","NormalCompletion","ReferenceRecord","collectBoundNames","IsPropertyReference","V","Base","InitializeReferencedBinding","W","base","InitializeBinding","ReferenceName","CopyDataProperties","target","source","excludedItems","undefined","keys","Object","getOwnPropertyNames","concat","getOwnPropertySymbols","nextKey","has","desc","getOwnPropertyDescriptor","enumerable","ForDeclarationBindingInstantiation","forDeclaration","env","isConst","kind","name","CreateImmutableBinding","CreateMutableBinding","LoopContinues","completion","Type","UpdateEmpty","value","Value","GetValue","ReferenceError","GetBindingValue","Strict","ToPropertyKey","arg","String","GetV","P","PutValue","SetMutableBinding","CreateListIteratorRecord","args","isIterable","TypeError","Symbol","iterator","RequireObjectCoercible","GetIdentifierReference","strict","HasBinding","OuterEnv","ApplyStringOrNumericBinaryOperator","leftValue","operator","rightValue","SyntaxError","ApplyStringOrNumericAssignment","substr","length","ApplyUnaryOperator","cooked","Array","isArray"],"sources":["../../src/context-free.ts"],"sourcesContent":["import {\n  BinaryExpression,\n  UnaryExpression,\n  VariableDeclaration,\n} from \"@babel/types\";\nimport {\n  CompletionRecord,\n  Empty,\n  EnvironmentRecord,\n  NormalCompletion,\n  ReferenceRecord,\n} from \"./ExecutionContext.js\";\nimport { collectBoundNames } from \"./traverse.js\";\n\n// https://tc39.es/ecma262/#sec-ispropertyreference\nexport function IsPropertyReference(V: ReferenceRecord): boolean {\n  return V.Base !== \"unresolvable\" && !(V.Base instanceof EnvironmentRecord);\n}\n\n// https://tc39.es/ecma262/#sec-initializereferencedbinding\nexport function InitializeReferencedBinding(\n  V: ReferenceRecord,\n  W: unknown\n): CompletionRecord {\n  const base = V.Base as EnvironmentRecord;\n  return base.InitializeBinding(V.ReferenceName as string, W);\n}\n\n// https://tc39.es/ecma262/#sec-copydataproperties\nexport function CopyDataProperties(\n  target: Record<PropertyKey, unknown>,\n  source: unknown,\n  excludedItems: Set<PropertyKey>\n): Record<PropertyKey, unknown> {\n  if (source === undefined || source === null) {\n    return target;\n  }\n  const keys = (Object.getOwnPropertyNames(source) as PropertyKey[]).concat(\n    Object.getOwnPropertySymbols(source)\n  );\n  for (const nextKey of keys) {\n    if (!excludedItems.has(nextKey)) {\n      const desc = Object.getOwnPropertyDescriptor(source, nextKey);\n      if (desc?.enumerable) {\n        target[nextKey] = (source as Record<PropertyKey, unknown>)[nextKey];\n      }\n    }\n  }\n  return target;\n}\n\n// https://tc39.es/ecma262/#sec-runtime-semantics-fordeclarationbindinginstantiation\nexport function ForDeclarationBindingInstantiation(\n  forDeclaration: VariableDeclaration,\n  env: EnvironmentRecord\n): void {\n  const isConst = forDeclaration.kind === \"const\";\n  for (const name of collectBoundNames(forDeclaration)) {\n    if (isConst) {\n      env.CreateImmutableBinding(name, true);\n    } else {\n      env.CreateMutableBinding(name, false);\n    }\n  }\n}\n\n// https://tc39.es/ecma262/#sec-loopcontinues\nexport function LoopContinues(completion: CompletionRecord): boolean {\n  return completion.Type === \"normal\" || completion.Type == \"continue\";\n}\n\n// https://tc39.es/ecma262/#sec-updateempty\nexport function UpdateEmpty(\n  completion: CompletionRecord,\n  value: unknown\n): CompletionRecord {\n  if (completion.Value !== Empty) {\n    return completion;\n  }\n  return new CompletionRecord(completion.Type, value);\n}\n\n// https://tc39.es/ecma262/#sec-getvalue\nexport function GetValue(\n  V: CompletionRecord | ReferenceRecord | unknown\n): unknown {\n  if (V instanceof CompletionRecord) {\n    // Assert: V.Type is normal.\n    V = V.Value;\n  }\n  if (!(V instanceof ReferenceRecord)) {\n    return V;\n  }\n  if (V.Base === \"unresolvable\") {\n    throw new ReferenceError(`${V.ReferenceName as string} is not defined`);\n  }\n  if (V.Base instanceof EnvironmentRecord) {\n    const base = V.Base as EnvironmentRecord;\n    return base.GetBindingValue(V.ReferenceName as string, V.Strict);\n  }\n  return V.Base[V.ReferenceName];\n}\n\n// https://tc39.es/ecma262/#sec-topropertykey\nexport function ToPropertyKey(arg: unknown): string | symbol {\n  if (typeof arg === \"symbol\") {\n    return arg;\n  }\n  return String(arg);\n}\n\n// https://tc39.es/ecma262/#sec-getv\nexport function GetV(V: unknown, P: PropertyKey): unknown {\n  return (V as Record<PropertyKey, unknown>)[P];\n}\n\n// https://tc39.es/ecma262/#sec-putvalue\nexport function PutValue(V: ReferenceRecord, W: unknown): CompletionRecord {\n  // Assert: V is a ReferenceRecord.\n  if (V.Base === \"unresolvable\") {\n    throw new ReferenceError(`${V.ReferenceName as string} is not defined`);\n  }\n  if (V.Base instanceof EnvironmentRecord) {\n    return V.Base.SetMutableBinding(V.ReferenceName as string, W, V.Strict);\n  }\n  V.Base[V.ReferenceName] = W;\n  return NormalCompletion(undefined);\n}\n\n// https://tc39.es/ecma262/#sec-createlistiteratorRecord\nexport function CreateListIteratorRecord(\n  args: Iterable<unknown>\n): Iterator<unknown> {\n  if (!isIterable(args)) {\n    throw new TypeError(`${typeof args} is not iterable`);\n  }\n  return args[Symbol.iterator]();\n}\n\n// https://tc39.es/ecma262/#sec-requireobjectcoercible\nexport function RequireObjectCoercible(arg: unknown): void {\n  if (arg === null || arg === undefined) {\n    throw new TypeError(\"Cannot destructure properties of undefined or null\");\n  }\n}\n\n// https://tc39.es/ecma262/#sec-getidentifierreference\nexport function GetIdentifierReference(\n  env: EnvironmentRecord | null | undefined,\n  name: string,\n  strict: boolean\n): ReferenceRecord {\n  if (!env) {\n    return new ReferenceRecord(\"unresolvable\", name, strict);\n  }\n  if (env.HasBinding(name)) {\n    return new ReferenceRecord(env, name, strict);\n  }\n  return GetIdentifierReference(env.OuterEnv, name, strict);\n}\n\n// https://tc39.es/ecma262/#sec-applystringornumericbinaryoperator\nexport function ApplyStringOrNumericBinaryOperator(\n  leftValue: number,\n  operator: BinaryExpression[\"operator\"] | \"|>\",\n  rightValue: number\n): unknown {\n  switch (operator) {\n    case \"+\":\n      return leftValue + rightValue;\n    case \"-\":\n      return leftValue - rightValue;\n    case \"/\":\n      return leftValue / rightValue;\n    case \"%\":\n      return leftValue % rightValue;\n    case \"*\":\n      return leftValue * rightValue;\n    case \"**\":\n      return leftValue ** rightValue;\n    case \"==\":\n      return leftValue == rightValue;\n    case \"===\":\n      return leftValue === rightValue;\n    case \"!=\":\n      return leftValue != rightValue;\n    case \"!==\":\n      return leftValue !== rightValue;\n    case \">\":\n      return leftValue > rightValue;\n    case \"<\":\n      return leftValue < rightValue;\n    case \">=\":\n      return leftValue >= rightValue;\n    case \"<=\":\n      return leftValue <= rightValue;\n  }\n  throw new SyntaxError(`Unsupported binary operator \\`${operator}\\``);\n}\n\n// https://tc39.es/ecma262/#sec-assignment-operators\nexport function ApplyStringOrNumericAssignment(\n  leftValue: string | number,\n  operator: string,\n  rightValue: string | number\n): unknown {\n  switch (operator) {\n    case \"+=\":\n    case \"-=\":\n    case \"*=\":\n    case \"/=\":\n    case \"%=\":\n    case \"**=\":\n      return ApplyStringOrNumericBinaryOperator(\n        leftValue as number,\n        operator.substr(0, operator.length - 1) as BinaryExpression[\"operator\"],\n        rightValue as number\n      );\n  }\n\n  throw new SyntaxError(`Unsupported assignment operator \\`${operator}\\``);\n}\n\n// https://tc39.es/ecma262/#sec-unary-operators\nexport function ApplyUnaryOperator(\n  target: unknown,\n  operator: UnaryExpression[\"operator\"]\n): unknown {\n  switch (operator) {\n    case \"!\":\n      return !target;\n    case \"+\":\n      return +(target as string | number);\n    case \"-\":\n      return -(target as string | number);\n    case \"void\":\n      return undefined;\n  }\n  throw new SyntaxError(`Unsupported unary operator \\`${operator}\\``);\n}\n\nexport function isIterable(cooked: unknown): boolean {\n  if (Array.isArray(cooked)) {\n    return true;\n  }\n  if (cooked === null || cooked === undefined) {\n    return false;\n  }\n  return typeof (cooked as Iterable<unknown>)[Symbol.iterator] === \"function\";\n}\n"],"mappings":"AAKA,SACEA,gBAAgB,EAChBC,KAAK,EACLC,iBAAiB,EACjBC,gBAAgB,EAChBC,eAAe,QACV,uBAAuB;AAC9B,SAASC,iBAAiB,QAAQ,eAAe;;AAEjD;AACA,OAAO,SAASC,mBAAmBA,CAACC,CAAkB,EAAW;EAC/D,OAAOA,CAAC,CAACC,IAAI,KAAK,cAAc,IAAI,EAAED,CAAC,CAACC,IAAI,YAAYN,iBAAiB,CAAC;AAC5E;;AAEA;AACA,OAAO,SAASO,2BAA2BA,CACzCF,CAAkB,EAClBG,CAAU,EACQ;EAClB,MAAMC,IAAI,GAAGJ,CAAC,CAACC,IAAyB;EACxC,OAAOG,IAAI,CAACC,iBAAiB,CAACL,CAAC,CAACM,aAAa,EAAYH,CAAC,CAAC;AAC7D;;AAEA;AACA,OAAO,SAASI,kBAAkBA,CAChCC,MAAoC,EACpCC,MAAe,EACfC,aAA+B,EACD;EAC9B,IAAID,MAAM,KAAKE,SAAS,IAAIF,MAAM,KAAK,IAAI,EAAE;IAC3C,OAAOD,MAAM;EACf;EACA,MAAMI,IAAI,GAAIC,MAAM,CAACC,mBAAmB,CAACL,MAAM,CAAC,CAAmBM,MAAM,CACvEF,MAAM,CAACG,qBAAqB,CAACP,MAAM,CACrC,CAAC;EACD,KAAK,MAAMQ,OAAO,IAAIL,IAAI,EAAE;IAC1B,IAAI,CAACF,aAAa,CAACQ,GAAG,CAACD,OAAO,CAAC,EAAE;MAC/B,MAAME,IAAI,GAAGN,MAAM,CAACO,wBAAwB,CAACX,MAAM,EAAEQ,OAAO,CAAC;MAC7D,IAAIE,IAAI,aAAJA,IAAI,eAAJA,IAAI,CAAEE,UAAU,EAAE;QACpBb,MAAM,CAACS,OAAO,CAAC,GAAIR,MAAM,CAAkCQ,OAAO,CAAC;MACrE;IACF;EACF;EACA,OAAOT,MAAM;AACf;;AAEA;AACA,OAAO,SAASc,kCAAkCA,CAChDC,cAAmC,EACnCC,GAAsB,EAChB;EACN,MAAMC,OAAO,GAAGF,cAAc,CAACG,IAAI,KAAK,OAAO;EAC/C,KAAK,MAAMC,IAAI,IAAI7B,iBAAiB,CAACyB,cAAc,CAAC,EAAE;IACpD,IAAIE,OAAO,EAAE;MACXD,GAAG,CAACI,sBAAsB,CAACD,IAAI,EAAE,IAAI,CAAC;IACxC,CAAC,MAAM;MACLH,GAAG,CAACK,oBAAoB,CAACF,IAAI,EAAE,KAAK,CAAC;IACvC;EACF;AACF;;AAEA;AACA,OAAO,SAASG,aAAaA,CAACC,UAA4B,EAAW;EACnE,OAAOA,UAAU,CAACC,IAAI,KAAK,QAAQ,IAAID,UAAU,CAACC,IAAI,IAAI,UAAU;AACtE;;AAEA;AACA,OAAO,SAASC,WAAWA,CACzBF,UAA4B,EAC5BG,KAAc,EACI;EAClB,IAAIH,UAAU,CAACI,KAAK,KAAKzC,KAAK,EAAE;IAC9B,OAAOqC,UAAU;EACnB;EACA,OAAO,IAAItC,gBAAgB,CAACsC,UAAU,CAACC,IAAI,EAAEE,KAAK,CAAC;AACrD;;AAEA;AACA,OAAO,SAASE,QAAQA,CACtBpC,CAA+C,EACtC;EACT,IAAIA,CAAC,YAAYP,gBAAgB,EAAE;IACjC;IACAO,CAAC,GAAGA,CAAC,CAACmC,KAAK;EACb;EACA,IAAI,EAAEnC,CAAC,YAAYH,eAAe,CAAC,EAAE;IACnC,OAAOG,CAAC;EACV;EACA,IAAIA,CAAC,CAACC,IAAI,KAAK,cAAc,EAAE;IAC7B,MAAM,IAAIoC,cAAc,CAAC,GAAGrC,CAAC,CAACM,aAAa,iBAA2B,CAAC;EACzE;EACA,IAAIN,CAAC,CAACC,IAAI,YAAYN,iBAAiB,EAAE;IACvC,MAAMS,IAAI,GAAGJ,CAAC,CAACC,IAAyB;IACxC,OAAOG,IAAI,CAACkC,eAAe,CAACtC,CAAC,CAACM,aAAa,EAAYN,CAAC,CAACuC,MAAM,CAAC;EAClE;EACA,OAAOvC,CAAC,CAACC,IAAI,CAACD,CAAC,CAACM,aAAa,CAAC;AAChC;;AAEA;AACA,OAAO,SAASkC,aAAaA,CAACC,GAAY,EAAmB;EAC3D,IAAI,OAAOA,GAAG,KAAK,QAAQ,EAAE;IAC3B,OAAOA,GAAG;EACZ;EACA,OAAOC,MAAM,CAACD,GAAG,CAAC;AACpB;;AAEA;AACA,OAAO,SAASE,IAAIA,CAAC3C,CAAU,EAAE4C,CAAc,EAAW;EACxD,OAAQ5C,CAAC,CAAkC4C,CAAC,CAAC;AAC/C;;AAEA;AACA,OAAO,SAASC,QAAQA,CAAC7C,CAAkB,EAAEG,CAAU,EAAoB;EACzE;EACA,IAAIH,CAAC,CAACC,IAAI,KAAK,cAAc,EAAE;IAC7B,MAAM,IAAIoC,cAAc,CAAC,GAAGrC,CAAC,CAACM,aAAa,iBAA2B,CAAC;EACzE;EACA,IAAIN,CAAC,CAACC,IAAI,YAAYN,iBAAiB,EAAE;IACvC,OAAOK,CAAC,CAACC,IAAI,CAAC6C,iBAAiB,CAAC9C,CAAC,CAACM,aAAa,EAAYH,CAAC,EAAEH,CAAC,CAACuC,MAAM,CAAC;EACzE;EACAvC,CAAC,CAACC,IAAI,CAACD,CAAC,CAACM,aAAa,CAAC,GAAGH,CAAC;EAC3B,OAAOP,gBAAgB,CAACe,SAAS,CAAC;AACpC;;AAEA;AACA,OAAO,SAASoC,wBAAwBA,CACtCC,IAAuB,EACJ;EACnB,IAAI,CAACC,UAAU,CAACD,IAAI,CAAC,EAAE;IACrB,MAAM,IAAIE,SAAS,CAAC,GAAG,OAAOF,IAAI,kBAAkB,CAAC;EACvD;EACA,OAAOA,IAAI,CAACG,MAAM,CAACC,QAAQ,CAAC,CAAC,CAAC;AAChC;;AAEA;AACA,OAAO,SAASC,sBAAsBA,CAACZ,GAAY,EAAQ;EACzD,IAAIA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAK9B,SAAS,EAAE;IACrC,MAAM,IAAIuC,SAAS,CAAC,oDAAoD,CAAC;EAC3E;AACF;;AAEA;AACA,OAAO,SAASI,sBAAsBA,CACpC9B,GAAyC,EACzCG,IAAY,EACZ4B,MAAe,EACE;EACjB,IAAI,CAAC/B,GAAG,EAAE;IACR,OAAO,IAAI3B,eAAe,CAAC,cAAc,EAAE8B,IAAI,EAAE4B,MAAM,CAAC;EAC1D;EACA,IAAI/B,GAAG,CAACgC,UAAU,CAAC7B,IAAI,CAAC,EAAE;IACxB,OAAO,IAAI9B,eAAe,CAAC2B,GAAG,EAAEG,IAAI,EAAE4B,MAAM,CAAC;EAC/C;EACA,OAAOD,sBAAsB,CAAC9B,GAAG,CAACiC,QAAQ,EAAE9B,IAAI,EAAE4B,MAAM,CAAC;AAC3D;;AAEA;AACA,OAAO,SAASG,kCAAkCA,CAChDC,SAAiB,EACjBC,QAA6C,EAC7CC,UAAkB,EACT;EACT,QAAQD,QAAQ;IACd,KAAK,GAAG;MACN,OAAOD,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,KAAK;MACR,OAAOF,SAAS,KAAKE,UAAU;IACjC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,KAAK;MACR,OAAOF,SAAS,KAAKE,UAAU;IACjC,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;EAClC;EACA,MAAM,IAAIC,WAAW,CAAC,iCAAiCF,QAAQ,IAAI,CAAC;AACtE;;AAEA;AACA,OAAO,SAASG,8BAA8BA,CAC5CJ,SAA0B,EAC1BC,QAAgB,EAChBC,UAA2B,EAClB;EACT,QAAQD,QAAQ;IACd,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,KAAK;MACR,OAAOF,kCAAkC,CACvCC,SAAS,EACTC,QAAQ,CAACI,MAAM,CAAC,CAAC,EAAEJ,QAAQ,CAACK,MAAM,GAAG,CAAC,CAAC,EACvCJ,UACF,CAAC;EACL;EAEA,MAAM,IAAIC,WAAW,CAAC,qCAAqCF,QAAQ,IAAI,CAAC;AAC1E;;AAEA;AACA,OAAO,SAASM,kBAAkBA,CAChC1D,MAAe,EACfoD,QAAqC,EAC5B;EACT,QAAQA,QAAQ;IACd,KAAK,GAAG;MACN,OAAO,CAACpD,MAAM;IAChB,KAAK,GAAG;MACN,OAAO,CAAEA,MAA0B;IACrC,KAAK,GAAG;MACN,OAAO,CAAEA,MAA0B;IACrC,KAAK,MAAM;MACT,OAAOG,SAAS;EACpB;EACA,MAAM,IAAImD,WAAW,CAAC,gCAAgCF,QAAQ,IAAI,CAAC;AACrE;AAEA,OAAO,SAASX,UAAUA,CAACkB,MAAe,EAAW;EACnD,IAAIC,KAAK,CAACC,OAAO,CAACF,MAAM,CAAC,EAAE;IACzB,OAAO,IAAI;EACb;EACA,IAAIA,MAAM,KAAK,IAAI,IAAIA,MAAM,KAAKxD,SAAS,EAAE;IAC3C,OAAO,KAAK;EACd;EACA,OAAO,OAAQwD,MAAM,CAAuBhB,MAAM,CAACC,QAAQ,CAAC,KAAK,UAAU;AAC7E","ignoreList":[]}
+{"version":3,"file":"context-free.js","names":["CompletionRecord","Empty","EnvironmentRecord","NormalCompletion","ReferenceRecord","collectBoundNames","IsPropertyReference","V","Base","InitializeReferencedBinding","W","base","InitializeBinding","ReferenceName","CopyDataProperties","target","source","excludedItems","undefined","keys","Object","getOwnPropertyNames","concat","getOwnPropertySymbols","nextKey","has","desc","getOwnPropertyDescriptor","enumerable","ForDeclarationBindingInstantiation","forDeclaration","env","isConst","kind","name","CreateImmutableBinding","CreateMutableBinding","LoopContinues","completion","Type","UpdateEmpty","value","Value","GetValue","ReferenceError","GetBindingValue","Strict","ToPropertyKey","arg","String","GetV","P","PutValue","SetMutableBinding","CreateListIteratorRecord","args","isIterable","TypeError","Symbol","iterator","RequireObjectCoercible","GetIdentifierReference","strict","HasBinding","OuterEnv","ApplyStringOrNumericBinaryOperator","leftValue","operator","rightValue","SyntaxError","ApplyStringOrNumericAssignment","substr","length","ApplyUnaryOperator","cooked","Array","isArray"],"sources":["../../src/context-free.ts"],"sourcesContent":["import {\n  BinaryExpression,\n  UnaryExpression,\n  VariableDeclaration,\n} from \"@babel/types\";\nimport {\n  CompletionRecord,\n  Empty,\n  EnvironmentRecord,\n  NormalCompletion,\n  ReferenceRecord,\n} from \"./ExecutionContext.js\";\nimport { collectBoundNames } from \"./traverse.js\";\n\n// https://tc39.es/ecma262/#sec-ispropertyreference\nexport function IsPropertyReference(V: ReferenceRecord): boolean {\n  return V.Base !== \"unresolvable\" && !(V.Base instanceof EnvironmentRecord);\n}\n\n// https://tc39.es/ecma262/#sec-initializereferencedbinding\nexport function InitializeReferencedBinding(\n  V: ReferenceRecord,\n  W: unknown\n): CompletionRecord {\n  const base = V.Base as EnvironmentRecord;\n  return base.InitializeBinding(V.ReferenceName as string, W);\n}\n\n// https://tc39.es/ecma262/#sec-copydataproperties\nexport function CopyDataProperties(\n  target: Record<PropertyKey, unknown>,\n  source: unknown,\n  excludedItems: Set<PropertyKey>\n): Record<PropertyKey, unknown> {\n  if (source === undefined || source === null) {\n    return target;\n  }\n  const keys = (Object.getOwnPropertyNames(source) as PropertyKey[]).concat(\n    Object.getOwnPropertySymbols(source)\n  );\n  for (const nextKey of keys) {\n    if (!excludedItems.has(nextKey)) {\n      const desc = Object.getOwnPropertyDescriptor(source, nextKey);\n      if (desc?.enumerable) {\n        target[nextKey] = (source as Record<PropertyKey, unknown>)[nextKey];\n      }\n    }\n  }\n  return target;\n}\n\n// https://tc39.es/ecma262/#sec-runtime-semantics-fordeclarationbindinginstantiation\nexport function ForDeclarationBindingInstantiation(\n  forDeclaration: VariableDeclaration,\n  env: EnvironmentRecord\n): void {\n  const isConst = forDeclaration.kind === \"const\";\n  for (const name of collectBoundNames(forDeclaration)) {\n    if (isConst) {\n      env.CreateImmutableBinding(name, true);\n    } else {\n      env.CreateMutableBinding(name, false);\n    }\n  }\n}\n\n// https://tc39.es/ecma262/#sec-loopcontinues\nexport function LoopContinues(completion: CompletionRecord): boolean {\n  return completion.Type === \"normal\" || completion.Type == \"continue\";\n}\n\n// https://tc39.es/ecma262/#sec-updateempty\nexport function UpdateEmpty(\n  completion: CompletionRecord,\n  value: unknown\n): CompletionRecord {\n  if (completion.Value !== Empty) {\n    return completion;\n  }\n  return new CompletionRecord(completion.Type, value);\n}\n\n// https://tc39.es/ecma262/#sec-getvalue\nexport function GetValue(\n  V: CompletionRecord | ReferenceRecord | unknown\n): unknown {\n  if (V instanceof CompletionRecord) {\n    // Assert: V.Type is normal.\n    V = V.Value;\n  }\n  if (!(V instanceof ReferenceRecord)) {\n    return V;\n  }\n  if (V.Base === \"unresolvable\") {\n    throw new ReferenceError(`${V.ReferenceName as string} is not defined`);\n  }\n  if (V.Base instanceof EnvironmentRecord) {\n    const base = V.Base as EnvironmentRecord;\n    return base.GetBindingValue(V.ReferenceName as string, V.Strict);\n  }\n  return V.Base[V.ReferenceName];\n}\n\n// https://tc39.es/ecma262/#sec-topropertykey\nexport function ToPropertyKey(arg: unknown): string | symbol {\n  if (typeof arg === \"symbol\") {\n    return arg;\n  }\n  return String(arg);\n}\n\n// https://tc39.es/ecma262/#sec-getv\nexport function GetV(V: unknown, P: PropertyKey): unknown {\n  return (V as Record<PropertyKey, unknown>)[P];\n}\n\n// https://tc39.es/ecma262/#sec-putvalue\nexport function PutValue(V: ReferenceRecord, W: unknown): CompletionRecord {\n  // Assert: V is a ReferenceRecord.\n  if (V.Base === \"unresolvable\") {\n    throw new ReferenceError(`${V.ReferenceName as string} is not defined`);\n  }\n  if (V.Base instanceof EnvironmentRecord) {\n    return V.Base.SetMutableBinding(V.ReferenceName as string, W, V.Strict);\n  }\n  V.Base[V.ReferenceName] = W;\n  return NormalCompletion(undefined);\n}\n\n// https://tc39.es/ecma262/#sec-createlistiteratorRecord\nexport function CreateListIteratorRecord(\n  args: Iterable<unknown>\n): Iterator<unknown> {\n  if (!isIterable(args)) {\n    throw new TypeError(`${typeof args} is not iterable`);\n  }\n  return args[Symbol.iterator]();\n}\n\n// https://tc39.es/ecma262/#sec-requireobjectcoercible\nexport function RequireObjectCoercible(arg: unknown): void {\n  if (arg === null || arg === undefined) {\n    throw new TypeError(\"Cannot destructure properties of undefined or null\");\n  }\n}\n\n// https://tc39.es/ecma262/#sec-getidentifierreference\nexport function GetIdentifierReference(\n  env: EnvironmentRecord | null | undefined,\n  name: string,\n  strict: boolean\n): ReferenceRecord {\n  if (!env) {\n    return new ReferenceRecord(\"unresolvable\", name, strict);\n  }\n  if (env.HasBinding(name)) {\n    return new ReferenceRecord(env, name, strict);\n  }\n  return GetIdentifierReference(env.OuterEnv, name, strict);\n}\n\n// https://tc39.es/ecma262/#sec-applystringornumericbinaryoperator\nexport function ApplyStringOrNumericBinaryOperator(\n  leftValue: number,\n  operator: BinaryExpression[\"operator\"] | \"|>\",\n  rightValue: number\n): unknown {\n  switch (operator) {\n    case \"+\":\n      return leftValue + rightValue;\n    case \"-\":\n      return leftValue - rightValue;\n    case \"/\":\n      return leftValue / rightValue;\n    case \"%\":\n      return leftValue % rightValue;\n    case \"*\":\n      return leftValue * rightValue;\n    case \"**\":\n      return leftValue ** rightValue;\n    case \"==\":\n      return leftValue == rightValue;\n    case \"===\":\n      return leftValue === rightValue;\n    case \"!=\":\n      return leftValue != rightValue;\n    case \"!==\":\n      return leftValue !== rightValue;\n    case \">\":\n      return leftValue > rightValue;\n    case \"<\":\n      return leftValue < rightValue;\n    case \">=\":\n      return leftValue >= rightValue;\n    case \"<=\":\n      return leftValue <= rightValue;\n    case \"in\":\n      return leftValue in (rightValue as unknown as Record<number, unknown>);\n  }\n  throw new SyntaxError(`Unsupported binary operator \\`${operator}\\``);\n}\n\n// https://tc39.es/ecma262/#sec-assignment-operators\nexport function ApplyStringOrNumericAssignment(\n  leftValue: string | number,\n  operator: string,\n  rightValue: string | number\n): unknown {\n  switch (operator) {\n    case \"+=\":\n    case \"-=\":\n    case \"*=\":\n    case \"/=\":\n    case \"%=\":\n    case \"**=\":\n      return ApplyStringOrNumericBinaryOperator(\n        leftValue as number,\n        operator.substr(0, operator.length - 1) as BinaryExpression[\"operator\"],\n        rightValue as number\n      );\n  }\n\n  throw new SyntaxError(`Unsupported assignment operator \\`${operator}\\``);\n}\n\n// https://tc39.es/ecma262/#sec-unary-operators\nexport function ApplyUnaryOperator(\n  target: unknown,\n  operator: UnaryExpression[\"operator\"]\n): unknown {\n  switch (operator) {\n    case \"!\":\n      return !target;\n    case \"+\":\n      return +(target as string | number);\n    case \"-\":\n      return -(target as string | number);\n    case \"void\":\n      return undefined;\n  }\n  throw new SyntaxError(`Unsupported unary operator \\`${operator}\\``);\n}\n\nexport function isIterable(cooked: unknown): boolean {\n  if (Array.isArray(cooked)) {\n    return true;\n  }\n  if (cooked === null || cooked === undefined) {\n    return false;\n  }\n  return typeof (cooked as Iterable<unknown>)[Symbol.iterator] === \"function\";\n}\n"],"mappings":"AAKA,SACEA,gBAAgB,EAChBC,KAAK,EACLC,iBAAiB,EACjBC,gBAAgB,EAChBC,eAAe,QACV,uBAAuB;AAC9B,SAASC,iBAAiB,QAAQ,eAAe;;AAEjD;AACA,OAAO,SAASC,mBAAmBA,CAACC,CAAkB,EAAW;EAC/D,OAAOA,CAAC,CAACC,IAAI,KAAK,cAAc,IAAI,EAAED,CAAC,CAACC,IAAI,YAAYN,iBAAiB,CAAC;AAC5E;;AAEA;AACA,OAAO,SAASO,2BAA2BA,CACzCF,CAAkB,EAClBG,CAAU,EACQ;EAClB,MAAMC,IAAI,GAAGJ,CAAC,CAACC,IAAyB;EACxC,OAAOG,IAAI,CAACC,iBAAiB,CAACL,CAAC,CAACM,aAAa,EAAYH,CAAC,CAAC;AAC7D;;AAEA;AACA,OAAO,SAASI,kBAAkBA,CAChCC,MAAoC,EACpCC,MAAe,EACfC,aAA+B,EACD;EAC9B,IAAID,MAAM,KAAKE,SAAS,IAAIF,MAAM,KAAK,IAAI,EAAE;IAC3C,OAAOD,MAAM;EACf;EACA,MAAMI,IAAI,GAAIC,MAAM,CAACC,mBAAmB,CAACL,MAAM,CAAC,CAAmBM,MAAM,CACvEF,MAAM,CAACG,qBAAqB,CAACP,MAAM,CACrC,CAAC;EACD,KAAK,MAAMQ,OAAO,IAAIL,IAAI,EAAE;IAC1B,IAAI,CAACF,aAAa,CAACQ,GAAG,CAACD,OAAO,CAAC,EAAE;MAC/B,MAAME,IAAI,GAAGN,MAAM,CAACO,wBAAwB,CAACX,MAAM,EAAEQ,OAAO,CAAC;MAC7D,IAAIE,IAAI,aAAJA,IAAI,eAAJA,IAAI,CAAEE,UAAU,EAAE;QACpBb,MAAM,CAACS,OAAO,CAAC,GAAIR,MAAM,CAAkCQ,OAAO,CAAC;MACrE;IACF;EACF;EACA,OAAOT,MAAM;AACf;;AAEA;AACA,OAAO,SAASc,kCAAkCA,CAChDC,cAAmC,EACnCC,GAAsB,EAChB;EACN,MAAMC,OAAO,GAAGF,cAAc,CAACG,IAAI,KAAK,OAAO;EAC/C,KAAK,MAAMC,IAAI,IAAI7B,iBAAiB,CAACyB,cAAc,CAAC,EAAE;IACpD,IAAIE,OAAO,EAAE;MACXD,GAAG,CAACI,sBAAsB,CAACD,IAAI,EAAE,IAAI,CAAC;IACxC,CAAC,MAAM;MACLH,GAAG,CAACK,oBAAoB,CAACF,IAAI,EAAE,KAAK,CAAC;IACvC;EACF;AACF;;AAEA;AACA,OAAO,SAASG,aAAaA,CAACC,UAA4B,EAAW;EACnE,OAAOA,UAAU,CAACC,IAAI,KAAK,QAAQ,IAAID,UAAU,CAACC,IAAI,IAAI,UAAU;AACtE;;AAEA;AACA,OAAO,SAASC,WAAWA,CACzBF,UAA4B,EAC5BG,KAAc,EACI;EAClB,IAAIH,UAAU,CAACI,KAAK,KAAKzC,KAAK,EAAE;IAC9B,OAAOqC,UAAU;EACnB;EACA,OAAO,IAAItC,gBAAgB,CAACsC,UAAU,CAACC,IAAI,EAAEE,KAAK,CAAC;AACrD;;AAEA;AACA,OAAO,SAASE,QAAQA,CACtBpC,CAA+C,EACtC;EACT,IAAIA,CAAC,YAAYP,gBAAgB,EAAE;IACjC;IACAO,CAAC,GAAGA,CAAC,CAACmC,KAAK;EACb;EACA,IAAI,EAAEnC,CAAC,YAAYH,eAAe,CAAC,EAAE;IACnC,OAAOG,CAAC;EACV;EACA,IAAIA,CAAC,CAACC,IAAI,KAAK,cAAc,EAAE;IAC7B,MAAM,IAAIoC,cAAc,CAAC,GAAGrC,CAAC,CAACM,aAAa,iBAA2B,CAAC;EACzE;EACA,IAAIN,CAAC,CAACC,IAAI,YAAYN,iBAAiB,EAAE;IACvC,MAAMS,IAAI,GAAGJ,CAAC,CAACC,IAAyB;IACxC,OAAOG,IAAI,CAACkC,eAAe,CAACtC,CAAC,CAACM,aAAa,EAAYN,CAAC,CAACuC,MAAM,CAAC;EAClE;EACA,OAAOvC,CAAC,CAACC,IAAI,CAACD,CAAC,CAACM,aAAa,CAAC;AAChC;;AAEA;AACA,OAAO,SAASkC,aAAaA,CAACC,GAAY,EAAmB;EAC3D,IAAI,OAAOA,GAAG,KAAK,QAAQ,EAAE;IAC3B,OAAOA,GAAG;EACZ;EACA,OAAOC,MAAM,CAACD,GAAG,CAAC;AACpB;;AAEA;AACA,OAAO,SAASE,IAAIA,CAAC3C,CAAU,EAAE4C,CAAc,EAAW;EACxD,OAAQ5C,CAAC,CAAkC4C,CAAC,CAAC;AAC/C;;AAEA;AACA,OAAO,SAASC,QAAQA,CAAC7C,CAAkB,EAAEG,CAAU,EAAoB;EACzE;EACA,IAAIH,CAAC,CAACC,IAAI,KAAK,cAAc,EAAE;IAC7B,MAAM,IAAIoC,cAAc,CAAC,GAAGrC,CAAC,CAACM,aAAa,iBAA2B,CAAC;EACzE;EACA,IAAIN,CAAC,CAACC,IAAI,YAAYN,iBAAiB,EAAE;IACvC,OAAOK,CAAC,CAACC,IAAI,CAAC6C,iBAAiB,CAAC9C,CAAC,CAACM,aAAa,EAAYH,CAAC,EAAEH,CAAC,CAACuC,MAAM,CAAC;EACzE;EACAvC,CAAC,CAACC,IAAI,CAACD,CAAC,CAACM,aAAa,CAAC,GAAGH,CAAC;EAC3B,OAAOP,gBAAgB,CAACe,SAAS,CAAC;AACpC;;AAEA;AACA,OAAO,SAASoC,wBAAwBA,CACtCC,IAAuB,EACJ;EACnB,IAAI,CAACC,UAAU,CAACD,IAAI,CAAC,EAAE;IACrB,MAAM,IAAIE,SAAS,CAAC,GAAG,OAAOF,IAAI,kBAAkB,CAAC;EACvD;EACA,OAAOA,IAAI,CAACG,MAAM,CAACC,QAAQ,CAAC,CAAC,CAAC;AAChC;;AAEA;AACA,OAAO,SAASC,sBAAsBA,CAACZ,GAAY,EAAQ;EACzD,IAAIA,GAAG,KAAK,IAAI,IAAIA,GAAG,KAAK9B,SAAS,EAAE;IACrC,MAAM,IAAIuC,SAAS,CAAC,oDAAoD,CAAC;EAC3E;AACF;;AAEA;AACA,OAAO,SAASI,sBAAsBA,CACpC9B,GAAyC,EACzCG,IAAY,EACZ4B,MAAe,EACE;EACjB,IAAI,CAAC/B,GAAG,EAAE;IACR,OAAO,IAAI3B,eAAe,CAAC,cAAc,EAAE8B,IAAI,EAAE4B,MAAM,CAAC;EAC1D;EACA,IAAI/B,GAAG,CAACgC,UAAU,CAAC7B,IAAI,CAAC,EAAE;IACxB,OAAO,IAAI9B,eAAe,CAAC2B,GAAG,EAAEG,IAAI,EAAE4B,MAAM,CAAC;EAC/C;EACA,OAAOD,sBAAsB,CAAC9B,GAAG,CAACiC,QAAQ,EAAE9B,IAAI,EAAE4B,MAAM,CAAC;AAC3D;;AAEA;AACA,OAAO,SAASG,kCAAkCA,CAChDC,SAAiB,EACjBC,QAA6C,EAC7CC,UAAkB,EACT;EACT,QAAQD,QAAQ;IACd,KAAK,GAAG;MACN,OAAOD,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,KAAK;MACR,OAAOF,SAAS,KAAKE,UAAU;IACjC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,KAAK;MACR,OAAOF,SAAS,KAAKE,UAAU;IACjC,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,GAAG;MACN,OAAOF,SAAS,GAAGE,UAAU;IAC/B,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAIE,UAAU;IAChC,KAAK,IAAI;MACP,OAAOF,SAAS,IAAKE,UAAiD;EAC1E;EACA,MAAM,IAAIC,WAAW,CAAC,iCAAiCF,QAAQ,IAAI,CAAC;AACtE;;AAEA;AACA,OAAO,SAASG,8BAA8BA,CAC5CJ,SAA0B,EAC1BC,QAAgB,EAChBC,UAA2B,EAClB;EACT,QAAQD,QAAQ;IACd,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,IAAI;IACT,KAAK,KAAK;MACR,OAAOF,kCAAkC,CACvCC,SAAS,EACTC,QAAQ,CAACI,MAAM,CAAC,CAAC,EAAEJ,QAAQ,CAACK,MAAM,GAAG,CAAC,CAAC,EACvCJ,UACF,CAAC;EACL;EAEA,MAAM,IAAIC,WAAW,CAAC,qCAAqCF,QAAQ,IAAI,CAAC;AAC1E;;AAEA;AACA,OAAO,SAASM,kBAAkBA,CAChC1D,MAAe,EACfoD,QAAqC,EAC5B;EACT,QAAQA,QAAQ;IACd,KAAK,GAAG;MACN,OAAO,CAACpD,MAAM;IAChB,KAAK,GAAG;MACN,OAAO,CAAEA,MAA0B;IACrC,KAAK,GAAG;MACN,OAAO,CAAEA,MAA0B;IACrC,KAAK,MAAM;MACT,OAAOG,SAAS;EACpB;EACA,MAAM,IAAImD,WAAW,CAAC,gCAAgCF,QAAQ,IAAI,CAAC;AACrE;AAEA,OAAO,SAASX,UAAUA,CAACkB,MAAe,EAAW;EACnD,IAAIC,KAAK,CAACC,OAAO,CAACF,MAAM,CAAC,EAAE;IACzB,OAAO,IAAI;EACb;EACA,IAAIA,MAAM,KAAK,IAAI,IAAIA,MAAM,KAAKxD,SAAS,EAAE;IAC3C,OAAO,KAAK;EACd;EACA,OAAO,OAAQwD,MAAM,CAAuBhB,MAAM,CAACC,QAAQ,CAAC,KAAK,UAAU;AAC7E","ignoreList":[]}

package/dist/esm/cook.js

@@ -1,5 +1,5 @@
 import { ApplyStringOrNumericAssignment, CreateListIteratorRecord, ApplyStringOrNumericBinaryOperator, GetV, GetValue, InitializeReferencedBinding, IsPropertyReference, LoopContinues, PutValue, RequireObjectCoercible, ToPropertyKey, UpdateEmpty, ApplyUnaryOperator, GetIdentifierReference, ForDeclarationBindingInstantiation, CopyDataProperties } from "./context-free.js";
-import { CompletionRecord, DebuggerCall, DebuggerNode, DebuggerScope, DeclarativeEnvironment, ECMAScriptCode, Empty, Environment, ExecutionContext, FormalParameters, FunctionEnvironment, IsConstructor, NormalCompletion, ReferenceRecord, SourceNode } from "./ExecutionContext.js";
+import { CompletionRecord, DebuggerCall, DebuggerNode, DebuggerReturn, DebuggerScope, DeclarativeEnvironment, ECMAScriptCode, Empty, Environment, ExecutionContext, FormalParameters, FunctionEnvironment, IsConstructor, NormalCompletion, ReferenceRecord, SourceNode, Mode, ThisMode } from "./ExecutionContext.js";
 import { sanitize, isAllowedConstructor } from "./sanitize.js";
 import { collectBoundNames, collectScopedDeclarations, containsExpression } from "./traverse.js";
 /** For next-core internal usage only. */
@@ -8,10 +8,18 @@ export function cook(rootAst, codeSource) {
   let {
     rules,
     debug,
+    externalSourceForDebug,
     globalVariables = {},
+    // Allow debugger to override Array constructor.
+    ArrayConstructor = Array,
     hooks = {}
   } = arguments.length > 2 && arguments[2] !== undefined ? arguments[2] : {};
   const expressionOnly = rootAst.type !== "FunctionDeclaration";
+  function doSanitize(cooked) {
+    if (!externalSourceForDebug) {
+      sanitize(cooked);
+    }
+  }
   const rootEnv = new DeclarativeEnvironment(null);
   const rootContext = new ExecutionContext();
   rootContext.VariableEnvironment = rootEnv;
@@ -55,7 +63,7 @@ export function cook(rootAst, codeSource) {
       case "ArrayExpression":
         {
           // https://tc39.es/ecma262/#sec-array-initializer
-          const array = [];
+          const array = new ArrayConstructor();
           for (const element of node.elements) {
             if (!element) {
               array.length += 1;
@@ -79,7 +87,7 @@ export function cook(rootAst, codeSource) {
         {
           const leftRef = yield* Evaluate(node.left);
           const leftValue = GetValue(leftRef);
-          const rightRef = (yield* Evaluate(node.right)).Value;
+          const rightRef = yield* Evaluate(node.right);
           const rightValue = GetValue(rightRef);
           if (expressionOnly && node.operator === "|>") {
             // Minimal pipeline operator is supported only in expression-only mode.
@@ -110,7 +118,7 @@ export function cook(rootAst, codeSource) {
             optionalChainRef.skipped = true;
             return NormalCompletion(undefined);
           }
-          sanitize(func);
+          doSanitize(func);
           if (debug) yield;
           return yield* EvaluateCall(func, ref, node.arguments, node.callee);
         }
@@ -166,9 +174,9 @@ export function cook(rootAst, codeSource) {
             optionalChainRef.skipped = true;
             return NormalCompletion(undefined);
           }
-          sanitize(baseValue);
+          doSanitize(baseValue);
           const result = node.computed ? yield* EvaluatePropertyAccessWithExpressionKey(baseValue, node.property, true) : EvaluatePropertyAccessWithIdentifierKey(baseValue, node.property, true);
-          sanitize(result);
+          doSanitize(result);
           return NormalCompletion(result);
         }
       case "NewExpression":
@@ -225,7 +233,7 @@ export function cook(rootAst, codeSource) {
           // https://tc39.es/ecma262/#sec-tagged-templates
           const tagRef = (yield* Evaluate(node.tag)).Value;
           const tagFunc = GetValue(tagRef);
-          sanitize(tagFunc);
+          doSanitize(tagFunc);
           if (debug) yield;
           return yield* EvaluateCall(tagFunc, tagRef, node.quasi, node.tag);
         }
@@ -351,9 +359,16 @@ export function cook(rootAst, codeSource) {
               const exprRef = yield* Evaluate(node.argument);
               v = GetValue(exprRef);
             }
-            currentNode = node;
             return new CompletionRecord("return", v);
           }
+        case "ThisExpression":
+          {
+            if (!externalSourceForDebug) {
+              break;
+            }
+            const envRec = GetThisEnvironment();
+            return NormalCompletion(envRec.GetThisBinding());
+          }
         case "ThrowStatement":
           // https://tc39.es/ecma262/#sec-throw-statement
           throw GetValue(yield* Evaluate(node.argument));
@@ -897,7 +912,7 @@ export function cook(rootAst, codeSource) {
         }
       } else {
         // RestElement
-        v = [];
+        v = new ArrayConstructor();
         let n = 0;
         // eslint-disable-next-line no-constant-condition
         while (true) {
@@ -974,16 +989,16 @@ export function cook(rootAst, codeSource) {
       const funcName = codeSource.substring(callee.start, callee.end);
       throw new TypeError(`${funcName} is not a function`);
     }
-    if (debug) {
+    if (debug || externalSourceForDebug) {
       const debuggerCall = func[DebuggerCall];
       if (debuggerCall) {
         const result = yield* debuggerCall.apply(thisValue, argList);
-        sanitize(result);
+        doSanitize(result);
         return NormalCompletion(result);
       }
     }
     const result = func.apply(thisValue, argList);
-    sanitize(result);
+    doSanitize(result);
     return NormalCompletion(result);
   }
 
@@ -996,7 +1011,7 @@ export function cook(rootAst, codeSource) {
       const constructorName = codeSource.substring(constructExpr.start, constructExpr.end);
       throw new TypeError(`${constructorName} is not a constructor`);
     }
-    if (!isAllowedConstructor(constructor)) {
+    if (!externalSourceForDebug && !isAllowedConstructor(constructor) && constructor !== ArrayConstructor) {
       const constructorName = codeSource.substring(constructExpr.start, constructExpr.end);
       throw new TypeError(`${constructorName} is not an allowed constructor`);
     }
@@ -1025,18 +1040,22 @@ export function cook(rootAst, codeSource) {
   }
 
   // https://tc39.es/ecma262/#sec-ecmascript-function-objects-call-thisargument-argumentslist
-  function* CallFunction(closure, args) {
-    var _hooks$beforeCall, _currentNode;
+  function* CallFunction(closure, thisArgument, args) {
+    var _hooks$beforeCall;
     (_hooks$beforeCall = hooks.beforeCall) === null || _hooks$beforeCall === void 0 || _hooks$beforeCall.call(hooks, closure[SourceNode]);
-    PrepareForOrdinaryCall(closure);
+    const calleeContext = PrepareForOrdinaryCall(closure);
+    OrdinaryCallBindThis(closure, calleeContext, thisArgument);
     const result = yield* OrdinaryCallEvaluateBody(closure, args);
-    if (((_currentNode = currentNode) === null || _currentNode === void 0 ? void 0 : _currentNode.type) !== "ReturnStatement") {
-      currentNode = closure[SourceNode];
+    if (debug) {
+      currentNode = {
+        ...closure[SourceNode],
+        [DebuggerReturn]: true
+      };
+      yield {
+        type: "return",
+        value: result.Type === "return" ? result.Value : undefined
+      };
     }
-    if (debug) yield {
-      type: "return",
-      value: result.Type === "return" ? result.Value : undefined
-    };
     executionContextStack.pop();
     if (result.Type === "return") {
       return result.Value;
@@ -1048,12 +1067,19 @@ export function cook(rootAst, codeSource) {
   function PrepareForOrdinaryCall(F) {
     const calleeContext = new ExecutionContext();
     calleeContext.Function = F;
-    const localEnv = new FunctionEnvironment(F[Environment]);
+    const localEnv = new FunctionEnvironment(F);
     calleeContext.VariableEnvironment = localEnv;
     calleeContext.LexicalEnvironment = localEnv;
     executionContextStack.push(calleeContext);
     return calleeContext;
   }
+  function OrdinaryCallBindThis(F, calleeContext, thisArgument) {
+    if (F[ThisMode] === Mode.LEXICAL) {
+      return;
+    }
+    const localEnv = calleeContext.LexicalEnvironment;
+    localEnv === null || localEnv === void 0 || localEnv.BindThisValue(thisArgument);
+  }
 
   // https://tc39.es/ecma262/#sec-ordinarycallevaluatebody
   function* OrdinaryCallEvaluateBody(F, args) {
@@ -1081,6 +1107,16 @@ export function cook(rootAst, codeSource) {
     }
     return result;
   }
+  function GetThisEnvironment() {
+    let env = getRunningContext().LexicalEnvironment;
+    while (env) {
+      if (env.HasThisBinding()) {
+        return env;
+      }
+      env = env.OuterEnv;
+    }
+    throw new Error("Accessing global this is forbidden");
+  }
 
   // https://tc39.es/ecma262/#sec-isanonymousfunctiondefinition
   function IsAnonymousFunctionDefinition(node) {
@@ -1132,11 +1168,33 @@ export function cook(rootAst, codeSource) {
         throw new SyntaxError("Var declaration is not recommended, use `let` or `const` instead");
       }
     }
+
+    // let argumentsObjectNeeded = true;
+    // if (func[ThisMode] === Mode.LEXICAL) {
+    //   // NOTE: Arrow functions never have an arguments object.
+    //   argumentsObjectNeeded = false;
+    // } else if (parameterNames.includes("arguments")) {
+    //   argumentsObjectNeeded = false;
+    // } else if (!hasParameterExpressions && (
+    //   varNames.includes("arguments") ||
+    //   collectBoundNames(collectScopedDeclarations(code, { var: false })).includes("arguments")
+    // )) {
+    //   argumentsObjectNeeded = false;
+    // }
+    // NOTE: In strict mode, no parameter/function/var/lexical names can be "arguments".
+    const argumentsObjectNeeded = !!externalSourceForDebug && func[ThisMode] !== Mode.LEXICAL;
     const env = calleeContext.LexicalEnvironment;
     for (const paramName of parameterNames) {
       // In strict mode, it's guaranteed no duplicate params exist.
       env.CreateMutableBinding(paramName, false);
     }
+    let parameterBindings = parameterNames;
+    if (argumentsObjectNeeded) {
+      const ao = CreateUnmappedArgumentsObject(args);
+      env.CreateImmutableBinding("arguments", false);
+      env.InitializeBinding("arguments", ao);
+      parameterBindings = parameterNames.concat("arguments");
+    }
     const iteratorRecord = CreateListIteratorRecord(args);
     yield* IteratorBindingInitialization(formals, iteratorRecord, env);
     let varEnv;
@@ -1144,8 +1202,10 @@ export function cook(rootAst, codeSource) {
       // NOTE: Only a single Environment Record is needed for the parameters
       // and top-level vars.
       // `varNames` are unique.
+      const instantiatedVarNames = [...parameterBindings];
       for (const n of varNames) {
-        if (!parameterNames.includes(n)) {
+        if (!instantiatedVarNames.includes(n)) {
+          instantiatedVarNames.push(n);
           env.CreateMutableBinding(n, false);
           env.InitializeBinding(n, undefined);
         }
@@ -1158,15 +1218,19 @@ export function cook(rootAst, codeSource) {
       varEnv = new DeclarativeEnvironment(env);
       calleeContext.VariableEnvironment = varEnv;
       // `varNames` are unique.
+      const instantiatedVarNames = [];
       for (const n of varNames) {
-        varEnv.CreateMutableBinding(n, false);
-        let initialValue;
-        if (parameterNames.includes(n) && !functionNames.includes(n)) {
-          initialValue = env.GetBindingValue(n, false);
+        if (!instantiatedVarNames.includes(n)) {
+          instantiatedVarNames.push(n);
+          varEnv.CreateMutableBinding(n, false);
+          let initialValue;
+          if (parameterBindings.includes(n) && !functionNames.includes(n)) {
+            initialValue = env.GetBindingValue(n, false);
+          }
+          varEnv.InitializeBinding(n, initialValue);
+          // NOTE: A var with the same name as a formal parameter initially has
+          // the same value as the corresponding initialized parameter.
         }
-        varEnv.InitializeBinding(n, initialValue);
-        // NOTE: A var with the same name as a formal parameter initially has
-        // the same value as the corresponding initialized parameter.
       }
     }
     const lexEnv = varEnv;
@@ -1191,10 +1255,35 @@ export function cook(rootAst, codeSource) {
       varEnv.SetMutableBinding(fn, fo, false);
     }
   }
+  function CreateUnmappedArgumentsObject(args) {
+    const argList = [...args];
+    const argumentObject = {};
+    Object.defineProperty(argumentObject, "length", {
+      value: argList.length,
+      writable: true,
+      configurable: true
+    });
+    for (let index = 0; index < argList.length; index++) {
+      argumentObject[String(index)] = argList[index];
+    }
+    Object.defineProperty(argumentObject, Symbol.iterator, {
+      value: Array.prototype.values,
+      writable: true,
+      configurable: true
+    });
+    const ThrowTypeError = () => {
+      throw new TypeError("'caller', 'callee', and 'arguments' properties may not be accessed on strict mode functions or the arguments objects for calls to them");
+    };
+    Object.defineProperty(argumentObject, "callee", {
+      get: ThrowTypeError,
+      set: ThrowTypeError
+    });
+    return argumentObject;
+  }
 
   // https://tc39.es/ecma262/#sec-runtime-semantics-instantiatefunctionobject
   function InstantiateFunctionObject(func, scope) {
-    const F = OrdinaryFunctionCreate(func, scope, true);
+    const F = OrdinaryFunctionCreate(func, scope, true, false);
     if (func.id) {
       SetFunctionName(F, func.id.name);
     }
@@ -1208,12 +1297,12 @@ export function cook(rootAst, codeSource) {
       const name = functionExpression.id.name;
       const funcEnv = new DeclarativeEnvironment(scope);
       funcEnv.CreateImmutableBinding(name, false);
-      const closure = OrdinaryFunctionCreate(functionExpression, funcEnv, true);
+      const closure = OrdinaryFunctionCreate(functionExpression, funcEnv, true, false);
       SetFunctionName(closure, name);
       funcEnv.InitializeBinding(name, closure);
       return closure;
     } else {
-      const closure = OrdinaryFunctionCreate(functionExpression, scope, true);
+      const closure = OrdinaryFunctionCreate(functionExpression, scope, true, false);
       SetFunctionName(closure, name ?? "");
       return closure;
     }
@@ -1222,7 +1311,7 @@ export function cook(rootAst, codeSource) {
   // https://tc39.es/ecma262/#sec-runtime-semantics-instantiatearrowfunctionexpression
   function InstantiateArrowFunctionExpression(arrowFunction, name) {
     const scope = getRunningContext().LexicalEnvironment;
-    const closure = OrdinaryFunctionCreate(arrowFunction, scope, false);
+    const closure = OrdinaryFunctionCreate(arrowFunction, scope, false, true);
     SetFunctionName(closure, name ?? "");
     return closure;
   }
@@ -1234,10 +1323,10 @@ export function cook(rootAst, codeSource) {
   }
 
   // https://tc39.es/ecma262/#sec-ordinaryfunctioncreate
-  function OrdinaryFunctionCreate(sourceNode, scope, isConstructor) {
+  function OrdinaryFunctionCreate(sourceNode, scope, isConstructor, lexicalThis) {
     const F = function () {
       // eslint-disable-next-line prefer-rest-params
-      return unwind(CallFunction(F, arguments));
+      return unwind(CallFunction(F, this, arguments));
     };
     Object.defineProperties(F, {
       [SourceNode]: {
@@ -1254,13 +1343,16 @@ export function cook(rootAst, codeSource) {
       },
       [IsConstructor]: {
         value: isConstructor
+      },
+      [ThisMode]: {
+        value: lexicalThis ? Mode.LEXICAL : Mode.STRICT
       }
     });
-    if (debug) {
+    if (debug || externalSourceForDebug) {
       Object.defineProperty(F, DebuggerCall, {
         value: function () {
           // eslint-disable-next-line prefer-rest-params
-          return CallFunction(F, arguments);
+          return CallFunction(F, this, arguments);
         }
       });
     }
@@ -1334,7 +1426,7 @@ export function cook(rootAst, codeSource) {
         // Rest element.
         if (node.argument.type === "Identifier") {
           const lhs = ResolveBinding(node.argument.name, environment);
-          const A = [];
+          const A = new ArrayConstructor();
           let n = 0;
           // eslint-disable-next-line no-constant-condition
           while (true) {
@@ -1350,7 +1442,7 @@ export function cook(rootAst, codeSource) {
             n++;
           }
         } else {
-          const A = [];
+          const A = new ArrayConstructor();
           let n = 0;
           // eslint-disable-next-line no-constant-condition
           while (true) {