@next-core/cook 1.0.1

package/dist/cjs/traverse.js

@@ -0,0 +1,168 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.collectBoundNames = collectBoundNames;
+exports.containsExpression = containsExpression;
+exports.collectScopedDeclarations = collectScopedDeclarations;
+
+function collectBoundNames(root) {
+  const names = new Set();
+
+  const collect = node => {
+    if (Array.isArray(node)) {
+      for (const n of node) {
+        collect(n);
+      }
+    } else if (node) {
+      // `node` maybe `null` in some cases.
+      switch (node.type) {
+        case "Identifier":
+          names.add(node.name);
+          return;
+
+        case "VariableDeclaration":
+          return collect(node.declarations);
+
+        case "VariableDeclarator":
+          return collect(node.id);
+
+        case "ArrayPattern":
+          return collect(node.elements);
+
+        case "AssignmentPattern":
+          return collect(node.left);
+
+        case "ObjectPattern":
+          return collect(node.properties);
+
+        case "Property":
+          return collect(node.value);
+
+        case "RestElement":
+          return collect(node.argument);
+
+        case "FunctionDeclaration":
+          return collect(node.id);
+      }
+    }
+  };
+
+  collect(root);
+  return Array.from(names);
+}
+
+function containsExpression(root) {
+  const collect = node => {
+    if (Array.isArray(node)) {
+      return node.some(collect);
+    } else if (node) {
+      // `node` maybe `null` in some cases.
+      switch (node.type) {
+        case "ArrayPattern":
+          return collect(node.elements);
+
+        case "AssignmentPattern":
+          return true;
+
+        case "ObjectPattern":
+          return collect(node.properties);
+
+        case "Property":
+          return node.computed || collect(node.value);
+
+        case "RestElement":
+          return collect(node.argument);
+      }
+    }
+  };
+
+  return collect(root);
+}
+
+function collectScopedDeclarations(root, options) {
+  const declarations = [];
+  const nextOptions = {
+    var: options.var
+  };
+
+  const collect = (node, options) => {
+    if (Array.isArray(node)) {
+      for (const n of node) {
+        collect(n, options);
+      }
+    } else if (node) {
+      // `node` maybe `null` in some cases.
+      switch (node.type) {
+        case "FunctionDeclaration":
+          // At the top level of a function, or script, function declarations are
+          // treated like var declarations rather than like lexical declarations.
+          // See https://tc39.es/ecma262/#sec-static-semantics-toplevellexicallydeclarednames
+          if (Number(!options.var) ^ Number(options.topLevel)) {
+            declarations.push(node);
+          }
+
+          return;
+
+        case "VariableDeclaration":
+          if (Number(!options.var) ^ Number(node.kind === "var")) {
+            declarations.push(node);
+          }
+
+          return;
+
+        case "SwitchCase":
+          collect(node.consequent, nextOptions);
+          return;
+
+        case "CatchClause":
+          collect(node.body, nextOptions);
+          return;
+      }
+
+      if (options.var) {
+        switch (node.type) {
+          case "BlockStatement":
+            collect(node.body, nextOptions);
+            return;
+
+          case "IfStatement":
+            collect(node.consequent, nextOptions);
+            collect(node.alternate, nextOptions);
+            return;
+
+          case "DoWhileStatement":
+          case "WhileStatement":
+            collect(node.body, nextOptions);
+            return;
+
+          case "ForStatement":
+            collect(node.init, nextOptions);
+            collect(node.body, nextOptions);
+            return;
+
+          case "ForInStatement":
+          case "ForOfStatement":
+            collect(node.left, nextOptions);
+            collect(node.body, nextOptions);
+            return;
+
+          case "SwitchStatement":
+            collect(node.cases, nextOptions);
+            return;
+
+          case "TryStatement":
+            collect(node.block, nextOptions);
+            collect(node.handler, nextOptions);
+            collect(node.finalizer, nextOptions);
+            return;
+        }
+      }
+    }
+  };
+
+  collect(root, options);
+  return declarations;
+}
+//# sourceMappingURL=traverse.js.map

