| 1 |
- {"version":3,"names":["getTDZStatus","refPath","bindingPath","executionStatus","_guessExecutionStatusRelativeTo","buildTDZAssert","node","state","t","callExpression","addHelper","stringLiteral","name","isReference","scope","declared","letReferences","get","getBindingIdentifier","visitedMaybeTDZNodes","WeakSet","visitor","ReferencedIdentifier","path","tdzEnabled","parent","parentPath","isFor","left","getBinding","isFunctionDeclaration","status","has","add","assert","_tdzThis","isUpdateExpression","_ignoreBlockScopingTDZ","replaceWith","sequenceExpression","template","ast","AssignmentExpression","exit","nodes","ids","getBindingIdentifiers","Object","keys","id","push","length","replaceWithMultiple","map","n","expressionStatement"],"sources":["../src/tdz.ts"],"sourcesContent":["import { types as t, template, type PluginPass } from \"@babel/core\";\nimport type { NodePath, Scope, Visitor } from \"@babel/traverse\";\n\nfunction getTDZStatus(\n refPath: NodePath<t.Identifier | t.JSXIdentifier>,\n bindingPath: NodePath,\n) {\n const executionStatus = bindingPath._guessExecutionStatusRelativeTo(refPath);\n\n if (executionStatus === \"before\") {\n return \"outside\";\n } else if (executionStatus === \"after\") {\n return \"inside\";\n } else {\n return \"maybe\";\n }\n}\n\nfunction buildTDZAssert(\n node: t.Identifier | t.JSXIdentifier,\n state: TDZVisitorState,\n) {\n return t.callExpression(state.addHelper(\"temporalRef\"), [\n // @ts-expect-error Fixme: we may need to handle JSXIdentifier\n node,\n t.stringLiteral(node.name),\n ]);\n}\n\nfunction isReference(\n node: t.Identifier | t.JSXIdentifier,\n scope: Scope,\n state: TDZVisitorState,\n) {\n const declared = state.letReferences.get(node.name);\n if (!declared) return false;\n\n // declared node is different in this scope\n return scope.getBindingIdentifier(node.name) === declared;\n}\n\nconst visitedMaybeTDZNodes = new WeakSet();\n\nexport interface TDZVisitorState {\n tdzEnabled: boolean;\n addHelper: PluginPass[\"addHelper\"];\n letReferences: Map<string, t.Identifier>;\n}\n\nexport const visitor: Visitor<TDZVisitorState> = {\n ReferencedIdentifier(path, state) {\n if (!state.tdzEnabled) return;\n\n const { node, parent, scope } = path;\n\n if (path.parentPath.isFor({ left: node })) return;\n if (!isReference(node, scope, state)) return;\n\n const bindingPath = scope.getBinding(node.name).path;\n\n if (bindingPath.isFunctionDeclaration()) return;\n\n const status = getTDZStatus(path, bindingPath);\n if (status === \"outside\") return;\n\n if (status === \"maybe\") {\n if (visitedMaybeTDZNodes.has(node)) {\n return;\n }\n visitedMaybeTDZNodes.add(node);\n const assert = buildTDZAssert(node, state);\n\n // add tdzThis to parent variable declarator so it's exploded\n // @ts-expect-error todo(flow->ts): avoid mutations\n bindingPath.parent._tdzThis = true;\n\n if (path.parentPath.isUpdateExpression()) {\n // @ts-expect-error todo(flow->ts): avoid node mutations\n if (parent._ignoreBlockScopingTDZ) return;\n path.parentPath.replaceWith(\n t.sequenceExpression([assert, parent as t.UpdateExpression]),\n );\n } else {\n path.replaceWith(assert);\n }\n } else if (status === \"inside\") {\n path.replaceWith(\n template.ast`${state.addHelper(\"tdz\")}(\"${node.name}\")` as t.Statement,\n );\n }\n },\n\n AssignmentExpression: {\n exit(path, state) {\n if (!state.tdzEnabled) return;\n\n const { node } = path;\n\n // @ts-expect-error todo(flow->ts): avoid node mutations\n if (node._ignoreBlockScopingTDZ) return;\n\n const nodes = [];\n const ids = path.getBindingIdentifiers();\n\n for (const name of Object.keys(ids)) {\n const id = ids[name];\n\n if (isReference(id, path.scope, state)) {\n nodes.push(id);\n }\n }\n\n if (nodes.length) {\n // @ts-expect-error todo(flow->ts): avoid mutations\n node._ignoreBlockScopingTDZ = true;\n nodes.push(node);\n path.replaceWithMultiple(nodes.map(n => t.expressionStatement(n)));\n }\n },\n },\n};\n"],"mappings":";;;;;;AAAA;AAGA,SAASA,YAAY,CACnBC,OAAiD,EACjDC,WAAqB,EACrB;EACA,MAAMC,eAAe,GAAGD,WAAW,CAACE,+BAA+B,CAACH,OAAO,CAAC;EAE5E,IAAIE,eAAe,KAAK,QAAQ,EAAE;IAChC,OAAO,SAAS;EAClB,CAAC,MAAM,IAAIA,eAAe,KAAK,OAAO,EAAE;IACtC,OAAO,QAAQ;EACjB,CAAC,MAAM;IACL,OAAO,OAAO;EAChB;AACF;AAEA,SAASE,cAAc,CACrBC,IAAoC,EACpCC,KAAsB,EACtB;EACA,OAAOC,WAAC,CAACC,cAAc,CAACF,KAAK,CAACG,SAAS,CAAC,aAAa,CAAC,EAAE;EAEtDJ,IAAI,EACJE,WAAC,CAACG,aAAa,CAACL,IAAI,CAACM,IAAI,CAAC,CAC3B,CAAC;AACJ;AAEA,SAASC,WAAW,CAClBP,IAAoC,EACpCQ,KAAY,EACZP,KAAsB,EACtB;EACA,MAAMQ,QAAQ,GAAGR,KAAK,CAACS,aAAa,CAACC,GAAG,CAACX,IAAI,CAACM,IAAI,CAAC;EACnD,IAAI,CAACG,QAAQ,EAAE,OAAO,KAAK;;EAG3B,OAAOD,KAAK,CAACI,oBAAoB,CAACZ,IAAI,CAACM,IAAI,CAAC,KAAKG,QAAQ;AAC3D;AAEA,MAAMI,oBAAoB,GAAG,IAAIC,OAAO,EAAE;AAQnC,MAAMC,OAAiC,GAAG;EAC/CC,oBAAoB,CAACC,IAAI,EAAEhB,KAAK,EAAE;IAChC,IAAI,CAACA,KAAK,CAACiB,UAAU,EAAE;IAEvB,MAAM;MAAElB,IAAI;MAAEmB,MAAM;MAAEX;IAAM,CAAC,GAAGS,IAAI;IAEpC,IAAIA,IAAI,CAACG,UAAU,CAACC,KAAK,CAAC;MAAEC,IAAI,EAAEtB;IAAK,CAAC,CAAC,EAAE;IAC3C,IAAI,CAACO,WAAW,CAACP,IAAI,EAAEQ,KAAK,EAAEP,KAAK,CAAC,EAAE;IAEtC,MAAML,WAAW,GAAGY,KAAK,CAACe,UAAU,CAACvB,IAAI,CAACM,IAAI,CAAC,CAACW,IAAI;IAEpD,IAAIrB,WAAW,CAAC4B,qBAAqB,EAAE,EAAE;IAEzC,MAAMC,MAAM,GAAG/B,YAAY,CAACuB,IAAI,EAAErB,WAAW,CAAC;IAC9C,IAAI6B,MAAM,KAAK,SAAS,EAAE;IAE1B,IAAIA,MAAM,KAAK,OAAO,EAAE;MACtB,IAAIZ,oBAAoB,CAACa,GAAG,CAAC1B,IAAI,CAAC,EAAE;QAClC;MACF;MACAa,oBAAoB,CAACc,GAAG,CAAC3B,IAAI,CAAC;MAC9B,MAAM4B,MAAM,GAAG7B,cAAc,CAACC,IAAI,EAAEC,KAAK,CAAC;;MAI1CL,WAAW,CAACuB,MAAM,CAACU,QAAQ,GAAG,IAAI;MAElC,IAAIZ,IAAI,CAACG,UAAU,CAACU,kBAAkB,EAAE,EAAE;QAExC,IAAIX,MAAM,CAACY,sBAAsB,EAAE;QACnCd,IAAI,CAACG,UAAU,CAACY,WAAW,CACzB9B,WAAC,CAAC+B,kBAAkB,CAAC,CAACL,MAAM,EAAET,MAAM,CAAuB,CAAC,CAC7D;MACH,CAAC,MAAM;QACLF,IAAI,CAACe,WAAW,CAACJ,MAAM,CAAC;MAC1B;IACF,CAAC,MAAM,IAAIH,MAAM,KAAK,QAAQ,EAAE;MAC9BR,IAAI,CAACe,WAAW,CACdE,cAAQ,CAACC,GAAI,GAAElC,KAAK,CAACG,SAAS,CAAC,KAAK,CAAE,KAAIJ,IAAI,CAACM,IAAK,IAAG,CACxD;IACH;EACF,CAAC;EAED8B,oBAAoB,EAAE;IACpBC,IAAI,CAACpB,IAAI,EAAEhB,KAAK,EAAE;MAChB,IAAI,CAACA,KAAK,CAACiB,UAAU,EAAE;MAEvB,MAAM;QAAElB;MAAK,CAAC,GAAGiB,IAAI;;MAGrB,IAAIjB,IAAI,CAAC+B,sBAAsB,EAAE;MAEjC,MAAMO,KAAK,GAAG,EAAE;MAChB,MAAMC,GAAG,GAAGtB,IAAI,CAACuB,qBAAqB,EAAE;MAExC,KAAK,MAAMlC,IAAI,IAAImC,MAAM,CAACC,IAAI,CAACH,GAAG,CAAC,EAAE;QACnC,MAAMI,EAAE,GAAGJ,GAAG,CAACjC,IAAI,CAAC;QAEpB,IAAIC,WAAW,CAACoC,EAAE,EAAE1B,IAAI,CAACT,KAAK,EAAEP,KAAK,CAAC,EAAE;UACtCqC,KAAK,CAACM,IAAI,CAACD,EAAE,CAAC;QAChB;MACF;MAEA,IAAIL,KAAK,CAACO,MAAM,EAAE;QAEhB7C,IAAI,CAAC+B,sBAAsB,GAAG,IAAI;QAClCO,KAAK,CAACM,IAAI,CAAC5C,IAAI,CAAC;QAChBiB,IAAI,CAAC6B,mBAAmB,CAACR,KAAK,CAACS,GAAG,CAACC,CAAC,IAAI9C,WAAC,CAAC+C,mBAAmB,CAACD,CAAC,CAAC,CAAC,CAAC;MACpE;IACF;EACF;AACF,CAAC;AAAC"}
|
