modality-ts 0.0.14 → 0.0.15

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 (154) hide show
  1. package/dist/cli/cli.js +108 -35
  2. package/dist/cli/cli.js.map +1 -1
  3. package/dist/cli/features/check/command.d.ts +2 -0
  4. package/dist/cli/features/check/command.d.ts.map +1 -1
  5. package/dist/cli/features/check/command.js +11 -3
  6. package/dist/cli/features/check/command.js.map +1 -1
  7. package/dist/cli/features/check/index.d.ts +2 -2
  8. package/dist/cli/features/check/index.d.ts.map +1 -1
  9. package/dist/cli/features/check/index.js +1 -1
  10. package/dist/cli/features/check/index.js.map +1 -1
  11. package/dist/cli/features/check/output.d.ts +22 -7
  12. package/dist/cli/features/check/output.d.ts.map +1 -1
  13. package/dist/cli/features/check/output.js +132 -76
  14. package/dist/cli/features/check/output.js.map +1 -1
  15. package/dist/cli/features/ci/command.d.ts +2 -0
  16. package/dist/cli/features/ci/command.d.ts.map +1 -1
  17. package/dist/cli/features/ci/command.js +21 -0
  18. package/dist/cli/features/ci/command.js.map +1 -1
  19. package/dist/cli/features/ci/index.d.ts +2 -0
  20. package/dist/cli/features/ci/index.d.ts.map +1 -1
  21. package/dist/cli/features/ci/index.js +1 -0
  22. package/dist/cli/features/ci/index.js.map +1 -1
  23. package/dist/cli/features/ci/output.d.ts +19 -0
  24. package/dist/cli/features/ci/output.d.ts.map +1 -0
  25. package/dist/cli/features/ci/output.js +40 -0
  26. package/dist/cli/features/ci/output.js.map +1 -0
  27. package/dist/cli/features/conform/index.d.ts +1 -0
  28. package/dist/cli/features/conform/index.d.ts.map +1 -1
  29. package/dist/cli/features/conform/index.js +1 -0
  30. package/dist/cli/features/conform/index.js.map +1 -1
  31. package/dist/cli/features/conform/output.d.ts +9 -0
  32. package/dist/cli/features/conform/output.d.ts.map +1 -0
  33. package/dist/cli/features/conform/output.js +28 -0
  34. package/dist/cli/features/conform/output.js.map +1 -0
  35. package/dist/cli/features/export/command.d.ts +2 -0
  36. package/dist/cli/features/export/command.d.ts.map +1 -1
  37. package/dist/cli/features/export/command.js +8 -2
  38. package/dist/cli/features/export/command.js.map +1 -1
  39. package/dist/cli/features/export/index.d.ts +1 -0
  40. package/dist/cli/features/export/index.d.ts.map +1 -1
  41. package/dist/cli/features/export/index.js +1 -0
  42. package/dist/cli/features/export/index.js.map +1 -1
  43. package/dist/cli/features/export/output.d.ts +8 -0
  44. package/dist/cli/features/export/output.d.ts.map +1 -0
  45. package/dist/cli/features/export/output.js +14 -0
  46. package/dist/cli/features/export/output.js.map +1 -0
  47. package/dist/cli/features/extract/command.d.ts +9 -0
  48. package/dist/cli/features/extract/command.d.ts.map +1 -1
  49. package/dist/cli/features/extract/command.js +20 -1
  50. package/dist/cli/features/extract/command.js.map +1 -1
  51. package/dist/cli/features/extract/index.d.ts +2 -0
  52. package/dist/cli/features/extract/index.d.ts.map +1 -1
  53. package/dist/cli/features/extract/index.js +1 -0
  54. package/dist/cli/features/extract/index.js.map +1 -1
  55. package/dist/cli/features/extract/output.d.ts +22 -0
  56. package/dist/cli/features/extract/output.d.ts.map +1 -0
  57. package/dist/cli/features/extract/output.js +48 -0
  58. package/dist/cli/features/extract/output.js.map +1 -0
  59. package/dist/cli/features/init/index.d.ts +1 -0
  60. package/dist/cli/features/init/index.d.ts.map +1 -1
  61. package/dist/cli/features/init/index.js +1 -0
  62. package/dist/cli/features/init/index.js.map +1 -1
  63. package/dist/cli/features/init/output.d.ts +4 -0
  64. package/dist/cli/features/init/output.d.ts.map +1 -0
  65. package/dist/cli/features/init/output.js +9 -0
  66. package/dist/cli/features/init/output.js.map +1 -0
  67. package/dist/cli/features/replay/index.d.ts +1 -0
  68. package/dist/cli/features/replay/index.d.ts.map +1 -1
  69. package/dist/cli/features/replay/index.js +1 -0
  70. package/dist/cli/features/replay/index.js.map +1 -1
  71. package/dist/cli/features/replay/output.d.ts +10 -0
  72. package/dist/cli/features/replay/output.d.ts.map +1 -0
  73. package/dist/cli/features/replay/output.js +37 -0
  74. package/dist/cli/features/replay/output.js.map +1 -0
  75. package/dist/cli/output.d.ts +28 -0
  76. package/dist/cli/output.d.ts.map +1 -0
  77. package/dist/cli/output.js +64 -0
  78. package/dist/cli/output.js.map +1 -0
  79. package/dist/extract/engine/ts/context.d.ts.map +1 -1
  80. package/dist/extract/engine/ts/context.js +7 -1
  81. package/dist/extract/engine/ts/context.js.map +1 -1
  82. package/dist/extract/engine/ts/react-source-transitions.d.ts +4 -1
  83. package/dist/extract/engine/ts/react-source-transitions.d.ts.map +1 -1
  84. package/dist/extract/engine/ts/react-source-transitions.js +11 -2
  85. package/dist/extract/engine/ts/react-source-transitions.js.map +1 -1
  86. package/dist/extract/engine/ts/transition/expressions.d.ts +1 -1
  87. package/dist/extract/engine/ts/transition/expressions.d.ts.map +1 -1
  88. package/dist/extract/engine/ts/transition/expressions.js +12 -1
  89. package/dist/extract/engine/ts/transition/expressions.js.map +1 -1
  90. package/dist/extract/engine/ts/transition/handlers.d.ts +3 -3
  91. package/dist/extract/engine/ts/transition/handlers.d.ts.map +1 -1
  92. package/dist/extract/engine/ts/transition/handlers.js +10 -7
  93. package/dist/extract/engine/ts/transition/handlers.js.map +1 -1
  94. package/dist/extract/engine/ts/transition/statement-summary.d.ts +6 -2
  95. package/dist/extract/engine/ts/transition/statement-summary.d.ts.map +1 -1
  96. package/dist/extract/engine/ts/transition/statement-summary.js +40 -6
  97. package/dist/extract/engine/ts/transition/statement-summary.js.map +1 -1
  98. package/dist/extract/engine/ts/types.d.ts +3 -0
  99. package/dist/extract/engine/ts/types.d.ts.map +1 -1
  100. package/dist/extract/sources/jotai/derived-writes.d.ts +11 -0
  101. package/dist/extract/sources/jotai/derived-writes.d.ts.map +1 -0
  102. package/dist/extract/sources/jotai/derived-writes.js +141 -0
  103. package/dist/extract/sources/jotai/derived-writes.js.map +1 -0
  104. package/dist/extract/sources/jotai/discover.d.ts +16 -0
  105. package/dist/extract/sources/jotai/discover.d.ts.map +1 -1
  106. package/dist/extract/sources/jotai/discover.js +163 -46
  107. package/dist/extract/sources/jotai/discover.js.map +1 -1
  108. package/dist/extract/sources/jotai/domains.d.ts +14 -1
  109. package/dist/extract/sources/jotai/domains.d.ts.map +1 -1
  110. package/dist/extract/sources/jotai/domains.js +481 -70
  111. package/dist/extract/sources/jotai/domains.js.map +1 -1
  112. package/dist/extract/sources/jotai/harness.d.ts +4 -1
  113. package/dist/extract/sources/jotai/harness.d.ts.map +1 -1
  114. package/dist/extract/sources/jotai/harness.js +10 -3
  115. package/dist/extract/sources/jotai/harness.js.map +1 -1
  116. package/dist/extract/sources/jotai/hydration.d.ts +16 -0
  117. package/dist/extract/sources/jotai/hydration.d.ts.map +1 -0
  118. package/dist/extract/sources/jotai/hydration.js +116 -0
  119. package/dist/extract/sources/jotai/hydration.js.map +1 -0
  120. package/dist/extract/sources/jotai/ids.d.ts +7 -0
  121. package/dist/extract/sources/jotai/ids.d.ts.map +1 -0
  122. package/dist/extract/sources/jotai/ids.js +23 -0
  123. package/dist/extract/sources/jotai/ids.js.map +1 -0
  124. package/dist/extract/sources/jotai/imports.d.ts +23 -0
  125. package/dist/extract/sources/jotai/imports.d.ts.map +1 -0
  126. package/dist/extract/sources/jotai/imports.js +111 -0
  127. package/dist/extract/sources/jotai/imports.js.map +1 -0
  128. package/dist/extract/sources/jotai/jsx.d.ts +4 -0
  129. package/dist/extract/sources/jotai/jsx.d.ts.map +1 -0
  130. package/dist/extract/sources/jotai/jsx.js +52 -0
  131. package/dist/extract/sources/jotai/jsx.js.map +1 -0
  132. package/dist/extract/sources/jotai/plugin.d.ts.map +1 -1
  133. package/dist/extract/sources/jotai/plugin.js +9 -2
  134. package/dist/extract/sources/jotai/plugin.js.map +1 -1
  135. package/dist/extract/sources/jotai/stores.d.ts +3 -0
  136. package/dist/extract/sources/jotai/stores.d.ts.map +1 -0
  137. package/dist/extract/sources/jotai/stores.js +40 -0
  138. package/dist/extract/sources/jotai/stores.js.map +1 -0
  139. package/dist/extract/sources/jotai/transitions.d.ts.map +1 -1
  140. package/dist/extract/sources/jotai/transitions.js +16 -5
  141. package/dist/extract/sources/jotai/transitions.js.map +1 -1
  142. package/dist/extract/sources/jotai/types.d.ts +22 -0
  143. package/dist/extract/sources/jotai/types.d.ts.map +1 -0
  144. package/dist/extract/sources/jotai/types.js +86 -0
  145. package/dist/extract/sources/jotai/types.js.map +1 -0
  146. package/dist/extract/sources/jotai/writes.d.ts +23 -1
  147. package/dist/extract/sources/jotai/writes.d.ts.map +1 -1
  148. package/dist/extract/sources/jotai/writes.js +330 -89
  149. package/dist/extract/sources/jotai/writes.js.map +1 -1
  150. package/dist/extract/sources/shared/react-transition-extract.d.ts +3 -0
  151. package/dist/extract/sources/shared/react-transition-extract.d.ts.map +1 -1
  152. package/dist/extract/sources/shared/react-transition-extract.js +5 -0
  153. package/dist/extract/sources/shared/react-transition-extract.js.map +1 -1
  154. package/package.json +1 -1