package/dist/cjs/traverse.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/traverse.ts"],"names":["collectBoundNames","root","names","Set","collect","node","Array","isArray","n","type","add","name","declarations","id","elements","left","properties","value","argument","from","containsExpression","some","computed","collectScopedDeclarations","options","nextOptions","var","Number","topLevel","push","kind","consequent","body","alternate","init","cases","block","handler","finalizer"],"mappings":";;;;;;;;;AAYO,SAASA,iBAAT,CACLC,IADK,EAEK;AACV,QAAMC,KAAK,GAAG,IAAIC,GAAJ,EAAd;;AACA,QAAMC,OAAwB,GAAIC,IAAD,IAAU;AACzC,QAAIC,KAAK,CAACC,OAAN,CAAcF,IAAd,CAAJ,EAAyB;AACvB,WAAK,MAAMG,CAAX,IAAgBH,IAAhB,EAAsB;AACpBD,QAAAA,OAAO,CAACI,CAAD,CAAP;AACD;AACF,KAJD,MAIO,IAAIH,IAAJ,EAAU;AACf;AACA,cAAQA,IAAI,CAACI,IAAb;AACE,aAAK,YAAL;AACEP,UAAAA,KAAK,CAACQ,GAAN,CAAUL,IAAI,CAACM,IAAf;AACA;;AACF,aAAK,qBAAL;AACE,iBAAOP,OAAO,CAACC,IAAI,CAACO,YAAN,CAAd;;AACF,aAAK,oBAAL;AACE,iBAAOR,OAAO,CAACC,IAAI,CAACQ,EAAN,CAAd;;AACF,aAAK,cAAL;AACE,iBAAOT,OAAO,CAACC,IAAI,CAACS,QAAN,CAAd;;AACF,aAAK,mBAAL;AACE,iBAAOV,OAAO,CAACC,IAAI,CAACU,IAAN,CAAd;;AACF,aAAK,eAAL;AACE,iBAAOX,OAAO,CAACC,IAAI,CAACW,UAAN,CAAd;;AACF,aAAK,UAAL;AACE,iBAAOZ,OAAO,CAACC,IAAI,CAACY,KAAN,CAAd;;AACF,aAAK,aAAL;AACE,iBAAOb,OAAO,CAACC,IAAI,CAACa,QAAN,CAAd;;AACF,aAAK,qBAAL;AACE,iBAAOd,OAAO,CAACC,IAAI,CAACQ,EAAN,CAAd;AAnBJ;AAqBD;AACF,GA7BD;;AA8BAT,EAAAA,OAAO,CAACH,IAAD,CAAP;AACA,SAAOK,KAAK,CAACa,IAAN,CAAWjB,KAAX,CAAP;AACD;;AAEM,SAASkB,kBAAT,CAA4BnB,IAA5B,EAAsE;AAC3E,QAAMG,OAAiC,GAAIC,IAAD,IAAU;AAClD,QAAIC,KAAK,CAACC,OAAN,CAAcF,IAAd,CAAJ,EAAyB;AACvB,aAAOA,IAAI,CAACgB,IAAL,CAAUjB,OAAV,CAAP;AACD,KAFD,MAEO,IAAIC,IAAJ,EAAU;AACf;AACA,cAAQA,IAAI,CAACI,IAAb;AACE,aAAK,cAAL;AACE,iBAAOL,OAAO,CAACC,IAAI,CAACS,QAAN,CAAd;;AACF,aAAK,mBAAL;AACE,iBAAO,IAAP;;AACF,aAAK,eAAL;AACE,iBAAOV,OAAO,CAACC,IAAI,CAACW,UAAN,CAAd;;AACF,aAAK,UAAL;AACE,iBAAOX,IAAI,CAACiB,QAAL,IAAiBlB,OAAO,CAACC,IAAI,CAACY,KAAN,CAA/B;;AACF,aAAK,aAAL;AACE,iBAAOb,OAAO,CAACC,IAAI,CAACa,QAAN,CAAd;AAVJ;AAYD;AACF,GAlBD;;AAmBA,SAAOd,OAAO,CAACH,IAAD,CAAd;AACD;;AASM,SAASsB,yBAAT,CACLtB,IADK,EAELuB,OAFK,EAGgB;AACrB,QAAMZ,YAAiC,GAAG,EAA1C;AACA,QAAMa,WAAW,GAAG;AAAEC,IAAAA,GAAG,EAAEF,OAAO,CAACE;AAAf,GAApB;;AACA,QAAMtB,OAAmE,GAAG,CAC1EC,IAD0E,EAE1EmB,OAF0E,KAGjE;AACT,QAAIlB,KAAK,CAACC,OAAN,CAAcF,IAAd,CAAJ,EAAyB;AACvB,WAAK,MAAMG,CAAX,IAAgBH,IAAhB,EAAsB;AACpBD,QAAAA,OAAO,CAACI,CAAD,EAAIgB,OAAJ,CAAP;AACD;AACF,KAJD,MAIO,IAAInB,IAAJ,EAAU;AACf;AACA,cAAQA,IAAI,CAACI,IAAb;AACE,aAAK,qBAAL;AACE;AACA;AACA;AACA,cAAIkB,MAAM,CAAC,CAACH,OAAO,CAACE,GAAV,CAAN,GAAuBC,MAAM,CAACH,OAAO,CAACI,QAAT,CAAjC,EAAqD;AACnDhB,YAAAA,YAAY,CAACiB,IAAb,CAAkBxB,IAAlB;AACD;;AACD;;AACF,aAAK,qBAAL;AACE,cAAIsB,MAAM,CAAC,CAACH,OAAO,CAACE,GAAV,CAAN,GAAuBC,MAAM,CAACtB,IAAI,CAACyB,IAAL,KAAc,KAAf,CAAjC,EAAwD;AACtDlB,YAAAA,YAAY,CAACiB,IAAb,CAAkBxB,IAAlB;AACD;;AACD;;AACF,aAAK,YAAL;AACED,UAAAA,OAAO,CAACC,IAAI,CAAC0B,UAAN,EAAkBN,WAAlB,CAAP;AACA;;AACF,aAAK,aAAL;AACErB,UAAAA,OAAO,CAACC,IAAI,CAAC2B,IAAN,EAAYP,WAAZ,CAAP;AACA;AAnBJ;;AAqBA,UAAID,OAAO,CAACE,GAAZ,EAAiB;AACf,gBAAQrB,IAAI,CAACI,IAAb;AACE,eAAK,gBAAL;AACEL,YAAAA,OAAO,CAACC,IAAI,CAAC2B,IAAN,EAAYP,WAAZ,CAAP;AACA;;AACF,eAAK,aAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAAC0B,UAAN,EAAkBN,WAAlB,CAAP;AACArB,YAAAA,OAAO,CAACC,IAAI,CAAC4B,SAAN,EAAiBR,WAAjB,CAAP;AACA;;AACF,eAAK,kBAAL;AACA,eAAK,gBAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAAC2B,IAAN,EAAYP,WAAZ,CAAP;AACA;;AACF,eAAK,cAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAAC6B,IAAN,EAAYT,WAAZ,CAAP;AACArB,YAAAA,OAAO,CAACC,IAAI,CAAC2B,IAAN,EAAYP,WAAZ,CAAP;AACA;;AACF,eAAK,gBAAL;AACA,eAAK,gBAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAACU,IAAN,EAAYU,WAAZ,CAAP;AACArB,YAAAA,OAAO,CAACC,IAAI,CAAC2B,IAAN,EAAYP,WAAZ,CAAP;AACA;;AACF,eAAK,iBAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAAC8B,KAAN,EAAaV,WAAb,CAAP;AACA;;AACF,eAAK,cAAL;AACErB,YAAAA,OAAO,CAACC,IAAI,CAAC+B,KAAN,EAAaX,WAAb,CAAP;AACArB,YAAAA,OAAO,CAACC,IAAI,CAACgC,OAAN,EAAeZ,WAAf,CAAP;AACArB,YAAAA,OAAO,CAACC,IAAI,CAACiC,SAAN,EAAiBb,WAAjB,CAAP;AACA;AA5BJ;AA8BD;AACF;AACF,GAhED;;AAiEArB,EAAAA,OAAO,CAACH,IAAD,EAAOuB,OAAP,CAAP;AACA,SAAOZ,YAAP;AACD","sourcesContent":["import { FunctionDeclaration, VariableDeclaration } from \"@babel/types\";\nimport { EstreeNode, NodeWithBoundNames } from \"./interfaces\";\n\ntype InternalCollect<T = void, O = unknown> = (\n  node: EstreeNode | EstreeNode[],\n  options?: O\n) => T;\ntype InternalCollectWithOptions<T = void, O = unknown> = (\n  node: EstreeNode | EstreeNode[],\n  options: O\n) => T;\n\nexport function collectBoundNames(\n  root: NodeWithBoundNames | NodeWithBoundNames[]\n): string[] {\n  const names = new Set<string>();\n  const collect: InternalCollect = (node) => {\n    if (Array.isArray(node)) {\n      for (const n of node) {\n        collect(n);\n      }\n    } else if (node) {\n      // `node` maybe `null` in some cases.\n      switch (node.type) {\n        case \"Identifier\":\n          names.add(node.name);\n          return;\n        case \"VariableDeclaration\":\n          return collect(node.declarations);\n        case \"VariableDeclarator\":\n          return collect(node.id);\n        case \"ArrayPattern\":\n          return collect(node.elements);\n        case \"AssignmentPattern\":\n          return collect(node.left);\n        case \"ObjectPattern\":\n          return collect(node.properties);\n        case \"Property\":\n          return collect(node.value);\n        case \"RestElement\":\n          return collect(node.argument);\n        case \"FunctionDeclaration\":\n          return collect(node.id);\n      }\n    }\n  };\n  collect(root);\n  return Array.from(names);\n}\n\nexport function containsExpression(root: EstreeNode | EstreeNode[]): boolean {\n  const collect: InternalCollect<boolean> = (node) => {\n    if (Array.isArray(node)) {\n      return node.some(collect);\n    } else if (node) {\n      // `node` maybe `null` in some cases.\n      switch (node.type) {\n        case \"ArrayPattern\":\n          return collect(node.elements);\n        case \"AssignmentPattern\":\n          return true;\n        case \"ObjectPattern\":\n          return collect(node.properties);\n        case \"Property\":\n          return node.computed || collect(node.value);\n        case \"RestElement\":\n          return collect(node.argument);\n      }\n    }\n  };\n  return collect(root);\n}\n\ninterface ScopedDeclarationOptions {\n  var?: boolean;\n  topLevel?: boolean;\n}\n\ntype ScopedDeclaration = VariableDeclaration | FunctionDeclaration;\n\nexport function collectScopedDeclarations(\n  root: EstreeNode | EstreeNode[],\n  options: ScopedDeclarationOptions\n): ScopedDeclaration[] {\n  const declarations: ScopedDeclaration[] = [];\n  const nextOptions = { var: options.var };\n  const collect: InternalCollectWithOptions<void, ScopedDeclarationOptions> = (\n    node,\n    options\n  ): void => {\n    if (Array.isArray(node)) {\n      for (const n of node) {\n        collect(n, options);\n      }\n    } else if (node) {\n      // `node` maybe `null` in some cases.\n      switch (node.type) {\n        case \"FunctionDeclaration\":\n          // At the top level of a function, or script, function declarations are\n          // treated like var declarations rather than like lexical declarations.\n          // See https://tc39.es/ecma262/#sec-static-semantics-toplevellexicallydeclarednames\n          if (Number(!options.var) ^ Number(options.topLevel)) {\n            declarations.push(node);\n          }\n          return;\n        case \"VariableDeclaration\":\n          if (Number(!options.var) ^ Number(node.kind === \"var\")) {\n            declarations.push(node);\n          }\n          return;\n        case \"SwitchCase\":\n          collect(node.consequent, nextOptions);\n          return;\n        case \"CatchClause\":\n          collect(node.body, nextOptions);\n          return;\n      }\n      if (options.var) {\n        switch (node.type) {\n          case \"BlockStatement\":\n            collect(node.body, nextOptions);\n            return;\n          case \"IfStatement\":\n            collect(node.consequent, nextOptions);\n            collect(node.alternate, nextOptions);\n            return;\n          case \"DoWhileStatement\":\n          case \"WhileStatement\":\n            collect(node.body, nextOptions);\n            return;\n          case \"ForStatement\":\n            collect(node.init, nextOptions);\n            collect(node.body, nextOptions);\n            return;\n          case \"ForInStatement\":\n          case \"ForOfStatement\":\n            collect(node.left, nextOptions);\n            collect(node.body, nextOptions);\n            return;\n          case \"SwitchStatement\":\n            collect(node.cases, nextOptions);\n            return;\n          case \"TryStatement\":\n            collect(node.block, nextOptions);\n            collect(node.handler, nextOptions);\n            collect(node.finalizer, nextOptions);\n            return;\n        }\n      }\n    }\n  };\n  collect(root, options);\n  return declarations;\n}\n"],"file":"traverse.js"}

