@atlaspack/core 2.24.1 → 2.24.2-dev-ts-project-refs-d30e9754f.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (86) hide show
  1. package/LICENSE +201 -0
  2. package/dist/AssetGraph.js +591 -0
  3. package/dist/Atlaspack.js +656 -0
  4. package/dist/AtlaspackConfig.js +324 -0
  5. package/dist/AtlaspackConfig.schema.js +108 -0
  6. package/dist/BundleGraph.js +1628 -0
  7. package/dist/CommittedAsset.js +142 -0
  8. package/dist/Dependency.js +125 -0
  9. package/dist/Environment.js +132 -0
  10. package/dist/EnvironmentManager.js +108 -0
  11. package/dist/IdentifierRegistry.js +38 -0
  12. package/dist/InternalConfig.js +37 -0
  13. package/dist/PackagerRunner.js +531 -0
  14. package/dist/ReporterRunner.js +151 -0
  15. package/dist/RequestTracker.js +1368 -0
  16. package/dist/SymbolPropagation.js +620 -0
  17. package/dist/TargetDescriptor.schema.js +143 -0
  18. package/dist/Transformation.js +487 -0
  19. package/dist/UncommittedAsset.js +315 -0
  20. package/dist/Validation.js +196 -0
  21. package/dist/applyRuntimes.js +305 -0
  22. package/dist/assetUtils.js +168 -0
  23. package/dist/atlaspack-v3/AtlaspackV3.js +70 -0
  24. package/dist/atlaspack-v3/NapiWorkerPool.js +57 -0
  25. package/dist/atlaspack-v3/fs.js +52 -0
  26. package/dist/atlaspack-v3/index.js +25 -0
  27. package/dist/atlaspack-v3/jsCallable.js +16 -0
  28. package/dist/atlaspack-v3/worker/compat/asset-symbols.js +190 -0
  29. package/dist/atlaspack-v3/worker/compat/bitflags.js +94 -0
  30. package/dist/atlaspack-v3/worker/compat/dependency.js +43 -0
  31. package/dist/atlaspack-v3/worker/compat/environment.js +57 -0
  32. package/dist/atlaspack-v3/worker/compat/index.js +25 -0
  33. package/dist/atlaspack-v3/worker/compat/mutable-asset.js +152 -0
  34. package/dist/atlaspack-v3/worker/compat/plugin-config.js +76 -0
  35. package/dist/atlaspack-v3/worker/compat/plugin-logger.js +26 -0
  36. package/dist/atlaspack-v3/worker/compat/plugin-options.js +122 -0
  37. package/dist/atlaspack-v3/worker/compat/plugin-tracer.js +10 -0
  38. package/dist/atlaspack-v3/worker/compat/target.js +14 -0
  39. package/dist/atlaspack-v3/worker/worker.js +292 -0
  40. package/dist/constants.js +17 -0
  41. package/dist/dumpGraphToGraphViz.js +281 -0
  42. package/dist/index.js +62 -0
  43. package/dist/loadAtlaspackPlugin.js +128 -0
  44. package/dist/loadDotEnv.js +41 -0
  45. package/dist/projectPath.js +83 -0
  46. package/dist/public/Asset.js +279 -0
  47. package/dist/public/Bundle.js +224 -0
  48. package/dist/public/BundleGraph.js +359 -0
  49. package/dist/public/BundleGroup.js +53 -0
  50. package/dist/public/Config.js +286 -0
  51. package/dist/public/Dependency.js +138 -0
  52. package/dist/public/Environment.js +278 -0
  53. package/dist/public/MutableBundleGraph.js +277 -0
  54. package/dist/public/PluginOptions.js +80 -0
  55. package/dist/public/Symbols.js +248 -0
  56. package/dist/public/Target.js +69 -0
  57. package/dist/registerCoreWithSerializer.js +38 -0
  58. package/dist/requests/AssetGraphRequest.js +429 -0
  59. package/dist/requests/AssetGraphRequestRust.js +246 -0
  60. package/dist/requests/AssetRequest.js +130 -0
  61. package/dist/requests/AtlaspackBuildRequest.js +60 -0
  62. package/dist/requests/AtlaspackConfigRequest.js +490 -0
  63. package/dist/requests/BundleGraphRequest.js +441 -0
  64. package/dist/requests/ConfigRequest.js +222 -0
  65. package/dist/requests/DevDepRequest.js +204 -0
  66. package/dist/requests/EntryRequest.js +314 -0
  67. package/dist/requests/PackageRequest.js +65 -0
  68. package/dist/requests/PathRequest.js +349 -0
  69. package/dist/requests/TargetRequest.js +1310 -0
  70. package/dist/requests/ValidationRequest.js +49 -0
  71. package/dist/requests/WriteBundleRequest.js +254 -0
  72. package/dist/requests/WriteBundlesRequest.js +165 -0
  73. package/dist/requests/asset-graph-diff.js +126 -0
  74. package/dist/requests/asset-graph-dot.js +131 -0
  75. package/dist/resolveOptions.js +268 -0
  76. package/dist/rustWorkerThreadDylibHack.js +19 -0
  77. package/dist/serializerCore.browser.js +43 -0
  78. package/dist/summarizeRequest.js +39 -0
  79. package/dist/types.js +31 -0
  80. package/dist/utils.js +172 -0
  81. package/dist/worker.js +130 -0
  82. package/lib/AssetGraph.js +1 -0
  83. package/package.json +22 -22
  84. package/src/AssetGraph.ts +1 -0
  85. package/tsconfig.json +55 -2
  86. package/tsconfig.tsbuildinfo +1 -0
