typia 3.6.2 → 3.6.3

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 (205) hide show
  1. package/README.md +2 -1
  2. package/lib/factories/internal/metadata/emplace_metadata_object.js +8 -7
  3. package/lib/factories/internal/metadata/emplace_metadata_object.js.map +1 -1
  4. package/lib/module.d.ts +2 -2
  5. package/package.json +1 -1
  6. package/src/IRandomGenerator.ts +16 -16
  7. package/src/IValidation.ts +21 -21
  8. package/src/Primitive.ts +104 -104
  9. package/src/TypeGuardError.ts +36 -36
  10. package/src/executable/TypiaGenerateWizard.ts +87 -87
  11. package/src/executable/TypiaSetupWizard.ts +142 -142
  12. package/src/executable/setup/ArgumentParser.ts +91 -91
  13. package/src/executable/setup/CommandExecutor.ts +8 -8
  14. package/src/executable/setup/FileRetriever.ts +33 -33
  15. package/src/executable/setup/PackageManager.ts +92 -92
  16. package/src/executable/setup/PluginConfigurator.ts +99 -99
  17. package/src/executable/typia.ts +38 -38
  18. package/src/factories/CommentFactory.ts +10 -10
  19. package/src/factories/ExpressionFactory.ts +77 -77
  20. package/src/factories/IdentifierFactory.ts +73 -73
  21. package/src/factories/LiteralFactory.ts +44 -44
  22. package/src/factories/MetadataCollection.ts +122 -122
  23. package/src/factories/MetadataFactory.ts +51 -51
  24. package/src/factories/MetadataTagFactory.ts +265 -265
  25. package/src/factories/StatementFactory.ts +60 -60
  26. package/src/factories/TemplateFactory.ts +56 -56
  27. package/src/factories/TypeFactory.ts +129 -129
  28. package/src/factories/TypiaFileFactory.ts +117 -117
  29. package/src/factories/ValueFactory.ts +12 -12
  30. package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
  31. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -140
  32. package/src/factories/internal/metadata/explore_metadata.ts +92 -92
  33. package/src/factories/internal/metadata/iterate_metadata.ts +80 -80
  34. package/src/factories/internal/metadata/iterate_metadata_array.ts +29 -29
  35. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
  36. package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
  37. package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
  38. package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
  39. package/src/factories/internal/metadata/iterate_metadata_native.ts +222 -222
  40. package/src/factories/internal/metadata/iterate_metadata_object.ts +48 -48
  41. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +27 -27
  42. package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
  43. package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
  44. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +45 -45
  45. package/src/factories/internal/metadata/iterate_metadata_union.ts +59 -59
  46. package/src/functional/$any.ts +3 -3
  47. package/src/functional/$every.ts +11 -11
  48. package/src/functional/$guard.ts +35 -35
  49. package/src/functional/$is_between.ts +7 -7
  50. package/src/functional/$is_email.ts +5 -5
  51. package/src/functional/$is_ipv4.ts +5 -5
  52. package/src/functional/$is_ipv6.ts +5 -5
  53. package/src/functional/$is_url.ts +5 -5
  54. package/src/functional/$is_uuid.ts +5 -5
  55. package/src/functional/$join.ts +50 -50
  56. package/src/functional/$number.ts +12 -12
  57. package/src/functional/$report.ts +15 -15
  58. package/src/functional/$rest.ts +3 -3
  59. package/src/functional/$string.ts +37 -37
  60. package/src/functional/$tail.ts +6 -6
  61. package/src/functional/Namespace.ts +121 -121
  62. package/src/index.ts +4 -4
  63. package/src/metadata/IJsDocTagInfo.ts +10 -10
  64. package/src/metadata/IMetadata.ts +25 -25
  65. package/src/metadata/IMetadataApplication.ts +7 -7
  66. package/src/metadata/IMetadataConstant.ts +16 -16
  67. package/src/metadata/IMetadataEntry.ts +6 -6
  68. package/src/metadata/IMetadataObject.ts +29 -29
  69. package/src/metadata/IMetadataProperty.ts +11 -11
  70. package/src/metadata/IMetadataTag.ts +113 -113
  71. package/src/metadata/Metadata.ts +534 -534
  72. package/src/metadata/MetadataConstant.ts +3 -3
  73. package/src/metadata/MetadataObject.ts +131 -131
  74. package/src/metadata/MetadataProperty.ts +64 -64
  75. package/src/module.ts +1946 -1946
  76. package/src/programmers/ApplicationProgrammer.ts +55 -55
  77. package/src/programmers/AssertCloneProgrammer.ts +70 -70
  78. package/src/programmers/AssertParseProgrammer.ts +65 -65
  79. package/src/programmers/AssertProgrammer.ts +232 -232
  80. package/src/programmers/AssertPruneProgrammer.ts +67 -67
  81. package/src/programmers/AssertStringifyProgrammer.ts +71 -71
  82. package/src/programmers/CheckerProgrammer.ts +893 -893
  83. package/src/programmers/CloneProgrammer.ts +386 -386
  84. package/src/programmers/FeatureProgrammer.ts +505 -505
  85. package/src/programmers/IsCloneProgrammer.ts +80 -80
  86. package/src/programmers/IsParseProgrammer.ts +74 -74
  87. package/src/programmers/IsProgrammer.ts +200 -200
  88. package/src/programmers/IsPruneProgrammer.ts +75 -75
  89. package/src/programmers/IsStringifyProgrammer.ts +81 -81
  90. package/src/programmers/PruneProgrammer.ts +341 -341
  91. package/src/programmers/RandomProgrammer.ts +391 -391
  92. package/src/programmers/StringifyProgrammer.ts +795 -795
  93. package/src/programmers/ValidateCloneProgrammer.ts +90 -90
  94. package/src/programmers/ValidateParseProgrammer.ts +69 -69
  95. package/src/programmers/ValidateProgrammer.ts +266 -266
  96. package/src/programmers/ValidatePruneProgrammer.ts +83 -83
  97. package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
  98. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  99. package/src/programmers/helpers/CloneJoiner.ts +134 -134
  100. package/src/programmers/helpers/FunctionImporeter.ts +55 -55
  101. package/src/programmers/helpers/IExpressionEntry.ts +12 -12
  102. package/src/programmers/helpers/OptionPredicator.ts +19 -19
  103. package/src/programmers/helpers/PruneJoiner.ts +52 -52
  104. package/src/programmers/helpers/RandomJoiner.ts +149 -149
  105. package/src/programmers/helpers/RandomRanger.ts +216 -216
  106. package/src/programmers/helpers/StringifyJoinder.ts +114 -114
  107. package/src/programmers/helpers/StringifyPredicator.ts +18 -18
  108. package/src/programmers/helpers/UnionExplorer.ts +274 -274
  109. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  110. package/src/programmers/internal/application_array.ts +37 -37
  111. package/src/programmers/internal/application_boolean.ts +17 -17
  112. package/src/programmers/internal/application_constant.ts +29 -29
  113. package/src/programmers/internal/application_default.ts +17 -17
  114. package/src/programmers/internal/application_default_string.ts +32 -32
  115. package/src/programmers/internal/application_native.ts +29 -29
  116. package/src/programmers/internal/application_number.ts +70 -70
  117. package/src/programmers/internal/application_object.ts +153 -153
  118. package/src/programmers/internal/application_schema.ts +184 -184
  119. package/src/programmers/internal/application_string.ts +41 -41
  120. package/src/programmers/internal/application_templates.ts +27 -27
  121. package/src/programmers/internal/application_tuple.ts +29 -29
  122. package/src/programmers/internal/check_array.ts +22 -22
  123. package/src/programmers/internal/check_array_length.ts +44 -44
  124. package/src/programmers/internal/check_bigint.ts +64 -64
  125. package/src/programmers/internal/check_dynamic_properties.ts +197 -197
  126. package/src/programmers/internal/check_everything.ts +28 -28
  127. package/src/programmers/internal/check_native.ts +21 -21
  128. package/src/programmers/internal/check_number.ts +145 -145
  129. package/src/programmers/internal/check_object.ts +48 -48
  130. package/src/programmers/internal/check_string.ts +24 -24
  131. package/src/programmers/internal/check_string_tags.ts +63 -63
  132. package/src/programmers/internal/check_template.ts +50 -50
  133. package/src/programmers/internal/check_union_array_like.ts +260 -260
  134. package/src/programmers/internal/check_union_tuple.ts +33 -33
  135. package/src/programmers/internal/decode_union_object.ts +73 -73
  136. package/src/programmers/internal/feature_object_entries.ts +59 -59
  137. package/src/programmers/internal/metadata_to_pattern.ts +31 -31
  138. package/src/programmers/internal/prune_object_properties.ts +60 -60
  139. package/src/programmers/internal/stringify_dynamic_properties.ts +165 -165
  140. package/src/programmers/internal/stringify_native.ts +8 -8
  141. package/src/programmers/internal/stringify_regular_properties.ts +81 -81
  142. package/src/programmers/internal/template_to_pattern.ts +15 -15
  143. package/src/schemas/IJsonApplication.ts +9 -9
  144. package/src/schemas/IJsonComponents.ts +26 -26
  145. package/src/schemas/IJsonSchema.ts +127 -127
  146. package/src/transform.ts +21 -21
  147. package/src/transformers/CallExpressionTransformer.ts +172 -172
  148. package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
  149. package/src/transformers/FileTransformer.ts +49 -49
  150. package/src/transformers/IProject.ts +11 -11
  151. package/src/transformers/ITransformOptions.ts +62 -62
  152. package/src/transformers/ImportTransformer.ts +60 -60
  153. package/src/transformers/NodeTransformer.ts +19 -19
  154. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +120 -120
  155. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  156. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  157. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  158. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  159. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  160. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  161. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  162. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  163. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  164. package/src/transformers/features/miscellaneous/CreateRandomGenerator.ts +42 -42
  165. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  166. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  167. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  168. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  169. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +55 -55
  170. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  171. package/src/transformers/features/miscellaneous/RandomTransformer.ts +48 -48
  172. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  173. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  174. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  175. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  176. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  177. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  178. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  179. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  180. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  181. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
  182. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  183. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  184. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
  185. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  186. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  187. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  188. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  189. package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
  190. package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
  191. package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
  192. package/src/transformers/features/validators/IsTransformer.ts +10 -10
  193. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  194. package/src/transformers/internal/GenericTransformer.ts +99 -99
  195. package/src/typings/Atomic.ts +17 -17
  196. package/src/typings/ClassProperties.ts +5 -5
  197. package/src/typings/OmitNever.ts +3 -3
  198. package/src/typings/SpecialFields.ts +3 -3
  199. package/src/typings/Writable.ts +11 -11
  200. package/src/utils/ArrayUtil.ts +49 -49
  201. package/src/utils/Escaper.ts +50 -50
  202. package/src/utils/MapUtil.ts +14 -14
  203. package/src/utils/PatternUtil.ts +30 -30
  204. package/src/utils/RandomGenerator.ts +90 -90
  205. package/src/utils/Singleton.ts +17 -17
