@cplieger/deadset-ts 8.0.0-dev.1 → 8.0.0-dev.11

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 (276) hide show
  1. package/README.md +1 -1
  2. package/dist/bin/mapper-connection.js +2 -1
  3. package/dist/bin/node-host.js +24 -5
  4. package/dist/src/analysis.js +181 -341
  5. package/dist/src/augmentations.js +106 -13
  6. package/dist/src/automatic-types.js +10 -29
  7. package/dist/src/build-scripts.js +425 -0
  8. package/dist/src/component-layer.js +4 -2
  9. package/dist/src/components.js +2 -3
  10. package/dist/src/config.js +6 -82
  11. package/dist/src/configuration-files.js +28 -176
  12. package/dist/src/configured-declarations.js +15 -20
  13. package/dist/src/conformance-record.js +1 -1
  14. package/dist/src/consumers.js +3 -30
  15. package/dist/src/contextual-uses.js +56 -9
  16. package/dist/src/contract/config.generated.js +558 -0
  17. package/dist/src/contract/contract.generated.js +1244 -0
  18. package/dist/src/contract/report.generated.js +862 -0
  19. package/dist/src/convention-rows.js +73 -3
  20. package/dist/src/conventions.js +36 -66
  21. package/dist/src/dependencies.js +103 -40
  22. package/dist/src/edges.js +38 -122
  23. package/dist/src/element-access.js +4 -6
  24. package/dist/src/entry-point-gaps.js +2 -8
  25. package/dist/src/entry-points.js +11 -27
  26. package/dist/src/enum-group.js +3 -10
  27. package/dist/src/erased-stores.js +4 -6
  28. package/dist/src/exempt-classes.js +1 -63
  29. package/dist/src/exempt.js +21 -40
  30. package/dist/src/failure.js +36 -0
  31. package/dist/src/file-facts.js +2 -25
  32. package/dist/src/findings/completion.js +139 -72
  33. package/dist/src/findings/dependencies-and-module-machinery.js +4 -5
  34. package/dist/src/findings/emitters.js +5 -5
  35. package/dist/src/findings/interfaces.js +4 -5
  36. package/dist/src/findings/intra-function.js +13 -10
  37. package/dist/src/findings/non-code-artifacts.js +7 -8
  38. package/dist/src/findings/reads-and-writes.js +16 -13
  39. package/dist/src/findings/self-check.js +10 -12
  40. package/dist/src/findings/unused-declarations.js +41 -32
  41. package/dist/src/findings/visibility-narrowing.js +19 -16
  42. package/dist/src/findings-pass.js +8 -15
  43. package/dist/src/framework-lifecycle.js +7 -7
  44. package/dist/src/fs/document.js +52 -0
  45. package/dist/src/fs/manifest.js +72 -0
  46. package/dist/src/fs/tree.js +88 -0
  47. package/dist/src/generated-file.js +7 -4
  48. package/dist/src/git-ignore.js +39 -26
  49. package/dist/src/graph.js +5 -3
  50. package/dist/src/html-entries.js +6 -33
  51. package/dist/src/in-operands.js +2 -1
  52. package/dist/src/index.js +1 -1
  53. package/dist/src/injection-container.js +1 -1
  54. package/dist/src/intra-function-parts.js +63 -43
  55. package/dist/src/inventory.js +2 -21
  56. package/dist/src/javascript-file.js +33 -0
  57. package/dist/src/json-document.js +198 -67
  58. package/dist/src/keyof-comparisons.js +4 -6
  59. package/dist/src/kinds.js +3 -366
  60. package/dist/src/load/classify.js +270 -0
  61. package/dist/src/load/diagnostics.js +80 -0
  62. package/dist/src/load/discover.js +277 -0
  63. package/dist/src/{emit-map.js → load/emit-map.js} +1 -1
  64. package/dist/src/load/expected-module.js +136 -0
  65. package/dist/src/load/load.js +27 -0
  66. package/dist/src/load/module-lookup.js +37 -0
  67. package/dist/src/load/plan.js +313 -0
  68. package/dist/src/load/specifiers.js +115 -0
  69. package/dist/src/load/synthesize.js +140 -0
  70. package/dist/src/load/test-globals.js +207 -0
  71. package/dist/src/load/test-joins.js +82 -0
  72. package/dist/src/{workspace-manifests.js → load/workspace-manifests.js} +4 -4
  73. package/dist/src/{workspace-programs.js → load/workspace-programs.js} +89 -66
  74. package/dist/src/{workspace-resolution.js → load/workspace-resolution.js} +23 -65
  75. package/dist/src/{workspace-run.js → load/workspace-run.js} +7 -7
  76. package/dist/src/{workspace.js → load/workspace.js} +62 -124
  77. package/dist/src/manifest.js +49 -54
  78. package/dist/src/matrix.js +76 -4
  79. package/dist/src/mdx-entries.js +3 -26
  80. package/dist/src/outside-tests.js +1 -1
  81. package/dist/src/partial.js +2 -1
  82. package/dist/src/paths.js +26 -15
  83. package/dist/src/position.js +2 -1
  84. package/dist/src/print.js +11 -79
  85. package/dist/src/product.js +13 -0
  86. package/dist/src/query.js +1 -0
  87. package/dist/src/ref.js +1 -0
  88. package/dist/src/references.js +48 -30
  89. package/dist/src/report-schema.js +51 -0
  90. package/dist/src/report.js +57 -41
  91. package/dist/src/reporters/annotations.js +15 -8
  92. package/dist/src/reporters/sarif.js +16 -10
  93. package/dist/src/reporters/template.js +4 -19
  94. package/dist/src/resolve.js +245 -729
  95. package/dist/src/roots.js +273 -87
  96. package/dist/src/run.js +66 -77
  97. package/dist/src/schema.js +320 -343
  98. package/dist/src/scope.js +38 -115
  99. package/dist/src/serialization-contract.js +595 -21
  100. package/dist/src/session.js +34 -29
  101. package/dist/src/source-files.js +1 -1
  102. package/dist/src/suppress-file.js +25 -28
  103. package/dist/src/suppress-inline.js +3 -2
  104. package/dist/src/suppress.js +33 -51
  105. package/dist/src/sweep.js +7 -9
  106. package/dist/src/symbol-keys.js +3 -5
  107. package/dist/src/template-field.js +9 -19
  108. package/dist/src/test-support.js +8 -11
  109. package/dist/src/text/compare.js +26 -0
  110. package/dist/src/text/glob.js +194 -0
  111. package/dist/src/text/named-files.js +54 -0
  112. package/dist/src/text/shell.js +159 -0
  113. package/dist/src/text/yaml.js +393 -0
  114. package/dist/src/type-errors.js +11 -232
  115. package/dist/src/unseen-loads.js +100 -0
  116. package/dist/src/unwrap.js +23 -0
  117. package/dist/src/usage.js +10 -0
  118. package/dist/src/verbs/analyze.js +166 -126
  119. package/dist/src/verbs/describe.js +9 -16
  120. package/dist/src/verbs/explain.js +10 -7
  121. package/dist/src/verbs/print-config.js +2 -1
  122. package/dist/src/verbs/print-projects.js +6 -4
  123. package/dist/src/verbs/print-retained.js +4 -2
  124. package/dist/src/verbs/print-roots.js +4 -2
  125. package/dist/src/verbs/verb.js +1 -5
  126. package/dist/src/verbs/version.js +14 -3
  127. package/dist/src/workflow-steps.js +62 -64
  128. package/jsr.json +1 -1
  129. package/package.json +5 -4
  130. package/src/analysis.ts +245 -502
  131. package/src/augmentations.ts +135 -17
  132. package/src/automatic-types.ts +11 -29
  133. package/src/build-scripts.ts +543 -0
  134. package/src/component-layer.ts +4 -2
  135. package/src/components.ts +2 -4
  136. package/src/config.ts +31 -302
  137. package/src/configuration-files.ts +34 -179
  138. package/src/configured-declarations.ts +18 -23
  139. package/src/conformance-record.ts +1 -1
  140. package/src/consumers.ts +6 -57
  141. package/src/contextual-uses.ts +64 -12
  142. package/src/contract/config.generated.ts +818 -0
  143. package/src/contract/contract.generated.ts +1308 -0
  144. package/src/contract/report.generated.ts +1237 -0
  145. package/src/convention-rows.ts +85 -3
  146. package/src/conventions.ts +46 -84
  147. package/src/dependencies.ts +118 -46
  148. package/src/edges.ts +41 -140
  149. package/src/element-access.ts +4 -7
  150. package/src/entry-point-gaps.ts +3 -9
  151. package/src/entry-points.ts +12 -38
  152. package/src/enum-group.ts +2 -11
  153. package/src/erased-stores.ts +3 -7
  154. package/src/exempt-classes.ts +1 -75
  155. package/src/exempt.ts +36 -50
  156. package/src/failure.ts +63 -0
  157. package/src/file-facts.ts +9 -24
  158. package/src/finding.ts +14 -9
  159. package/src/findings/boundary.ts +2 -0
  160. package/src/findings/completion.ts +181 -84
  161. package/src/findings/dependencies-and-module-machinery.ts +4 -7
  162. package/src/findings/emitter.ts +8 -9
  163. package/src/findings/emitters.ts +7 -7
  164. package/src/findings/interfaces.ts +4 -6
  165. package/src/findings/intra-function.ts +13 -11
  166. package/src/findings/non-code-artifacts.ts +9 -11
  167. package/src/findings/reads-and-writes.ts +20 -16
  168. package/src/findings/self-check.ts +11 -17
  169. package/src/findings/unused-declarations.ts +45 -32
  170. package/src/findings/visibility-narrowing.ts +20 -17
  171. package/src/findings-pass.ts +10 -19
  172. package/src/framework-lifecycle.ts +7 -7
  173. package/src/fs/document.ts +70 -0
  174. package/src/fs/manifest.ts +92 -0
  175. package/src/fs/tree.ts +110 -0
  176. package/src/generated-file.ts +7 -4
  177. package/src/git-ignore.ts +50 -26
  178. package/src/graph.ts +5 -3
  179. package/src/host.ts +12 -5
  180. package/src/html-entries.ts +6 -33
  181. package/src/in-operands.ts +2 -1
  182. package/src/index.ts +1 -1
  183. package/src/injection-container.ts +1 -1
  184. package/src/intra-function-parts.ts +73 -44
  185. package/src/inventory.ts +2 -20
  186. package/src/javascript-file.ts +37 -0
  187. package/src/json-document.ts +241 -76
  188. package/src/keyof-comparisons.ts +3 -7
  189. package/src/kinds.ts +5 -413
  190. package/src/load/classify.ts +397 -0
  191. package/src/load/diagnostics.ts +144 -0
  192. package/src/load/discover.ts +455 -0
  193. package/src/{emit-map.ts → load/emit-map.ts} +1 -1
  194. package/src/load/expected-module.ts +188 -0
  195. package/src/load/load.ts +73 -0
  196. package/src/load/module-lookup.ts +50 -0
  197. package/src/load/plan.ts +504 -0
  198. package/src/load/specifiers.ts +168 -0
  199. package/src/load/synthesize.ts +211 -0
  200. package/src/load/test-globals.ts +251 -0
  201. package/src/load/test-joins.ts +98 -0
  202. package/src/{workspace-manifests.ts → load/workspace-manifests.ts} +5 -5
  203. package/src/{workspace-programs.ts → load/workspace-programs.ts} +128 -85
  204. package/src/{workspace-resolution.ts → load/workspace-resolution.ts} +33 -76
  205. package/src/{workspace-run.ts → load/workspace-run.ts} +18 -16
  206. package/src/{workspace.ts → load/workspace.ts} +90 -134
  207. package/src/manifest.ts +81 -75
  208. package/src/matrix.ts +122 -4
  209. package/src/mdx-entries.ts +3 -26
  210. package/src/outside-tests.ts +1 -1
  211. package/src/partial.ts +3 -2
  212. package/src/paths.ts +27 -15
  213. package/src/position.ts +2 -1
  214. package/src/print.ts +12 -92
  215. package/src/product.ts +18 -0
  216. package/src/query.ts +11 -0
  217. package/src/ref.ts +1 -0
  218. package/src/references.ts +52 -31
  219. package/src/report-schema.ts +68 -0
  220. package/src/report.ts +101 -224
  221. package/src/reporters/annotations.ts +22 -11
  222. package/src/reporters/json.ts +1 -1
  223. package/src/reporters/reporter.ts +2 -4
  224. package/src/reporters/reporters.ts +1 -1
  225. package/src/reporters/sarif.ts +29 -16
  226. package/src/reporters/template.ts +4 -20
  227. package/src/reporters/text.ts +3 -3
  228. package/src/resolve.ts +283 -1114
  229. package/src/roots.ts +339 -104
  230. package/src/run.ts +75 -91
  231. package/src/schema.ts +391 -388
  232. package/src/scope.ts +46 -138
  233. package/src/serialization-contract.ts +763 -22
  234. package/src/session.ts +70 -54
  235. package/src/source-files.ts +1 -1
  236. package/src/suppress-file.ts +24 -33
  237. package/src/suppress-inline.ts +2 -2
  238. package/src/suppress.ts +43 -58
  239. package/src/sweep.ts +23 -9
  240. package/src/symbol-keys.ts +2 -5
  241. package/src/template-field.ts +15 -25
  242. package/src/test-support.ts +17 -13
  243. package/src/text/compare.ts +27 -0
  244. package/src/text/glob.ts +210 -0
  245. package/src/text/named-files.inputs.json +1522 -0
  246. package/src/text/named-files.ts +68 -0
  247. package/src/text/shell.ts +161 -0
  248. package/src/text/yaml.ts +423 -0
  249. package/src/type-errors.ts +18 -288
  250. package/src/unseen-loads.ts +134 -0
  251. package/src/unwrap.ts +34 -0
  252. package/src/usage.ts +10 -0
  253. package/src/verbs/analyze.ts +224 -162
  254. package/src/verbs/describe.ts +14 -15
  255. package/src/verbs/explain.ts +10 -11
  256. package/src/verbs/print-config.ts +2 -1
  257. package/src/verbs/print-projects.ts +6 -4
  258. package/src/verbs/print-retained.ts +4 -2
  259. package/src/verbs/print-roots.ts +4 -2
  260. package/src/verbs/verb.ts +2 -8
  261. package/src/verbs/version.ts +15 -3
  262. package/src/workflow-steps.ts +74 -64
  263. package/dist/src/base-url.js +0 -18
  264. package/dist/src/discover.js +0 -468
  265. package/dist/src/glob.js +0 -65
  266. package/dist/src/pnpm-workspace.js +0 -120
  267. package/dist/src/setup-failure.js +0 -23
  268. package/dist/src/test-joins.js +0 -101
  269. package/dist/src/version.js +0 -7
  270. package/src/base-url.ts +0 -24
  271. package/src/discover.ts +0 -653
  272. package/src/glob.ts +0 -67
  273. package/src/pnpm-workspace.ts +0 -135
  274. package/src/setup-failure.ts +0 -39
  275. package/src/test-joins.ts +0 -120
  276. package/src/version.ts +0 -7