@@ -0,0 +1,620 @@
1
+ "use strict";
2
+ var __importDefault = (this && this.__importDefault) || function (mod) {
3
+ return (mod && mod.__esModule) ? mod : { "default": mod };
4
+ };
5
+ Object.defineProperty(exports, "__esModule", { value: true });
6
+ exports.propagateSymbols = propagateSymbols;
7
+ const feature_flags_1 = require("@atlaspack/feature-flags");
8
+ const assert_1 = __importDefault(require("assert"));
9
+ const nullthrows_1 = __importDefault(require("nullthrows"));
10
+ const utils_1 = require("@atlaspack/utils");
11
+ const logger_1 = __importDefault(require("@atlaspack/logger"));
12
+ const diagnostic_1 = require("@atlaspack/diagnostic");
13
+ const logger_2 = require("@atlaspack/logger");
14
+ const types_1 = require("./types");
15
+ const projectPath_1 = require("./projectPath");
16
+ function propagateSymbols({ options, assetGraph, changedAssetsPropagation, assetGroupsWithRemovedParents, previousErrors, }) {
17
+ return (0, logger_2.instrument)('propagateSymbols', () => {
18
+ let changedAssets = new Set([...changedAssetsPropagation].map((id) => assetGraph.getNodeIdByContentKey(id)));
19
+ // To reorder once at the end
20
+ let changedDeps = new Set();
21
+ // For the down traversal, the nodes with `usedSymbolsDownDirty = true` are exactly
22
+ // `changedAssetsPropagation` (= asset and therefore potentially dependencies changed) or the
23
+ // asset children of `assetGroupsWithRemovedParents` (= fewer incoming dependencies causing less
24
+ // used symbols).
25
+ //
26
+ // The up traversal has to consider all nodes that changed in the down traversal
27
+ // (`useSymbolsUpDirtyDown = true`) which are listed in `changedDepsUsedSymbolsUpDirtyDown`
28
+ // (more or less requested symbols) and in `changedAssetsPropagation` (changing an asset might
29
+ // change exports).
30
+ // The dependencies that changed in the down traversal causing an update in the up traversal.
31
+ let changedDepsUsedSymbolsUpDirtyDown = new Set();
32
+ // Propagate the requested symbols down from the root to the leaves
33
+ propagateSymbolsDown(assetGraph, changedAssets, assetGroupsWithRemovedParents, (assetNode, incomingDeps, outgoingDeps) => {
34
+ if ((0, feature_flags_1.getFeatureFlag)('emptyFileStarRexportFix')) {
35
+ if (assetNode.value.meta.emptyFileStarReexport &&
36
+ incomingDeps.every((d) => d.value.specifierType === types_1.SpecifierType.esm)) {
37
+ assetNode.value.symbols?.delete('*');
38
+ }
39
+ }
40
+ // exportSymbol -> identifier
41
+ let assetSymbols = assetNode.value.symbols;
42
+ // identifier -> exportSymbol
43
+ let assetSymbolsInverse;
44
+ if (assetSymbols) {
45
+ assetSymbolsInverse = new Map();
46
+ for (let [s, { local }] of assetSymbols) {
47
+ let set = assetSymbolsInverse.get(local);
48
+ if (!set) {
49
+ set = new Set();
50
+ assetSymbolsInverse.set(local, set);
51
+ }
52
+ set.add(s);
53
+ }
54
+ }
55
+ let hasNamespaceOutgoingDeps = outgoingDeps.some((d) => d.value.symbols?.get('*')?.local === '*');
56
+ // 1) Determine what the incomingDeps requests from the asset
57
+ // ----------------------------------------------------------
58
+ let isEntry = false;
59
+ let addAll = false;
60
+ // Used symbols that are exported or reexported (symbol will be removed again later) by asset.
61
+ assetNode.usedSymbols = new Set();
62
+ // Symbols that have to be namespace reexported by outgoingDeps.
63
+ let namespaceReexportedSymbols = new Set();
64
+ if (incomingDeps.length === 0) {
65
+ // Root in the runtimes Graph
66
+ assetNode.usedSymbols.add('*');
67
+ namespaceReexportedSymbols.add('*');
68
+ }
69
+ else {
70
+ for (let incomingDep of incomingDeps) {
71
+ if (incomingDep.value.symbols == null ||
72
+ incomingDep.value.priority === types_1.Priority.conditional) {
73
+ if (incomingDep.value.sourceAssetId == null) {
74
+ // The root dependency on non-library builds
75
+ isEntry = true;
76
+ }
77
+ else {
78
+ // A regular dependency with cleared symbols
79
+ addAll = true;
80
+ }
81
+ continue;
82
+ }
83
+ for (let exportSymbol of incomingDep.usedSymbolsDown) {
84
+ if (exportSymbol === '*') {
85
+ assetNode.usedSymbols.add('*');
86
+ namespaceReexportedSymbols.add('*');
87
+ }
88
+ if (!assetSymbols ||
89
+ assetSymbols.has(exportSymbol) ||
90
+ assetSymbols.has('*')) {
91
+ // An own symbol or a non-namespace reexport
92
+ assetNode.usedSymbols.add(exportSymbol);
93
+ }
94
+ // A namespace reexport
95
+ // (but only if we actually have namespace-exporting outgoing dependencies,
96
+ // This usually happens with a reexporting asset with many namespace exports which means that
97
+ // we cannot match up the correct asset with the used symbol at this level.)
98
+ else if (hasNamespaceOutgoingDeps && exportSymbol !== 'default') {
99
+ namespaceReexportedSymbols.add(exportSymbol);
100
+ }
101
+ }
102
+ }
103
+ }
104
+ // Incomding dependency with cleared symbols, add everything
105
+ if (addAll) {
106
+ assetSymbols?.forEach((_, exportSymbol) => assetNode.usedSymbols.add(exportSymbol));
107
+ }
108
+ // 2) Distribute the symbols to the outgoing dependencies
109
+ // ----------------------------------------------------------
110
+ for (let dep of outgoingDeps) {
111
+ let depUsedSymbolsDownOld = dep.usedSymbolsDown;
112
+ let depUsedSymbolsDown = new Set();
113
+ // @ts-expect-error TS2322
114
+ dep.usedSymbolsDown = depUsedSymbolsDown;
115
+ if (assetNode.value.sideEffects ||
116
+ // Incoming dependency with cleared symbols
117
+ addAll ||
118
+ // For entries, we still need to add dep.value.symbols of the entry (which are "used" but not according to the symbols data)
119
+ isEntry ||
120
+ // If not a single symbol is used, we can say the entire subgraph is not used.
121
+ // This is e.g. needed when some symbol is imported and then used for a export which isn't used (= "semi-weak" reexport)
122
+ // index.js: `import {bar} from "./lib"; ...`
123
+ // lib/index.js: `export * from "./foo.js"; export * from "./bar.js";`
124
+ // lib/foo.js: `import { data } from "./bar.js"; export const foo = data + " esm2";`
125
+ assetNode.usedSymbols.size > 0 ||
126
+ namespaceReexportedSymbols.size > 0) {
127
+ let depSymbols = dep.value.symbols;
128
+ if (!depSymbols)
129
+ continue;
130
+ if (depSymbols.get('*')?.local === '*') {
131
+ if (addAll) {
132
+ depUsedSymbolsDown.add('*');
133
+ }
134
+ else {
135
+ for (let s of namespaceReexportedSymbols) {
136
+ // We need to propagate the namespaceReexportedSymbols to all namespace dependencies (= even wrong ones because we don't know yet)
137
+ depUsedSymbolsDown.add(s);
138
+ }
139
+ }
140
+ }
141
+ for (let [symbol, { local }] of depSymbols) {
142
+ // Was already handled above
143
+ if (local === '*')
144
+ continue;
145
+ if (!assetSymbolsInverse || !depSymbols.get(symbol)?.isWeak) {
146
+ // Bailout or non-weak symbol (= used in the asset itself = not a reexport)
147
+ depUsedSymbolsDown.add(symbol);
148
+ }
149
+ else {
150
+ let reexportedExportSymbols = assetSymbolsInverse.get(local);
151
+ if (reexportedExportSymbols == null) {
152
+ // not reexported = used in asset itself
153
+ depUsedSymbolsDown.add(symbol);
154
+ }
155
+ else if (assetNode.usedSymbols.has('*')) {
156
+ // we need everything
157
+ depUsedSymbolsDown.add(symbol);
158
+ [...reexportedExportSymbols].forEach((s) => assetNode.usedSymbols.delete(s));
159
+ }
160
+ else {
161
+ let usedReexportedExportSymbols = [
162
+ ...reexportedExportSymbols,
163
+ ].filter((s) => assetNode.usedSymbols.has(s));
164
+ if (usedReexportedExportSymbols.length > 0) {
165
+ // The symbol is indeed a reexport, so it's not used from the asset itself
166
+ depUsedSymbolsDown.add(symbol);
167
+ usedReexportedExportSymbols.forEach((s) => assetNode.usedSymbols.delete(s));
168
+ }
169
+ }
170
+ }
171
+ }
172
+ }
173
+ else {
174
+ depUsedSymbolsDown.clear();
175
+ }
176
+ if (!(0, utils_1.setEqual)(depUsedSymbolsDownOld, depUsedSymbolsDown)) {
177
+ dep.usedSymbolsDownDirty = true;
178
+ dep.usedSymbolsUpDirtyDown = true;
179
+ changedDepsUsedSymbolsUpDirtyDown.add(dep.id);
180
+ }
181
+ if (dep.usedSymbolsUpDirtyDown) {
182
+ // Set on node creation
183
+ changedDepsUsedSymbolsUpDirtyDown.add(dep.id);
184
+ }
185
+ }
186
+ });
187
+ const logFallbackNamespaceInsertion = (assetNode, symbol, depNode1, depNode2) => {
188
+ if (options.logLevel === 'verbose') {
189
+ logger_1.default.warn({
190
+ message: `${(0, projectPath_1.fromProjectPathRelative)(assetNode.value.filePath)} reexports "${symbol}", which could be resolved either to the dependency "${depNode1.value.specifier}" or "${depNode2.value.specifier}" at runtime. Adding a namespace object to fall back on.`,
191
+ origin: '@atlaspack/core',
192
+ });
193
+ }
194
+ };
195
+ // Because namespace reexports introduce ambiguity, go up the graph from the leaves to the
196
+ // root and remove requested symbols that aren't actually exported
197
+ let errors = propagateSymbolsUp(assetGraph, changedAssets, changedDepsUsedSymbolsUpDirtyDown, previousErrors, (assetNode, incomingDeps, outgoingDeps) => {
198
+ let assetSymbols = assetNode.value.symbols;
199
+ let assetSymbolsInverse = null;
200
+ if (assetSymbols) {
201
+ assetSymbolsInverse = new Map();
202
+ for (let [s, { local }] of assetSymbols) {
203
+ let set = assetSymbolsInverse.get(local);
204
+ if (!set) {
205
+ set = new Set();
206
+ assetSymbolsInverse.set(local, set);
207
+ }
208
+ set.add(s);
209
+ }
210
+ }
211
+ // the symbols that are reexported (not used in `asset`) -> asset they resolved to
212
+ let reexportedSymbols = new Map();
213
+ // the symbols that are reexported (not used in `asset`) -> the corresponding outgoingDep(s)
214
+ // To generate the diagnostic when there are multiple dependencies with non-statically
215
+ // analyzable exports
216
+ let reexportedSymbolsSource = new Map();
217
+ for (let outgoingDep of outgoingDeps) {
218
+ let outgoingDepSymbols = outgoingDep.value.symbols;
219
+ if (!outgoingDepSymbols)
220
+ continue;
221
+ let isExcluded = assetGraph.getNodeIdsConnectedFrom(assetGraph.getNodeIdByContentKey(outgoingDep.id)).length === 0;
222
+ // excluded, assume everything that is requested exists
223
+ if (isExcluded) {
224
+ outgoingDep.usedSymbolsDown.forEach((_, s) => outgoingDep.usedSymbolsUp.set(s, null));
225
+ }
226
+ if (outgoingDepSymbols.get('*')?.local === '*') {
227
+ outgoingDep.usedSymbolsUp.forEach((sResolved, s) => {
228
+ if (s === 'default') {
229
+ return;
230
+ }
231
+ // If the symbol could come from multiple assets at runtime, assetNode's
232
+ // namespace will be needed at runtime to perform the lookup on.
233
+ if (reexportedSymbols.has(s)) {
234
+ if (!assetNode.usedSymbols.has('*')) {
235
+ logFallbackNamespaceInsertion(assetNode, s, (0, nullthrows_1.default)(reexportedSymbolsSource.get(s)), outgoingDep);
236
+ }
237
+ assetNode.usedSymbols.add('*');
238
+ reexportedSymbols.set(s, { asset: assetNode.id, symbol: s });
239
+ }
240
+ else {
241
+ reexportedSymbols.set(s, sResolved);
242
+ reexportedSymbolsSource.set(s, outgoingDep);
243
+ }
244
+ });
245
+ }
246
+ for (let [s, sResolved] of outgoingDep.usedSymbolsUp) {
247
+ if (!outgoingDep.usedSymbolsDown.has(s)) {
248
+ // usedSymbolsDown is a superset of usedSymbolsUp
249
+ continue;
250
+ }
251
+ let local = outgoingDepSymbols.get(s)?.local;
252
+ if (local == null) {
253
+ // Caused by '*' => '*', already handled
254
+ continue;
255
+ }
256
+ let reexported = assetSymbolsInverse?.get(local);
257
+ if (reexported != null) {
258
+ reexported.forEach((s) => {
259
+ // see same code above
260
+ if (reexportedSymbols.has(s)) {
261
+ if (!assetNode.usedSymbols.has('*')) {
262
+ logFallbackNamespaceInsertion(assetNode, s, (0, nullthrows_1.default)(reexportedSymbolsSource.get(s)), outgoingDep);
263
+ }
264
+ assetNode.usedSymbols.add('*');
265
+ reexportedSymbols.set(s, { asset: assetNode.id, symbol: s });
266
+ }
267
+ else {
268
+ reexportedSymbols.set(s, sResolved);
269
+ reexportedSymbolsSource.set(s, outgoingDep);
270
+ }
271
+ });
272
+ }
273
+ }
274
+ }
275
+ let errors = [];
276
+ function usedSymbolsUpAmbiguous(old, current, s, value) {
277
+ if (old.has(s)) {
278
+ let valueOld = old.get(s);
279
+ if (valueOld !== value &&
280
+ !(valueOld?.asset === value.asset &&
281
+ valueOld?.symbol === value.symbol)) {
282
+ // The dependency points to multiple assets (via an asset group).
283
+ current.set(s, undefined);
284
+ return;
285
+ }
286
+ }
287
+ current.set(s, value);
288
+ }
289
+ for (let incomingDep of incomingDeps) {
290
+ let incomingDepUsedSymbolsUpOld = incomingDep.usedSymbolsUp;
291
+ incomingDep.usedSymbolsUp = new Map();
292
+ let incomingDepSymbols = incomingDep.value.symbols;
293
+ if (!incomingDepSymbols)
294
+ continue;
295
+ let hasNamespaceReexport = incomingDepSymbols.get('*')?.local === '*';
296
+ for (let s of incomingDep.usedSymbolsDown) {
297
+ if (assetSymbols == null || // Assume everything could be provided if symbols are cleared
298
+ assetNode.value.bundleBehavior === types_1.BundleBehavior.isolated ||
299
+ assetNode.value.bundleBehavior === types_1.BundleBehavior.inline ||
300
+ s === '*' ||
301
+ assetNode.usedSymbols.has(s)) {
302
+ usedSymbolsUpAmbiguous(incomingDepUsedSymbolsUpOld, incomingDep.usedSymbolsUp, s, {
303
+ asset: assetNode.id,
304
+ symbol: s,
305
+ });
306
+ }
307
+ else if (reexportedSymbols.has(s)) {
308
+ let reexport = reexportedSymbols.get(s);
309
+ let v =
310
+ // Forward a reexport only if the current asset is side-effect free and not external
311
+ !assetNode.value.sideEffects && reexport != null
312
+ ? reexport
313
+ : {
314
+ asset: assetNode.id,
315
+ symbol: s,
316
+ };
317
+ usedSymbolsUpAmbiguous(incomingDepUsedSymbolsUpOld, incomingDep.usedSymbolsUp, s, v);
318
+ }
319
+ else if (!hasNamespaceReexport) {
320
+ let loc = incomingDep.value.symbols?.get(s)?.loc;
321
+ let [resolutionNodeId] = assetGraph.getNodeIdsConnectedFrom(assetGraph.getNodeIdByContentKey(incomingDep.id));
322
+ let resolution = (0, nullthrows_1.default)(assetGraph.getNode(resolutionNodeId));
323
+ (0, assert_1.default)(resolution &&
324
+ (resolution.type === 'asset_group' ||
325
+ resolution.type === 'asset'));
326
+ errors.push({
327
+ message: (0, diagnostic_1.md) `${(0, projectPath_1.fromProjectPathRelative)(
328
+ // @ts-expect-error TS2345
329
+ resolution.value.filePath)} does not export '${s}'`,
330
+ origin: '@atlaspack/core',
331
+ codeFrames: loc
332
+ ? [
333
+ {
334
+ filePath: (0, projectPath_1.fromProjectPath)(options.projectRoot, loc?.filePath) ??
335
+ undefined,
336
+ language: incomingDep.value.sourceAssetType ?? undefined,
337
+ codeHighlights: [(0, diagnostic_1.convertSourceLocationToHighlight)(loc)],
338
+ },
339
+ ]
340
+ : undefined,
341
+ });
342
+ }
343
+ }
344
+ if (!equalMap(incomingDepUsedSymbolsUpOld, incomingDep.usedSymbolsUp)) {
345
+ changedDeps.add(incomingDep);
346
+ incomingDep.usedSymbolsUpDirtyUp = true;
347
+ }
348
+ incomingDep.excluded = false;
349
+ if (incomingDep.value.symbols != null &&
350
+ incomingDep.usedSymbolsUp.size === 0) {
351
+ let assetGroups = assetGraph.getNodeIdsConnectedFrom(assetGraph.getNodeIdByContentKey(incomingDep.id));
352
+ if (assetGroups.length === 1) {
353
+ let [assetGroupId] = assetGroups;
354
+ let assetGroup = (0, nullthrows_1.default)(assetGraph.getNode(assetGroupId));
355
+ if (assetGroup.type === 'asset_group' &&
356
+ assetGroup.value.sideEffects === false) {
357
+ incomingDep.excluded = true;
358
+ }
359
+ }
360
+ else {
361
+ (0, assert_1.default)(assetGroups.length === 0);
362
+ }
363
+ }
364
+ }
365
+ return errors;
366
+ });
367
+ // Sort usedSymbolsUp so they are a consistent order across builds.
368
+ // This ensures a consistent ordering of these symbols when packaging.
369
+ // See https://github.com/parcel-bundler/parcel/pull/8212
370
+ for (let dep of changedDeps) {
371
+ dep.usedSymbolsUp = new Map(
372
+ // @ts-expect-error TS2345
373
+ [...dep.usedSymbolsUp].sort(([a], [b]) => a.localeCompare(b)));
374
+ }
375
+ return errors;
376
+ });
377
+ }
378
+ function propagateSymbolsDown(assetGraph, changedAssets, assetGroupsWithRemovedParents, visit) {
379
+ if (changedAssets.size === 0 && assetGroupsWithRemovedParents.size === 0) {
380
+ return;
381
+ }
382
+ // We care about changed assets and their changed dependencies. So start with the first changed
383
+ // asset or dependency and continue while the symbols change. If the queue becomes empty,
384
+ // continue with the next unvisited changed asset.
385
+ //
386
+ // In the end, nodes, which are neither listed in changedAssets nor in
387
+ // assetGroupsWithRemovedParents nor reached via a dirty flag, don't have to be visited at all.
388
+ //
389
+ // In the worst case, some nodes have to be revisited because we don't want to sort the assets
390
+ // into topological order. For example in a diamond graph where the join point is visited twice
391
+ // via each parent (the numbers signifiying the order of re/visiting, `...` being unvisited).
392
+ // However, this only continues as long as there are changes in the used symbols that influence
393
+ // child nodes.
394
+ //
395
+ // |
396
+ // ...
397
+ // / \
398
+ // 1 4
399
+ // \ /
400
+ // 2+5
401
+ // |
402
+ // 3+6
403
+ // |
404
+ // ...
405
+ // |
406
+ //
407
+ let unreachedAssets = new Set([
408
+ ...changedAssets,
409
+ ...assetGroupsWithRemovedParents,
410
+ ]);
411
+ let queue = new Set([setPop(unreachedAssets)]);
412
+ while (queue.size > 0) {
413
+ let queuedNodeId = setPop(queue);
414
+ unreachedAssets.delete(queuedNodeId);
415
+ let outgoing = assetGraph.getNodeIdsConnectedFrom(queuedNodeId);
416
+ let node = (0, nullthrows_1.default)(assetGraph.getNode(queuedNodeId));
417
+ let wasNodeDirty = false;
418
+ if (node.type === 'dependency' || node.type === 'asset_group') {
419
+ wasNodeDirty = node.usedSymbolsDownDirty;
420
+ node.usedSymbolsDownDirty = false;
421
+ }
422
+ else if (node.type === 'asset' && node.usedSymbolsDownDirty) {
423
+ visit(node, incomingDependencyNodesFromAsset(assetGraph, node.value), dependencyNodesFromIds(assetGraph, outgoing));
424
+ node.usedSymbolsDownDirty = false;
425
+ }
426
+ for (let child of outgoing) {
427
+ let childNode = (0, nullthrows_1.default)(assetGraph.getNode(child));
428
+ let childDirty = false;
429
+ if ((childNode.type === 'asset' || childNode.type === 'asset_group') &&
430
+ wasNodeDirty) {
431
+ childNode.usedSymbolsDownDirty = true;
432
+ childDirty = true;
433
+ }
434
+ else if (childNode.type === 'dependency') {
435
+ childDirty = childNode.usedSymbolsDownDirty;
436
+ }
437
+ if (childDirty) {
438
+ queue.add(child);
439
+ }
440
+ }
441
+ if (queue.size === 0 && unreachedAssets.size > 0) {
442
+ queue.add(setPop(unreachedAssets));
443
+ }
444
+ }
445
+ }
446
+ function propagateSymbolsUp(assetGraph, changedAssets, changedDepsUsedSymbolsUpDirtyDown, previousErrors, visit) {
447
+ // For graphs in general (so with cyclic dependencies), some nodes will have to be revisited. So
448
+ // run a regular queue-based BFS for anything that's still dirty.
449
+ //
450
+ // (Previously, there was first a recursive post-order DFS, with the idea that all children of a
451
+ // node should be processed first. With a tree, this would result in a minimal amount of work by
452
+ // processing every asset exactly once and then the remaining cycles would have been handled
453
+ // with the loop. This was slightly faster for initial builds but had O(project) instead of
454
+ // O(changes).)
455
+ let errors = previousErrors
456
+ ? // Some nodes might have been removed since the last build
457
+ // @ts-expect-error TS2769
458
+ new Map([...previousErrors].filter(([n]) => assetGraph.hasNode(n)))
459
+ : new Map();
460
+ let changedDepsUsedSymbolsUpDirtyDownAssets = new Set([
461
+ ...[...changedDepsUsedSymbolsUpDirtyDown]
462
+ .reverse()
463
+ .flatMap((id) => getDependencyResolution(assetGraph, id)),
464
+ ...changedAssets,
465
+ ]);
466
+ // Do a more efficient full traversal (less recomputations) if more than half of the assets
467
+ // changed.
468
+ let runFullPass =
469
+ // If there are n nodes in the graph, then the asset count is approximately
470
+ // n/6 (for every asset, there are ~4 dependencies and ~1 asset_group).
471
+ assetGraph.nodes.length * (1 / 6) * 0.5 <
472
+ changedDepsUsedSymbolsUpDirtyDownAssets.size;
473
+ // @ts-expect-error TS7034
474
+ let dirtyDeps;
475
+ if (runFullPass) {
476
+ dirtyDeps = new Set();
477
+ let rootNodeId = (0, nullthrows_1.default)(assetGraph.rootNodeId, 'A root node is required to traverse');
478
+ const nodeVisitor = (nodeId) => {
479
+ let node = (0, nullthrows_1.default)(assetGraph.getNode(nodeId));
480
+ if (node.type === 'asset') {
481
+ let outgoing = outgoingDependencyNodesFromAsset(assetGraph, nodeId);
482
+ for (let child of outgoing) {
483
+ if (child.usedSymbolsUpDirtyUp) {
484
+ node.usedSymbolsUpDirty = true;
485
+ child.usedSymbolsUpDirtyUp = false;
486
+ }
487
+ }
488
+ let incoming = incomingDependencyNodesFromAsset(assetGraph, node.value);
489
+ for (let dep of incoming) {
490
+ if (dep.usedSymbolsUpDirtyDown) {
491
+ dep.usedSymbolsUpDirtyDown = false;
492
+ node.usedSymbolsUpDirty = true;
493
+ }
494
+ }
495
+ if (node.usedSymbolsUpDirty) {
496
+ let e = visit(node, incoming, outgoing);
497
+ if (e.length > 0) {
498
+ node.usedSymbolsUpDirty = true;
499
+ errors.set(nodeId, e);
500
+ }
501
+ else {
502
+ node.usedSymbolsUpDirty = false;
503
+ errors.delete(nodeId);
504
+ }
505
+ }
506
+ }
507
+ else {
508
+ if (node.type === 'dependency') {
509
+ if (node.usedSymbolsUpDirtyUp) {
510
+ // @ts-expect-error TS7005
511
+ dirtyDeps.add(nodeId);
512
+ }
513
+ else {
514
+ // @ts-expect-error TS7005
515
+ dirtyDeps.delete(nodeId);
516
+ }
517
+ }
518
+ }
519
+ };
520
+ // @ts-expect-error TS2345
521
+ assetGraph.postOrderDfsFast(nodeVisitor, rootNodeId);
522
+ }
523
+ let queue = dirtyDeps ?? changedDepsUsedSymbolsUpDirtyDownAssets;
524
+ while (queue.size > 0) {
525
+ let queuedNodeId = setPop(queue);
526
+ let node = (0, nullthrows_1.default)(assetGraph.getNode(queuedNodeId));
527
+ if (node.type === 'asset') {
528
+ let incoming = incomingDependencyNodesFromAsset(assetGraph, node.value);
529
+ for (let dep of incoming) {
530
+ if (dep.usedSymbolsUpDirtyDown) {
531
+ dep.usedSymbolsUpDirtyDown = false;
532
+ node.usedSymbolsUpDirty = true;
533
+ }
534
+ }
535
+ let outgoing = outgoingDependencyNodesFromAsset(assetGraph, queuedNodeId);
536
+ for (let dep of outgoing) {
537
+ if (dep.usedSymbolsUpDirtyUp) {
538
+ node.usedSymbolsUpDirty = true;
539
+ dep.usedSymbolsUpDirtyUp = false;
540
+ }
541
+ }
542
+ if (node.usedSymbolsUpDirty) {
543
+ let e = visit(node, incoming, outgoing);
544
+ if (e.length > 0) {
545
+ node.usedSymbolsUpDirty = true;
546
+ errors.set(queuedNodeId, e);
547
+ }
548
+ else {
549
+ node.usedSymbolsUpDirty = false;
550
+ errors.delete(queuedNodeId);
551
+ }
552
+ }
553
+ for (let i of incoming) {
554
+ if (i.usedSymbolsUpDirtyUp) {
555
+ queue.add(assetGraph.getNodeIdByContentKey(i.id));
556
+ }
557
+ }
558
+ }
559
+ else {
560
+ let connectedNodes = assetGraph.getNodeIdsConnectedTo(queuedNodeId);
561
+ if (connectedNodes.length > 0) {
562
+ // @ts-expect-error TS2556
563
+ queue.add(...connectedNodes);
564
+ }
565
+ }
566
+ }
567
+ return errors;
568
+ }
569
+ function getDependencyResolution(graph, depId) {
570
+ let depNodeId = graph.getNodeIdByContentKey(depId);
571
+ let connected = graph.getNodeIdsConnectedFrom(depNodeId);
572
+ (0, assert_1.default)(connected.length <= 1);
573
+ let child = connected[0];
574
+ if (child) {
575
+ let childNode = (0, nullthrows_1.default)(graph.getNode(child));
576
+ if (childNode.type === 'asset_group') {
577
+ return graph.getNodeIdsConnectedFrom(child);
578
+ }
579
+ else {
580
+ return [child];
581
+ }
582
+ }
583
+ return [];
584
+ }
585
+ function equalMap(a, b) {
586
+ if (a.size !== b.size)
587
+ return false;
588
+ for (let [k, v] of a) {
589
+ if (!b.has(k))
590
+ return false;
591
+ let vB = b.get(k);
592
+ if (vB?.asset !== v?.asset || vB?.symbol !== v?.symbol)
593
+ return false;
594
+ }
595
+ return true;
596
+ }
597
+ function setPop(set) {
598
+ let v = (0, nullthrows_1.default)(set.values().next().value);
599
+ set.delete(v);
600
+ return v;
601
+ }
602
+ function outgoingDependencyNodesFromAsset(assetGraph, assetNode) {
603
+ return dependencyNodesFromIds(assetGraph, assetGraph.getNodeIdsConnectedFrom(assetNode));
604
+ }
605
+ function dependencyNodesFromIds(assetGraph, dependencyIds) {
606
+ return dependencyIds.map((depNodeId) => {
607
+ let depNode = (0, nullthrows_1.default)(assetGraph.getNode(depNodeId));
608
+ (0, assert_1.default)(depNode.type === 'dependency');
609
+ return depNode;
610
+ });
611
+ }
612
+ function incomingDependencyNodesFromAsset(assetGraph,
613
+ // @ts-expect-error TS2552
614
+ assetNodeValue) {
615
+ return assetGraph.getIncomingDependencies(assetNodeValue).map((d) => {
616
+ let n = assetGraph.getNodeByContentKey(d.id);
617
+ (0, assert_1.default)(n && n.type === 'dependency');
618
+ return n;
619
+ });
620
+ }