@@ -1,386 +1,386 @@
1
- import ts from "typescript";
2
-
3
- import { ExpressionFactory } from "../factories/ExpressionFactory";
4
- import { IdentifierFactory } from "../factories/IdentifierFactory";
5
- import { MetadataCollection } from "../factories/MetadataCollection";
6
- import { MetadataFactory } from "../factories/MetadataFactory";
7
- import { TypeFactory } from "../factories/TypeFactory";
8
-
9
- import { Metadata } from "../metadata/Metadata";
10
-
11
- import { IProject } from "../transformers/IProject";
12
-
13
- import { FeatureProgrammer } from "./FeatureProgrammer";
14
- import { IsProgrammer } from "./IsProgrammer";
15
- import { CloneJoiner } from "./helpers/CloneJoiner";
16
- import { FunctionImporter } from "./helpers/FunctionImporeter";
17
- import { UnionExplorer } from "./helpers/UnionExplorer";
18
- import { decode_union_object } from "./internal/decode_union_object";
19
-
20
- export namespace CloneProgrammer {
21
- export function generate(
22
- project: IProject,
23
- modulo: ts.LeftHandSideExpression,
24
- ) {
25
- const importer: FunctionImporter = new FunctionImporter();
26
- return FeatureProgrammer.generate(
27
- project,
28
- CONFIG(project, importer),
29
- importer,
30
- (collection) => {
31
- const isFunctors = IsProgrammer.generate_functors(
32
- project,
33
- importer,
34
- )(collection);
35
- const isUnioners = IsProgrammer.generate_unioners(
36
- project,
37
- importer,
38
- )(collection);
39
-
40
- return [
41
- ...importer.declare(modulo),
42
- ...isFunctors.filter((_, i) =>
43
- importer.hasLocal(`$io${i}`),
44
- ),
45
- ...isUnioners.filter((_, i) =>
46
- importer.hasLocal(`$iu${i}`),
47
- ),
48
- ];
49
- },
50
- );
51
- }
52
-
53
- /* -----------------------------------------------------------
54
- DECODERS
55
- ----------------------------------------------------------- */
56
- const decode =
57
- (project: IProject, importer: FunctionImporter) =>
58
- (
59
- input: ts.Expression,
60
- meta: Metadata,
61
- explore: FeatureProgrammer.IExplore,
62
- ): ts.Expression => {
63
- // ANY TYPE
64
- if (
65
- meta.any ||
66
- meta.arrays.some((a) => a.any) ||
67
- meta.tuples.some((t) => t.every((e) => e.any))
68
- )
69
- return ts.factory.createCallExpression(
70
- importer.use("any"),
71
- undefined,
72
- [input],
73
- );
74
-
75
- interface IUnion {
76
- type: string;
77
- is: () => ts.Expression;
78
- value: () => ts.Expression;
79
- }
80
- const unions: IUnion[] = [];
81
-
82
- //----
83
- // LIST UP UNION TYPES
84
- //----
85
- // toJSON() METHOD
86
- if (meta.resolved !== null)
87
- unions.push({
88
- type: "resolved",
89
- is: () => IsProgrammer.decode_to_json(input, true),
90
- value: () =>
91
- decode_to_json(project, importer)(
92
- input,
93
- meta.resolved!,
94
- explore,
95
- ),
96
- });
97
-
98
- // TUPLES
99
- for (const tuple of meta.tuples)
100
- unions.push({
101
- type: "tuple",
102
- is: () =>
103
- IsProgrammer.decode(project, importer)(
104
- input,
105
- (() => {
106
- const partial = Metadata.initialize();
107
- partial.tuples.push(tuple);
108
- return partial;
109
- })(),
110
- explore,
111
- [],
112
- ),
113
- value: () =>
114
- decode_tuple(project, importer)(input, tuple, explore),
115
- });
116
-
117
- // ARRAYS
118
- if (meta.arrays.length)
119
- unions.push({
120
- type: "array",
121
- is: () => ExpressionFactory.isArray(input),
122
- value: () =>
123
- explore_arrays(project, importer)(
124
- input,
125
- meta.arrays,
126
- {
127
- ...explore,
128
- from: "array",
129
- },
130
- [],
131
- ),
132
- });
133
-
134
- // NATIVE TYPES
135
- if (meta.sets.length)
136
- unions.push({
137
- type: "set",
138
- is: () => ExpressionFactory.isInstanceOf(input, "Set"),
139
- value: () => ts.factory.createIdentifier("{}"),
140
- });
141
- if (meta.maps.length)
142
- unions.push({
143
- type: "map",
144
- is: () => ExpressionFactory.isInstanceOf(input, "Map"),
145
- value: () => ts.factory.createIdentifier("{}"),
146
- });
147
- for (const native of meta.natives)
148
- unions.push({
149
- type: "native",
150
- is: () => ExpressionFactory.isInstanceOf(input, native),
151
- value: () =>
152
- native === "Boolean" ||
153
- native === "Number" ||
154
- native === "String"
155
- ? ts.factory.createCallExpression(
156
- IdentifierFactory.join(input, "valueOf"),
157
- undefined,
158
- undefined,
159
- )
160
- : ts.factory.createIdentifier("{}"),
161
- });
162
-
163
- // OBJECTS
164
- if (meta.objects.length)
165
- unions.push({
166
- type: "object",
167
- is: () =>
168
- ExpressionFactory.isObject(input, {
169
- checkNull: true,
170
- checkArray: false,
171
- }),
172
- value: () =>
173
- explore_objects(importer)(input, meta, {
174
- ...explore,
175
- from: "object",
176
- }),
177
- });
178
-
179
- // COMPOSITION
180
- let last: ts.Expression = input;
181
- for (const u of unions.reverse())
182
- last = ts.factory.createConditionalExpression(
183
- u.is(),
184
- undefined,
185
- u.value(),
186
- undefined,
187
- last,
188
- );
189
- return ts.factory.createAsExpression(
190
- last,
191
- TypeFactory.keyword("any"),
192
- );
193
- };
194
-
195
- const decode_to_json =
196
- (project: IProject, importer: FunctionImporter) =>
197
- (
198
- input: ts.Expression,
199
- resolved: Metadata,
200
- explore: FeatureProgrammer.IExplore,
201
- ): ts.Expression => {
202
- return decode(project, importer)(
203
- ts.factory.createCallExpression(
204
- IdentifierFactory.join(input, "toJSON"),
205
- undefined,
206
- [],
207
- ),
208
- resolved,
209
- explore,
210
- );
211
- };
212
-
213
- const decode_tuple =
214
- (project: IProject, importer: FunctionImporter) =>
215
- (
216
- input: ts.Expression,
217
- tuple: Metadata[],
218
- explore: FeatureProgrammer.IExplore,
219
- ): ts.Expression => {
220
- const children: ts.Expression[] = tuple
221
- .filter((m) => m.rest === null)
222
- .map((elem, index) =>
223
- decode(project, importer)(
224
- ts.factory.createElementAccessExpression(input, index),
225
- elem,
226
- {
227
- ...explore,
228
- from: "array",
229
- },
230
- ),
231
- );
232
- const rest = (() => {
233
- if (tuple.length === 0) return null;
234
-
235
- const last: Metadata = tuple[tuple.length - 1]!;
236
- const rest: Metadata | null = last.rest;
237
- if (rest === null) return null;
238
-
239
- return decode(project, importer)(
240
- ts.factory.createCallExpression(
241
- IdentifierFactory.join(input, "slice"),
242
- undefined,
243
- [ts.factory.createNumericLiteral(tuple.length - 1)],
244
- ),
245
- (() => {
246
- const wrapper: Metadata = Metadata.initialize();
247
- wrapper.arrays.push(rest);
248
- return wrapper;
249
- })(),
250
- {
251
- ...explore,
252
- start: tuple.length - 1,
253
- },
254
- );
255
- })();
256
- return CloneJoiner.tuple(children, rest);
257
- };
258
-
259
- const decode_array = (project: IProject, importer: FunctionImporter) =>
260
- FeatureProgrammer.decode_array(
261
- CONFIG(project, importer),
262
- importer,
263
- CloneJoiner.array,
264
- );
265
-
266
- const decode_object = (importer: FunctionImporter) =>
267
- FeatureProgrammer.decode_object({
268
- trace: false,
269
- path: false,
270
- functors: FUNCTORS,
271
- })(importer);
272
-
273
- const explore_arrays = (project: IProject, importer: FunctionImporter) =>
274
- UnionExplorer.array({
275
- checker: IsProgrammer.decode(project, importer),
276
- decoder: decode_array(project, importer),
277
- empty: ts.factory.createReturnStatement(),
278
- success: ts.factory.createTrue(),
279
- failure: (input, expected) =>
280
- create_throw_error(importer, input, expected),
281
- });
282
-
283
- const explore_objects =
284
- (importer: FunctionImporter) =>
285
- (
286
- input: ts.Expression,
287
- meta: Metadata,
288
- explore: FeatureProgrammer.IExplore,
289
- ) => {
290
- if (meta.objects.length === 1)
291
- return decode_object(importer)(
292
- input,
293
- meta.objects[0]!,
294
- explore,
295
- );
296
-
297
- return ts.factory.createCallExpression(
298
- ts.factory.createIdentifier(`${UNIONERS}${meta.union_index!}`),
299
- undefined,
300
- [input],
301
- );
302
- };
303
-
304
- /* -----------------------------------------------------------
305
- CONFIGURATIONS
306
- ----------------------------------------------------------- */
307
- const FUNCTORS = "$co";
308
- const UNIONERS = "$cu";
309
-
310
- const CONFIG = (
311
- project: IProject,
312
- importer: FunctionImporter,
313
- ): FeatureProgrammer.IConfig => ({
314
- types: {
315
- input: (type, name) =>
316
- ts.factory.createTypeReferenceNode(
317
- name ?? TypeFactory.getFullName(project.checker, type),
318
- ),
319
- output: (type, name) =>
320
- ts.factory.createTypeReferenceNode(
321
- `typia.Primitive<${
322
- name ?? TypeFactory.getFullName(project.checker, type)
323
- }>`,
324
- ),
325
- },
326
- functors: FUNCTORS,
327
- unioners: UNIONERS,
328
- trace: false,
329
- path: false,
330
- initializer,
331
- decoder: decode(project, importer),
332
- objector: OBJECTOR(project, importer),
333
- });
334
-
335
- const OBJECTOR = (
336
- project: IProject,
337
- importer: FunctionImporter,
338
- ): FeatureProgrammer.IConfig.IObjector => ({
339
- checker: IsProgrammer.decode(project, importer),
340
- decoder: decode_object(importer),
341
- joiner: CloneJoiner.object,
342
- unionizer: decode_union_object(IsProgrammer.decode_object(importer))(
343
- decode_object(importer),
344
- )((exp) => exp)((value, expected) =>
345
- create_throw_error(importer, value, expected),
346
- ),
347
- failure: (input, expected) =>
348
- create_throw_error(importer, input, expected),
349
- });
350
-
351
- const initializer: FeatureProgrammer.IConfig["initializer"] = (
352
- { checker },
353
- type,
354
- ) => {
355
- const collection = new MetadataCollection();
356
- const meta = MetadataFactory.generate(checker, collection, type, {
357
- resolve: true,
358
- constant: true,
359
- });
360
- return [collection, meta];
361
- };
362
-
363
- const create_throw_error = (
364
- importer: FunctionImporter,
365
- value: ts.Expression,
366
- expected: string,
367
- ) =>
368
- ts.factory.createExpressionStatement(
369
- ts.factory.createCallExpression(
370
- importer.use("throws"),
371
- [],
372
- [
373
- ts.factory.createObjectLiteralExpression(
374
- [
375
- ts.factory.createPropertyAssignment(
376
- "expected",
377
- ts.factory.createStringLiteral(expected),
378
- ),
379
- ts.factory.createPropertyAssignment("value", value),
380
- ],
381
- true,
382
- ),
383
- ],
384
- ),
385
- );
386
- }
1
+ import ts from "typescript";
2
+
3
+ import { ExpressionFactory } from "../factories/ExpressionFactory";
4
+ import { IdentifierFactory } from "../factories/IdentifierFactory";
5
+ import { MetadataCollection } from "../factories/MetadataCollection";
6
+ import { MetadataFactory } from "../factories/MetadataFactory";
7
+ import { TypeFactory } from "../factories/TypeFactory";
8
+
9
+ import { Metadata } from "../metadata/Metadata";
10
+
11
+ import { IProject } from "../transformers/IProject";
12
+
13
+ import { FeatureProgrammer } from "./FeatureProgrammer";
14
+ import { IsProgrammer } from "./IsProgrammer";
15
+ import { CloneJoiner } from "./helpers/CloneJoiner";
16
+ import { FunctionImporter } from "./helpers/FunctionImporeter";
17
+ import { UnionExplorer } from "./helpers/UnionExplorer";
18
+ import { decode_union_object } from "./internal/decode_union_object";
19
+
20
+ export namespace CloneProgrammer {
21
+ export function generate(
22
+ project: IProject,
23
+ modulo: ts.LeftHandSideExpression,
24
+ ) {
25
+ const importer: FunctionImporter = new FunctionImporter();
26
+ return FeatureProgrammer.generate(
27
+ project,
28
+ CONFIG(project, importer),
29
+ importer,
30
+ (collection) => {
31
+ const isFunctors = IsProgrammer.generate_functors(
32
+ project,
33
+ importer,
34
+ )(collection);
35
+ const isUnioners = IsProgrammer.generate_unioners(
36
+ project,
37
+ importer,
38
+ )(collection);
39
+
40
+ return [
41
+ ...importer.declare(modulo),
42
+ ...isFunctors.filter((_, i) =>
43
+ importer.hasLocal(`$io${i}`),
44
+ ),
45
+ ...isUnioners.filter((_, i) =>
46
+ importer.hasLocal(`$iu${i}`),
47
+ ),
48
+ ];
49
+ },
50
+ );
51
+ }
52
+
53
+ /* -----------------------------------------------------------
54
+ DECODERS
55
+ ----------------------------------------------------------- */
56
+ const decode =
57
+ (project: IProject, importer: FunctionImporter) =>
58
+ (
59
+ input: ts.Expression,
60
+ meta: Metadata,
61
+ explore: FeatureProgrammer.IExplore,
62
+ ): ts.Expression => {
63
+ // ANY TYPE
64
+ if (
65
+ meta.any ||
66
+ meta.arrays.some((a) => a.any) ||
67
+ meta.tuples.some((t) => t.every((e) => e.any))
68
+ )
69
+ return ts.factory.createCallExpression(
70
+ importer.use("any"),
71
+ undefined,
72
+ [input],
73
+ );
74
+
75
+ interface IUnion {
76
+ type: string;
77
+ is: () => ts.Expression;
78
+ value: () => ts.Expression;
79
+ }
80
+ const unions: IUnion[] = [];
81
+
82
+ //----
83
+ // LIST UP UNION TYPES
84
+ //----
85
+ // toJSON() METHOD
86
+ if (meta.resolved !== null)
87
+ unions.push({
88
+ type: "resolved",
89
+ is: () => IsProgrammer.decode_to_json(input, true),
90
+ value: () =>
91
+ decode_to_json(project, importer)(
92
+ input,
93
+ meta.resolved!,
94
+ explore,
95
+ ),
96
+ });
97
+
98
+ // TUPLES
99
+ for (const tuple of meta.tuples)
100
+ unions.push({
101
+ type: "tuple",
102
+ is: () =>
103
+ IsProgrammer.decode(project, importer)(
104
+ input,
105
+ (() => {
106
+ const partial = Metadata.initialize();
107
+ partial.tuples.push(tuple);
108
+ return partial;
109
+ })(),
110
+ explore,
111
+ [],
112
+ ),
113
+ value: () =>
114
+ decode_tuple(project, importer)(input, tuple, explore),
115
+ });
116
+
117
+ // ARRAYS
118
+ if (meta.arrays.length)
119
+ unions.push({
120
+ type: "array",
121
+ is: () => ExpressionFactory.isArray(input),
122
+ value: () =>
123
+ explore_arrays(project, importer)(
124
+ input,
125
+ meta.arrays,
126
+ {
127
+ ...explore,
128
+ from: "array",
129
+ },
130
+ [],
131
+ ),
132
+ });
133
+
134
+ // NATIVE TYPES
135
+ if (meta.sets.length)
136
+ unions.push({
137
+ type: "set",
138
+ is: () => ExpressionFactory.isInstanceOf(input, "Set"),
139
+ value: () => ts.factory.createIdentifier("{}"),
140
+ });
141
+ if (meta.maps.length)
142
+ unions.push({
143
+ type: "map",
144
+ is: () => ExpressionFactory.isInstanceOf(input, "Map"),
145
+ value: () => ts.factory.createIdentifier("{}"),
146
+ });
147
+ for (const native of meta.natives)
148
+ unions.push({
149
+ type: "native",
150
+ is: () => ExpressionFactory.isInstanceOf(input, native),
151
+ value: () =>
152
+ native === "Boolean" ||
153
+ native === "Number" ||
154
+ native === "String"
155
+ ? ts.factory.createCallExpression(
156
+ IdentifierFactory.join(input, "valueOf"),
157
+ undefined,
158
+ undefined,
159
+ )
160
+ : ts.factory.createIdentifier("{}"),
161
+ });
162
+
163
+ // OBJECTS
164
+ if (meta.objects.length)
165
+ unions.push({
166
+ type: "object",
167
+ is: () =>
168
+ ExpressionFactory.isObject(input, {
169
+ checkNull: true,
170
+ checkArray: false,
171
+ }),
172
+ value: () =>
173
+ explore_objects(importer)(input, meta, {
174
+ ...explore,
175
+ from: "object",
176
+ }),
177
+ });
178
+
179
+ // COMPOSITION
180
+ let last: ts.Expression = input;
181
+ for (const u of unions.reverse())
182
+ last = ts.factory.createConditionalExpression(
183
+ u.is(),
184
+ undefined,
185
+ u.value(),
186
+ undefined,
187
+ last,
188
+ );
189
+ return ts.factory.createAsExpression(
190
+ last,
191
+ TypeFactory.keyword("any"),
192
+ );
193
+ };
194
+
195
+ const decode_to_json =
196
+ (project: IProject, importer: FunctionImporter) =>
197
+ (
198
+ input: ts.Expression,
199
+ resolved: Metadata,
200
+ explore: FeatureProgrammer.IExplore,
201
+ ): ts.Expression => {
202
+ return decode(project, importer)(
203
+ ts.factory.createCallExpression(
204
+ IdentifierFactory.join(input, "toJSON"),
205
+ undefined,
206
+ [],
207
+ ),
208
+ resolved,
209
+ explore,
210
+ );
211
+ };
212
+
213
+ const decode_tuple =
214
+ (project: IProject, importer: FunctionImporter) =>
215
+ (
216
+ input: ts.Expression,
217
+ tuple: Metadata[],
218
+ explore: FeatureProgrammer.IExplore,
219
+ ): ts.Expression => {
220
+ const children: ts.Expression[] = tuple
221
+ .filter((m) => m.rest === null)
222
+ .map((elem, index) =>
223
+ decode(project, importer)(
224
+ ts.factory.createElementAccessExpression(input, index),
225
+ elem,
226
+ {
227
+ ...explore,
228
+ from: "array",
229
+ },
230
+ ),
231
+ );
232
+ const rest = (() => {
233
+ if (tuple.length === 0) return null;
234
+
235
+ const last: Metadata = tuple[tuple.length - 1]!;
236
+ const rest: Metadata | null = last.rest;
237
+ if (rest === null) return null;
238
+
239
+ return decode(project, importer)(
240
+ ts.factory.createCallExpression(
241
+ IdentifierFactory.join(input, "slice"),
242
+ undefined,
243
+ [ts.factory.createNumericLiteral(tuple.length - 1)],
244
+ ),
245
+ (() => {
246
+ const wrapper: Metadata = Metadata.initialize();
247
+ wrapper.arrays.push(rest);
248
+ return wrapper;
249
+ })(),
250
+ {
251
+ ...explore,
252
+ start: tuple.length - 1,
253
+ },
254
+ );
255
+ })();
256
+ return CloneJoiner.tuple(children, rest);
257
+ };
258
+
259
+ const decode_array = (project: IProject, importer: FunctionImporter) =>
260
+ FeatureProgrammer.decode_array(
261
+ CONFIG(project, importer),
262
+ importer,
263
+ CloneJoiner.array,
264
+ );
265
+
266
+ const decode_object = (importer: FunctionImporter) =>
267
+ FeatureProgrammer.decode_object({
268
+ trace: false,
269
+ path: false,
270
+ functors: FUNCTORS,
271
+ })(importer);
272
+
273
+ const explore_arrays = (project: IProject, importer: FunctionImporter) =>
274
+ UnionExplorer.array({
275
+ checker: IsProgrammer.decode(project, importer),
276
+ decoder: decode_array(project, importer),
277
+ empty: ts.factory.createReturnStatement(),
278
+ success: ts.factory.createTrue(),
279
+ failure: (input, expected) =>
280
+ create_throw_error(importer, input, expected),
281
+ });
282
+
283
+ const explore_objects =
284
+ (importer: FunctionImporter) =>
285
+ (
286
+ input: ts.Expression,
287
+ meta: Metadata,
288
+ explore: FeatureProgrammer.IExplore,
289
+ ) => {
290
+ if (meta.objects.length === 1)
291
+ return decode_object(importer)(
292
+ input,
293
+ meta.objects[0]!,
294
+ explore,
295
+ );
296
+
297
+ return ts.factory.createCallExpression(
298
+ ts.factory.createIdentifier(`${UNIONERS}${meta.union_index!}`),
299
+ undefined,
300
+ [input],
301
+ );
302
+ };
303
+
304
+ /* -----------------------------------------------------------
305
+ CONFIGURATIONS
306
+ ----------------------------------------------------------- */
307
+ const FUNCTORS = "$co";
308
+ const UNIONERS = "$cu";
309
+
310
+ const CONFIG = (
311
+ project: IProject,
312
+ importer: FunctionImporter,
313
+ ): FeatureProgrammer.IConfig => ({
314
+ types: {
315
+ input: (type, name) =>
316
+ ts.factory.createTypeReferenceNode(
317
+ name ?? TypeFactory.getFullName(project.checker, type),
318
+ ),
319
+ output: (type, name) =>
320
+ ts.factory.createTypeReferenceNode(
321
+ `typia.Primitive<${
322
+ name ?? TypeFactory.getFullName(project.checker, type)
323
+ }>`,
324
+ ),
325
+ },
326
+ functors: FUNCTORS,
327
+ unioners: UNIONERS,
328
+ trace: false,
329
+ path: false,
330
+ initializer,
331
+ decoder: decode(project, importer),
332
+ objector: OBJECTOR(project, importer),
333
+ });
334
+
335
+ const OBJECTOR = (
336
+ project: IProject,
337
+ importer: FunctionImporter,
338
+ ): FeatureProgrammer.IConfig.IObjector => ({
339
+ checker: IsProgrammer.decode(project, importer),
340
+ decoder: decode_object(importer),
341
+ joiner: CloneJoiner.object,
342
+ unionizer: decode_union_object(IsProgrammer.decode_object(importer))(
343
+ decode_object(importer),
344
+ )((exp) => exp)((value, expected) =>
345
+ create_throw_error(importer, value, expected),
346
+ ),
347
+ failure: (input, expected) =>
348
+ create_throw_error(importer, input, expected),
349
+ });
350
+
351
+ const initializer: FeatureProgrammer.IConfig["initializer"] = (
352
+ { checker },
353
+ type,
354
+ ) => {
355
+ const collection = new MetadataCollection();
356
+ const meta = MetadataFactory.generate(checker, collection, type, {
357
+ resolve: true,
358
+ constant: true,
359
+ });
360
+ return [collection, meta];
361
+ };
362
+
363
+ const create_throw_error = (
364
+ importer: FunctionImporter,
365
+ value: ts.Expression,
366
+ expected: string,
367
+ ) =>
368
+ ts.factory.createExpressionStatement(
369
+ ts.factory.createCallExpression(
370
+ importer.use("throws"),
371
+ [],
372
+ [
373
+ ts.factory.createObjectLiteralExpression(
374
+ [
375
+ ts.factory.createPropertyAssignment(
376
+ "expected",
377
+ ts.factory.createStringLiteral(expected),
378
+ ),
379
+ ts.factory.createPropertyAssignment("value", value),
380
+ ],
381
+ true,
382
+ ),
383
+ ],
384
+ ),
385
+ );
386
+ }