package/dist/esm/AnalysisContext.js

@@ -0,0 +1,30 @@
+import _defineProperty from "@babel/runtime/helpers/defineProperty";
+// https://tc39.es/ecma262/#sec-execution-contexts
+export class AnalysisContext {
+  constructor() {
+    _defineProperty(this, "VariableEnvironment", void 0);
+
+    _defineProperty(this, "LexicalEnvironment", void 0);
+  }
+
+} // https://tc39.es/ecma262/#sec-environment-records
+
+export class AnalysisEnvironment {
+  constructor(outer) {
+    _defineProperty(this, "OuterEnv", void 0);
+
+    _defineProperty(this, "bindingSet", new Set());
+
+    this.OuterEnv = outer;
+  }
+
+  HasBinding(name) {
+    return this.bindingSet.has(name);
+  }
+
+  CreateBinding(name) {
+    this.bindingSet.add(name);
+  }
+
+}
+//# sourceMappingURL=AnalysisContext.js.map

package/dist/esm/AnalysisContext.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/AnalysisContext.ts"],"names":["AnalysisContext","AnalysisEnvironment","constructor","outer","Set","OuterEnv","HasBinding","name","bindingSet","has","CreateBinding","add"],"mappings":";AAEA;AACA,OAAO,MAAMA,eAAN,CAAsB;AAAA;AAAA;;AAAA;AAAA;;AAAA,C,CAK7B;;AACA,OAAO,MAAMC,mBAAN,CAA0B;AAI/BC,EAAAA,WAAW,CAACC,KAAD,EAA6B;AAAA;;AAAA,wCAFV,IAAIC,GAAJ,EAEU;;AACtC,SAAKC,QAAL,GAAgBF,KAAhB;AACD;;AAEDG,EAAAA,UAAU,CAACC,IAAD,EAAwB;AAChC,WAAO,KAAKC,UAAL,CAAgBC,GAAhB,CAAoBF,IAApB,CAAP;AACD;;AAEDG,EAAAA,aAAa,CAACH,IAAD,EAAqB;AAChC,SAAKC,UAAL,CAAgBG,GAAhB,CAAoBJ,IAApB;AACD;;AAd8B","sourcesContent":["import { Expression, FunctionDeclaration, Statement } from \"@babel/types\";\n\n// https://tc39.es/ecma262/#sec-execution-contexts\nexport class AnalysisContext {\n  VariableEnvironment: AnalysisEnvironment;\n  LexicalEnvironment: AnalysisEnvironment;\n}\n\n// https://tc39.es/ecma262/#sec-environment-records\nexport class AnalysisEnvironment {\n  readonly OuterEnv: AnalysisEnvironment;\n  private readonly bindingSet = new Set<string>();\n\n  constructor(outer: AnalysisEnvironment) {\n    this.OuterEnv = outer;\n  }\n\n  HasBinding(name: string): boolean {\n    return this.bindingSet.has(name);\n  }\n\n  CreateBinding(name: string): void {\n    this.bindingSet.add(name);\n  }\n}\n\nexport interface AnalysisFunctionObject {\n  FormalParameters: FunctionDeclaration[\"params\"];\n  ECMAScriptCode: Statement[] | Expression;\n  Environment: AnalysisEnvironment;\n}\n"],"file":"AnalysisContext.js"}

