@next-core/cook 1.4.0 → 1.6.1

package/CHANGELOG.md

@@ -3,6 +3,36 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [1.6.1](https://github.com/easyops-cn/next-core/compare/@next-core/cook@1.6.0...@next-core/cook@1.6.1) (2021-12-03)
+
+**Note:** Version bump only for package @next-core/cook
+
+
+
+
+
+# [1.6.0](https://github.com/easyops-cn/next-core/compare/@next-core/cook@1.5.0...@next-core/cook@1.6.0) (2021-11-29)
+
+
+### Features
+
+* support visit node with parent ([80f1ada](https://github.com/easyops-cn/next-core/commit/80f1ada97e1b720f787753fab4eedf618c08f36b))
+
+
+
+
+
+# [1.5.0](https://github.com/easyops-cn/next-core/compare/@next-core/cook@1.4.0...@next-core/cook@1.5.0) (2021-11-26)
+
+
+### Features
+
+* support hooks for before visit global or unknown nodes ([50d770c](https://github.com/easyops-cn/next-core/commit/50d770c45a8194c12c3764f53d75a1a9519b790e))
+
+
+
+
+
 # [1.4.0](https://github.com/easyops-cn/next-core/compare/@next-core/cook@1.3.9...@next-core/cook@1.4.0) (2021-11-25)
 
 

package/dist/cjs/AnalysisContext.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/AnalysisContext.ts"],"names":["AnalysisContext","AnalysisEnvironment","constructor","outer","Set","OuterEnv","HasBinding","name","bindingSet","has","CreateBinding","add"],"mappings":";;;;;;;;;;;AAEA;AACO,MAAMA,eAAN,CAAsB;AAAA;AAAA;AAAA;AAAA;;AAAA,C,CAK7B;;;;;AACO,MAAMC,mBAAN,CAA0B;AAI/BC,EAAAA,WAAW,CAACC,KAAD,EAA6B;AAAA;AAAA,sDAFV,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"}
+{"version":3,"sources":["../../src/AnalysisContext.ts"],"names":["AnalysisContext","AnalysisEnvironment","constructor","outer","Set","OuterEnv","HasBinding","name","bindingSet","has","CreateBinding","add"],"mappings":";;;;;;;;;;;AAQA;AACO,MAAMA,eAAN,CAAsB;AAAA;AAAA;AAAA;AAAA;;AAAA,C,CAK7B;;;;;AACO,MAAMC,mBAAN,CAA0B;AAI/BC,EAAAA,WAAW,CAACC,KAAD,EAA6B;AAAA;AAAA,sDAFV,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 {\n  ArrowFunctionExpression,\n  Expression,\n  FunctionDeclaration,\n  FunctionExpression,\n  Statement,\n} 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  Function: FunctionDeclaration | FunctionExpression | ArrowFunctionExpression;\n  FormalParameters: FunctionDeclaration[\"params\"];\n  ECMAScriptCode: Statement[] | Expression;\n  Environment: AnalysisEnvironment;\n}\n"],"file":"AnalysisContext.js"}

package/dist/cjs/lint.js

@@ -75,93 +75,100 @@ function lint(source, {
       }
     });
   } else {
-    const FunctionVisitor = node => {
-      if (node.async || node.generator) {
-        errors.push({
-          type: "SyntaxError",
-          message: `${node.async ? "Async" : "Generator"} function is not allowed`,
-          loc: node.loc
-        });
-      }
-    };
-
     (0, _precook.precook)(func, {
-      visitors: {
-        ArrowFunctionExpression: FunctionVisitor,
-        FunctionDeclaration: FunctionVisitor,
-        FunctionExpression: FunctionVisitor,
-
-        Literal(node) {
-          if (node.regex) {
-            if (node.value === null) {
-              errors.push({
-                type: "SyntaxError",
-                message: "Invalid regular expression",
-                loc: node.loc
-              });
-            } else if (node.regex.flags.includes("u")) {
-              errors.push({
-                type: "SyntaxError",
-                message: "Unsupported unicode flag in regular expression",
-                loc: node.loc
-              });
-            }
-          }
-        },
-
-        ObjectExpression(node) {
-          for (const prop of node.properties) {
-            if (prop.type === "Property") {
-              if (prop.kind !== "init") {
+      hooks: {
+        beforeVisit(node) {
+          switch (node.type) {
+            case "ArrowFunctionExpression":
+            case "FunctionDeclaration":
+            case "FunctionExpression":
+              if (node.async || node.generator) {
                 errors.push({
                   type: "SyntaxError",
-                  message: "Unsupported object getter/setter property",
-                  loc: prop.loc
+                  message: `${node.async ? "Async" : "Generator"} function is not allowed`,
+                  loc: node.loc
                 });
-              } else if (!prop.computed && prop.key.type === "Identifier" && prop.key.name === "__proto__") {
+              }
+
+              break;
+
+            case "Literal":
+              if (node.regex) {
+                if (node.value === null) {
+                  errors.push({
+                    type: "SyntaxError",
+                    message: "Invalid regular expression",
+                    loc: node.loc
+                  });
+                } else if (node.regex.flags.includes("u")) {
+                  errors.push({
+                    type: "SyntaxError",
+                    message: "Unsupported unicode flag in regular expression",
+                    loc: node.loc
+                  });
+                }
+              }
+
+              break;
+
+            case "ObjectExpression":
+              for (const prop of node.properties) {
+                if (prop.type === "Property") {
+                  if (prop.kind !== "init") {
+                    errors.push({
+                      type: "SyntaxError",
+                      message: "Unsupported object getter/setter property",
+                      loc: prop.loc
+                    });
+                  } else if (!prop.computed && prop.key.type === "Identifier" && prop.key.name === "__proto__") {
+                    errors.push({
+                      type: "TypeError",
+                      message: "Setting '__proto__' property is not allowed",
+                      loc: prop.key.loc
+                    });
+                  }
+                }
+              }
+
+              break;
+
+            case "VariableDeclaration":
+              if (node.kind === "var" && rules !== null && rules !== void 0 && rules.noVar) {
                 errors.push({
-                  type: "TypeError",
-                  message: "Setting '__proto__' property is not allowed",
-                  loc: prop.key.loc
+                  type: "SyntaxError",
+                  message: "Var declaration is not recommended, use `let` or `const` instead",
+                  loc: {
+                    start: node.loc.start,
+                    end: {
+                      line: node.loc.end.line,
+                      // Only decorate the "var".
+                      column: node.loc.start.column + 3
+                    }
+                  }
                 });
               }
-            }
+
+              break;
           }
         },
 
-        VariableDeclaration(node) {
-          if (node.kind === "var" && rules !== null && rules !== void 0 && rules.noVar) {
+        beforeVisitGlobal(node) {
+          if (node.name === "arguments") {
             errors.push({
               type: "SyntaxError",
-              message: "Var declaration is not recommended, use `let` or `const` instead",
-              loc: {
-                start: node.loc.start,
-                end: {
-                  line: node.loc.end.line,
-                  // Only decorate the "var".
-                  column: node.loc.start.column + 3
-                }
-              }
+              message: "Use the rest parameters instead of 'arguments'",
+              loc: node.loc
             });
           }
         },
 
-        __UnknownNode(node) {
+        beforeVisitUnknown(node) {
           errors.push({
             type: "SyntaxError",
             message: `Unsupported syntax: \`${node.type}\``,
             loc: node.loc
           });
-        },
-
-        __GlobalVariable(node) {
-          if (node.name === "arguments") {
-            errors.push({
-              type: "SyntaxError",
-              message: "Use the rest parameters instead of 'arguments'",
-              loc: node.loc
-            });
-          }
+          return true;
         }
 
       }

package/dist/cjs/lint.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/lint.ts"],"names":["lint","source","typescript","rules","errors","file","body","program","jsNodes","node","type","startsWith","test","push","message","loc","func","isFunctionDeclaration","unshift","start","line","column","end","FunctionVisitor","async","generator","visitors","ArrowFunctionExpression","FunctionDeclaration","FunctionExpression","Literal","regex","value","flags","includes","ObjectExpression","prop","properties","kind","computed","key","name","VariableDeclaration","noVar","__UnknownNode","__GlobalVariable"],"mappings":";;;;;;;AAkBA;;AACA;;AAaA;AACO,SAASA,IAAT,CACLC,MADK,EAEL;AAAEC,EAAAA,UAAF;AAAcC,EAAAA;AAAd,IAAqC,EAFhC,EAGQ;AACb,QAAMC,MAAmB,GAAG,EAA5B;AACA,QAAMC,IAAI,GACR,OAAOJ,MAAP,KAAkB,QAAlB,GACI,6BAAiBA,MAAjB,EAAyB;AAAEC,IAAAA;AAAF,GAAzB,CADJ,GAEID,MAHN;;AAIA,MAAI,CAACI,IAAL,EAAW;AACT;AACA,WAAOD,MAAP;AACD;;AACD,QAAME,IAAI,GAAGD,IAAI,CAACE,OAAL,CAAaD,IAA1B;AACA,QAAME,OAAoB,GAAGN,UAAU,GAAG,EAAH,GAAQI,IAA/C;;AACA,MAAIJ,UAAJ,EAAgB;AACd,SAAK,MAAMO,IAAX,IAAmBH,IAAnB,EAAyB;AACvB,UAAIG,IAAI,CAACC,IAAL,CAAUC,UAAV,CAAqB,IAArB,CAAJ,EAAgC;AAC9B,YAAI,qBAAqBC,IAArB,CAA0BH,IAAI,CAACC,IAA/B,CAAJ,EAA0C;AACxCN,UAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,YAAAA,IAAI,EAAE,aADI;AAEVI,YAAAA,OAAO,EAAG,oCAAmCL,IAAI,CAACC,IAAK,IAF7C;AAGVK,YAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,WAAZ;AAKD;AACF,OARD,MAQO;AACLP,QAAAA,OAAO,CAACK,IAAR,CAAaJ,IAAb;AACD;AACF;AACF;;AACD,MAAIO,IAAJ;;AACA,OAAK,MAAMP,IAAX,IAAmBD,OAAnB,EAA4B;AAC1B,UAAMS,qBAAqB,GAAGR,IAAI,CAACC,IAAL,KAAc,qBAA5C;;AACA,QAAIO,qBAAqB,IAAI,CAACD,IAA9B,EAAoC;AAClCA,MAAAA,IAAI,GAAGP,IAAP;AACD,KAFD,MAEO;AACLL,MAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,QAAAA,IAAI,EAAE,aADI;AAEVI,QAAAA,OAAO,EAAEG,qBAAqB,GAC1B,sCAD0B,GAEzB,KAAIR,IAAI,CAACC,IAAK,gCAJT;AAKVK,QAAAA,GAAG,EAAEN,IAAI,CAACM;AALA,OAAZ;AAOD;AACF;;AACD,MAAI,CAACC,IAAL,EAAW;AACTZ,IAAAA,MAAM,CAACc,OAAP,CAAe;AACbR,MAAAA,IAAI,EAAE,aADO;AAEbI,MAAAA,OAAO,EAAE,gCAFI;AAGbC,MAAAA,GAAG,EAAE;AACHI,QAAAA,KAAK,EAAE;AAAEC,UAAAA,IAAI,EAAE,CAAR;AAAWC,UAAAA,MAAM,EAAE;AAAnB,SADJ;AAEHC,QAAAA,GAAG,EAAE;AAAEF,UAAAA,IAAI,EAAE,CAAR;AAAWC,UAAAA,MAAM,EAAE;AAAnB;AAFF;AAHQ,KAAf;AAQD,GATD,MASO;AACL,UAAME,eAAgC,GACpCd,IADuC,IAEpC;AACH,UAAIA,IAAI,CAACe,KAAL,IAAcf,IAAI,CAACgB,SAAvB,EAAkC;AAChCrB,QAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,UAAAA,IAAI,EAAE,aADI;AAEVI,UAAAA,OAAO,EAAG,GACRL,IAAI,CAACe,KAAL,GAAa,OAAb,GAAuB,WACxB,0BAJS;AAKVT,UAAAA,GAAG,EAAEN,IAAI,CAACM;AALA,SAAZ;AAOD;AACF,KAZD;;AAaA,0BAAQC,IAAR,EAAc;AACZU,MAAAA,QAAQ,EAAE;AACRC,QAAAA,uBAAuB,EAAEJ,eADjB;AAERK,QAAAA,mBAAmB,EAAEL,eAFb;AAGRM,QAAAA,kBAAkB,EAAEN,eAHZ;;AAIRO,QAAAA,OAAO,CAACrB,IAAD,EAAsB;AAC3B,cAAIA,IAAI,CAACsB,KAAT,EAAgB;AACd,gBAAItB,IAAI,CAACuB,KAAL,KAAe,IAAnB,EAAyB;AACvB5B,cAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,gBAAAA,IAAI,EAAE,aADI;AAEVI,gBAAAA,OAAO,EAAE,4BAFC;AAGVC,gBAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,eAAZ;AAKD,aAND,MAMO,IAAIN,IAAI,CAACsB,KAAL,CAAWE,KAAX,CAAiBC,QAAjB,CAA0B,GAA1B,CAAJ,EAAoC;AACzC9B,cAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,gBAAAA,IAAI,EAAE,aADI;AAEVI,gBAAAA,OAAO,EAAE,gDAFC;AAGVC,gBAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,eAAZ;AAKD;AACF;AACF,SApBO;;AAqBRoB,QAAAA,gBAAgB,CAAC1B,IAAD,EAA+B;AAC7C,eAAK,MAAM2B,IAAX,IAAmB3B,IAAI,CAAC4B,UAAxB,EAAoC;AAClC,gBAAID,IAAI,CAAC1B,IAAL,KAAc,UAAlB,EAA8B;AAC5B,kBAAI0B,IAAI,CAACE,IAAL,KAAc,MAAlB,EAA0B;AACxBlC,gBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,kBAAAA,IAAI,EAAE,aADI;AAEVI,kBAAAA,OAAO,EAAE,2CAFC;AAGVC,kBAAAA,GAAG,EAAEqB,IAAI,CAACrB;AAHA,iBAAZ;AAKD,eAND,MAMO,IACL,CAACqB,IAAI,CAACG,QAAN,IACAH,IAAI,CAACI,GAAL,CAAS9B,IAAT,KAAkB,YADlB,IAEA0B,IAAI,CAACI,GAAL,CAASC,IAAT,KAAkB,WAHb,EAIL;AACArC,gBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,kBAAAA,IAAI,EAAE,WADI;AAEVI,kBAAAA,OAAO,EAAE,6CAFC;AAGVC,kBAAAA,GAAG,EAAEqB,IAAI,CAACI,GAAL,CAASzB;AAHJ,iBAAZ;AAKD;AACF;AACF;AACF,SA3CO;;AA4CR2B,QAAAA,mBAAmB,CAACjC,IAAD,EAA4B;AAC7C,cAAIA,IAAI,CAAC6B,IAAL,KAAc,KAAd,IAAuBnC,KAAvB,aAAuBA,KAAvB,eAAuBA,KAAK,CAAEwC,KAAlC,EAAyC;AACvCvC,YAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,cAAAA,IAAI,EAAE,aADI;AAEVI,cAAAA,OAAO,EACL,kEAHQ;AAIVC,cAAAA,GAAG,EAAE;AACHI,gBAAAA,KAAK,EAAEV,IAAI,CAACM,GAAL,CAASI,KADb;AAEHG,gBAAAA,GAAG,EAAE;AACHF,kBAAAA,IAAI,EAAEX,IAAI,CAACM,GAAL,CAASO,GAAT,CAAaF,IADhB;AAEH;AACAC,kBAAAA,MAAM,EAAEZ,IAAI,CAACM,GAAL,CAASI,KAAT,CAAeE,MAAf,GAAwB;AAH7B;AAFF;AAJK,aAAZ;AAaD;AACF,SA5DO;;AA6DRuB,QAAAA,aAAa,CAACnC,IAAD,EAAmB;AAC9BL,UAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,YAAAA,IAAI,EAAE,aADI;AAEVI,YAAAA,OAAO,EAAG,yBAAwBL,IAAI,CAACC,IAAK,IAFlC;AAGVK,YAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,WAAZ;AAKD,SAnEO;;AAoER8B,QAAAA,gBAAgB,CAACpC,IAAD,EAAmB;AACjC,cAAIA,IAAI,CAACgC,IAAL,KAAc,WAAlB,EAA+B;AAC7BrC,YAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,cAAAA,IAAI,EAAE,aADI;AAEVI,cAAAA,OAAO,EAAE,gDAFC;AAGVC,cAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,aAAZ;AAKD;AACF;;AA5EO;AADE,KAAd;AAgFD;;AACD,SAAOX,MAAP;AACD","sourcesContent":["import { ParseResult } from \"@babel/parser\";\nimport {\n  ArrowFunctionExpression,\n  File,\n  FunctionDeclaration,\n  FunctionExpression,\n  Identifier,\n  SourceLocation,\n  Statement,\n  VariableDeclaration,\n} from \"@babel/types\";\nimport {\n  EstreeLiteral,\n  CookRules,\n  EstreeObjectExpression,\n  EstreeVisitorFn,\n  EstreeNode,\n} from \"./interfaces\";\nimport { parseForAnalysis } from \"./parse\";\nimport { precook } from \"./precook\";\n\nexport interface LintOptions {\n  typescript?: boolean;\n  rules?: CookRules;\n}\n\nexport interface LintError {\n  type: \"SyntaxError\" | \"TypeError\";\n  message: string;\n  loc: SourceLocation;\n}\n\n/** For next-core internal or devtools usage only. */\nexport function lint(\n  source: string | ParseResult<File>,\n  { typescript, rules }: LintOptions = {}\n): LintError[] {\n  const errors: LintError[] = [];\n  const file =\n    typeof source === \"string\"\n      ? parseForAnalysis(source, { typescript })\n      : source;\n  if (!file) {\n    // Return no errors if parse failed.\n    return errors;\n  }\n  const body = file.program.body;\n  const jsNodes: Statement[] = typescript ? [] : body;\n  if (typescript) {\n    for (const node of body) {\n      if (node.type.startsWith(\"TS\")) {\n        if (/Enum|Import|Export/.test(node.type)) {\n          errors.push({\n            type: \"SyntaxError\",\n            message: `Unsupported TypeScript syntax: \\`${node.type}\\``,\n            loc: node.loc,\n          });\n        }\n      } else {\n        jsNodes.push(node);\n      }\n    }\n  }\n  let func: FunctionDeclaration;\n  for (const node of jsNodes) {\n    const isFunctionDeclaration = node.type === \"FunctionDeclaration\";\n    if (isFunctionDeclaration && !func) {\n      func = node;\n    } else {\n      errors.push({\n        type: \"SyntaxError\",\n        message: isFunctionDeclaration\n          ? \"Expect a single function declaration\"\n          : `\\`${node.type}\\` is not allowed in top level`,\n        loc: node.loc,\n      });\n    }\n  }\n  if (!func) {\n    errors.unshift({\n      type: \"SyntaxError\",\n      message: \"Function declaration not found\",\n      loc: {\n        start: { line: 1, column: 0 },\n        end: { line: 1, column: 0 },\n      },\n    });\n  } else {\n    const FunctionVisitor: EstreeVisitorFn = (\n      node: FunctionDeclaration | FunctionExpression | ArrowFunctionExpression\n    ) => {\n      if (node.async || node.generator) {\n        errors.push({\n          type: \"SyntaxError\",\n          message: `${\n            node.async ? \"Async\" : \"Generator\"\n          } function is not allowed`,\n          loc: node.loc,\n        });\n      }\n    };\n    precook(func, {\n      visitors: {\n        ArrowFunctionExpression: FunctionVisitor,\n        FunctionDeclaration: FunctionVisitor,\n        FunctionExpression: FunctionVisitor,\n        Literal(node: EstreeLiteral) {\n          if (node.regex) {\n            if (node.value === null) {\n              errors.push({\n                type: \"SyntaxError\",\n                message: \"Invalid regular expression\",\n                loc: node.loc,\n              });\n            } else if (node.regex.flags.includes(\"u\")) {\n              errors.push({\n                type: \"SyntaxError\",\n                message: \"Unsupported unicode flag in regular expression\",\n                loc: node.loc,\n              });\n            }\n          }\n        },\n        ObjectExpression(node: EstreeObjectExpression) {\n          for (const prop of node.properties) {\n            if (prop.type === \"Property\") {\n              if (prop.kind !== \"init\") {\n                errors.push({\n                  type: \"SyntaxError\",\n                  message: \"Unsupported object getter/setter property\",\n                  loc: prop.loc,\n                });\n              } else if (\n                !prop.computed &&\n                prop.key.type === \"Identifier\" &&\n                prop.key.name === \"__proto__\"\n              ) {\n                errors.push({\n                  type: \"TypeError\",\n                  message: \"Setting '__proto__' property is not allowed\",\n                  loc: prop.key.loc,\n                });\n              }\n            }\n          }\n        },\n        VariableDeclaration(node: VariableDeclaration) {\n          if (node.kind === \"var\" && rules?.noVar) {\n            errors.push({\n              type: \"SyntaxError\",\n              message:\n                \"Var declaration is not recommended, use `let` or `const` instead\",\n              loc: {\n                start: node.loc.start,\n                end: {\n                  line: node.loc.end.line,\n                  // Only decorate the \"var\".\n                  column: node.loc.start.column + 3,\n                },\n              },\n            });\n          }\n        },\n        __UnknownNode(node: EstreeNode) {\n          errors.push({\n            type: \"SyntaxError\",\n            message: `Unsupported syntax: \\`${node.type}\\``,\n            loc: node.loc,\n          });\n        },\n        __GlobalVariable(node: Identifier) {\n          if (node.name === \"arguments\") {\n            errors.push({\n              type: \"SyntaxError\",\n              message: \"Use the rest parameters instead of 'arguments'\",\n              loc: node.loc,\n            });\n          }\n        },\n      },\n    });\n  }\n  return errors;\n}\n"],"file":"lint.js"}
+{"version":3,"sources":["../../src/lint.ts"],"names":["lint","source","typescript","rules","errors","file","body","program","jsNodes","node","type","startsWith","test","push","message","loc","func","isFunctionDeclaration","unshift","start","line","column","end","hooks","beforeVisit","async","generator","regex","value","flags","includes","prop","properties","kind","computed","key","name","noVar","beforeVisitGlobal","beforeVisitUnknown"],"mappings":";;;;;;;AAQA;;AACA;;AAaA;AACO,SAASA,IAAT,CACLC,MADK,EAEL;AAAEC,EAAAA,UAAF;AAAcC,EAAAA;AAAd,IAAqC,EAFhC,EAGQ;AACb,QAAMC,MAAmB,GAAG,EAA5B;AACA,QAAMC,IAAI,GACR,OAAOJ,MAAP,KAAkB,QAAlB,GACI,6BAAiBA,MAAjB,EAAyB;AAAEC,IAAAA;AAAF,GAAzB,CADJ,GAEID,MAHN;;AAIA,MAAI,CAACI,IAAL,EAAW;AACT;AACA,WAAOD,MAAP;AACD;;AACD,QAAME,IAAI,GAAGD,IAAI,CAACE,OAAL,CAAaD,IAA1B;AACA,QAAME,OAAoB,GAAGN,UAAU,GAAG,EAAH,GAAQI,IAA/C;;AACA,MAAIJ,UAAJ,EAAgB;AACd,SAAK,MAAMO,IAAX,IAAmBH,IAAnB,EAAyB;AACvB,UAAIG,IAAI,CAACC,IAAL,CAAUC,UAAV,CAAqB,IAArB,CAAJ,EAAgC;AAC9B,YAAI,qBAAqBC,IAArB,CAA0BH,IAAI,CAACC,IAA/B,CAAJ,EAA0C;AACxCN,UAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,YAAAA,IAAI,EAAE,aADI;AAEVI,YAAAA,OAAO,EAAG,oCAAmCL,IAAI,CAACC,IAAK,IAF7C;AAGVK,YAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,WAAZ;AAKD;AACF,OARD,MAQO;AACLP,QAAAA,OAAO,CAACK,IAAR,CAAaJ,IAAb;AACD;AACF;AACF;;AACD,MAAIO,IAAJ;;AACA,OAAK,MAAMP,IAAX,IAAmBD,OAAnB,EAA4B;AAC1B,UAAMS,qBAAqB,GAAGR,IAAI,CAACC,IAAL,KAAc,qBAA5C;;AACA,QAAIO,qBAAqB,IAAI,CAACD,IAA9B,EAAoC;AAClCA,MAAAA,IAAI,GAAGP,IAAP;AACD,KAFD,MAEO;AACLL,MAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,QAAAA,IAAI,EAAE,aADI;AAEVI,QAAAA,OAAO,EAAEG,qBAAqB,GAC1B,sCAD0B,GAEzB,KAAIR,IAAI,CAACC,IAAK,gCAJT;AAKVK,QAAAA,GAAG,EAAEN,IAAI,CAACM;AALA,OAAZ;AAOD;AACF;;AACD,MAAI,CAACC,IAAL,EAAW;AACTZ,IAAAA,MAAM,CAACc,OAAP,CAAe;AACbR,MAAAA,IAAI,EAAE,aADO;AAEbI,MAAAA,OAAO,EAAE,gCAFI;AAGbC,MAAAA,GAAG,EAAE;AACHI,QAAAA,KAAK,EAAE;AAAEC,UAAAA,IAAI,EAAE,CAAR;AAAWC,UAAAA,MAAM,EAAE;AAAnB,SADJ;AAEHC,QAAAA,GAAG,EAAE;AAAEF,UAAAA,IAAI,EAAE,CAAR;AAAWC,UAAAA,MAAM,EAAE;AAAnB;AAFF;AAHQ,KAAf;AAQD,GATD,MASO;AACL,0BAAQL,IAAR,EAAc;AACZO,MAAAA,KAAK,EAAE;AACLC,QAAAA,WAAW,CAACf,IAAD,EAAO;AAChB,kBAAQA,IAAI,CAACC,IAAb;AACE,iBAAK,yBAAL;AACA,iBAAK,qBAAL;AACA,iBAAK,oBAAL;AACE,kBAAID,IAAI,CAACgB,KAAL,IAAchB,IAAI,CAACiB,SAAvB,EAAkC;AAChCtB,gBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,kBAAAA,IAAI,EAAE,aADI;AAEVI,kBAAAA,OAAO,EAAG,GACRL,IAAI,CAACgB,KAAL,GAAa,OAAb,GAAuB,WACxB,0BAJS;AAKVV,kBAAAA,GAAG,EAAEN,IAAI,CAACM;AALA,iBAAZ;AAOD;;AACD;;AACF,iBAAK,SAAL;AACE,kBAAIN,IAAI,CAACkB,KAAT,EAAgB;AACd,oBAAIlB,IAAI,CAACmB,KAAL,KAAe,IAAnB,EAAyB;AACvBxB,kBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,oBAAAA,IAAI,EAAE,aADI;AAEVI,oBAAAA,OAAO,EAAE,4BAFC;AAGVC,oBAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,mBAAZ;AAKD,iBAND,MAMO,IAAIN,IAAI,CAACkB,KAAL,CAAWE,KAAX,CAAiBC,QAAjB,CAA0B,GAA1B,CAAJ,EAAoC;AACzC1B,kBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,oBAAAA,IAAI,EAAE,aADI;AAEVI,oBAAAA,OAAO,EAAE,gDAFC;AAGVC,oBAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,mBAAZ;AAKD;AACF;;AACD;;AACF,iBAAK,kBAAL;AACE,mBAAK,MAAMgB,IAAX,IAAmBtB,IAAI,CAACuB,UAAxB,EAAoC;AAClC,oBAAID,IAAI,CAACrB,IAAL,KAAc,UAAlB,EAA8B;AAC5B,sBAAIqB,IAAI,CAACE,IAAL,KAAc,MAAlB,EAA0B;AACxB7B,oBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,sBAAAA,IAAI,EAAE,aADI;AAEVI,sBAAAA,OAAO,EAAE,2CAFC;AAGVC,sBAAAA,GAAG,EAAEgB,IAAI,CAAChB;AAHA,qBAAZ;AAKD,mBAND,MAMO,IACL,CAACgB,IAAI,CAACG,QAAN,IACAH,IAAI,CAACI,GAAL,CAASzB,IAAT,KAAkB,YADlB,IAEAqB,IAAI,CAACI,GAAL,CAASC,IAAT,KAAkB,WAHb,EAIL;AACAhC,oBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,sBAAAA,IAAI,EAAE,WADI;AAEVI,sBAAAA,OAAO,EAAE,6CAFC;AAGVC,sBAAAA,GAAG,EAAEgB,IAAI,CAACI,GAAL,CAASpB;AAHJ,qBAAZ;AAKD;AACF;AACF;;AACD;;AACF,iBAAK,qBAAL;AACE,kBAAIN,IAAI,CAACwB,IAAL,KAAc,KAAd,IAAuB9B,KAAvB,aAAuBA,KAAvB,eAAuBA,KAAK,CAAEkC,KAAlC,EAAyC;AACvCjC,gBAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,kBAAAA,IAAI,EAAE,aADI;AAEVI,kBAAAA,OAAO,EACL,kEAHQ;AAIVC,kBAAAA,GAAG,EAAE;AACHI,oBAAAA,KAAK,EAAEV,IAAI,CAACM,GAAL,CAASI,KADb;AAEHG,oBAAAA,GAAG,EAAE;AACHF,sBAAAA,IAAI,EAAEX,IAAI,CAACM,GAAL,CAASO,GAAT,CAAaF,IADhB;AAEH;AACAC,sBAAAA,MAAM,EAAEZ,IAAI,CAACM,GAAL,CAASI,KAAT,CAAeE,MAAf,GAAwB;AAH7B;AAFF;AAJK,iBAAZ;AAaD;;AACD;AAtEJ;AAwED,SA1EI;;AA2ELiB,QAAAA,iBAAiB,CAAC7B,IAAD,EAAO;AACtB,cAAIA,IAAI,CAAC2B,IAAL,KAAc,WAAlB,EAA+B;AAC7BhC,YAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,cAAAA,IAAI,EAAE,aADI;AAEVI,cAAAA,OAAO,EAAE,gDAFC;AAGVC,cAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,aAAZ;AAKD;AACF,SAnFI;;AAoFLwB,QAAAA,kBAAkB,CAAC9B,IAAD,EAAO;AACvBL,UAAAA,MAAM,CAACS,IAAP,CAAY;AACVH,YAAAA,IAAI,EAAE,aADI;AAEVI,YAAAA,OAAO,EAAG,yBAAwBL,IAAI,CAACC,IAAK,IAFlC;AAGVK,YAAAA,GAAG,EAAEN,IAAI,CAACM;AAHA,WAAZ;AAKA,iBAAO,IAAP;AACD;;AA3FI;AADK,KAAd;AA+FD;;AACD,SAAOX,MAAP;AACD","sourcesContent":["import { ParseResult } from \"@babel/parser\";\nimport {\n  File,\n  FunctionDeclaration,\n  SourceLocation,\n  Statement,\n} from \"@babel/types\";\nimport { CookRules } from \"./interfaces\";\nimport { parseForAnalysis } from \"./parse\";\nimport { precook } from \"./precook\";\n\nexport interface LintOptions {\n  typescript?: boolean;\n  rules?: CookRules;\n}\n\nexport interface LintError {\n  type: \"SyntaxError\" | \"TypeError\";\n  message: string;\n  loc: SourceLocation;\n}\n\n/** For next-core internal or devtools usage only. */\nexport function lint(\n  source: string | ParseResult<File>,\n  { typescript, rules }: LintOptions = {}\n): LintError[] {\n  const errors: LintError[] = [];\n  const file =\n    typeof source === \"string\"\n      ? parseForAnalysis(source, { typescript })\n      : source;\n  if (!file) {\n    // Return no errors if parse failed.\n    return errors;\n  }\n  const body = file.program.body;\n  const jsNodes: Statement[] = typescript ? [] : body;\n  if (typescript) {\n    for (const node of body) {\n      if (node.type.startsWith(\"TS\")) {\n        if (/Enum|Import|Export/.test(node.type)) {\n          errors.push({\n            type: \"SyntaxError\",\n            message: `Unsupported TypeScript syntax: \\`${node.type}\\``,\n            loc: node.loc,\n          });\n        }\n      } else {\n        jsNodes.push(node);\n      }\n    }\n  }\n  let func: FunctionDeclaration;\n  for (const node of jsNodes) {\n    const isFunctionDeclaration = node.type === \"FunctionDeclaration\";\n    if (isFunctionDeclaration && !func) {\n      func = node;\n    } else {\n      errors.push({\n        type: \"SyntaxError\",\n        message: isFunctionDeclaration\n          ? \"Expect a single function declaration\"\n          : `\\`${node.type}\\` is not allowed in top level`,\n        loc: node.loc,\n      });\n    }\n  }\n  if (!func) {\n    errors.unshift({\n      type: \"SyntaxError\",\n      message: \"Function declaration not found\",\n      loc: {\n        start: { line: 1, column: 0 },\n        end: { line: 1, column: 0 },\n      },\n    });\n  } else {\n    precook(func, {\n      hooks: {\n        beforeVisit(node) {\n          switch (node.type) {\n            case \"ArrowFunctionExpression\":\n            case \"FunctionDeclaration\":\n            case \"FunctionExpression\":\n              if (node.async || node.generator) {\n                errors.push({\n                  type: \"SyntaxError\",\n                  message: `${\n                    node.async ? \"Async\" : \"Generator\"\n                  } function is not allowed`,\n                  loc: node.loc,\n                });\n              }\n              break;\n            case \"Literal\":\n              if (node.regex) {\n                if (node.value === null) {\n                  errors.push({\n                    type: \"SyntaxError\",\n                    message: \"Invalid regular expression\",\n                    loc: node.loc,\n                  });\n                } else if (node.regex.flags.includes(\"u\")) {\n                  errors.push({\n                    type: \"SyntaxError\",\n                    message: \"Unsupported unicode flag in regular expression\",\n                    loc: node.loc,\n                  });\n                }\n              }\n              break;\n            case \"ObjectExpression\":\n              for (const prop of node.properties) {\n                if (prop.type === \"Property\") {\n                  if (prop.kind !== \"init\") {\n                    errors.push({\n                      type: \"SyntaxError\",\n                      message: \"Unsupported object getter/setter property\",\n                      loc: prop.loc,\n                    });\n                  } else if (\n                    !prop.computed &&\n                    prop.key.type === \"Identifier\" &&\n                    prop.key.name === \"__proto__\"\n                  ) {\n                    errors.push({\n                      type: \"TypeError\",\n                      message: \"Setting '__proto__' property is not allowed\",\n                      loc: prop.key.loc,\n                    });\n                  }\n                }\n              }\n              break;\n            case \"VariableDeclaration\":\n              if (node.kind === \"var\" && rules?.noVar) {\n                errors.push({\n                  type: \"SyntaxError\",\n                  message:\n                    \"Var declaration is not recommended, use `let` or `const` instead\",\n                  loc: {\n                    start: node.loc.start,\n                    end: {\n                      line: node.loc.end.line,\n                      // Only decorate the \"var\".\n                      column: node.loc.start.column + 3,\n                    },\n                  },\n                });\n              }\n              break;\n          }\n        },\n        beforeVisitGlobal(node) {\n          if (node.name === \"arguments\") {\n            errors.push({\n              type: \"SyntaxError\",\n              message: \"Use the rest parameters instead of 'arguments'\",\n              loc: node.loc,\n            });\n          }\n        },\n        beforeVisitUnknown(node) {\n          errors.push({\n            type: \"SyntaxError\",\n            message: `Unsupported syntax: \\`${node.type}\\``,\n            loc: node.loc,\n          });\n          return true;\n        },\n      },\n    });\n  }\n  return errors;\n}\n"],"file":"lint.js"}

package/dist/cjs/precook.js

@@ -21,6 +21,7 @@ var _traverse = require("./traverse");
 function precook(rootAst, {
   expressionOnly,
   visitors,
+  withParent,
   hooks = {}
 } = {}) {
   const attemptToVisitGlobals = new Set();
@@ -41,102 +42,107 @@ function precook(rootAst, {
     }
   }
 
-  function Evaluate(node) {
+  function EvaluateChildren(node, keys, parent) {
+    for (const key of keys) {
+      Evaluate(node[key], parent === null || parent === void 0 ? void 0 : parent.concat({
+        node,
+        key
+      }));
+    }
+  }
+
+  function Evaluate(node, parent) {
     if (Array.isArray(node)) {
-      for (const n of node) {
-        Evaluate(n);
-      }
+      node.forEach((n, index) => {
+        Evaluate(n, parent ? parent.slice(0, -1).concat({ ...parent[parent.length - 1],
+          index
+        }) : parent);
+      });
     } else if (node) {
-      var _hooks$beforeVisit;
+      var _hooks$beforeVisit, _hooks$beforeVisitUnk;
 
       // `node` maybe `null` in some cases.
-      (_hooks$beforeVisit = hooks.beforeVisit) === null || _hooks$beforeVisit === void 0 ? void 0 : _hooks$beforeVisit.call(hooks, node);
+      (_hooks$beforeVisit = hooks.beforeVisit) === null || _hooks$beforeVisit === void 0 ? void 0 : _hooks$beforeVisit.call(hooks, node, parent);
       visitors && visit(node); // Expressions:
 
       switch (node.type) {
         case "Identifier":
           if (!ResolveBinding(node.name)) {
-            attemptToVisitGlobals.add(node.name);
+            var _hooks$beforeVisitGlo;
 
-            if (visitors && (0, _hasOwnProperty.hasOwnProperty)(visitors, "__GlobalVariable")) {
-              visitors.__GlobalVariable(node);
-            }
+            (_hooks$beforeVisitGlo = hooks.beforeVisitGlobal) === null || _hooks$beforeVisitGlo === void 0 ? void 0 : _hooks$beforeVisitGlo.call(hooks, node, parent);
+            attemptToVisitGlobals.add(node.name);
           }
 
           return;
 
         case "ArrayExpression":
         case "ArrayPattern":
-          Evaluate(node.elements);
+          EvaluateChildren(node, ["elements"], parent);
           return;
 
         case "ArrowFunctionExpression":
           {
             const env = getRunningContext().LexicalEnvironment;
             const closure = OrdinaryFunctionCreate(node, env);
-            CallFunction(closure);
+            CallFunction(closure, parent);
             return;
           }
 
         case "AssignmentPattern":
         case "BinaryExpression":
         case "LogicalExpression":
-          Evaluate(node.left);
-          Evaluate(node.right);
+          EvaluateChildren(node, ["left", "right"], parent);
           return;
 
         case "CallExpression":
         case "NewExpression":
-          Evaluate(node.callee);
-          Evaluate(node.arguments);
+          EvaluateChildren(node, ["callee", "arguments"], parent);
           return;
 
         case "ChainExpression":
-          Evaluate(node.expression);
+          EvaluateChildren(node, ["expression"], parent);
           return;
 
         case "ConditionalExpression":
-          Evaluate(node.test);
-          Evaluate(node.consequent);
-          Evaluate(node.alternate);
+          EvaluateChildren(node, ["test", "consequent", "alternate"], parent);
           return;
 
         case "MemberExpression":
-          Evaluate(node.object);
+          EvaluateChildren(node, ["object"], parent);
 
           if (node.computed) {
-            Evaluate(node.property);
+            EvaluateChildren(node, ["property"], parent);
           }
 
           return;
 
         case "ObjectExpression":
         case "ObjectPattern":
-          Evaluate(node.properties);
+          EvaluateChildren(node, ["properties"], parent);
           return;
 
         case "Property":
           if (node.computed) {
-            Evaluate(node.key);
+            EvaluateChildren(node, ["key"], parent);
           }
 
-          Evaluate(node.value);
+          EvaluateChildren(node, ["value"], parent);
           return;
 
         case "RestElement":
         case "SpreadElement":
         case "UnaryExpression":
-          Evaluate(node.argument);
+          EvaluateChildren(node, ["argument"], parent);
           return;
 
         case "SequenceExpression":
         case "TemplateLiteral":
-          Evaluate(node.expressions);
+          EvaluateChildren(node, ["expressions"], parent);
           return;
 
         case "TaggedTemplateExpression":
-          Evaluate(node.tag);
-          Evaluate(node.quasi);
+          EvaluateChildren(node, ["tag", "quasi"], parent);
           return;
 
         case "Literal":
@@ -147,8 +153,7 @@ function precook(rootAst, {
         // Statements and assignments:
         switch (node.type) {
           case "AssignmentExpression":
-            Evaluate(node.right);
-            Evaluate(node.left);
+            EvaluateChildren(node, ["right", "left"], parent);
             return;
 
           case "BlockStatement":
@@ -162,7 +167,7 @@ function precook(rootAst, {
               const blockEnv = new _AnalysisContext.AnalysisEnvironment(oldEnv);
               BlockDeclarationInstantiation(node.body, blockEnv);
               runningContext.LexicalEnvironment = blockEnv;
-              Evaluate(node.body);
+              EvaluateChildren(node, ["body"], parent);
               runningContext.LexicalEnvironment = oldEnv;
               return;
             }
@@ -179,20 +184,18 @@ function precook(rootAst, {
               const catchEnv = new _AnalysisContext.AnalysisEnvironment(oldEnv);
               BoundNamesInstantiation(node.param, catchEnv);
               runningContext.LexicalEnvironment = catchEnv;
-              Evaluate(node.param);
-              Evaluate(node.body);
+              EvaluateChildren(node, ["param", "body"], parent);
               runningContext.LexicalEnvironment = oldEnv;
               return;
             }
 
           case "DoWhileStatement":
-            Evaluate(node.body);
-            Evaluate(node.test);
+            EvaluateChildren(node, ["body", "test"], parent);
             return;
 
           case "ExpressionStatement":
           case "TSAsExpression":
-            Evaluate(node.expression);
+            EvaluateChildren(node, ["expression"], parent);
             return;
 
           case "ForInStatement":
@@ -209,7 +212,7 @@ function precook(rootAst, {
                 runningContext.LexicalEnvironment = newEnv;
               }
 
-              Evaluate(node.right);
+              EvaluateChildren(node, ["right"], parent);
               runningContext.LexicalEnvironment = oldEnv; // ForIn/OfBodyEvaluation
 
               if (lexicalBinding) {
@@ -218,8 +221,7 @@ function precook(rootAst, {
                 runningContext.LexicalEnvironment = iterationEnv;
               }
 
-              Evaluate(node.left);
-              Evaluate(node.body);
+              EvaluateChildren(node, ["left", "body"], parent);
               runningContext.LexicalEnvironment = oldEnv;
               return;
             }
@@ -238,10 +240,7 @@ function precook(rootAst, {
                 runningContext.LexicalEnvironment = loopEnv;
               }
 
-              Evaluate(node.init);
-              Evaluate(node.test);
-              Evaluate(node.body);
-              Evaluate(node.update);
+              EvaluateChildren(node, ["init", "test", "body", "update"], parent);
               runningContext.LexicalEnvironment = oldEnv;
               return;
             }
@@ -252,72 +251,65 @@ function precook(rootAst, {
               const env = getRunningContext().LexicalEnvironment;
               const fo = OrdinaryFunctionCreate(node, env);
               env.CreateBinding(fn);
-              CallFunction(fo);
+              CallFunction(fo, parent);
               return;
             }
 
           case "FunctionExpression":
             {
               const closure = InstantiateOrdinaryFunctionExpression(node);
-              CallFunction(closure);
+              CallFunction(closure, parent);
               return;
             }
 
           case "IfStatement":
-            Evaluate(node.test);
-            Evaluate(node.consequent);
-            Evaluate(node.alternate);
+            EvaluateChildren(node, ["test", "consequent", "alternate"], parent);
             return;
 
           case "ReturnStatement":
           case "ThrowStatement":
           case "UpdateExpression":
-            Evaluate(node.argument);
+            EvaluateChildren(node, ["argument"], parent);
             return;
 
           case "SwitchCase":
-            Evaluate(node.test);
-            Evaluate(node.consequent);
+            EvaluateChildren(node, ["test", "consequent"], parent);
             return;
 
           case "SwitchStatement":
             {
-              Evaluate(node.discriminant);
+              EvaluateChildren(node, ["discriminant"], parent);
               const runningContext = getRunningContext();
               const oldEnv = runningContext.LexicalEnvironment;
               const blockEnv = new _AnalysisContext.AnalysisEnvironment(oldEnv);
               BlockDeclarationInstantiation(node.cases, blockEnv);
               runningContext.LexicalEnvironment = blockEnv;
-              Evaluate(node.cases);
+              EvaluateChildren(node, ["cases"], parent);
               runningContext.LexicalEnvironment = oldEnv;
               return;
             }
 
           case "TryStatement":
-            Evaluate(node.block);
-            Evaluate(node.handler);
-            Evaluate(node.finalizer);
+            EvaluateChildren(node, ["block", "handler", "finalizer"], parent);
             return;
 
           case "VariableDeclaration":
-            Evaluate(node.declarations);
+            EvaluateChildren(node, ["declarations"], parent);
             return;
 
           case "VariableDeclarator":
-            Evaluate(node.id);
-            Evaluate(node.init);
+            EvaluateChildren(node, ["id", "init"], parent);
             return;
 
           case "WhileStatement":
-            Evaluate(node.test);
-            Evaluate(node.body);
+            EvaluateChildren(node, ["test", "body"], parent);
             return;
         }
       }
 
-      if (visitors && (0, _hasOwnProperty.hasOwnProperty)(visitors, "__UnknownNode")) {
-        visitors.__UnknownNode(node);
-      } else {
+      const silent = (_hooks$beforeVisitUnk = hooks.beforeVisitUnknown) === null || _hooks$beforeVisitUnk === void 0 ? void 0 : _hooks$beforeVisitUnk.call(hooks, node, parent);
+
+      if (!silent) {
         // eslint-disable-next-line no-console
         console.warn(`Unsupported node type \`${node.type}\``);
       }
@@ -347,10 +339,16 @@ function precook(rootAst, {
     BoundNamesInstantiation(declarations, env);
   }
 
-  function CallFunction(closure) {
+  function CallFunction(closure, parent) {
     PrepareOrdinaryCall(closure);
-    FunctionDeclarationInstantiation(closure);
-    Evaluate(closure.ECMAScriptCode);
+    FunctionDeclarationInstantiation(closure, parent);
+    Evaluate(closure.ECMAScriptCode, parent === null || parent === void 0 ? void 0 : parent.concat({
+      node: closure.Function,
+      key: "body"
+    }).concat(closure.Function.body.type === "BlockStatement" ? {
+      node: closure.Function.body,
+      key: "body"
+    } : []));
     analysisContextStack.pop();
   }
 
@@ -362,7 +360,7 @@ function precook(rootAst, {
     analysisContextStack.push(calleeContext);
   }
 
-  function FunctionDeclarationInstantiation(func) {
+  function FunctionDeclarationInstantiation(func, parent) {
     const calleeContext = getRunningContext();
     const code = func.ECMAScriptCode;
     const formals = func.FormalParameters;
@@ -374,7 +372,10 @@ function precook(rootAst, {
     const varNames = (0, _traverse.collectBoundNames)(varDeclarations);
     const env = calleeContext.LexicalEnvironment;
     BoundNamesInstantiation(formals, env);
-    Evaluate(formals);
+    Evaluate(formals, parent === null || parent === void 0 ? void 0 : parent.concat({
+      node: func.Function,
+      key: "params"
+    }));
     let varEnv;
 
     if (!hasParameterExpressions) {
@@ -419,18 +420,16 @@ function precook(rootAst, {
     return OrdinaryFunctionCreate(functionExpression, funcEnv);
   }
 
-  function OrdinaryFunctionCreate({
-    params,
-    body
-  }, scope) {
+  function OrdinaryFunctionCreate(func, scope) {
     return {
-      FormalParameters: params,
-      ECMAScriptCode: body.type === "BlockStatement" ? body.body : body,
+      Function: func,
+      FormalParameters: func.params,
+      ECMAScriptCode: func.body.type === "BlockStatement" ? func.body.body : func.body,
       Environment: scope
     };
   }
 
-  Evaluate(rootAst);
+  Evaluate(rootAst, withParent ? [] : undefined);
   return attemptToVisitGlobals;
 }
 //# sourceMappingURL=precook.js.map