typia 3.6.2 → 3.6.4

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 (73) 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/functional/$is_uuid.js +1 -1
  5. package/lib/functional/$is_uuid.js.map +1 -1
  6. package/lib/module.d.ts +2 -2
  7. package/package.json +1 -1
  8. package/src/executable/setup/ArgumentParser.ts +91 -91
  9. package/src/executable/setup/FileRetriever.ts +33 -33
  10. package/src/executable/setup/PackageManager.ts +92 -92
  11. package/src/executable/setup/PluginConfigurator.ts +99 -99
  12. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -140
  13. package/src/functional/$is_uuid.ts +1 -2
  14. package/src/module.ts +1946 -1946
  15. package/src/programmers/AssertCloneProgrammer.ts +70 -70
  16. package/src/programmers/AssertParseProgrammer.ts +65 -65
  17. package/src/programmers/AssertProgrammer.ts +232 -232
  18. package/src/programmers/AssertPruneProgrammer.ts +67 -67
  19. package/src/programmers/AssertStringifyProgrammer.ts +71 -71
  20. package/src/programmers/CheckerProgrammer.ts +893 -893
  21. package/src/programmers/CloneProgrammer.ts +386 -386
  22. package/src/programmers/FeatureProgrammer.ts +505 -505
  23. package/src/programmers/IsCloneProgrammer.ts +80 -80
  24. package/src/programmers/IsParseProgrammer.ts +74 -74
  25. package/src/programmers/IsPruneProgrammer.ts +75 -75
  26. package/src/programmers/IsStringifyProgrammer.ts +81 -81
  27. package/src/programmers/PruneProgrammer.ts +341 -341
  28. package/src/programmers/RandomProgrammer.ts +391 -391
  29. package/src/programmers/StringifyProgrammer.ts +795 -795
  30. package/src/programmers/ValidateCloneProgrammer.ts +90 -90
  31. package/src/programmers/ValidateParseProgrammer.ts +69 -69
  32. package/src/programmers/ValidateProgrammer.ts +266 -266
  33. package/src/programmers/ValidatePruneProgrammer.ts +83 -83
  34. package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
  35. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  36. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  37. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  38. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  39. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  40. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  41. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  42. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  43. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  44. package/src/transformers/features/miscellaneous/CreateRandomGenerator.ts +42 -42
  45. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  46. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  47. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  48. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  49. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  50. package/src/transformers/features/miscellaneous/RandomTransformer.ts +48 -48
  51. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  52. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  53. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  54. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  55. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  56. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  57. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  58. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  59. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  60. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
  61. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  62. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  63. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
  64. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  65. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  66. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  67. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  68. package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
  69. package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
  70. package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
  71. package/src/transformers/features/validators/IsTransformer.ts +10 -10
  72. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  73. package/src/transformers/internal/GenericTransformer.ts +99 -99
@@ -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
+ }