HarmonyImportDependencyParserPlugin.js 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399
  1. /*
  2. MIT License http://www.opensource.org/licenses/mit-license.php
  3. Author Tobias Koppers @sokra
  4. */
  5. "use strict";
  6. const HotModuleReplacementPlugin = require("../HotModuleReplacementPlugin");
  7. const InnerGraph = require("../optimize/InnerGraph");
  8. const ConstDependency = require("./ConstDependency");
  9. const HarmonyAcceptDependency = require("./HarmonyAcceptDependency");
  10. const HarmonyAcceptImportDependency = require("./HarmonyAcceptImportDependency");
  11. const HarmonyEvaluatedImportSpecifierDependency = require("./HarmonyEvaluatedImportSpecifierDependency");
  12. const HarmonyExports = require("./HarmonyExports");
  13. const { ExportPresenceModes } = require("./HarmonyImportDependency");
  14. const HarmonyImportSideEffectDependency = require("./HarmonyImportSideEffectDependency");
  15. const HarmonyImportSpecifierDependency = require("./HarmonyImportSpecifierDependency");
  16. /** @typedef {import("estree").ExportAllDeclaration} ExportAllDeclaration */
  17. /** @typedef {import("estree").ExportNamedDeclaration} ExportNamedDeclaration */
  18. /** @typedef {import("estree").Identifier} Identifier */
  19. /** @typedef {import("estree").ImportDeclaration} ImportDeclaration */
  20. /** @typedef {import("estree").ImportExpression} ImportExpression */
  21. /** @typedef {import("estree").Literal} Literal */
  22. /** @typedef {import("estree").MemberExpression} MemberExpression */
  23. /** @typedef {import("estree").ObjectExpression} ObjectExpression */
  24. /** @typedef {import("estree").Property} Property */
  25. /** @typedef {import("../../declarations/WebpackOptions").JavascriptParserOptions} JavascriptParserOptions */
  26. /** @typedef {import("../Dependency").DependencyLocation} DependencyLocation */
  27. /** @typedef {import("../javascript/BasicEvaluatedExpression")} BasicEvaluatedExpression */
  28. /** @typedef {import("../javascript/JavascriptParser")} JavascriptParser */
  29. /** @typedef {import("../javascript/JavascriptParser").Range} Range */
  30. /** @typedef {import("../optimize/InnerGraph").InnerGraph} InnerGraph */
  31. /** @typedef {import("../optimize/InnerGraph").TopLevelSymbol} TopLevelSymbol */
  32. /** @typedef {import("./HarmonyImportDependency")} HarmonyImportDependency */
  33. const harmonySpecifierTag = Symbol("harmony import");
  34. /**
  35. * @typedef {Object} HarmonySettings
  36. * @property {string[]} ids
  37. * @property {string} source
  38. * @property {number} sourceOrder
  39. * @property {string} name
  40. * @property {boolean} await
  41. * @property {Record<string, any> | undefined} assertions
  42. */
  43. /**
  44. * @param {ImportDeclaration | ExportNamedDeclaration | ExportAllDeclaration | (ImportExpression & { arguments?: ObjectExpression[] })} node node with assertions
  45. * @returns {Record<string, any> | undefined} assertions
  46. */
  47. function getAttributes(node) {
  48. if (
  49. node.type === "ImportExpression" &&
  50. node.arguments &&
  51. node.arguments[0] &&
  52. node.arguments[0].type === "ObjectExpression" &&
  53. node.arguments[0].properties[0] &&
  54. node.arguments[0].properties[0].type === "Property" &&
  55. node.arguments[0].properties[0].value.type === "ObjectExpression" &&
  56. node.arguments[0].properties[0].value.properties
  57. ) {
  58. const properties = /** @type {Property[]} */ (
  59. node.arguments[0].properties[0].value.properties
  60. );
  61. const result = {};
  62. for (const property of properties) {
  63. const key =
  64. property.key.type === "Identifier"
  65. ? property.key.name
  66. : /** @type {Literal} */ (property.key).value;
  67. result[key] = /** @type {Literal} */ (property.value).value;
  68. }
  69. return result;
  70. }
  71. // TODO remove cast when @types/estree has been updated to import assertions
  72. const attributes =
  73. /** @type {{ assertions?: ImportAttributeNode[] }} */
  74. (node).assertions;
  75. if (attributes === undefined) {
  76. return undefined;
  77. }
  78. const result = {};
  79. for (const attribute of attributes) {
  80. const key =
  81. attribute.key.type === "Identifier"
  82. ? attribute.key.name
  83. : attribute.key.value;
  84. result[key] = attribute.value.value;
  85. }
  86. return result;
  87. }
  88. module.exports = class HarmonyImportDependencyParserPlugin {
  89. /**
  90. * @param {JavascriptParserOptions} options options
  91. */
  92. constructor(options) {
  93. this.exportPresenceMode =
  94. options.importExportsPresence !== undefined
  95. ? ExportPresenceModes.fromUserOption(options.importExportsPresence)
  96. : options.exportsPresence !== undefined
  97. ? ExportPresenceModes.fromUserOption(options.exportsPresence)
  98. : options.strictExportPresence
  99. ? ExportPresenceModes.ERROR
  100. : ExportPresenceModes.AUTO;
  101. this.strictThisContextOnImports = options.strictThisContextOnImports;
  102. }
  103. /**
  104. * @param {JavascriptParser} parser the parser
  105. * @returns {void}
  106. */
  107. apply(parser) {
  108. const { exportPresenceMode } = this;
  109. function getNonOptionalPart(members, membersOptionals) {
  110. let i = 0;
  111. while (i < members.length && membersOptionals[i] === false) i++;
  112. return i !== members.length ? members.slice(0, i) : members;
  113. }
  114. function getNonOptionalMemberChain(node, count) {
  115. while (count--) node = node.object;
  116. return node;
  117. }
  118. parser.hooks.isPure
  119. .for("Identifier")
  120. .tap("HarmonyImportDependencyParserPlugin", expression => {
  121. const expr = /** @type {Identifier} */ (expression);
  122. if (
  123. parser.isVariableDefined(expr.name) ||
  124. parser.getTagData(expr.name, harmonySpecifierTag)
  125. ) {
  126. return true;
  127. }
  128. });
  129. parser.hooks.import.tap(
  130. "HarmonyImportDependencyParserPlugin",
  131. (statement, source) => {
  132. parser.state.lastHarmonyImportOrder =
  133. (parser.state.lastHarmonyImportOrder || 0) + 1;
  134. const clearDep = new ConstDependency(
  135. parser.isAsiPosition(/** @type {Range} */ (statement.range)[0])
  136. ? ";"
  137. : "",
  138. /** @type {Range} */ (statement.range)
  139. );
  140. clearDep.loc = /** @type {DependencyLocation} */ (statement.loc);
  141. parser.state.module.addPresentationalDependency(clearDep);
  142. parser.unsetAsiPosition(/** @type {Range} */ (statement.range)[1]);
  143. const attributes = getAttributes(statement);
  144. const sideEffectDep = new HarmonyImportSideEffectDependency(
  145. /** @type {string} */ (source),
  146. parser.state.lastHarmonyImportOrder,
  147. attributes
  148. );
  149. sideEffectDep.loc = /** @type {DependencyLocation} */ (statement.loc);
  150. parser.state.module.addDependency(sideEffectDep);
  151. return true;
  152. }
  153. );
  154. parser.hooks.importSpecifier.tap(
  155. "HarmonyImportDependencyParserPlugin",
  156. (statement, source, id, name) => {
  157. const ids = id === null ? [] : [id];
  158. parser.tagVariable(name, harmonySpecifierTag, {
  159. name,
  160. source,
  161. ids,
  162. sourceOrder: parser.state.lastHarmonyImportOrder,
  163. assertions: getAttributes(statement)
  164. });
  165. return true;
  166. }
  167. );
  168. parser.hooks.binaryExpression.tap(
  169. "HarmonyImportDependencyParserPlugin",
  170. expression => {
  171. if (expression.operator !== "in") return;
  172. const leftPartEvaluated = parser.evaluateExpression(expression.left);
  173. if (leftPartEvaluated.couldHaveSideEffects()) return;
  174. const leftPart = leftPartEvaluated.asString();
  175. if (!leftPart) return;
  176. const rightPart = parser.evaluateExpression(expression.right);
  177. if (!rightPart.isIdentifier()) return;
  178. const rootInfo = rightPart.rootInfo;
  179. if (
  180. typeof rootInfo === "string" ||
  181. !rootInfo ||
  182. !rootInfo.tagInfo ||
  183. rootInfo.tagInfo.tag !== harmonySpecifierTag
  184. )
  185. return;
  186. const settings = rootInfo.tagInfo.data;
  187. const members = rightPart.getMembers();
  188. const dep = new HarmonyEvaluatedImportSpecifierDependency(
  189. settings.source,
  190. settings.sourceOrder,
  191. settings.ids.concat(members).concat([leftPart]),
  192. settings.name,
  193. /** @type {Range} */ (expression.range),
  194. settings.assertions,
  195. "in"
  196. );
  197. dep.directImport = members.length === 0;
  198. dep.asiSafe = !parser.isAsiPosition(
  199. /** @type {Range} */ (expression.range)[0]
  200. );
  201. dep.loc = /** @type {DependencyLocation} */ (expression.loc);
  202. parser.state.module.addDependency(dep);
  203. InnerGraph.onUsage(parser.state, e => (dep.usedByExports = e));
  204. return true;
  205. }
  206. );
  207. parser.hooks.expression
  208. .for(harmonySpecifierTag)
  209. .tap("HarmonyImportDependencyParserPlugin", expr => {
  210. const settings = /** @type {HarmonySettings} */ (parser.currentTagData);
  211. const dep = new HarmonyImportSpecifierDependency(
  212. settings.source,
  213. settings.sourceOrder,
  214. settings.ids,
  215. settings.name,
  216. /** @type {Range} */ (expr.range),
  217. exportPresenceMode,
  218. settings.assertions,
  219. []
  220. );
  221. dep.referencedPropertiesInDestructuring =
  222. parser.destructuringAssignmentPropertiesFor(expr);
  223. dep.shorthand = parser.scope.inShorthand;
  224. dep.directImport = true;
  225. dep.asiSafe = !parser.isAsiPosition(
  226. /** @type {Range} */ (expr.range)[0]
  227. );
  228. dep.loc = /** @type {DependencyLocation} */ (expr.loc);
  229. dep.call = parser.scope.inTaggedTemplateTag;
  230. parser.state.module.addDependency(dep);
  231. InnerGraph.onUsage(parser.state, e => (dep.usedByExports = e));
  232. return true;
  233. });
  234. parser.hooks.expressionMemberChain
  235. .for(harmonySpecifierTag)
  236. .tap(
  237. "HarmonyImportDependencyParserPlugin",
  238. (expression, members, membersOptionals, memberRanges) => {
  239. const settings = /** @type {HarmonySettings} */ (
  240. parser.currentTagData
  241. );
  242. const nonOptionalMembers = getNonOptionalPart(
  243. members,
  244. membersOptionals
  245. );
  246. const ranges = memberRanges.slice(
  247. 0,
  248. memberRanges.length - (members.length - nonOptionalMembers.length)
  249. );
  250. const expr =
  251. nonOptionalMembers !== members
  252. ? getNonOptionalMemberChain(
  253. expression,
  254. members.length - nonOptionalMembers.length
  255. )
  256. : expression;
  257. const ids = settings.ids.concat(nonOptionalMembers);
  258. const dep = new HarmonyImportSpecifierDependency(
  259. settings.source,
  260. settings.sourceOrder,
  261. ids,
  262. settings.name,
  263. /** @type {Range} */ (expr.range),
  264. exportPresenceMode,
  265. settings.assertions,
  266. ranges
  267. );
  268. dep.referencedPropertiesInDestructuring =
  269. parser.destructuringAssignmentPropertiesFor(expr);
  270. dep.asiSafe = !parser.isAsiPosition(
  271. /** @type {Range} */ (expr.range)[0]
  272. );
  273. dep.loc = /** @type {DependencyLocation} */ (expr.loc);
  274. parser.state.module.addDependency(dep);
  275. InnerGraph.onUsage(parser.state, e => (dep.usedByExports = e));
  276. return true;
  277. }
  278. );
  279. parser.hooks.callMemberChain
  280. .for(harmonySpecifierTag)
  281. .tap(
  282. "HarmonyImportDependencyParserPlugin",
  283. (expression, members, membersOptionals, memberRanges) => {
  284. const { arguments: args, callee } = expression;
  285. const settings = /** @type {HarmonySettings} */ (
  286. parser.currentTagData
  287. );
  288. const nonOptionalMembers = getNonOptionalPart(
  289. members,
  290. membersOptionals
  291. );
  292. const ranges = memberRanges.slice(
  293. 0,
  294. memberRanges.length - (members.length - nonOptionalMembers.length)
  295. );
  296. const expr =
  297. nonOptionalMembers !== members
  298. ? getNonOptionalMemberChain(
  299. callee,
  300. members.length - nonOptionalMembers.length
  301. )
  302. : callee;
  303. const ids = settings.ids.concat(nonOptionalMembers);
  304. const dep = new HarmonyImportSpecifierDependency(
  305. settings.source,
  306. settings.sourceOrder,
  307. ids,
  308. settings.name,
  309. /** @type {Range} */ (expr.range),
  310. exportPresenceMode,
  311. settings.assertions,
  312. ranges
  313. );
  314. dep.directImport = members.length === 0;
  315. dep.call = true;
  316. dep.asiSafe = !parser.isAsiPosition(
  317. /** @type {Range} */ (expr.range)[0]
  318. );
  319. // only in case when we strictly follow the spec we need a special case here
  320. dep.namespaceObjectAsContext =
  321. members.length > 0 && this.strictThisContextOnImports;
  322. dep.loc = /** @type {DependencyLocation} */ (expr.loc);
  323. parser.state.module.addDependency(dep);
  324. if (args) parser.walkExpressions(args);
  325. InnerGraph.onUsage(parser.state, e => (dep.usedByExports = e));
  326. return true;
  327. }
  328. );
  329. const { hotAcceptCallback, hotAcceptWithoutCallback } =
  330. HotModuleReplacementPlugin.getParserHooks(parser);
  331. hotAcceptCallback.tap(
  332. "HarmonyImportDependencyParserPlugin",
  333. (expr, requests) => {
  334. if (!HarmonyExports.isEnabled(parser.state)) {
  335. // This is not a harmony module, skip it
  336. return;
  337. }
  338. const dependencies = requests.map(request => {
  339. const dep = new HarmonyAcceptImportDependency(request);
  340. dep.loc = expr.loc;
  341. parser.state.module.addDependency(dep);
  342. return dep;
  343. });
  344. if (dependencies.length > 0) {
  345. const dep = new HarmonyAcceptDependency(
  346. expr.range,
  347. dependencies,
  348. true
  349. );
  350. dep.loc = expr.loc;
  351. parser.state.module.addDependency(dep);
  352. }
  353. }
  354. );
  355. hotAcceptWithoutCallback.tap(
  356. "HarmonyImportDependencyParserPlugin",
  357. (expr, requests) => {
  358. if (!HarmonyExports.isEnabled(parser.state)) {
  359. // This is not a harmony module, skip it
  360. return;
  361. }
  362. const dependencies = requests.map(request => {
  363. const dep = new HarmonyAcceptImportDependency(request);
  364. dep.loc = expr.loc;
  365. parser.state.module.addDependency(dep);
  366. return dep;
  367. });
  368. if (dependencies.length > 0) {
  369. const dep = new HarmonyAcceptDependency(
  370. expr.range,
  371. dependencies,
  372. false
  373. );
  374. dep.loc = expr.loc;
  375. parser.state.module.addDependency(dep);
  376. }
  377. }
  378. );
  379. }
  380. };
  381. module.exports.harmonySpecifierTag = harmonySpecifierTag;
  382. // TODO remove it in webpack@6 in favor getAttributes
  383. module.exports.getAssertions = getAttributes;
  384. module.exports.getAttributes = getAttributes;