package/dist/esm/ExecutionContext.js

@@ -0,0 +1,135 @@
+import _defineProperty from "@babel/runtime/helpers/defineProperty";
+// https://tc39.es/ecma262/#sec-execution-contexts
+export class ExecutionContext {
+  constructor() {
+    _defineProperty(this, "VariableEnvironment", void 0);
+
+    _defineProperty(this, "LexicalEnvironment", void 0);
+
+    _defineProperty(this, "Function", void 0);
+  }
+
+}
+// https://tc39.es/ecma262/#sec-environment-records
+export class EnvironmentRecord {
+  constructor(outer) {
+    _defineProperty(this, "OuterEnv", void 0);
+
+    _defineProperty(this, "bindingMap", new Map());
+
+    this.OuterEnv = outer;
+  }
+
+  HasBinding(name) {
+    return this.bindingMap.has(name);
+  }
+
+  CreateMutableBinding(name, deletable) {
+    // Assert: binding does not exist.
+    this.bindingMap.set(name, {
+      mutable: true,
+      deletable
+    });
+    return NormalCompletion(undefined);
+  }
+  /**
+   * Create an immutable binding.
+   *
+   * @param name - The binding name.
+   * @param strict - For named function expressions, strict is false, otherwise it's true.
+   * @returns CompletionRecord.
+   */
+
+
+  CreateImmutableBinding(name, strict) {
+    // Assert: binding does not exist.
+    this.bindingMap.set(name, {
+      strict
+    });
+    return NormalCompletion(undefined);
+  }
+
+  InitializeBinding(name, value) {
+    var binding = this.bindingMap.get(name); // Assert: binding exists and uninitialized.
+
+    Object.assign(binding, {
+      initialized: true,
+      value
+    });
+    return NormalCompletion(undefined);
+  }
+  /**
+   * Update a mutable binding value, including function declarations.
+   *
+   * @param name - The binding name.
+   * @param value - The binding value.
+   * @param strict - For functions, strict is always false, otherwise it depends on strict-mode.
+   * @returns
+   */
+
+
+  SetMutableBinding(name, value, strict) {
+    var binding = this.bindingMap.get(name); // Assert: binding exists.
+
+    if (!binding.initialized) {
+      throw new ReferenceError("".concat(name, " is not initialized"));
+    } else if (binding.mutable) {
+      binding.value = value;
+    } else {
+      throw new TypeError("Assignment to constant variable");
+    }
+
+    return NormalCompletion(undefined);
+  }
+
+  GetBindingValue(name, strict) {
+    var binding = this.bindingMap.get(name); // Assert: binding exists.
+
+    if (!binding.initialized) {
+      throw new ReferenceError("".concat(name, " is not initialized"));
+    }
+
+    return binding.value;
+  }
+
+}
+export class DeclarativeEnvironment extends EnvironmentRecord {}
+export class FunctionEnvironment extends EnvironmentRecord {}
+export var FormalParameters = Symbol.for("FormalParameters");
+export var ECMAScriptCode = Symbol.for("ECMAScriptCode");
+export var Environment = Symbol.for("Environment");
+export var IsConstructor = Symbol.for("IsConstructor");
+// https://tc39.es/ecma262/#sec-reference-record-specification-type
+export class ReferenceRecord {
+  /** Whether the reference is in strict mode. */
+  constructor(base, referenceName, strict) {
+    _defineProperty(this, "Base", void 0);
+
+    _defineProperty(this, "ReferenceName", void 0);
+
+    _defineProperty(this, "Strict", void 0);
+
+    this.Base = base;
+    this.ReferenceName = referenceName;
+    this.Strict = strict;
+  }
+
+} // https://tc39.es/ecma262/#sec-completion-record-specification-type
+
+export class CompletionRecord {
+  constructor(type, value) {
+    _defineProperty(this, "Type", void 0);
+
+    _defineProperty(this, "Value", void 0);
+
+    this.Type = type;
+    this.Value = value;
+  }
+
+}
+// https://tc39.es/ecma262/#sec-normalcompletion
+export function NormalCompletion(value) {
+  return new CompletionRecord("normal", value);
+}
+export var Empty = Symbol("empty completion");
+//# sourceMappingURL=ExecutionContext.js.map

