@craft-ts/dev-tools 0.7.0-beta.13

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 (237) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +154 -0
  3. package/generators.json +26 -0
  4. package/package.json +119 -0
  5. package/src/bin/craft-architecture-check.d.ts +2 -0
  6. package/src/bin/craft-architecture-check.js +51 -0
  7. package/src/bin/craft-architecture-check.js.map +1 -0
  8. package/src/bin/craft-brand.d.ts +2 -0
  9. package/src/bin/craft-brand.js +9 -0
  10. package/src/bin/craft-brand.js.map +1 -0
  11. package/src/bin/craft-graph.d.ts +2 -0
  12. package/src/bin/craft-graph.js +72 -0
  13. package/src/bin/craft-graph.js.map +1 -0
  14. package/src/bin/craft-migrate-architecture.d.ts +2 -0
  15. package/src/bin/craft-migrate-architecture.js +64 -0
  16. package/src/bin/craft-migrate-architecture.js.map +1 -0
  17. package/src/bin/craft-migrate-components.d.ts +2 -0
  18. package/src/bin/craft-migrate-components.js +67 -0
  19. package/src/bin/craft-migrate-components.js.map +1 -0
  20. package/src/bin/craft-migrate-primitives.d.ts +2 -0
  21. package/src/bin/craft-migrate-primitives.js +71 -0
  22. package/src/bin/craft-migrate-primitives.js.map +1 -0
  23. package/src/bin/craft-migrate-routes.d.ts +2 -0
  24. package/src/bin/craft-migrate-routes.js +77 -0
  25. package/src/bin/craft-migrate-routes.js.map +1 -0
  26. package/src/bin/craft-migrate-services.d.ts +2 -0
  27. package/src/bin/craft-migrate-services.js +75 -0
  28. package/src/bin/craft-migrate-services.js.map +1 -0
  29. package/src/bin/craft-migrate-template.d.ts +2 -0
  30. package/src/bin/craft-migrate-template.js +68 -0
  31. package/src/bin/craft-migrate-template.js.map +1 -0
  32. package/src/bin/craft-migrate.d.ts +2 -0
  33. package/src/bin/craft-migrate.js +91 -0
  34. package/src/bin/craft-migrate.js.map +1 -0
  35. package/src/bin/craft.d.ts +2 -0
  36. package/src/bin/craft.js +318 -0
  37. package/src/bin/craft.js.map +1 -0
  38. package/src/eslint-rules/anchor-has-href.cjs +35 -0
  39. package/src/eslint-rules/app-start-registry-match.cjs +355 -0
  40. package/src/eslint-rules/button-has-type.cjs +50 -0
  41. package/src/eslint-rules/control-has-accessible-name.cjs +56 -0
  42. package/src/eslint-rules/craft-component-name-match.cjs +8 -0
  43. package/src/eslint-rules/craft-computed-name-match.cjs +63 -0
  44. package/src/eslint-rules/craft-css-token-registry.cjs +17 -0
  45. package/src/eslint-rules/craft-css-var-naming.cjs +18 -0
  46. package/src/eslint-rules/craft-css-vars-contract.cjs +34 -0
  47. package/src/eslint-rules/craft-directive-name-match.cjs +8 -0
  48. package/src/eslint-rules/craft-method-name-match.cjs +8 -0
  49. package/src/eslint-rules/craft-name-match-utils.cjs +179 -0
  50. package/src/eslint-rules/craft-primitive-context.cjs +46 -0
  51. package/src/eslint-rules/craft-signal-source-name-match.cjs +8 -0
  52. package/src/eslint-rules/craft-source-name-match.cjs +8 -0
  53. package/src/eslint-rules/craft-styles-scope-safe.cjs +25 -0
  54. package/src/eslint-rules/css-rule-utils.cjs +109 -0
  55. package/src/eslint-rules/global-exception-registry-match.cjs +562 -0
  56. package/src/eslint-rules/heading-has-content.cjs +31 -0
  57. package/src/eslint-rules/html-helpers.cjs +115 -0
  58. package/src/eslint-rules/hyperscript-walk.cjs +249 -0
  59. package/src/eslint-rules/iframe-has-title.cjs +26 -0
  60. package/src/eslint-rules/img-has-alt.cjs +28 -0
  61. package/src/eslint-rules/index.cjs +209 -0
  62. package/src/eslint-rules/index.d.cts +5 -0
  63. package/src/eslint-rules/label-has-associated-control.cjs +67 -0
  64. package/src/eslint-rules/no-async-await.cjs +46 -0
  65. package/src/eslint-rules/no-craft-computed-side-effects.cjs +301 -0
  66. package/src/eslint-rules/no-craft-use-in-template.cjs +89 -0
  67. package/src/eslint-rules/no-craft-use.cjs +42 -0
  68. package/src/eslint-rules/no-direct-temporal-globals.cjs +73 -0
  69. package/src/eslint-rules/no-effect-in-params.cjs +265 -0
  70. package/src/eslint-rules/no-effect-outside-loaders.cjs +3 -0
  71. package/src/eslint-rules/no-ephemeral-template-form-state.cjs +131 -0
  72. package/src/eslint-rules/no-hardcoded-design-values.cjs +15 -0
  73. package/src/eslint-rules/no-heading-level-skip.cjs +101 -0
  74. package/src/eslint-rules/no-imperative-craft-resource-trigger.cjs +291 -0
  75. package/src/eslint-rules/no-important-in-component-styles.cjs +12 -0
  76. package/src/eslint-rules/no-injection-token.cjs +173 -0
  77. package/src/eslint-rules/no-invalid-insertion-pipe.cjs +162 -0
  78. package/src/eslint-rules/no-manual-route-provider-list.cjs +85 -0
  79. package/src/eslint-rules/no-noninteractive-element-interactions.cjs +66 -0
  80. package/src/eslint-rules/no-positive-tabindex.cjs +44 -0
  81. package/src/eslint-rules/no-redundant-primitive-insertion.cjs +361 -0
  82. package/src/eslint-rules/no-render-writes.cjs +106 -0
  83. package/src/eslint-rules/no-throw.cjs +132 -0
  84. package/src/eslint-rules/no-transition-actions.cjs +133 -0
  85. package/src/eslint-rules/no-type-assertions-in-template.cjs +211 -0
  86. package/src/eslint-rules/no-widened-route-provider-context.cjs +39 -0
  87. package/src/eslint-rules/prefer-browser-boundaries.cjs +92 -0
  88. package/src/eslint-rules/prefer-craft-http-transport.cjs +103 -0
  89. package/src/eslint-rules/prefer-craft-template-blocks.cjs +492 -0
  90. package/src/eslint-rules/prefer-direct-yieldable-callback.cjs +105 -0
  91. package/src/eslint-rules/prefer-named-html-helpers.cjs +33 -0
  92. package/src/eslint-rules/prefer-query-method-over-state-trigger.cjs +282 -0
  93. package/src/eslint-rules/prefer-relative-heading.cjs +43 -0
  94. package/src/eslint-rules/provide-host-name-match-component.cjs +455 -0
  95. package/src/eslint-rules/recommended-config.cjs +77 -0
  96. package/src/eslint-rules/require-assert-exhaustive-route-exceptions.cjs +259 -0
  97. package/src/eslint-rules/require-cascade-route-di-check.cjs +223 -0
  98. package/src/eslint-rules/require-child-route-mount-check.cjs +224 -0
  99. package/src/eslint-rules/require-component-monitoring.cjs +212 -0
  100. package/src/eslint-rules/require-craft-exception-handler.cjs +142 -0
  101. package/src/eslint-rules/require-craft-method-for-yieldable-callback.cjs +236 -0
  102. package/src/eslint-rules/require-craft-resource-trigger-yield.cjs +209 -0
  103. package/src/eslint-rules/require-effect-adapters.cjs +86 -0
  104. package/src/eslint-rules/require-exception-component-di-check.cjs +314 -0
  105. package/src/eslint-rules/require-focus-visible.cjs +36 -0
  106. package/src/eslint-rules/require-interactive-local-name.cjs +105 -0
  107. package/src/eslint-rules/require-lazy-load-with-retry.cjs +148 -0
  108. package/src/eslint-rules/require-outlet-heading-section.cjs +70 -0
  109. package/src/eslint-rules/require-pending-component-di-check.cjs +490 -0
  110. package/src/eslint-rules/require-primitive-context.cjs +156 -0
  111. package/src/eslint-rules/require-primitive-derived-property.cjs +598 -0
  112. package/src/eslint-rules/require-primitive-generator-unwrap.cjs +274 -0
  113. package/src/eslint-rules/require-reactive-template-bindings.cjs +305 -0
  114. package/src/eslint-rules/require-reduced-motion.cjs +38 -0
  115. package/src/eslint-rules/require-route-heading-outline.cjs +166 -0
  116. package/src/eslint-rules/require-yieldable-insertion-write.cjs +98 -0
  117. package/src/eslint-rules/require-yieldable-reactive-read.cjs +102 -0
  118. package/src/eslint-rules/require-yieldable-template-method.cjs +424 -0
  119. package/src/eslint-rules/role-has-required-aria.cjs +38 -0
  120. package/src/eslint-rules/server-function-client-match.cjs +283 -0
  121. package/src/eslint-rules/target-blank-noopener.cjs +31 -0
  122. package/src/eslint-rules/template-element-name-unique.cjs +124 -0
  123. package/src/eslint-rules/valid-aria.cjs +38 -0
  124. package/src/generators/route/compat.d.ts +3 -0
  125. package/src/generators/route/compat.js +6 -0
  126. package/src/generators/route/compat.js.map +1 -0
  127. package/src/generators/route/generator.d.ts +31 -0
  128. package/src/generators/route/generator.js +402 -0
  129. package/src/generators/route/generator.js.map +1 -0
  130. package/src/generators/route/schema.json +50 -0
  131. package/src/generators/route/split-schema.json +19 -0
  132. package/src/index.d.ts +21 -0
  133. package/src/index.js +23 -0
  134. package/src/index.js.map +1 -0
  135. package/src/scripts/angular-brand-codemod.d.ts +139 -0
  136. package/src/scripts/angular-brand-codemod.js +2318 -0
  137. package/src/scripts/angular-brand-codemod.js.map +1 -0
  138. package/src/scripts/angular-brand-codemod.ts +3985 -0
  139. package/src/scripts/architecture/migrate-architecture.d.ts +14 -0
  140. package/src/scripts/architecture/migrate-architecture.js +534 -0
  141. package/src/scripts/architecture/migrate-architecture.js.map +1 -0
  142. package/src/scripts/architecture/migrate-architecture.ts +653 -0
  143. package/src/scripts/architecture-graph.d.ts +368 -0
  144. package/src/scripts/architecture-graph.js +2191 -0
  145. package/src/scripts/architecture-graph.js.map +1 -0
  146. package/src/scripts/architecture-graph.ts +3136 -0
  147. package/src/scripts/components/migrate-components.d.ts +20 -0
  148. package/src/scripts/components/migrate-components.js +163 -0
  149. package/src/scripts/components/migrate-components.js.map +1 -0
  150. package/src/scripts/components/migrate-components.ts +227 -0
  151. package/src/scripts/components/migration-diagnostic.d.ts +7 -0
  152. package/src/scripts/components/migration-diagnostic.js +2 -0
  153. package/src/scripts/components/migration-diagnostic.js.map +1 -0
  154. package/src/scripts/components/migration-diagnostic.ts +8 -0
  155. package/src/scripts/create/create-project.d.ts +20 -0
  156. package/src/scripts/create/create-project.js +783 -0
  157. package/src/scripts/create/create-project.js.map +1 -0
  158. package/src/scripts/create/create-project.ts +849 -0
  159. package/src/scripts/data-flow-graph.d.ts +36 -0
  160. package/src/scripts/data-flow-graph.js +186 -0
  161. package/src/scripts/data-flow-graph.js.map +1 -0
  162. package/src/scripts/data-flow-graph.ts +240 -0
  163. package/src/scripts/dependency-graph.d.ts +152 -0
  164. package/src/scripts/dependency-graph.js +4456 -0
  165. package/src/scripts/dependency-graph.js.map +1 -0
  166. package/src/scripts/dependency-graph.ts +5908 -0
  167. package/src/scripts/effect-dependency-graph.d.ts +89 -0
  168. package/src/scripts/effect-dependency-graph.js +487 -0
  169. package/src/scripts/effect-dependency-graph.js.map +1 -0
  170. package/src/scripts/effect-dependency-graph.ts +630 -0
  171. package/src/scripts/migrate.d.ts +37 -0
  172. package/src/scripts/migrate.js +98 -0
  173. package/src/scripts/migrate.js.map +1 -0
  174. package/src/scripts/migrate.ts +162 -0
  175. package/src/scripts/migration-workspace.d.ts +2 -0
  176. package/src/scripts/migration-workspace.js +67 -0
  177. package/src/scripts/migration-workspace.js.map +1 -0
  178. package/src/scripts/migration-workspace.ts +93 -0
  179. package/src/scripts/primitives/migrate-named-primitives.d.ts +50 -0
  180. package/src/scripts/primitives/migrate-named-primitives.js +487 -0
  181. package/src/scripts/primitives/migrate-named-primitives.js.map +1 -0
  182. package/src/scripts/primitives/migrate-named-primitives.ts +627 -0
  183. package/src/scripts/primitives/migrate-primitive-generators.d.ts +30 -0
  184. package/src/scripts/primitives/migrate-primitive-generators.js +309 -0
  185. package/src/scripts/primitives/migrate-primitive-generators.js.map +1 -0
  186. package/src/scripts/primitives/migrate-primitive-generators.ts +410 -0
  187. package/src/scripts/primitives/migrate-primitives.d.ts +27 -0
  188. package/src/scripts/primitives/migrate-primitives.js +427 -0
  189. package/src/scripts/primitives/migrate-primitives.js.map +1 -0
  190. package/src/scripts/primitives/migrate-primitives.ts +655 -0
  191. package/src/scripts/primitives/migrate-yieldable-reactive-reads.d.ts +23 -0
  192. package/src/scripts/primitives/migrate-yieldable-reactive-reads.js +382 -0
  193. package/src/scripts/primitives/migrate-yieldable-reactive-reads.js.map +1 -0
  194. package/src/scripts/primitives/migrate-yieldable-reactive-reads.ts +499 -0
  195. package/src/scripts/primitives/migration-diagnostic.d.ts +8 -0
  196. package/src/scripts/primitives/migration-diagnostic.js +2 -0
  197. package/src/scripts/primitives/migration-diagnostic.js.map +1 -0
  198. package/src/scripts/primitives/migration-diagnostic.ts +15 -0
  199. package/src/scripts/routes/migrate-routes.d.ts +34 -0
  200. package/src/scripts/routes/migrate-routes.js +657 -0
  201. package/src/scripts/routes/migrate-routes.js.map +1 -0
  202. package/src/scripts/routes/migrate-routes.ts +895 -0
  203. package/src/scripts/routes/migration-diagnostic.d.ts +16 -0
  204. package/src/scripts/routes/migration-diagnostic.js +2 -0
  205. package/src/scripts/routes/migration-diagnostic.js.map +1 -0
  206. package/src/scripts/routes/migration-diagnostic.ts +25 -0
  207. package/src/scripts/routes/route-command.d.ts +75 -0
  208. package/src/scripts/routes/route-command.js +1169 -0
  209. package/src/scripts/routes/route-command.js.map +1 -0
  210. package/src/scripts/routes/route-command.ts +1807 -0
  211. package/src/scripts/routes/verify-routes.d.ts +60 -0
  212. package/src/scripts/routes/verify-routes.js +1121 -0
  213. package/src/scripts/routes/verify-routes.js.map +1 -0
  214. package/src/scripts/routes/verify-routes.ts +1511 -0
  215. package/src/scripts/services/config.d.ts +2 -0
  216. package/src/scripts/services/config.js +38 -0
  217. package/src/scripts/services/config.js.map +1 -0
  218. package/src/scripts/services/config.ts +60 -0
  219. package/src/scripts/services/migrate-services.d.ts +29 -0
  220. package/src/scripts/services/migrate-services.js +924 -0
  221. package/src/scripts/services/migrate-services.js.map +1 -0
  222. package/src/scripts/services/migrate-services.ts +1348 -0
  223. package/src/scripts/services/migration-diagnostic.d.ts +8 -0
  224. package/src/scripts/services/migration-diagnostic.js +2 -0
  225. package/src/scripts/services/migration-diagnostic.js.map +1 -0
  226. package/src/scripts/services/migration-diagnostic.ts +28 -0
  227. package/src/scripts/template/migrate-template.d.ts +16 -0
  228. package/src/scripts/template/migrate-template.js +349 -0
  229. package/src/scripts/template/migrate-template.js.map +1 -0
  230. package/src/scripts/template/migrate-template.ts +418 -0
  231. package/src/template-migration.d.ts +1 -0
  232. package/src/template-migration.js +2 -0
  233. package/src/template-migration.js.map +1 -0
  234. package/src/testing.d.ts +19 -0
  235. package/src/testing.js +2 -0
  236. package/src/testing.js.map +1 -0
  237. package/src/tsconfig.codemod.json +13 -0