@@ -6,54 +6,147 @@
6
6
  * name, which the language or a library types values by where the target never names it,
7
7
  * as `import.meta` or `process.env`, so a use of its member is a use of it.
8
8
  */
9
+ import { isInterfaceDeclaration, isModuleBlock, isModuleDeclaration, } from "@typescript/native/ast";
10
+ import { nodeKey } from "./inventory.js";
9
11
  import { referenceKey } from "./matrix.js";
10
12
  /** Whether one declaration is a `declare global` block: a module-level namespace named `global`. */
11
- function isGlobalBlock(symbol, held, files) {
13
+ export function isGlobalBlock(symbol, held, files) {
12
14
  return (symbol.kind === "namespace" &&
13
15
  files.has(symbol.parent) &&
14
16
  symbol.ref.endsWith("#global") &&
15
17
  !held.modules.has(symbol.id));
16
18
  }
17
19
  /**
18
- * For each reference to a declaration an augmentation block, or the global scope of a
19
- * file in `scripts`, holds, a read at the same place of every interface and namespace
20
- * between it and the block or the file, and of the block itself. `scripts` holds the
21
- * files that are no module, by identifier.
20
+ * Per declaration, the interfaces and namespaces between it and the augmentation block or
21
+ * the file in `scripts` that holds it, with the block itself, or none where no such block
22
+ * or file holds it; and whether that holder is the global scope rather than a module
23
+ * declaration. `scripts` holds the files that are no module, by identifier.
22
24
  */
23
- export function augmentationReferences(held, found, scripts = new Set()) {
25
+ function holdersOf(held, scripts) {
24
26
  const files = new Set(held.symbols.filter((one) => one.kind === "file").map((one) => one.id));
25
27
  const globals = new Set(held.symbols.filter((one) => isGlobalBlock(one, held, files)).map((one) => one.id));
26
28
  if (globals.size === 0 && held.modules.size === 0 && scripts.size === 0) {
27
- return [];
29
+ return undefined;
28
30
  }
29
31
  const byId = new Map(held.symbols.map((one) => [one.id, one]));
30
- const holders = (id) => {
32
+ return (id) => {
31
33
  const ids = [];
32
34
  for (let at = byId.get(byId.get(id)?.parent ?? ""); at !== undefined; at = byId.get(at.parent)) {
33
35
  if (globals.has(at.id) || held.modules.has(at.id)) {
34
- return [...ids, at.id];
36
+ return { ids: [...ids, at.id], global: globals.has(at.id) };
35
37
  }
36
38
  if (scripts.has(at.id)) {
37
- return ids;
39
+ return { ids, global: true };
38
40
  }
39
41
  if (at.kind === "interface" || at.kind === "namespace") {
40
42
  ids.push(at.id);
41
43
  }
42
44
  }
45
+ return { ids: [], global: false };
46
+ };
47
+ }
48
+ /**
49
+ * The ambient interfaces of the global scope among `interfaces`: each one a declaration
50
+ * file or a `declare` holds that a `declare global` block, or the top level of a file in
51
+ * `scripts`, declares, directly or inside a namespace there.
52
+ */
53
+ export function ambientGlobalInterfaces(held, interfaces, scripts) {
54
+ const holders = holdersOf(held, scripts);
55
+ return holders === undefined
56
+ ? []
57
+ : interfaces.filter((id) => held.ambient.has(id) && holders(id).global);
58
+ }
59
+ /**
60
+ * Each ambient global interface of the project's own files that merges into an interface
61
+ * declared outside them, with every interface, namespace and block between it and the
62
+ * global scope: the outside declaration names it wherever a value is typed by it. Where
63
+ * every outside declaration is a package's, not the compiler's library, and declares no
64
+ * member, each member it declares as well: such an interface is a slot the package reads
65
+ * by type, as `keyof` does, in declarations the analysis does not walk.
66
+ */
67
+ export function mergedGlobalInterfaces(project, held, files) {
68
+ const scripts = new Set();
69
+ const names = new Map();
70
+ for (const file of files.byName.values()) {
71
+ const fileId = held.declarations.get(nodeKey(file, file));
72
+ if (fileId !== undefined && file.externalModuleIndicator === undefined) {
73
+ scripts.add(fileId);
74
+ }
75
+ const visit = (node) => {
76
+ if (isInterfaceDeclaration(node)) {
77
+ const id = held.declarations.get(nodeKey(file, node));
78
+ if (id !== undefined) {
79
+ names.set(id, node.name);
80
+ }
81
+ }
82
+ else if (isModuleDeclaration(node) || isModuleBlock(node)) {
83
+ node.forEachChild(visit);
84
+ }
85
+ };
86
+ file.forEachChild(visit);
87
+ }
88
+ const global = new Set(ambientGlobalInterfaces(held, [...names.keys()], scripts));
89
+ const asked = [...names].filter(([id]) => global.has(id));
90
+ if (asked.length === 0) {
43
91
  return [];
92
+ }
93
+ const answers = project.symbolsAt(asked.map(([, name]) => project.handle(name)));
94
+ const holders = holdersOf(held, scripts);
95
+ const empty = (handle) => {
96
+ if (project.program.getSourceFileMetadata(handle.path)?.isDefaultLibrary === true) {
97
+ return false;
98
+ }
99
+ const node = project.declarationAt(handle)?.node;
100
+ return node !== undefined && isInterfaceDeclaration(node) && node.members.length === 0;
44
101
  };
102
+ return [
103
+ ...new Set(asked.flatMap(([id], at) => {
104
+ const symbol = answers[at];
105
+ if (typeof symbol !== "object") {
106
+ return [];
107
+ }
108
+ const outside = symbol.declarations.filter((handle) => !files.byName.has(handle.path));
109
+ if (outside.length === 0) {
110
+ return [];
111
+ }
112
+ const members = outside.every(empty)
113
+ ? held.symbols.filter((one) => one.parent === id).map((one) => one.id)
114
+ : [];
115
+ return [id, ...(holders?.(id).ids ?? []), ...members];
116
+ })),
117
+ ];
118
+ }
119
+ /**
120
+ * For each reference to a declaration an augmentation block, or the global scope of a
121
+ * file in `scripts` (the files that are no module), holds, a read at the same place of
122
+ * every interface and namespace between it and the block or the file, and of the block
123
+ * itself. A read through an interface of `merged`, an ambient global interface merging
124
+ * into a language or library one, is a production read whoever writes it: it types a
125
+ * value the runtime provides, so a test reading a member needs it as code does.
126
+ */
127
+ export function augmentationReferences(held, found, scripts = new Set(), merged = new Set()) {
128
+ const holders = holdersOf(held, scripts);
129
+ if (holders === undefined) {
130
+ return [];
131
+ }
132
+ const fileOf = new Map(held.symbols.filter((one) => one.kind === "file").map((one) => [one.position.path, one.id]));
45
133
  // Two uses at one place of declarations one block holds read the block once there.
46
134
  const made = new Set(found.map(referenceKey));
47
135
  const reads = new Map();
48
136
  for (const reference of found) {
49
- for (const to of holders(reference.to)) {
137
+ const { ids } = holders(reference.to);
138
+ // A test's read through such an interface is held by the test file, which the test
139
+ // runner loads whichever of its declarations runs.
140
+ const typed = reference.test && ids.some((id) => merged.has(id));
141
+ const from = typed ? (fileOf.get(reference.position.path) ?? reference.from) : reference.from;
142
+ for (const to of ids) {
50
143
  const read = {
51
- from: reference.from,
144
+ from,
52
145
  to,
53
146
  position: reference.position,
54
147
  use: "read",
55
148
  resolution: reference.resolution,
56
- test: reference.test,
149
+ test: reference.test && !typed,
57
150
  };
58
151
  const key = referenceKey(read);
59
152
  if (!made.has(key) && !reads.has(key)) {
@@ -5,7 +5,9 @@
5
5
  * declarations, and a use of one resolves to nothing; each such use is a use of the package.
6
6
  */
7
7
  import { isClassDeclaration, isEnumDeclaration, isExportAssignment, isExportDeclaration, isFunctionDeclaration, isIdentifier, isImportDeclaration, isImportEqualsDeclaration, isInterfaceDeclaration, isModuleBlock, isModuleDeclaration, isStringLiteral, isTypeAliasDeclaration, isVariableStatement, SyntaxKind, } from "@typescript/native/ast";
8
- import { dirnamePath, joinPath, resolvePath } from "./paths.js";
8
+ import { ancestors, dirnamePath, joinPath, resolvePath } from "./paths.js";
9
+ import { entriesOf } from "./fs/tree.js";
10
+ import { manifestAt } from "./fs/manifest.js";
9
11
  const TYPE_ROOT = "node_modules/@types";
10
12
  const NONE = { globals: new Map(), modules: new Map() };
11
13
  /**
@@ -73,19 +75,11 @@ function fileDeclarations(file, globals, modules) {
73
75
  }
74
76
  /** The entry declaration file of one installed type package's directory. */
75
77
  function entryOf(host, dir) {
76
- try {
77
- const manifest = JSON.parse(host.readFile(joinPath(dir, "package.json")));
78
- const named = typeof manifest === "object" && manifest !== null
79
- ? (manifest["types"] ??
80
- manifest["typings"])
81
- : undefined;
82
- if (typeof named === "string" && named !== "") {
83
- const path = resolvePath(dir, named);
84
- return path.endsWith(".ts") ? path : `${path}.d.ts`;
85
- }
86
- }
87
- catch {
88
- // A package with no readable manifest is read from its index, as the compiler reads it.
78
+ const manifest = manifestAt(host, dir);
79
+ const named = manifest?.["types"] ?? manifest?.["typings"];
80
+ if (typeof named === "string" && named !== "") {
81
+ const path = resolvePath(dir, named);
82
+ return path.endsWith(".ts") ? path : `${path}.d.ts`;
89
83
  }
90
84
  return joinPath(dir, "index.d.ts");
91
85
  }
@@ -146,14 +140,7 @@ export function automaticTypes(host, configFile, options, parse) {
146
140
  };
147
141
  const read = new Set();
148
142
  for (const root of typeRoots(configFile, options)) {
149
- let entries;
150
- try {
151
- entries = host.readDirectory(root);
152
- }
153
- catch {
154
- entries = [];
155
- }
156
- for (const entry of entries) {
143
+ for (const entry of entriesOf(host, root)) {
157
144
  if (read.has(entry.name) || host.kindOf(joinPath(root, entry.name)) !== "directory") {
158
145
  continue;
159
146
  }
@@ -179,11 +166,5 @@ function typeRoots(configFile, options) {
179
166
  if (Array.isArray(listed)) {
180
167
  return listed.filter((root) => typeof root === "string" && root.endsWith(`/${TYPE_ROOT}`));
181
168
  }
182
- const roots = [];
183
- for (let dir = dirnamePath(configFile);; dir = dirnamePath(dir)) {
184
- roots.push(joinPath(dir, TYPE_ROOT));
185
- if (dirnamePath(dir) === dir) {
186
- return roots;
187
- }
188
- }
169
+ return ancestors(dirnamePath(configFile)).map((dir) => joinPath(dir, TYPE_ROOT));
189
170
  }
@@ -0,0 +1,425 @@
1
+ /**
2
+ * The files a bundler's JavaScript API builds from, read from the build scripts a
3
+ * manifest's scripts run: the strings an options object passes as the bundler's entries.
4
+ * A script is read without running it, so a value that is not written out, a computed
5
+ * path or an options object built at run time among them, names nothing.
6
+ */
7
+ import { isArrayBindingPattern, isArrayLiteralExpression, isArrowFunction, isCallExpression, isConstructorDeclaration, isFunctionDeclaration, isFunctionExpression, isGetAccessorDeclaration, isIdentifier, isImportDeclaration, isMetaProperty, isMethodDeclaration, isNamedImports, isNamespaceImport, isNewExpression, isNoSubstitutionTemplateLiteral, isObjectBindingPattern, isObjectLiteralExpression, isPropertyAccessExpression, isPropertyAssignment, isSetAccessorDeclaration, isStringLiteral, isVariableDeclaration, isVariableStatement, NodeFlags, } from "@typescript/native/ast";
8
+ import { filesNamedBy } from "./configuration-files.js";
9
+ import { ancestors, dirnamePath, relativePath, resolvePath } from "./paths.js";
10
+ import { bytewise } from "./text/compare.js";
11
+ import { isRecord } from "./json-document.js";
12
+ import { unwrapped } from "./unwrap.js";
13
+ import { holdsManifest, inInstalledPackages, manifestAt } from "./fs/manifest.js";
14
+ import { globExpression } from "./text/glob.js";
15
+ import { scriptTokens } from "./text/shell.js";
16
+ /**
17
+ * The bundlers whose build call names its entries: esbuild resolves `entryPoints` against
18
+ * `absWorkingDir` (https://esbuild.github.io/api/#working-directory), webpack `entry`
19
+ * against `context` (https://webpack.js.org/configuration/entry-context/), and Rollup
20
+ * `input` against the working directory, each the manifest's directory when its script runs.
21
+ */
22
+ const BUNDLERS = [
23
+ {
24
+ module: "esbuild",
25
+ calls: ["build", "buildSync", "context"],
26
+ option: "entryPoints",
27
+ base: "absWorkingDir",
28
+ paths: true,
29
+ },
30
+ { module: "webpack", calls: ["default"], option: "entry", base: "context", paths: false },
31
+ { module: "rollup", calls: ["rollup", "watch"], option: "input", base: "", paths: true },
32
+ ];
33
+ const MODULE_EXTENSION = /\.(?:js|mjs|cjs|ts|mts|cts)$/u;
34
+ function literalOf(node) {
35
+ const at = unwrapped(node);
36
+ return isStringLiteral(at) || isNoSubstitutionTemplateLiteral(at) ? at.text : undefined;
37
+ }
38
+ /** Whether one call is `require(<module>)`. */
39
+ function requires(node, module) {
40
+ const at = unwrapped(node);
41
+ return (isCallExpression(at) &&
42
+ isIdentifier(at.expression) &&
43
+ at.expression.text === "require" &&
44
+ at.arguments.length === 1 &&
45
+ at.arguments[0] !== undefined &&
46
+ literalOf(at.arguments[0]) === module);
47
+ }
48
+ function bindingsOf(file, api) {
49
+ const functions = new Set();
50
+ const modules = new Set();
51
+ const building = (name) => api.calls.includes(name);
52
+ for (const statement of file.statements) {
53
+ if (isImportDeclaration(statement)) {
54
+ if (literalOf(statement.moduleSpecifier) !== api.module) {
55
+ continue;
56
+ }
57
+ const clause = statement.importClause;
58
+ if (clause?.name !== undefined) {
59
+ (building("default") ? functions : modules).add(clause.name.text);
60
+ }
61
+ const named = clause?.namedBindings;
62
+ if (named !== undefined && isNamespaceImport(named)) {
63
+ modules.add(named.name.text);
64
+ }
65
+ else if (named !== undefined && isNamedImports(named)) {
66
+ for (const element of named.elements) {
67
+ if (building((element.propertyName ?? element.name).text)) {
68
+ functions.add(element.name.text);
69
+ }
70
+ }
71
+ }
72
+ }
73
+ else if (isVariableStatement(statement)) {
74
+ for (const declaration of statement.declarationList.declarations) {
75
+ const { name, initializer } = declaration;
76
+ if (initializer === undefined || !requires(initializer, api.module)) {
77
+ continue;
78
+ }
79
+ if (isIdentifier(name)) {
80
+ (building("default") ? functions : modules).add(name.text);
81
+ }
82
+ else if (isObjectBindingPattern(name)) {
83
+ for (const element of name.elements) {
84
+ const local = element.name;
85
+ const key = element.propertyName ?? local;
86
+ if (key !== undefined &&
87
+ local !== undefined &&
88
+ isIdentifier(key) &&
89
+ isIdentifier(local) &&
90
+ building(key.text)) {
91
+ functions.add(local.text);
92
+ }
93
+ }
94
+ }
95
+ }
96
+ }
97
+ }
98
+ return { functions, modules };
99
+ }
100
+ /** Whether one call's callee is a building function of a bundler the file binds, `shadowed` naming none. */
101
+ function builds(callee, api, bindings, shadowed) {
102
+ const at = unwrapped(callee);
103
+ if (isIdentifier(at)) {
104
+ return bindings.functions.has(at.text) && !shadowed.has(at.text);
105
+ }
106
+ if (!isPropertyAccessExpression(at) ||
107
+ !isIdentifier(at.name) ||
108
+ !api.calls.includes(at.name.text)) {
109
+ return false;
110
+ }
111
+ const holder = unwrapped(at.expression);
112
+ return ((isIdentifier(holder) && bindings.modules.has(holder.text) && !shadowed.has(holder.text)) ||
113
+ requires(holder, api.module));
114
+ }
115
+ /** The top-level `const` initializers one file declares, by name. */
116
+ function constants(file) {
117
+ const found = new Map();
118
+ for (const statement of file.statements) {
119
+ if (isVariableStatement(statement) &&
120
+ (statement.declarationList.flags & NodeFlags.Const) !== 0) {
121
+ for (const { name, initializer } of statement.declarationList.declarations) {
122
+ if (isIdentifier(name) && initializer !== undefined) {
123
+ found.set(name.text, initializer);
124
+ }
125
+ }
126
+ }
127
+ }
128
+ return found;
129
+ }
130
+ /** The value one object literal writes for one member as `name: value`. */
131
+ function member(object, name) {
132
+ if (!isObjectLiteralExpression(object)) {
133
+ return undefined;
134
+ }
135
+ for (const property of object.properties) {
136
+ if (isPropertyAssignment(property) && literalOrName(property.name) === name) {
137
+ return property.initializer;
138
+ }
139
+ }
140
+ return undefined;
141
+ }
142
+ function literalOrName(node) {
143
+ return isIdentifier(node) ? node.text : literalOf(node);
144
+ }
145
+ /** Whether one expression is the script's own directory: `__dirname` or `import.meta.dirname`. */
146
+ function isOwnDirectory(node) {
147
+ const at = unwrapped(node);
148
+ if (isIdentifier(at)) {
149
+ return at.text === "__dirname";
150
+ }
151
+ return (isPropertyAccessExpression(at) &&
152
+ isMetaProperty(at.expression) &&
153
+ isIdentifier(at.name) &&
154
+ at.name.text === "dirname");
155
+ }
156
+ /**
157
+ * The path one entry value writes, read against `dir`: a literal, or a `resolve` or
158
+ * `join` call, of `path` or bound from it, whose first argument is the script's own
159
+ * directory and whose others are literals.
160
+ */
161
+ function pathOf(node, dir, scriptDir) {
162
+ const at = unwrapped(node);
163
+ const text = literalOf(at);
164
+ if (text !== undefined) {
165
+ const request = !text.startsWith("./") && !text.startsWith("../") && !text.startsWith("/");
166
+ return { path: resolvePath(dir, text), text, request };
167
+ }
168
+ if (!isCallExpression(at)) {
169
+ return undefined;
170
+ }
171
+ const callee = unwrapped(at.expression);
172
+ const name = isPropertyAccessExpression(callee) ? callee.name : callee;
173
+ if (!isIdentifier(name) || (name.text !== "resolve" && name.text !== "join")) {
174
+ return undefined;
175
+ }
176
+ const [first, ...rest] = at.arguments;
177
+ const parts = rest.map(literalOf);
178
+ if (first === undefined || !isOwnDirectory(first) || parts.some((part) => part === undefined)) {
179
+ return undefined;
180
+ }
181
+ const joined = parts.join("/");
182
+ return { path: resolvePath(scriptDir, joined), text: joined, request: false };
183
+ }
184
+ /** The entry values one entries option writes: a value, an array of them, an object of them. */
185
+ function entryValues(node) {
186
+ const at = unwrapped(node);
187
+ if (isArrayLiteralExpression(at)) {
188
+ return at.elements.flatMap(entryValues);
189
+ }
190
+ if (isObjectLiteralExpression(at)) {
191
+ const imported = member(at, "import") ?? member(at, "in");
192
+ if (imported !== undefined) {
193
+ return entryValues(imported);
194
+ }
195
+ return at.properties.flatMap((property) => isPropertyAssignment(property) ? entryValues(property.initializer) : []);
196
+ }
197
+ return [at];
198
+ }
199
+ /** The own files one entry string names, read as `api` reads it. */
200
+ function entriesNamed(files, api, entry) {
201
+ if (!api.paths && entry.request) {
202
+ return [];
203
+ }
204
+ if (api.paths && /[*?[{]/u.test(entry.text)) {
205
+ const expression = globExpression(entry.path);
206
+ return [...files.byName.values()].filter((file) => expression.test(file.fileName));
207
+ }
208
+ const dir = dirnamePath(entry.path);
209
+ return filesNamedBy(files, dir, entry.path.slice(dir.length + 1));
210
+ }
211
+ /** Whether one node is a function, whose body runs only where something calls it. */
212
+ function isFunction(node) {
213
+ return (isFunctionDeclaration(node) ||
214
+ isFunctionExpression(node) ||
215
+ isArrowFunction(node) ||
216
+ isMethodDeclaration(node) ||
217
+ isConstructorDeclaration(node) ||
218
+ isGetAccessorDeclaration(node) ||
219
+ isSetAccessorDeclaration(node));
220
+ }
221
+ /** The names one binding name binds: an identifier, or each name a pattern holds. */
222
+ function boundNames(name, into) {
223
+ if (isIdentifier(name)) {
224
+ into.add(name.text);
225
+ }
226
+ else if (isObjectBindingPattern(name) || isArrayBindingPattern(name)) {
227
+ name.forEachChild((element) => {
228
+ const bound = element.name;
229
+ if (bound !== undefined) {
230
+ boundNames(bound, into);
231
+ }
232
+ });
233
+ }
234
+ }
235
+ /** The names one function binds of its own: its parameters and the declarations its body holds outside nested functions. */
236
+ function ownBindings(fn) {
237
+ const found = new Set();
238
+ const visit = (node) => {
239
+ if (node !== fn && isFunction(node)) {
240
+ if (isFunctionDeclaration(node) && node.name !== undefined) {
241
+ found.add(node.name.text);
242
+ }
243
+ return;
244
+ }
245
+ if (isVariableDeclaration(node)) {
246
+ boundNames(node.name, found);
247
+ }
248
+ node.forEachChild(visit);
249
+ };
250
+ for (const parameter of fn
251
+ .parameters ?? []) {
252
+ boundNames(parameter.name, found);
253
+ }
254
+ fn.forEachChild(visit);
255
+ return found;
256
+ }
257
+ /** The functions one file declares under a name: a function declaration, or a variable bound to a function. */
258
+ function namedFunctions(file) {
259
+ const found = new Map();
260
+ const add = (name, fn) => {
261
+ found.set(name, [...(found.get(name) ?? []), fn]);
262
+ };
263
+ const visit = (node) => {
264
+ if (isFunctionDeclaration(node) && node.name !== undefined) {
265
+ add(node.name.text, node);
266
+ }
267
+ else if (isVariableDeclaration(node) &&
268
+ isIdentifier(node.name) &&
269
+ node.initializer !== undefined &&
270
+ isFunction(unwrapped(node.initializer))) {
271
+ add(node.name.text, unwrapped(node.initializer));
272
+ }
273
+ node.forEachChild(visit);
274
+ };
275
+ file.forEachChild(visit);
276
+ return found;
277
+ }
278
+ /**
279
+ * The calls one build script runs: those of its top level, and those of each function
280
+ * a call it runs calls or passes on, as a callee, an argument or a function called where
281
+ * it is written. `shadowed` is the names a function running them binds of its own, which
282
+ * hide the file's bindings of the same names.
283
+ */
284
+ function runCalls(file, each) {
285
+ const named = namedFunctions(file);
286
+ const ran = new Set();
287
+ const run = (fn, outer) => {
288
+ if (ran.has(fn)) {
289
+ return;
290
+ }
291
+ ran.add(fn);
292
+ const shadowed = new Set([...outer, ...ownBindings(fn)]);
293
+ fn.forEachChild((child) => {
294
+ visit(child, shadowed);
295
+ });
296
+ };
297
+ const runs = (node, shadowed) => {
298
+ const at = unwrapped(node);
299
+ if (isFunction(at)) {
300
+ run(at, shadowed);
301
+ }
302
+ else if (isIdentifier(at) && !shadowed.has(at.text)) {
303
+ for (const fn of named.get(at.text) ?? []) {
304
+ run(fn, new Set());
305
+ }
306
+ }
307
+ };
308
+ const visit = (node, shadowed) => {
309
+ if (isFunction(node)) {
310
+ return;
311
+ }
312
+ if (isCallExpression(node) || isNewExpression(node)) {
313
+ if (isCallExpression(node)) {
314
+ each(node, shadowed);
315
+ }
316
+ runs(node.expression, shadowed);
317
+ for (const argument of node.arguments ?? []) {
318
+ runs(argument, shadowed);
319
+ }
320
+ }
321
+ node.forEachChild((child) => {
322
+ visit(child, shadowed);
323
+ });
324
+ };
325
+ file.forEachChild((child) => {
326
+ visit(child, new Set());
327
+ });
328
+ }
329
+ /** The entries every bundler call one build script runs names, read against `dir`. */
330
+ function scriptEntries(file, dir, files) {
331
+ const found = [];
332
+ const declared = constants(file);
333
+ const scriptDir = dirnamePath(file.fileName);
334
+ const bound = BUNDLERS.map((api) => ({ api, bindings: bindingsOf(file, api) }));
335
+ runCalls(file, (call, shadowed) => {
336
+ for (const { api, bindings } of bound) {
337
+ if (!builds(call.expression, api, bindings, shadowed)) {
338
+ continue;
339
+ }
340
+ const [argument] = call.arguments;
341
+ let options = argument === undefined ? undefined : unwrapped(argument);
342
+ if (options !== undefined && isIdentifier(options)) {
343
+ options = shadowed.has(options.text) ? undefined : declared.get(options.text);
344
+ options = options === undefined ? undefined : unwrapped(options);
345
+ }
346
+ const entries = options === undefined ? undefined : member(options, api.option);
347
+ const base = options === undefined || api.base === "" ? undefined : member(options, api.base);
348
+ const against = base === undefined ? { path: dir } : pathOf(base, dir, scriptDir);
349
+ if (entries === undefined || against === undefined) {
350
+ continue;
351
+ }
352
+ for (const value of entryValues(entries)) {
353
+ const named = pathOf(value, against.path, scriptDir);
354
+ if (named === undefined) {
355
+ continue;
356
+ }
357
+ for (const entry of entriesNamed(files, api, named)) {
358
+ found.push({ file: entry, source: named.text });
359
+ }
360
+ }
361
+ }
362
+ });
363
+ return found;
364
+ }
365
+ /** The modules one manifest's scripts run, by absolute path, each below the target root. */
366
+ function scriptModules(host, root, dir) {
367
+ const scripts = manifestAt(host, dir)?.["scripts"];
368
+ if (!isRecord(scripts)) {
369
+ return [];
370
+ }
371
+ const found = new Set();
372
+ for (const command of Object.values(scripts)) {
373
+ if (typeof command !== "string") {
374
+ continue;
375
+ }
376
+ for (const token of scriptTokens(command)) {
377
+ const path = resolvePath(dir, token);
378
+ if (MODULE_EXTENSION.test(path) &&
379
+ relativePath(root, path) !== undefined &&
380
+ !inInstalledPackages(path) &&
381
+ host.kindOf(path) === "file") {
382
+ found.add(path);
383
+ }
384
+ }
385
+ }
386
+ return [...found].sort(bytewise);
387
+ }
388
+ /**
389
+ * Every own file of one project a build script names as a bundler's entry: a module a
390
+ * script of a manifest at or above an own file runs, below the target root, read from
391
+ * the program where it holds the module and parsed alone otherwise, where a parser is given.
392
+ */
393
+ export function buildScriptEntries(host, targetRoot, files, parse) {
394
+ const root = resolvePath(host.workingDirectory(), targetRoot);
395
+ const dirs = new Set([root]);
396
+ for (const file of files.byName.values()) {
397
+ for (const dir of ancestors(dirnamePath(file.fileName), root)) {
398
+ if (dirs.has(dir)) {
399
+ break;
400
+ }
401
+ dirs.add(dir);
402
+ }
403
+ }
404
+ const found = [];
405
+ for (const dir of [...dirs].sort(bytewise)) {
406
+ if (!holdsManifest(host, dir)) {
407
+ continue;
408
+ }
409
+ for (const path of scriptModules(host, root, dir)) {
410
+ let script = files.byName.get(path);
411
+ if (script === undefined && parse !== undefined) {
412
+ try {
413
+ script = parse(path, host.readFile(path));
414
+ }
415
+ catch {
416
+ continue;
417
+ }
418
+ }
419
+ if (script !== undefined) {
420
+ found.push(...scriptEntries(script, dir, files));
421
+ }
422
+ }
423
+ }
424
+ return found;
425
+ }
@@ -5,9 +5,11 @@
5
5
  * member wins over one it extends. The mapper resolves as a package linked into the
6
6
  * `node_modules` beside each configuration, to a directory holding only its manifest.
7
7
  */
8
+ import { INSTALLED_PACKAGES } from "./fs/manifest.js";
8
9
  import { dirnamePath, joinPath } from "./paths.js";
10
+ import { PRODUCT } from "./product.js";
9
11
  /** The name the mapper's manifest declares and every configuration's entry names. */
10
- const MAPPER_PACKAGE = "deadset-ts-component-files";
12
+ const MAPPER_PACKAGE = `${PRODUCT}-component-files`;
11
13
  /** The manifest of the mapper's package, which runs `command`. */
12
14
  export function mapperManifest(command) {
13
15
  return `${JSON.stringify({
@@ -122,7 +124,7 @@ export function componentLayer(host, configFiles, mapper, written = new Map()) {
122
124
  for (const configFile of configFiles) {
123
125
  files[configFile] = withContentMappers(written.get(configFile) ?? host.readFile(configFile), mappers);
124
126
  if (mapper !== undefined) {
125
- symlinks[joinPath(dirnamePath(configFile), "node_modules", MAPPER_PACKAGE)] = {
127
+ symlinks[joinPath(dirnamePath(configFile), INSTALLED_PACKAGES, MAPPER_PACKAGE)] = {
126
128
  target: mapper.packageDirectory,
127
129
  host: true,
128
130
  };