package/dist/esm/ExecutionContext.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/ExecutionContext.ts"],"names":["ExecutionContext","EnvironmentRecord","constructor","outer","Map","OuterEnv","HasBinding","name","bindingMap","has","CreateMutableBinding","deletable","set","mutable","NormalCompletion","undefined","CreateImmutableBinding","strict","InitializeBinding","value","binding","get","Object","assign","initialized","SetMutableBinding","ReferenceError","TypeError","GetBindingValue","DeclarativeEnvironment","FunctionEnvironment","FormalParameters","Symbol","for","ECMAScriptCode","Environment","IsConstructor","ReferenceRecord","base","referenceName","Base","ReferenceName","Strict","CompletionRecord","type","Type","Value","Empty"],"mappings":";AAEA;AACA,OAAO,MAAMA,gBAAN,CAAuB;AAAA;AAAA;;AAAA;;AAAA;AAAA;;AAAA;AAQ9B;AACA,OAAO,MAAMC,iBAAN,CAAwB;AAI7BC,EAAAA,WAAW,CAACC,KAAD,EAA2B;AAAA;;AAAA,wCAFR,IAAIC,GAAJ,EAEQ;;AACpC,SAAKC,QAAL,GAAgBF,KAAhB;AACD;;AAEDG,EAAAA,UAAU,CAACC,IAAD,EAAwB;AAChC,WAAO,KAAKC,UAAL,CAAgBC,GAAhB,CAAoBF,IAApB,CAAP;AACD;;AAEDG,EAAAA,oBAAoB,CAACH,IAAD,EAAeI,SAAf,EAAqD;AACvE;AACA,SAAKH,UAAL,CAAgBI,GAAhB,CAAoBL,IAApB,EAA0B;AACxBM,MAAAA,OAAO,EAAE,IADe;AAExBF,MAAAA;AAFwB,KAA1B;AAIA,WAAOG,gBAAgB,CAACC,SAAD,CAAvB;AACD;AAED;AACF;AACA;AACA;AACA;AACA;AACA;;;AACEC,EAAAA,sBAAsB,CAACT,IAAD,EAAeU,MAAf,EAAkD;AACtE;AACA,SAAKT,UAAL,CAAgBI,GAAhB,CAAoBL,IAApB,EAA0B;AACxBU,MAAAA;AADwB,KAA1B;AAGA,WAAOH,gBAAgB,CAACC,SAAD,CAAvB;AACD;;AAEDG,EAAAA,iBAAiB,CAACX,IAAD,EAAeY,KAAf,EAAiD;AAChE,QAAMC,OAAO,GAAG,KAAKZ,UAAL,CAAgBa,GAAhB,CAAoBd,IAApB,CAAhB,CADgE,CAEhE;;AACAe,IAAAA,MAAM,CAACC,MAAP,CAAmDH,OAAnD,EAA4D;AAC1DI,MAAAA,WAAW,EAAE,IAD6C;AAE1DL,MAAAA;AAF0D,KAA5D;AAIA,WAAOL,gBAAgB,CAACC,SAAD,CAAvB;AACD;AAED;AACF;AACA;AACA;AACA;AACA;AACA;AACA;;;AACEU,EAAAA,iBAAiB,CACflB,IADe,EAEfY,KAFe,EAGfF,MAHe,EAIG;AAClB,QAAMG,OAAO,GAAG,KAAKZ,UAAL,CAAgBa,GAAhB,CAAoBd,IAApB,CAAhB,CADkB,CAElB;;AACA,QAAI,CAACa,OAAO,CAACI,WAAb,EAA0B;AACxB,YAAM,IAAIE,cAAJ,WAAsBnB,IAAtB,yBAAN;AACD,KAFD,MAEO,IAAIa,OAAO,CAACP,OAAZ,EAAqB;AAC1BO,MAAAA,OAAO,CAACD,KAAR,GAAgBA,KAAhB;AACD,KAFM,MAEA;AACL,YAAM,IAAIQ,SAAJ,mCAAN;AACD;;AACD,WAAOb,gBAAgB,CAACC,SAAD,CAAvB;AACD;;AAEDa,EAAAA,eAAe,CAACrB,IAAD,EAAeU,MAAf,EAAyC;AACtD,QAAMG,OAAO,GAAG,KAAKZ,UAAL,CAAgBa,GAAhB,CAAoBd,IAApB,CAAhB,CADsD,CAEtD;;AACA,QAAI,CAACa,OAAO,CAACI,WAAb,EAA0B;AACxB,YAAM,IAAIE,cAAJ,WAAsBnB,IAAtB,yBAAN;AACD;;AACD,WAAOa,OAAO,CAACD,KAAf;AACD;;AA9E4B;AAiF/B,OAAO,MAAMU,sBAAN,SAAqC5B,iBAArC,CAAuD;AAE9D,OAAO,MAAM6B,mBAAN,SAAkC7B,iBAAlC,CAAoD;AAkB3D,OAAO,IAAM8B,gBAAgB,GAAGC,MAAM,CAACC,GAAP,CAAW,kBAAX,CAAzB;AACP,OAAO,IAAMC,cAAc,GAAGF,MAAM,CAACC,GAAP,CAAW,gBAAX,CAAvB;AACP,OAAO,IAAME,WAAW,GAAGH,MAAM,CAACC,GAAP,CAAW,aAAX,CAApB;AACP,OAAO,IAAMG,aAAa,GAAGJ,MAAM,CAACC,GAAP,CAAW,eAAX,CAAtB;AAUP;AACA,OAAO,MAAMI,eAAN,CAAsB;AAM3B;AAGAnC,EAAAA,WAAW,CACToC,IADS,EAETC,aAFS,EAGTtB,MAHS,EAIT;AAAA;;AAAA;;AAAA;;AACA,SAAKuB,IAAL,GAAYF,IAAZ;AACA,SAAKG,aAAL,GAAqBF,aAArB;AACA,SAAKG,MAAL,GAAczB,MAAd;AACD;;AAjB0B,C,CAoB7B;;AACA,OAAO,MAAM0B,gBAAN,CAAuB;AAI5BzC,EAAAA,WAAW,CAAC0C,IAAD,EAA6BzB,KAA7B,EAA6C;AAAA;;AAAA;;AACtD,SAAK0B,IAAL,GAAYD,IAAZ;AACA,SAAKE,KAAL,GAAa3B,KAAb;AACD;;AAP2B;AAiB9B;AACA,OAAO,SAASL,gBAAT,CAA0BK,KAA1B,EAA4D;AACjE,SAAO,IAAIwB,gBAAJ,CAAqB,QAArB,EAA+BxB,KAA/B,CAAP;AACD;AAED,OAAO,IAAM4B,KAAK,GAAGf,MAAM,CAAC,kBAAD,CAApB","sourcesContent":["import { Expression, FunctionDeclaration, Statement } from \"@babel/types\";\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;\n  private readonly bindingMap = new Map<string, BindingState>();\n\n  constructor(outer: EnvironmentRecord) {\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);\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);\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);\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 FormalParameters = Symbol.for(\"FormalParameters\");\nexport const ECMAScriptCode = Symbol.for(\"ECMAScriptCode\");\nexport const Environment = Symbol.for(\"Environment\");\nexport const IsConstructor = Symbol.for(\"IsConstructor\");\n\nexport interface FunctionObject {\n  (...args: unknown[]): unknown;\n  [FormalParameters]: FunctionDeclaration[\"params\"];\n  [ECMAScriptCode]: Statement[] | Expression;\n  [Environment]: EnvironmentRecord;\n  [IsConstructor]: boolean;\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"],"file":"ExecutionContext.js"}