@@ -1,65 +1,182 @@
1
1
  import * as ts from "typescript";
2
- import { inferAtomDomain, initialValueForAtom, typeAliasDeclarations, } from "./domains.js";
2
+ import { atomCreatorName, isAtomCreatorCall, resolveJotaiImports, } from "./imports.js";
3
+ import { classifyAtomCall, classifyFamilyInstance, staticFamilyParam, typeAliasDeclarations, } from "./domains.js";
4
+ import { atomVarId, familyVarId } from "./ids.js";
5
+ import { metadataToRecord } from "./types.js";
6
+ import { applyHydrationOverrides, discoverHydrationOverrides, } from "./hydration.js";
7
+ import { discoverComponentStoreScopes } from "./stores.js";
3
8
  export function discoverJotaiAtoms(sourceText, fileName = "state.ts") {
9
+ return discoverJotaiAtomsDetailed(sourceText, fileName).decls;
10
+ }
11
+ export function discoverJotaiAtomsDetailed(sourceText, fileName = "state.ts") {
4
12
  const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
5
- const importedAtomNames = atomImportNames(source);
6
- if (importedAtomNames.size === 0)
7
- return [];
13
+ const imports = resolveJotaiImports(source);
14
+ if (imports.atomCreators.size === 0)
15
+ return emptyDiscoverResult();
8
16
  const typeAliases = typeAliasDeclarations(source);
17
+ const warnings = [];
18
+ const atomMetadata = new Map();
19
+ const atomNames = new Set();
20
+ const familyFactories = new Map();
9
21
  const decls = [];
10
22
  const visit = (node) => {
11
23
  if (ts.isVariableDeclaration(node) &&
12
24
  ts.isIdentifier(node.name) &&
13
25
  node.initializer &&
14
- isAtomCall(node.initializer, importedAtomNames)) {
15
- const origin = { file: fileName, ...lineAndColumn(source, node) };
16
- const domain = inferAtomDomain(node.initializer, typeAliases);
17
- const variable = {
18
- id: `atom:${node.name.text}`,
19
- domain,
20
- origin,
21
- scope: { kind: "global" },
22
- initial: initialValueForAtom(node.initializer, domain),
23
- };
24
- decls.push({
25
- id: variable.id,
26
- kind: "jotai/atom",
27
- var: variable,
28
- origin,
29
- metadata: { atomName: node.name.text },
30
- });
26
+ isAtomCreatorCall(node.initializer, imports.atomCreators)) {
27
+ const atomName = node.name.text;
28
+ const creator = atomCreatorName(node.initializer, imports.atomCreators);
29
+ if (creator === "atomFamily") {
30
+ familyFactories.set(atomName, node.initializer);
31
+ const classification = classifyAtomCall(node.initializer, atomName, imports, typeAliases);
32
+ atomMetadata.set(atomName, classification.metadata);
33
+ if (classification.warning) {
34
+ warnings.push({
35
+ message: classification.warning,
36
+ source: anchor(source, fileName, node),
37
+ });
38
+ }
39
+ }
40
+ else {
41
+ const classification = classifyAtomCall(node.initializer, atomName, imports, typeAliases);
42
+ atomNames.add(atomName);
43
+ atomMetadata.set(atomName, classification.metadata);
44
+ if (classification.warning) {
45
+ warnings.push({
46
+ message: classification.warning,
47
+ source: anchor(source, fileName, node),
48
+ });
49
+ }
50
+ if (classification.emitVar) {
51
+ decls.push(atomDecl(node, atomName, classification, fileName, source));
52
+ }
53
+ }
54
+ }
55
+ if (ts.isCallExpression(node) &&
56
+ ts.isIdentifier(node.expression) &&
57
+ familyFactories.has(node.expression.text)) {
58
+ const familyName = node.expression.text;
59
+ const paramArg = node.arguments[0];
60
+ if (!paramArg)
61
+ return;
62
+ const staticParam = staticFamilyParam(paramArg);
63
+ if (!staticParam) {
64
+ warnings.push({
65
+ message: `Jotai dynamic atom family param unsupported for ${familyName}`,
66
+ source: anchor(source, fileName, node),
67
+ });
68
+ }
69
+ else {
70
+ const familyCall = familyFactories.get(familyName);
71
+ const initializer = familyCall?.arguments[0];
72
+ let innerCall;
73
+ if (initializer &&
74
+ (ts.isArrowFunction(initializer) ||
75
+ ts.isFunctionExpression(initializer))) {
76
+ const body = initializer.body;
77
+ if (ts.isCallExpression(body) &&
78
+ isAtomCreatorCall(body, imports.atomCreators)) {
79
+ innerCall = body;
80
+ }
81
+ else if (ts.isBlock(body)) {
82
+ for (const stmt of body.statements) {
83
+ if (ts.isReturnStatement(stmt) &&
84
+ stmt.expression &&
85
+ ts.isCallExpression(stmt.expression) &&
86
+ isAtomCreatorCall(stmt.expression, imports.atomCreators)) {
87
+ innerCall = stmt.expression;
88
+ break;
89
+ }
90
+ }
91
+ }
92
+ }
93
+ if (innerCall) {
94
+ const classification = classifyFamilyInstance(familyName, staticParam, innerCall, typeAliases);
95
+ const varId = familyVarId(familyName, staticParam);
96
+ atomNames.add(varId);
97
+ atomMetadata.set(varId, classification.metadata);
98
+ decls.push({
99
+ id: varId,
100
+ kind: "jotai/atom-family",
101
+ var: {
102
+ id: varId,
103
+ domain: classification.domain,
104
+ origin: anchor(source, fileName, node),
105
+ scope: { kind: "global" },
106
+ initial: classification.initial,
107
+ },
108
+ origin: anchor(source, fileName, node),
109
+ metadata: metadataToRecord(classification.metadata),
110
+ });
111
+ }
112
+ }
31
113
  }
32
114
  ts.forEachChild(node, visit);
33
115
  };
34
116
  visit(source);
35
- return decls;
36
- }
37
- function atomImportNames(source) {
38
- const names = new Set();
39
- for (const statement of source.statements) {
40
- if (!ts.isImportDeclaration(statement) ||
41
- !isJotaiModule(statement.moduleSpecifier))
42
- continue;
43
- const bindings = statement.importClause?.namedBindings;
44
- if (!bindings || !ts.isNamedImports(bindings))
45
- continue;
46
- for (const specifier of bindings.elements) {
47
- if ((specifier.propertyName?.text ?? specifier.name.text) === "atom")
48
- names.add(specifier.name.text);
49
- }
117
+ const hydration = discoverHydrationOverrides(source, fileName, imports);
118
+ for (const warning of hydration.warnings)
119
+ warnings.push(warning);
120
+ const hydratedDecls = applyHydrationOverrides(decls, hydration.overrides);
121
+ const componentStoreScopes = discoverComponentStoreScopes(source, imports);
122
+ const storeScopedDecls = [];
123
+ for (const storeScope of new Set(componentStoreScopes.values())) {
124
+ storeScopedDecls.push(...duplicateAtomsForStore(hydratedDecls, storeScope));
50
125
  }
51
- return names;
52
- }
53
- function isJotaiModule(moduleSpecifier) {
54
- return (ts.isStringLiteral(moduleSpecifier) && moduleSpecifier.text === "jotai");
126
+ return {
127
+ decls: [...hydratedDecls, ...storeScopedDecls],
128
+ warnings,
129
+ atomNames,
130
+ atomMetadata,
131
+ };
55
132
  }
56
- function isAtomCall(node, atomNames) {
57
- return (ts.isCallExpression(node) &&
58
- ts.isIdentifier(node.expression) &&
59
- atomNames.has(node.expression.text));
133
+ function atomDecl(node, atomName, classification, fileName, source) {
134
+ const origin = anchor(source, fileName, node);
135
+ const variable = {
136
+ id: atomVarId(atomName),
137
+ domain: classification.domain,
138
+ origin,
139
+ scope: { kind: "global" },
140
+ initial: classification.initial,
141
+ };
142
+ return {
143
+ id: variable.id,
144
+ kind: "jotai/atom",
145
+ var: variable,
146
+ origin,
147
+ metadata: metadataToRecord(classification.metadata),
148
+ };
60
149
  }
61
- function lineAndColumn(source, node) {
150
+ function anchor(source, fileName, node) {
62
151
  const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
63
- return { line: pos.line + 1, column: pos.character + 1 };
152
+ return { file: fileName, line: pos.line + 1, column: pos.character + 1 };
153
+ }
154
+ function emptyDiscoverResult() {
155
+ return {
156
+ decls: [],
157
+ warnings: [],
158
+ atomNames: new Set(),
159
+ atomMetadata: new Map(),
160
+ };
161
+ }
162
+ export function duplicateAtomsForStore(decls, storeScope) {
163
+ return decls
164
+ .filter((decl) => decl.var && decl.kind.startsWith("jotai/"))
165
+ .map((decl) => {
166
+ const atomName = typeof decl.metadata?.atomName === "string"
167
+ ? decl.metadata.atomName
168
+ : decl.var.id.replace(/^atom:/, "").replace(/@store:.+$/, "");
169
+ const varId = atomVarId(atomName, storeScope);
170
+ return {
171
+ ...decl,
172
+ id: varId,
173
+ var: { ...decl.var, id: varId },
174
+ metadata: { ...decl.metadata, storeScope },
175
+ };
176
+ });
177
+ }
178
+ export function isAtomCall(node, atomCreators) {
179
+ return isAtomCreatorCall(node, atomCreators);
64
180
  }
181
+ export { resolveJotaiImports } from "./imports.js";
65
182
  //# sourceMappingURL=discover.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAEtB,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,iBAAiB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,iBAAiB,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAC/C,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAiB;gBAC7B,EAAE,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC5B,MAAM;gBACN,MAAM;gBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;aACvD,CAAC;YACF,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,QAAQ,CAAC,EAAE;gBACf,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,QAAQ;gBACb,MAAM;gBACN,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;aACvC,CAAC,CAAC;QACL,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,MAAqB;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;YAEzC,SAAS;QACX,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM;gBAClE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,eAA8B;IACnD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,CACxE,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAAmB,EACnB,SAAsB;IAEtB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}
1
+ {"version":3,"file":"discover.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAS3D,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,OAAO,0BAA0B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,mBAAmB,EAAE,CAAC;IAElE,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAiD,EAAE,CAAC;IAClE,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,eAAe,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC7D,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,EACzD,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;YACxE,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;gBAC7B,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBAChD,MAAM,cAAc,GAAG,gBAAgB,CACrC,IAAI,CAAC,WAAW,EAChB,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACpD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,cAAc,CAAC,OAAO;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;qBACvC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,cAAc,GAAG,gBAAgB,CACrC,IAAI,CAAC,WAAW,EAChB,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxB,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACpD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,cAAc,CAAC,OAAO;wBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;qBACvC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,CAC3D,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EACzC,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,QAAQ;gBAAE,OAAO;YACtB,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAChD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,mDAAmD,UAAU,EAAE;oBACxE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACnD,MAAM,WAAW,GAAG,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,SAAwC,CAAC;gBAC7C,IACE,WAAW;oBACX,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;wBAC9B,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,EACvC,CAAC;oBACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;oBAC9B,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBACzB,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,EAC7C,CAAC;wBACD,SAAS,GAAG,IAAI,CAAC;oBACnB,CAAC;yBAAM,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;4BACnC,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gCAC1B,IAAI,CAAC,UAAU;gCACf,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;gCACpC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,EACxD,CAAC;gCACD,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;gCAC5B,MAAM;4BACR,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,cAAc,GAAG,sBAAsB,CAC3C,UAAU,EACV,WAAW,EACX,SAAS,EACT,WAAW,CACZ,CAAC;oBACF,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;oBACnD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACrB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;oBACjD,KAAK,CAAC,IAAI,CAAC;wBACT,EAAE,EAAE,KAAK;wBACT,IAAI,EAAE,mBAAmB;wBACzB,GAAG,EAAE;4BACH,EAAE,EAAE,KAAK;4BACT,MAAM,EAAE,cAAc,CAAC,MAAM;4BAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;4BACtC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;4BACzB,OAAO,EAAE,cAAc,CAAC,OAAO;yBAChC;wBACD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC;wBACtC,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC,QAAQ,CAAC;qBACpD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IAEd,MAAM,SAAS,GAAG,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IAE1E,MAAM,oBAAoB,GAAG,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,gBAAgB,GAAiB,EAAE,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,IAAI,GAAG,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAChE,gBAAgB,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,gBAAgB,CAAC;QAC9C,QAAQ;QACR,SAAS;QACT,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,IAA4B,EAC5B,QAAgB,EAChB,cAAmD,EACnD,QAAgB,EAChB,MAAqB;IAErB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAiB;QAC7B,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC;QACvB,MAAM,EAAE,cAAc,CAAC,MAAM;QAC7B,MAAM;QACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,OAAO,EAAE,cAAc,CAAC,OAAO;KAChC,CAAC;IACF,OAAO;QACL,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,IAAI,EAAE,YAAY;QAClB,GAAG,EAAE,QAAQ;QACb,MAAM;QACN,QAAQ,EAAE,gBAAgB,CAAC,cAAc,CAAC,QAAQ,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,MAAqB,EACrB,QAAgB,EAChB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO;QACL,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,YAAY,EAAE,IAAI,GAAG,EAAE;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAA4B,EAC5B,UAAkB;IAElB,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,QAAQ,GACZ,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,KAAK,QAAQ;YACzC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ;YACxB,CAAC,CAAC,IAAI,CAAC,GAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9C,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAI,EAAE,EAAE,EAAE,KAAK,EAAE;YAChC,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAAmB,EACnB,YAAyC;IAEzC,OAAO,iBAAiB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AAC/C,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}
@@ -1,7 +1,20 @@
1
1
  import * as ts from "typescript";
2
+ import type { AbstractDomain, Value } from "modality-ts/core";
2
3
  import { typeAliasDeclarations } from "modality-ts/extract/engine/spi";
3
- import { type AbstractDomain, type Value } from "modality-ts/core";
4
+ import { type JotaiResolvedImports } from "./imports.js";
5
+ import type { AtomConfigKind, JotaiAtomMetadata } from "./types.js";
4
6
  export { typeAliasDeclarations };
7
+ export interface AtomClassification {
8
+ configKind: AtomConfigKind;
9
+ domain: AbstractDomain;
10
+ initial: Value;
11
+ metadata: JotaiAtomMetadata;
12
+ emitVar: boolean;
13
+ warning?: string;
14
+ }
15
+ export declare function classifyAtomCall(call: ts.CallExpression, atomName: string, imports: JotaiResolvedImports, typeAliases: ReadonlyMap<string, ts.TypeNode>): AtomClassification;
16
+ export declare function classifyFamilyInstance(familyName: string, param: string, innerCall: ts.CallExpression, typeAliases: ReadonlyMap<string, ts.TypeNode>): AtomClassification;
5
17
  export declare function inferAtomDomain(call: ts.CallExpression, typeAliases?: ReadonlyMap<string, ts.TypeNode>): AbstractDomain;
6
18
  export declare function initialValueForAtom(call: ts.CallExpression, domain: AbstractDomain): Value;
19
+ export declare function staticFamilyParam(expression: ts.Expression): string | undefined;
7
20
  //# sourceMappingURL=domains.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAGL,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,KAAK,EACX,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GACxD,cAAc,CAwBhB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,MAAM,EAAE,cAAc,GACrB,KAAK,CAyBP"}
1
+ {"version":3,"file":"domains.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAGL,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,EAAmB,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAM1E,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,cAAc,CAAC;IAC3B,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;IACf,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,oBAAoB,EAC7B,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAC5C,kBAAkB,CAwBpB;AAoZD,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,EAAE,CAAC,cAAc,EAC5B,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAC5C,kBAAkB,CAgBpB;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,WAAW,GAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAa,GACxD,cAAc,CAMhB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,MAAM,EAAE,cAAc,GACrB,KAAK,CAIP;AAuHD,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,MAAM,GAAG,SAAS,CAiBpB"}