@@ -0,0 +1,627 @@
1
+ import { relative } from 'node:path';
2
+ import {
3
+ CallExpression,
4
+ Identifier,
5
+ Node,
6
+ Project,
7
+ QuoteKind,
8
+ SourceFile,
9
+ SyntaxKind,
10
+ } from 'ts-morph';
11
+
12
+ /**
13
+ * Migrates call-sites to the *named* craft primitives.
14
+ *
15
+ * The five primitives now take their name as first argument and resolve to the
16
+ * primitive reference itself. `craftComputed` / `craftMethod` already take a
17
+ * name and also return their reference directly:
18
+ *
19
+ * ```ts
20
+ * const users = yield* query({ loader }); // before
21
+ * const users = yield* query('users', { loader }); // after
22
+ *
23
+ * const handleFoo = craftMethod('handleFoo', fn); // unchanged
24
+ * ```
25
+ *
26
+ * The name is taken from the binding the call is assigned to:
27
+ *
28
+ * 1. `const X = <call>` → `const X = <call>` (the name literal is `'X'`).
29
+ * 2. `const X = craftUse(<call>)` → same, looking through `craftUse` / `yield*`.
30
+ * 3. Class fields and object properties keep the direct primitive reference.
31
+ * 4. For `craftComputed` / `craftMethod` the name literal already exists and
32
+ * wins; the binding is left unchanged.
33
+ *
34
+ * Anything the codemod cannot name — an inline call with no binding, an
35
+ * existing destructuring pattern — is left untouched and reported so it can be
36
+ * fixed by hand.
37
+ */
38
+
39
+ export const NAMED_PRIMITIVES = [
40
+ 'state',
41
+ 'query',
42
+ 'mutation',
43
+ 'asyncProcess',
44
+ 'queryParams',
45
+ ] as const;
46
+
47
+ /** Helpers that already take a name literal; only their return shape changed. */
48
+ export const PRE_NAMED_HELPERS = ['craftComputed', 'craftMethod'] as const;
49
+
50
+ export type NamedPrimitiveName =
51
+ | (typeof NAMED_PRIMITIVES)[number]
52
+ | (typeof PRE_NAMED_HELPERS)[number];
53
+
54
+ export type MigrateNamedPrimitivesOptions = {
55
+ paths: readonly string[];
56
+ write?: boolean;
57
+ log?: (message: string) => void;
58
+ };
59
+
60
+ export type UnmigratedCall = {
61
+ file: string;
62
+ line: number;
63
+ primitive: string;
64
+ reason: string;
65
+ text: string;
66
+ };
67
+
68
+ export type MigrateNamedPrimitivesResult = {
69
+ changedFiles: string[];
70
+ unmigrated: UnmigratedCall[];
71
+ };
72
+
73
+ export async function migrateNamedPrimitives({
74
+ paths,
75
+ write = true,
76
+ log = console.log,
77
+ }: MigrateNamedPrimitivesOptions): Promise<MigrateNamedPrimitivesResult> {
78
+ const project = new Project({
79
+ skipAddingFilesFromTsConfig: true,
80
+ manipulationSettings: { quoteKind: QuoteKind.Single },
81
+ });
82
+ project.addSourceFilesAtPaths(paths as string[]);
83
+
84
+ const changedFiles: string[] = [];
85
+ const unmigrated: UnmigratedCall[] = [];
86
+
87
+ for (const sourceFile of project.getSourceFiles()) {
88
+ if (migrateFile(sourceFile, unmigrated)) {
89
+ changedFiles.push(relative(process.cwd(), sourceFile.getFilePath()));
90
+ }
91
+ }
92
+
93
+ if (write) {
94
+ await project.save();
95
+ }
96
+
97
+ log(
98
+ `${write ? 'Migrated' : 'Would migrate'} ${changedFiles.length} file(s).`,
99
+ );
100
+ for (const file of changedFiles) log(` ${file}`);
101
+
102
+ if (unmigrated.length > 0) {
103
+ log(`\n${unmigrated.length} call(s) need a manual name:`);
104
+ for (const entry of unmigrated) {
105
+ log(` ${entry.file}:${entry.line} ${entry.primitive} — ${entry.reason}`);
106
+ }
107
+ }
108
+
109
+ return { changedFiles, unmigrated };
110
+ }
111
+
112
+ function migrateFile(
113
+ sourceFile: SourceFile,
114
+ unmigrated: UnmigratedCall[],
115
+ ): boolean {
116
+ const primitives = collectImportedLocalNames(sourceFile);
117
+ if (primitives.size === 0) return false;
118
+
119
+ let changed = false;
120
+
121
+ // Bottom-up so an edit never invalidates a not-yet-processed call above it.
122
+ const calls = findCreationCalls(sourceFile, primitives).sort(
123
+ (a, b) => b.getStart() - a.getStart(),
124
+ );
125
+
126
+ for (const call of calls) {
127
+ const primitive = primitives.get(
128
+ (call.getExpression() as Identifier).getText(),
129
+ ) as NamedPrimitiveName;
130
+ const preNamed = (PRE_NAMED_HELPERS as readonly string[]).includes(
131
+ primitive,
132
+ );
133
+
134
+ const declaredName = preNamed ? readNameLiteral(call, true) : undefined;
135
+ if (preNamed && !declaredName) {
136
+ report(unmigrated, call, primitive, 'name argument is not a literal');
137
+ continue;
138
+ }
139
+ if (preNamed && removeLegacyNamedProperty(call, preNamed)) {
140
+ changed = true;
141
+ continue;
142
+ }
143
+ if ((preNamed && declaredName) || (!preNamed && hasPrimitiveName(call))) {
144
+ if (rewriteLegacySingleBinding(call)) {
145
+ changed = true;
146
+ continue;
147
+ }
148
+ if (removeLegacyNamedProperty(call, preNamed)) {
149
+ changed = true;
150
+ continue;
151
+ }
152
+ report(unmigrated, call, primitive, 'already takes a name argument');
153
+ continue;
154
+ }
155
+
156
+ const target = findBindingTarget(call, preNamed);
157
+ if (!target) {
158
+ report(
159
+ unmigrated,
160
+ call,
161
+ primitive,
162
+ 'no binding to derive a name from — name it by hand',
163
+ );
164
+ continue;
165
+ }
166
+
167
+ const name = declaredName ?? target.name;
168
+
169
+ if (!preNamed) {
170
+ call.insertArgument(0, `'${name}'`);
171
+ }
172
+
173
+ if (target.kind === 'variable') {
174
+ target.rewriteToDestructuring(name);
175
+ } else {
176
+ target.appendPropertyRead(name);
177
+ }
178
+ changed = true;
179
+ }
180
+
181
+ return changed;
182
+ }
183
+
184
+ /** Applies the named-primitive rewrite to an already loaded source file. */
185
+ export function migrateNamedPrimitivesInFile(
186
+ sourceFile: SourceFile,
187
+ unmigrated: UnmigratedCall[] = [],
188
+ ): boolean {
189
+ return migrateFile(sourceFile, unmigrated);
190
+ }
191
+
192
+ function removeLegacyNamedProperty(
193
+ call: CallExpression,
194
+ preNamed: boolean,
195
+ ): boolean {
196
+ let node: Node = call;
197
+ let parent = node.getParent();
198
+
199
+ while (parent) {
200
+ if (
201
+ Node.isPropertyAccessExpression(parent) &&
202
+ parent.getExpression() === node &&
203
+ isLegacyNamedProperty(parent, call, preNamed)
204
+ ) {
205
+ parent.replaceWithText(node.getText());
206
+ return true;
207
+ }
208
+ if (
209
+ Node.isParenthesizedExpression(parent) ||
210
+ Node.isYieldExpression(parent) ||
211
+ (Node.isCallExpression(parent) &&
212
+ parent.getExpression().getText() === 'craftUse' &&
213
+ parent.getArguments()[0] === node)
214
+ ) {
215
+ node = parent;
216
+ parent = parent.getParent();
217
+ continue;
218
+ }
219
+ break;
220
+ }
221
+
222
+ return false;
223
+ }
224
+
225
+ function rewriteLegacySingleBinding(call: CallExpression): boolean {
226
+ let node: Node = call;
227
+ let parent = node.getParent();
228
+
229
+ while (parent) {
230
+ if (
231
+ Node.isVariableDeclaration(parent) &&
232
+ parent.getInitializer() === node
233
+ ) {
234
+ const nameNode = parent.getNameNode();
235
+ if (!Node.isObjectBindingPattern(nameNode)) return false;
236
+ const elements = nameNode.getElements();
237
+ if (elements.length !== 1) return false;
238
+ const binding = elements[0];
239
+ if (!Node.isBindingElement(binding)) return false;
240
+ const bindingName = binding.getNameNode();
241
+ if (!Node.isIdentifier(bindingName)) return false;
242
+ nameNode.replaceWithText(bindingName.getText());
243
+ return true;
244
+ }
245
+ if (
246
+ Node.isParenthesizedExpression(parent) ||
247
+ Node.isYieldExpression(parent) ||
248
+ (Node.isCallExpression(parent) &&
249
+ parent.getExpression().getText() === 'craftUse' &&
250
+ parent.getArguments()[0] === node)
251
+ ) {
252
+ node = parent;
253
+ parent = parent.getParent();
254
+ continue;
255
+ }
256
+ break;
257
+ }
258
+
259
+ return false;
260
+ }
261
+
262
+ type BindingTarget =
263
+ | {
264
+ kind: 'variable';
265
+ name: string;
266
+ rewriteToDestructuring: (recordKey: string) => void;
267
+ }
268
+ | {
269
+ kind: 'property';
270
+ name: string;
271
+ appendPropertyRead: (recordKey: string) => void;
272
+ };
273
+
274
+ const HOST_FACTORIES = new Set([
275
+ 'craftService',
276
+ 'craftComponent',
277
+ 'toCraftService',
278
+ 'craftGen',
279
+ ]);
280
+
281
+ /**
282
+ * Walks up from the creation call through the consumption wrappers (`yield*`,
283
+ * `craftUse(...)`, parentheses) to the binding that will hold the result.
284
+ */
285
+ function findBindingTarget(
286
+ call: CallExpression,
287
+ preNamed: boolean,
288
+ ): BindingTarget | undefined {
289
+ let node: Node = call;
290
+ let parent = node.getParent();
291
+
292
+ while (parent) {
293
+ if (
294
+ Node.isPropertyAccessExpression(parent) &&
295
+ parent.getExpression() === node &&
296
+ isLegacyNamedProperty(parent, call, preNamed)
297
+ ) {
298
+ const propertyName = parent.getName();
299
+ parent.replaceWithText(node.getText());
300
+ return {
301
+ kind: 'property',
302
+ name: propertyName,
303
+ appendPropertyRead: () => undefined,
304
+ };
305
+ }
306
+ if (
307
+ Node.isParenthesizedExpression(parent) ||
308
+ Node.isYieldExpression(parent)
309
+ ) {
310
+ node = parent;
311
+ parent = parent.getParent();
312
+ continue;
313
+ }
314
+ if (
315
+ Node.isCallExpression(parent) &&
316
+ parent.getExpression().getText() === 'craftUse' &&
317
+ parent.getArguments()[0] === node
318
+ ) {
319
+ node = parent;
320
+ parent = parent.getParent();
321
+ continue;
322
+ }
323
+ break;
324
+ }
325
+
326
+ if (!parent) return undefined;
327
+
328
+ if (Node.isVariableDeclaration(parent) && parent.getInitializer() === node) {
329
+ const nameNode = parent.getNameNode();
330
+ let name: string;
331
+ if (Node.isIdentifier(nameNode)) {
332
+ name = nameNode.getText();
333
+ } else if (Node.isObjectBindingPattern(nameNode)) {
334
+ const elements = nameNode.getElements();
335
+ if (elements.length !== 1) return undefined;
336
+ const binding = elements[0];
337
+ if (!Node.isBindingElement(binding)) return undefined;
338
+ const bindingName = binding.getNameNode();
339
+ if (!Node.isIdentifier(bindingName)) return undefined;
340
+ name = bindingName.getText();
341
+ nameNode.replaceWithText(name);
342
+ } else {
343
+ return undefined;
344
+ }
345
+ return {
346
+ kind: 'variable',
347
+ name,
348
+ rewriteToDestructuring: () => undefined,
349
+ };
350
+ }
351
+
352
+ if (
353
+ (Node.isPropertyDeclaration(parent) || Node.isPropertyAssignment(parent)) &&
354
+ parent.getInitializer() === node &&
355
+ isDriven(node, preNamed)
356
+ ) {
357
+ const nameNode = parent.getNameNode();
358
+ if (!Node.isIdentifier(nameNode)) return undefined;
359
+ return {
360
+ kind: 'property',
361
+ name: nameNode.getText(),
362
+ appendPropertyRead: () => undefined,
363
+ };
364
+ }
365
+
366
+ // `return yield* state(...)` as the whole body of a craftService factory has
367
+ // no local binding. Use the enclosing service name for the primitive name and
368
+ // keep returning the direct primitive reference.
369
+ if (
370
+ isDriven(node, preNamed) &&
371
+ (Node.isReturnStatement(parent) ||
372
+ (Node.isArrowFunction(parent) && parent.getBody() === node))
373
+ ) {
374
+ const hostName =
375
+ findEnclosingHostName(parent) ?? findEnclosingBindingName(parent);
376
+ if (!hostName) return undefined;
377
+ return {
378
+ kind: 'property',
379
+ name: hostName,
380
+ appendPropertyRead: () => undefined,
381
+ };
382
+ }
383
+
384
+ // `craftService(meta, () => state(0, ...))` can now hand the primitive
385
+ // generator directly to the runtime. Only add the name argument; keep the
386
+ // arrow unchanged. The same applies to a route's
387
+ // `queryParams: () => queryParams(config)` field.
388
+ if (
389
+ Node.isArrowFunction(parent) &&
390
+ parent.getBody() === node &&
391
+ !isDriven(node, preNamed)
392
+ ) {
393
+ const hostName =
394
+ findEnclosingHostName(parent) ?? readOwningPropertyName(parent);
395
+ if (!hostName) return undefined;
396
+ const arrow = parent;
397
+ return {
398
+ kind: 'property',
399
+ name: hostName,
400
+ appendPropertyRead: () => undefined,
401
+ };
402
+ }
403
+
404
+ return undefined;
405
+ }
406
+
407
+ function isLegacyNamedProperty(
408
+ property: import('ts-morph').PropertyAccessExpression,
409
+ call: CallExpression,
410
+ preNamed: boolean,
411
+ ): boolean {
412
+ const name = readNameLiteral(call, preNamed);
413
+ return name !== undefined && property.getName() === name;
414
+ }
415
+
416
+ /**
417
+ * `true` once the primitive generator has actually been driven — by `yield*` or
418
+ * `craftUse(...)`.
419
+ */
420
+ function isDriven(node: Node, preNamed = false): boolean {
421
+ if (preNamed) return true;
422
+ if (Node.isYieldExpression(node)) return true;
423
+ return (
424
+ Node.isCallExpression(node) && node.getExpression().getText() === 'craftUse'
425
+ );
426
+ }
427
+
428
+ /**
429
+ * Name of the nearest enclosing `craftService` / `craftComponent`, lower-cased
430
+ * on the first character (`'Counter'` → `'counter'`), used to name a primitive
431
+ * that is returned directly rather than bound to a variable.
432
+ */
433
+ function findEnclosingHostName(from: Node): string | undefined {
434
+ const HOSTS = HOST_FACTORIES;
435
+ let node: Node | undefined = from;
436
+ while (node) {
437
+ if (Node.isCallExpression(node)) {
438
+ const callee = node.getExpression();
439
+ if (Node.isIdentifier(callee) && HOSTS.has(callee.getText())) {
440
+ for (const argument of node.getArguments()) {
441
+ if (Node.isStringLiteral(argument)) {
442
+ return uncapitalize(argument.getLiteralValue());
443
+ }
444
+ if (Node.isObjectLiteralExpression(argument)) {
445
+ const nameProperty = argument.getProperty('name');
446
+ if (nameProperty && Node.isPropertyAssignment(nameProperty)) {
447
+ const value = nameProperty.getInitializer();
448
+ if (value && Node.isStringLiteral(value)) {
449
+ return uncapitalize(value.getLiteralValue());
450
+ }
451
+ }
452
+ }
453
+ }
454
+ return undefined;
455
+ }
456
+ }
457
+ node = node.getParent();
458
+ }
459
+ return undefined;
460
+ }
461
+
462
+ /**
463
+ * Name of the property the given node is the initializer of, if any.
464
+ *
465
+ * Used for a route's `queryParams: () => queryParams(config)` field: there is
466
+ * no craft host around it to take a name from, so the field itself names the
467
+ * primitive (`queryParams('queryParams', config)`).
468
+ */
469
+ function readOwningPropertyName(node: Node): string | undefined {
470
+ const parent = node.getParent();
471
+ if (
472
+ !parent ||
473
+ !(Node.isPropertyAssignment(parent) || Node.isPropertyDeclaration(parent))
474
+ ) {
475
+ return undefined;
476
+ }
477
+ if (parent.getInitializer() !== node) return undefined;
478
+ const nameNode = parent.getNameNode();
479
+ return Node.isIdentifier(nameNode) ? nameNode.getText() : undefined;
480
+ }
481
+
482
+ /**
483
+ * Nearest enclosing `const X = ...` name, used when a primitive is returned
484
+ * from a plain factory (`const listQueryParams = () => craftUse(...)`) rather
485
+ * than bound directly or wrapped in a craft host.
486
+ */
487
+ function findEnclosingBindingName(from: Node): string | undefined {
488
+ let node: Node | undefined = from;
489
+ while (node) {
490
+ if (Node.isVariableDeclaration(node)) {
491
+ const nameNode = node.getNameNode();
492
+ if (Node.isIdentifier(nameNode)) return nameNode.getText();
493
+ return undefined;
494
+ }
495
+ if (Node.isPropertyDeclaration(node) || Node.isPropertyAssignment(node)) {
496
+ const nameNode = node.getNameNode();
497
+ if (Node.isIdentifier(nameNode)) return nameNode.getText();
498
+ return undefined;
499
+ }
500
+ node = node.getParent();
501
+ }
502
+ return undefined;
503
+ }
504
+
505
+ function uncapitalize(value: string): string {
506
+ return value.charAt(0).toLowerCase() + value.slice(1);
507
+ }
508
+
509
+ /**
510
+ * Whether one of the five primitives has *already* been migrated.
511
+ *
512
+ * Their first argument used to be the config, and a config can legitimately be
513
+ * a string (`state('2026-05-10 12:00', insertForm(...))`), so the literal alone
514
+ * proves nothing. A migrated call has an identifier-shaped name followed by the
515
+ * config it used to take alone.
516
+ */
517
+ function hasPrimitiveName(call: CallExpression): boolean {
518
+ const first = call.getArguments()[0];
519
+ if (!first || !Node.isStringLiteral(first)) return false;
520
+ if (!/^[A-Za-z_$][\w$]*$/.test(first.getLiteralValue())) return false;
521
+ return call.getArguments().length > 1;
522
+ }
523
+
524
+ /**
525
+ * The name a call already carries, if any.
526
+ *
527
+ * `acceptObjectForm` is only true for `craftComputed` / `craftMethod`, whose
528
+ * name may be given as `{ name: 'foo', providers: [...] }`. For the five
529
+ * primitives the first argument is the *config*, and `state({ name: 'romain',
530
+ * password: 'x' })` would otherwise look deceptively like a named call.
531
+ */
532
+ function readNameLiteral(
533
+ call: CallExpression,
534
+ acceptObjectForm: boolean,
535
+ ): string | undefined {
536
+ const first = call.getArguments()[0];
537
+ if (!first) return undefined;
538
+ if (Node.isStringLiteral(first)) return first.getLiteralValue();
539
+ if (acceptObjectForm && Node.isObjectLiteralExpression(first)) {
540
+ const nameProperty = first.getProperty('name');
541
+ if (nameProperty && Node.isPropertyAssignment(nameProperty)) {
542
+ const value = nameProperty.getInitializer();
543
+ if (value && Node.isStringLiteral(value)) return value.getLiteralValue();
544
+ }
545
+ }
546
+ return undefined;
547
+ }
548
+
549
+ function report(
550
+ unmigrated: UnmigratedCall[],
551
+ call: CallExpression,
552
+ primitive: string,
553
+ reason: string,
554
+ ): void {
555
+ unmigrated.push({
556
+ file: relative(process.cwd(), call.getSourceFile().getFilePath()),
557
+ line: call.getStartLineNumber(),
558
+ primitive,
559
+ reason,
560
+ text: call.getText().slice(0, 120),
561
+ });
562
+ }
563
+
564
+ function collectImportedLocalNames(
565
+ sourceFile: SourceFile,
566
+ ): Map<string, string> {
567
+ const targets = new Set<string>([...NAMED_PRIMITIVES, ...PRE_NAMED_HELPERS]);
568
+ const localNames = new Map<string, string>();
569
+ for (const importDeclaration of sourceFile.getImportDeclarations()) {
570
+ for (const specifier of importDeclaration.getNamedImports()) {
571
+ const original = specifier.getName();
572
+ if (targets.has(original)) {
573
+ localNames.set(
574
+ specifier.getAliasNode()?.getText() ?? original,
575
+ original,
576
+ );
577
+ }
578
+ }
579
+ }
580
+ return localNames;
581
+ }
582
+
583
+ function findCreationCalls(
584
+ sourceFile: SourceFile,
585
+ localNames: Map<string, string>,
586
+ ): CallExpression[] {
587
+ return sourceFile
588
+ .getDescendantsOfKind(SyntaxKind.CallExpression)
589
+ .filter((call) => {
590
+ const callee = call.getExpression();
591
+ if (!Node.isIdentifier(callee)) return false;
592
+ if (!localNames.has(callee.getText())) return false;
593
+ // A creation call always takes a config; destructured readers such as
594
+ // `({ state }) => state().page` are argument-less.
595
+ if (call.getArguments().length === 0) return false;
596
+ return !isShadowed(callee);
597
+ });
598
+ }
599
+
600
+ function isShadowed(identifier: Identifier): boolean {
601
+ const name = identifier.getText();
602
+ let node: Node | undefined = identifier.getParent();
603
+ while (node) {
604
+ if (
605
+ Node.isFunctionDeclaration(node) ||
606
+ Node.isFunctionExpression(node) ||
607
+ Node.isArrowFunction(node) ||
608
+ Node.isMethodDeclaration(node)
609
+ ) {
610
+ for (const parameter of node.getParameters()) {
611
+ const bindsName = parameter
612
+ .getDescendants()
613
+ .concat(parameter.getNameNode())
614
+ .some(
615
+ (descendant) =>
616
+ Node.isIdentifier(descendant) &&
617
+ descendant.getText() === name &&
618
+ (Node.isBindingElement(descendant.getParent()) ||
619
+ Node.isParameterDeclaration(descendant.getParent())),
620
+ );
621
+ if (bindsName) return true;
622
+ }
623
+ }
624
+ node = node.getParent();
625
+ }
626
+ return false;
627
+ }
@@ -0,0 +1,30 @@
1
+ import { SourceFile } from 'ts-morph';
2
+ /**
3
+ * Migrates call-sites of the generator-returning craft primitives (`state`,
4
+ * `query`, `mutation`, `asyncProcess`, `queryParams`):
5
+ *
6
+ * 1. `yield* track(X)` → `yield* X` (track import purged when unused).
7
+ * 2. Already-consumed invocations (`yield*`, `craftUse(...)`) are left alone.
8
+ * 3. Inside a generator function → prefix with `yield* ` (parenthesised when
9
+ * the parent is a spread / member access / template position).
10
+ * 4. Direct expression-body return of a `craftService` factory or of a
11
+ * `queryParams:` arrow stays as-is (the runtime drives the generator).
12
+ * 5. Anywhere else → wrap with `craftUse(...)` (import added).
13
+ * 6. A `craftService` factory / `queryParams:` arrow returning an object
14
+ * literal containing primitive creations is first converted to a
15
+ * `function*` so rule 3 applies.
16
+ */
17
+ export declare const ALL_PRIMITIVES: readonly ["state", "query", "mutation", "asyncProcess", "queryParams"];
18
+ export type PrimitiveName = (typeof ALL_PRIMITIVES)[number];
19
+ export type MigratePrimitiveGeneratorsOptions = {
20
+ paths: readonly string[];
21
+ primitives?: readonly PrimitiveName[];
22
+ write?: boolean;
23
+ log?: (message: string) => void;
24
+ };
25
+ export type MigratePrimitiveGeneratorsResult = {
26
+ changedFiles: string[];
27
+ };
28
+ export declare function migratePrimitiveGenerators({ paths, primitives, write, log, }: MigratePrimitiveGeneratorsOptions): Promise<MigratePrimitiveGeneratorsResult>;
29
+ /** Applies primitive-generator consumption to an already loaded source file. */
30
+ export declare function migratePrimitiveGeneratorsInFile(sourceFile: SourceFile, primitives?: readonly PrimitiveName[]): boolean;