package/dist/esm/context-free.js

@@ -0,0 +1,221 @@
+import { CompletionRecord, Empty, EnvironmentRecord, NormalCompletion, ReferenceRecord } from "./ExecutionContext";
+import { collectBoundNames } from "./traverse"; // https://tc39.es/ecma262/#sec-ispropertyreference
+
+export function IsPropertyReference(V) {
+  return V.Base !== "unresolvable" && !(V.Base instanceof EnvironmentRecord);
+} // https://tc39.es/ecma262/#sec-initializereferencedbinding
+
+export function InitializeReferencedBinding(V, W) {
+  var base = V.Base;
+  return base.InitializeBinding(V.ReferenceName, W);
+} // https://tc39.es/ecma262/#sec-copydataproperties
+
+export function CopyDataProperties(target, source, excludedItems) {
+  if (source === undefined || source === null) {
+    return target;
+  }
+
+  var keys = Object.getOwnPropertyNames(source).concat(Object.getOwnPropertySymbols(source));
+
+  for (var nextKey of keys) {
+    if (!excludedItems.has(nextKey)) {
+      var desc = Object.getOwnPropertyDescriptor(source, nextKey);
+
+      if (desc !== null && desc !== void 0 && desc.enumerable) {
+        target[nextKey] = source[nextKey];
+      }
+    }
+  }
+
+  return target;
+} // https://tc39.es/ecma262/#sec-runtime-semantics-fordeclarationbindinginstantiation
+
+export function ForDeclarationBindingInstantiation(forDeclaration, env) {
+  var isConst = forDeclaration.kind === "const";
+
+  for (var name of collectBoundNames(forDeclaration)) {
+    if (isConst) {
+      env.CreateImmutableBinding(name, true);
+    } else {
+      env.CreateMutableBinding(name, false);
+    }
+  }
+} // https://tc39.es/ecma262/#sec-loopcontinues
+
+export function LoopContinues(completion) {
+  return completion.Type === "normal" || completion.Type == "continue";
+} // https://tc39.es/ecma262/#sec-updateempty
+
+export function UpdateEmpty(completion, value) {
+  if (completion.Value !== Empty) {
+    return completion;
+  }
+
+  return new CompletionRecord(completion.Type, value);
+} // https://tc39.es/ecma262/#sec-getvalue
+
+export function GetValue(V) {
+  if (V instanceof CompletionRecord) {
+    // Assert: V.Type is normal.
+    V = V.Value;
+  }
+
+  if (!(V instanceof ReferenceRecord)) {
+    return V;
+  }
+
+  if (V.Base === "unresolvable") {
+    throw new ReferenceError("".concat(V.ReferenceName, " is not defined"));
+  }
+
+  if (V.Base instanceof EnvironmentRecord) {
+    var base = V.Base;
+    return base.GetBindingValue(V.ReferenceName, V.Strict);
+  }
+
+  return V.Base[V.ReferenceName];
+} // https://tc39.es/ecma262/#sec-topropertykey
+
+export function ToPropertyKey(arg) {
+  if (typeof arg === "symbol") {
+    return arg;
+  }
+
+  return String(arg);
+} // https://tc39.es/ecma262/#sec-getv
+
+export function GetV(V, P) {
+  return V[P];
+} // https://tc39.es/ecma262/#sec-putvalue
+
+export function PutValue(V, W) {
+  // Assert: V is a ReferenceRecord.
+  if (V.Base === "unresolvable") {
+    throw new ReferenceError("".concat(V.ReferenceName, " is not defined"));
+  }
+
+  if (V.Base instanceof EnvironmentRecord) {
+    return V.Base.SetMutableBinding(V.ReferenceName, W, V.Strict);
+  }
+
+  V.Base[V.ReferenceName] = W;
+  return NormalCompletion(undefined);
+} // https://tc39.es/ecma262/#sec-createlistiteratorRecord
+
+export function CreateListIteratorRecord(args) {
+  if (!isIterable(args)) {
+    throw new TypeError("".concat(typeof args, " is not iterable"));
+  }
+
+  return args[Symbol.iterator]();
+} // https://tc39.es/ecma262/#sec-requireobjectcoercible
+
+export function RequireObjectCoercible(arg) {
+  if (arg === null || arg === undefined) {
+    throw new TypeError("Cannot destructure properties of undefined or null");
+  }
+} // https://tc39.es/ecma262/#sec-getidentifierreference
+
+export function GetIdentifierReference(env, name, strict) {
+  if (!env) {
+    return new ReferenceRecord("unresolvable", name, strict);
+  }
+
+  if (env.HasBinding(name)) {
+    return new ReferenceRecord(env, name, strict);
+  }
+
+  return GetIdentifierReference(env.OuterEnv, name, strict);
+} // https://tc39.es/ecma262/#sec-applystringornumericbinaryoperator
+
+export function ApplyStringOrNumericBinaryOperator(leftValue, operator, rightValue) {
+  switch (operator) {
+    case "+":
+      return leftValue + rightValue;
+
+    case "-":
+      return leftValue - rightValue;
+
+    case "/":
+      return leftValue / rightValue;
+
+    case "%":
+      return leftValue % rightValue;
+
+    case "*":
+      return leftValue * rightValue;
+
+    case "**":
+      return leftValue ** rightValue;
+
+    case "==":
+      return leftValue == rightValue;
+
+    case "===":
+      return leftValue === rightValue;
+
+    case "!=":
+      return leftValue != rightValue;
+
+    case "!==":
+      return leftValue !== rightValue;
+
+    case ">":
+      return leftValue > rightValue;
+
+    case "<":
+      return leftValue < rightValue;
+
+    case ">=":
+      return leftValue >= rightValue;
+
+    case "<=":
+      return leftValue <= rightValue;
+  }
+
+  throw new SyntaxError("Unsupported binary operator `".concat(operator, "`"));
+} // https://tc39.es/ecma262/#sec-assignment-operators
+
+export function ApplyStringOrNumericAssignment(leftValue, operator, rightValue) {
+  switch (operator) {
+    case "+=":
+    case "-=":
+    case "*=":
+    case "/=":
+    case "%=":
+    case "**=":
+      return ApplyStringOrNumericBinaryOperator(leftValue, operator.substr(0, operator.length - 1), rightValue);
+  }
+
+  throw new SyntaxError("Unsupported assignment operator `".concat(operator, "`"));
+} // https://tc39.es/ecma262/#sec-unary-operators
+
+export function ApplyUnaryOperator(target, operator) {
+  switch (operator) {
+    case "!":
+      return !target;
+
+    case "+":
+      return +target;
+
+    case "-":
+      return -target;
+
+    case "void":
+      return undefined;
+  }
+
+  throw new SyntaxError("Unsupported unary operator `".concat(operator, "`"));
+}
+export function isIterable(cooked) {
+  if (Array.isArray(cooked)) {
+    return true;
+  }
+
+  if (cooked === null || cooked === undefined) {
+    return false;
+  }
+
+  return typeof cooked[Symbol.iterator] === "function";
+}
+//# sourceMappingURL=context-free.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/context-free.ts"],"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"],"mappings":"AAKA,SACEA,gBADF,EAEEC,KAFF,EAGEC,iBAHF,EAIEC,gBAJF,EAKEC,eALF,QAMO,oBANP;AAOA,SAASC,iBAAT,QAAkC,YAAlC,C,CAEA;;AACA,OAAO,SAASC,mBAAT,CAA6BC,CAA7B,EAA0D;AAC/D,SAAOA,CAAC,CAACC,IAAF,KAAW,cAAX,IAA6B,EAAED,CAAC,CAACC,IAAF,YAAkBN,iBAApB,CAApC;AACD,C,CAED;;AACA,OAAO,SAASO,2BAAT,CACLF,CADK,EAELG,CAFK,EAGa;AAClB,MAAMC,IAAI,GAAGJ,CAAC,CAACC,IAAf;AACA,SAAOG,IAAI,CAACC,iBAAL,CAAuBL,CAAC,CAACM,aAAzB,EAAkDH,CAAlD,CAAP;AACD,C,CAED;;AACA,OAAO,SAASI,kBAAT,CACLC,MADK,EAELC,MAFK,EAGLC,aAHK,EAIyB;AAC9B,MAAID,MAAM,KAAKE,SAAX,IAAwBF,MAAM,KAAK,IAAvC,EAA6C;AAC3C,WAAOD,MAAP;AACD;;AACD,MAAMI,IAAI,GAAIC,MAAM,CAACC,mBAAP,CAA2BL,MAA3B,CAAD,CAAsDM,MAAtD,CACXF,MAAM,CAACG,qBAAP,CAA6BP,MAA7B,CADW,CAAb;;AAGA,OAAK,IAAMQ,OAAX,IAAsBL,IAAtB,EAA4B;AAC1B,QAAI,CAACF,aAAa,CAACQ,GAAd,CAAkBD,OAAlB,CAAL,EAAiC;AAC/B,UAAME,IAAI,GAAGN,MAAM,CAACO,wBAAP,CAAgCX,MAAhC,EAAwCQ,OAAxC,CAAb;;AACA,UAAIE,IAAJ,aAAIA,IAAJ,eAAIA,IAAI,CAAEE,UAAV,EAAsB;AACpBb,QAAAA,MAAM,CAACS,OAAD,CAAN,GAAmBR,MAAD,CAAyCQ,OAAzC,CAAlB;AACD;AACF;AACF;;AACD,SAAOT,MAAP;AACD,C,CAED;;AACA,OAAO,SAASc,kCAAT,CACLC,cADK,EAELC,GAFK,EAGC;AACN,MAAMC,OAAO,GAAGF,cAAc,CAACG,IAAf,KAAwB,OAAxC;;AACA,OAAK,IAAMC,IAAX,IAAmB7B,iBAAiB,CAACyB,cAAD,CAApC,EAAsD;AACpD,QAAIE,OAAJ,EAAa;AACXD,MAAAA,GAAG,CAACI,sBAAJ,CAA2BD,IAA3B,EAAiC,IAAjC;AACD,KAFD,MAEO;AACLH,MAAAA,GAAG,CAACK,oBAAJ,CAAyBF,IAAzB,EAA+B,KAA/B;AACD;AACF;AACF,C,CAED;;AACA,OAAO,SAASG,aAAT,CAAuBC,UAAvB,EAA8D;AACnE,SAAOA,UAAU,CAACC,IAAX,KAAoB,QAApB,IAAgCD,UAAU,CAACC,IAAX,IAAmB,UAA1D;AACD,C,CAED;;AACA,OAAO,SAASC,WAAT,CACLF,UADK,EAELG,KAFK,EAGa;AAClB,MAAIH,UAAU,CAACI,KAAX,KAAqBzC,KAAzB,EAAgC;AAC9B,WAAOqC,UAAP;AACD;;AACD,SAAO,IAAItC,gBAAJ,CAAqBsC,UAAU,CAACC,IAAhC,EAAsCE,KAAtC,CAAP;AACD,C,CAED;;AACA,OAAO,SAASE,QAAT,CAAkBpC,CAAlB,EAAuC;AAC5C,MAAIA,CAAC,YAAYP,gBAAjB,EAAmC;AACjC;AACAO,IAAAA,CAAC,GAAGA,CAAC,CAACmC,KAAN;AACD;;AACD,MAAI,EAAEnC,CAAC,YAAYH,eAAf,CAAJ,EAAqC;AACnC,WAAOG,CAAP;AACD;;AACD,MAAIA,CAAC,CAACC,IAAF,KAAW,cAAf,EAA+B;AAC7B,UAAM,IAAIoC,cAAJ,WAAsBrC,CAAC,CAACM,aAAxB,qBAAN;AACD;;AACD,MAAIN,CAAC,CAACC,IAAF,YAAkBN,iBAAtB,EAAyC;AACvC,QAAMS,IAAI,GAAGJ,CAAC,CAACC,IAAf;AACA,WAAOG,IAAI,CAACkC,eAAL,CAAqBtC,CAAC,CAACM,aAAvB,EAAgDN,CAAC,CAACuC,MAAlD,CAAP;AACD;;AACD,SAAOvC,CAAC,CAACC,IAAF,CAAOD,CAAC,CAACM,aAAT,CAAP;AACD,C,CAED;;AACA,OAAO,SAASkC,aAAT,CAAuBC,GAAvB,EAAsD;AAC3D,MAAI,OAAOA,GAAP,KAAe,QAAnB,EAA6B;AAC3B,WAAOA,GAAP;AACD;;AACD,SAAOC,MAAM,CAACD,GAAD,CAAb;AACD,C,CAED;;AACA,OAAO,SAASE,IAAT,CAAc3C,CAAd,EAA0B4C,CAA1B,EAAmD;AACxD,SAAQ5C,CAAD,CAAoC4C,CAApC,CAAP;AACD,C,CAED;;AACA,OAAO,SAASC,QAAT,CAAkB7C,CAAlB,EAAsCG,CAAtC,EAAoE;AACzE;AACA,MAAIH,CAAC,CAACC,IAAF,KAAW,cAAf,EAA+B;AAC7B,UAAM,IAAIoC,cAAJ,WAAsBrC,CAAC,CAACM,aAAxB,qBAAN;AACD;;AACD,MAAIN,CAAC,CAACC,IAAF,YAAkBN,iBAAtB,EAAyC;AACvC,WAAOK,CAAC,CAACC,IAAF,CAAO6C,iBAAP,CAAyB9C,CAAC,CAACM,aAA3B,EAAoDH,CAApD,EAAuDH,CAAC,CAACuC,MAAzD,CAAP;AACD;;AACDvC,EAAAA,CAAC,CAACC,IAAF,CAAOD,CAAC,CAACM,aAAT,IAA0BH,CAA1B;AACA,SAAOP,gBAAgB,CAACe,SAAD,CAAvB;AACD,C,CAED;;AACA,OAAO,SAASoC,wBAAT,CACLC,IADK,EAEc;AACnB,MAAI,CAACC,UAAU,CAACD,IAAD,CAAf,EAAuB;AACrB,UAAM,IAAIE,SAAJ,WAAiB,OAAOF,IAAxB,sBAAN;AACD;;AACD,SAAOA,IAAI,CAACG,MAAM,CAACC,QAAR,CAAJ,EAAP;AACD,C,CAED;;AACA,OAAO,SAASC,sBAAT,CAAgCZ,GAAhC,EAAoD;AACzD,MAAIA,GAAG,KAAK,IAAR,IAAgBA,GAAG,KAAK9B,SAA5B,EAAuC;AACrC,UAAM,IAAIuC,SAAJ,CAAc,oDAAd,CAAN;AACD;AACF,C,CAED;;AACA,OAAO,SAASI,sBAAT,CACL9B,GADK,EAELG,IAFK,EAGL4B,MAHK,EAIY;AACjB,MAAI,CAAC/B,GAAL,EAAU;AACR,WAAO,IAAI3B,eAAJ,CAAoB,cAApB,EAAoC8B,IAApC,EAA0C4B,MAA1C,CAAP;AACD;;AACD,MAAI/B,GAAG,CAACgC,UAAJ,CAAe7B,IAAf,CAAJ,EAA0B;AACxB,WAAO,IAAI9B,eAAJ,CAAoB2B,GAApB,EAAyBG,IAAzB,EAA+B4B,MAA/B,CAAP;AACD;;AACD,SAAOD,sBAAsB,CAAC9B,GAAG,CAACiC,QAAL,EAAe9B,IAAf,EAAqB4B,MAArB,CAA7B;AACD,C,CAED;;AACA,OAAO,SAASG,kCAAT,CACLC,SADK,EAELC,QAFK,EAGLC,UAHK,EAII;AACT,UAAQD,QAAR;AACE,SAAK,GAAL;AACE,aAAOD,SAAS,GAAGE,UAAnB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,IAAL;AACE,aAAOF,SAAS,IAAIE,UAApB;;AACF,SAAK,IAAL;AACE,aAAOF,SAAS,IAAIE,UAApB;;AACF,SAAK,KAAL;AACE,aAAOF,SAAS,KAAKE,UAArB;;AACF,SAAK,IAAL;AACE,aAAOF,SAAS,IAAIE,UAApB;;AACF,SAAK,KAAL;AACE,aAAOF,SAAS,KAAKE,UAArB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,GAAL;AACE,aAAOF,SAAS,GAAGE,UAAnB;;AACF,SAAK,IAAL;AACE,aAAOF,SAAS,IAAIE,UAApB;;AACF,SAAK,IAAL;AACE,aAAOF,SAAS,IAAIE,UAApB;AA5BJ;;AA8BA,QAAM,IAAIC,WAAJ,wCAAiDF,QAAjD,OAAN;AACD,C,CAED;;AACA,OAAO,SAASG,8BAAT,CACLJ,SADK,EAELC,QAFK,EAGLC,UAHK,EAII;AACT,UAAQD,QAAR;AACE,SAAK,IAAL;AACA,SAAK,IAAL;AACA,SAAK,IAAL;AACA,SAAK,IAAL;AACA,SAAK,IAAL;AACA,SAAK,KAAL;AACE,aAAOF,kCAAkC,CACvCC,SADuC,EAEvCC,QAAQ,CAACI,MAAT,CAAgB,CAAhB,EAAmBJ,QAAQ,CAACK,MAAT,GAAkB,CAArC,CAFuC,EAGvCJ,UAHuC,CAAzC;AAPJ;;AAcA,QAAM,IAAIC,WAAJ,4CAAqDF,QAArD,OAAN;AACD,C,CAED;;AACA,OAAO,SAASM,kBAAT,CACL1D,MADK,EAELoD,QAFK,EAGI;AACT,UAAQA,QAAR;AACE,SAAK,GAAL;AACE,aAAO,CAACpD,MAAR;;AACF,SAAK,GAAL;AACE,aAAO,CAACA,MAAR;;AACF,SAAK,GAAL;AACE,aAAO,CAACA,MAAR;;AACF,SAAK,MAAL;AACE,aAAOG,SAAP;AARJ;;AAUA,QAAM,IAAImD,WAAJ,uCAAgDF,QAAhD,OAAN;AACD;AAED,OAAO,SAASX,UAAT,CAAoBkB,MAApB,EAA8C;AACnD,MAAIC,KAAK,CAACC,OAAN,CAAcF,MAAd,CAAJ,EAA2B;AACzB,WAAO,IAAP;AACD;;AACD,MAAIA,MAAM,KAAK,IAAX,IAAmBA,MAAM,KAAKxD,SAAlC,EAA6C;AAC3C,WAAO,KAAP;AACD;;AACD,SAAO,OAAQwD,MAAD,CAA8BhB,MAAM,CAACC,QAArC,CAAP,KAA0D,UAAjE;AACD","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\";\nimport { collectBoundNames } from \"./traverse\";\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(V: unknown): 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,\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;\n    case \"-\":\n      return -target;\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"],"file":"context-free.js"}