typia 4.0.0 → 4.0.1-dev.20230604

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 (87) hide show
  1. package/lib/programmers/ApplicationProgrammer.js +1 -1
  2. package/lib/programmers/internal/application_array.js +19 -41
  3. package/lib/programmers/internal/application_array.js.map +1 -1
  4. package/lib/programmers/internal/application_definition.d.ts +1 -1
  5. package/lib/programmers/internal/application_definition.js +8 -8
  6. package/lib/programmers/internal/application_definition.js.map +1 -1
  7. package/lib/programmers/internal/application_native.js +3 -3
  8. package/lib/programmers/internal/application_object.js +4 -4
  9. package/lib/programmers/internal/application_schema.js +3 -3
  10. package/lib/programmers/internal/application_schema.js.map +1 -1
  11. package/lib/programmers/internal/application_tuple.js +8 -30
  12. package/lib/programmers/internal/application_tuple.js.map +1 -1
  13. package/lib/schemas/IJsonComponents.d.ts +1 -12
  14. package/lib/schemas/IJsonSchema.d.ts +1 -1
  15. package/package.json +1 -1
  16. package/src/IRandomGenerator.ts +34 -34
  17. package/src/factories/IdentifierFactory.ts +65 -65
  18. package/src/factories/MetadataCollection.ts +254 -254
  19. package/src/factories/MetadataFactory.ts +40 -40
  20. package/src/factories/MetadataTagFactory.ts +300 -300
  21. package/src/factories/internal/metadata/emplace_metadata_array.ts +34 -34
  22. package/src/factories/internal/metadata/emplace_metadata_definition.ts +35 -35
  23. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -142
  24. package/src/factories/internal/metadata/emplace_metadata_tuple.ts +50 -50
  25. package/src/factories/internal/metadata/explore_metadata.ts +66 -66
  26. package/src/factories/internal/metadata/iterate_metadata.ts +77 -77
  27. package/src/factories/internal/metadata/iterate_metadata_array.ts +25 -25
  28. package/src/factories/internal/metadata/iterate_metadata_collection.ts +130 -130
  29. package/src/factories/internal/metadata/iterate_metadata_definition.ts +30 -30
  30. package/src/factories/internal/metadata/iterate_metadata_object.ts +49 -49
  31. package/src/factories/internal/metadata/iterate_metadata_sort.ts +68 -68
  32. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +24 -24
  33. package/src/factories/internal/metadata/iterate_metadata_union.ts +68 -68
  34. package/src/metadata/IMetadata.ts +27 -27
  35. package/src/metadata/IMetadataAlias.ts +12 -12
  36. package/src/metadata/IMetadataApplication.ts +7 -7
  37. package/src/metadata/IMetadataArray.ts +10 -10
  38. package/src/metadata/IMetadataCollection.ts +11 -11
  39. package/src/metadata/IMetadataDictionary.ts +14 -14
  40. package/src/metadata/IMetadataObject.ts +18 -18
  41. package/src/metadata/IMetadataProperty.ts +11 -11
  42. package/src/metadata/IMetadataTuple.ts +10 -10
  43. package/src/metadata/Metadata.ts +585 -585
  44. package/src/metadata/MetadataAlias.ts +61 -61
  45. package/src/metadata/MetadataArray.ts +52 -52
  46. package/src/metadata/MetadataObject.ts +114 -114
  47. package/src/metadata/MetadataProperty.ts +64 -64
  48. package/src/metadata/MetadataTuple.ts +53 -53
  49. package/src/programmers/ApplicationProgrammer.ts +55 -55
  50. package/src/programmers/AssertProgrammer.ts +291 -291
  51. package/src/programmers/CheckerProgrammer.ts +1182 -1182
  52. package/src/programmers/CloneProgrammer.ts +595 -595
  53. package/src/programmers/FeatureProgrammer.ts +495 -495
  54. package/src/programmers/IsProgrammer.ts +250 -250
  55. package/src/programmers/LiteralsProgrammer.ts +66 -66
  56. package/src/programmers/PruneProgrammer.ts +550 -550
  57. package/src/programmers/RandomProgrammer.ts +589 -589
  58. package/src/programmers/StringifyProgrammer.ts +990 -990
  59. package/src/programmers/ValidateProgrammer.ts +313 -313
  60. package/src/programmers/helpers/FunctionImporeter.ts +78 -78
  61. package/src/programmers/helpers/RandomJoiner.ts +173 -173
  62. package/src/programmers/helpers/UnionExplorer.ts +301 -301
  63. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  64. package/src/programmers/helpers/disable_function_importer_declare.ts +26 -26
  65. package/src/programmers/internal/JSON_SCHEMA_PREFIX.ts +1 -1
  66. package/src/programmers/internal/application_array.ts +30 -64
  67. package/src/programmers/internal/application_boolean.ts +15 -15
  68. package/src/programmers/internal/application_constant.ts +26 -26
  69. package/src/programmers/internal/application_default.ts +17 -17
  70. package/src/programmers/internal/application_definition.ts +45 -45
  71. package/src/programmers/internal/application_native.ts +39 -39
  72. package/src/programmers/internal/application_number.ts +74 -74
  73. package/src/programmers/internal/application_object.ts +167 -167
  74. package/src/programmers/internal/application_schema.ts +156 -164
  75. package/src/programmers/internal/application_tuple.ts +47 -77
  76. package/src/programmers/internal/check_union_array_like.ts +329 -329
  77. package/src/programmers/internal/feature_object_entries.ts +63 -63
  78. package/src/programmers/internal/wrap_metadata_rest_tuple.ts +16 -16
  79. package/src/schemas/IJsonApplication.ts +8 -8
  80. package/src/schemas/IJsonComponents.ts +34 -45
  81. package/src/schemas/IJsonSchema.ts +134 -134
  82. package/src/transformers/CallExpressionTransformer.ts +179 -179
  83. package/src/transformers/FileTransformer.ts +47 -47
  84. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +104 -104
  85. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +53 -53
  86. package/src/utils/ArrayUtil.ts +45 -45
  87. package/src/utils/RandomGenerator.ts +81 -81
@@ -1,589 +1,589 @@
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 { StatementFactory } from "../factories/StatementFactory";
8
- import { TemplateFactory } from "../factories/TemplateFactory";
9
- import { TypeFactory } from "../factories/TypeFactory";
10
-
11
- import { ICommentTag } from "../metadata/ICommentTag";
12
- import { IMetadataTag } from "../metadata/IMetadataTag";
13
- import { Metadata } from "../metadata/Metadata";
14
- import { MetadataArray } from "../metadata/MetadataArray";
15
- import { MetadataObject } from "../metadata/MetadataObject";
16
- import { MetadataTuple } from "../metadata/MetadataTuple";
17
-
18
- import { IProject } from "../transformers/IProject";
19
-
20
- import { FunctionImporter } from "./helpers/FunctionImporeter";
21
- import { RandomJoiner } from "./helpers/RandomJoiner";
22
- import { RandomRanger } from "./helpers/RandomRanger";
23
- import { random_custom } from "./internal/random_custom";
24
-
25
- export namespace RandomProgrammer {
26
- /**
27
- * @deprecated Use `write()` function instead
28
- */
29
- export const generate =
30
- (
31
- project: IProject,
32
- modulo: ts.LeftHandSideExpression,
33
- init?: ts.Expression,
34
- ) =>
35
- (type: ts.Type, name?: string) =>
36
- write(project)(modulo)(init)(type, name);
37
-
38
- export const write =
39
- (project: IProject) =>
40
- (modulo: ts.LeftHandSideExpression) =>
41
- (init?: ts.Expression) => {
42
- const importer: FunctionImporter = new FunctionImporter();
43
- return (type: ts.Type, name?: string) => {
44
- // INITIALIZE METADATA
45
- const collection: MetadataCollection = new MetadataCollection();
46
- const meta: Metadata = MetadataFactory.analyze(project.checker)(
47
- {
48
- resolve: true,
49
- constant: true,
50
- absorb: true,
51
- },
52
- )(collection)(type);
53
-
54
- // GENERATE FUNCTION
55
- const functions = {
56
- objects: write_object_functions(importer)(collection),
57
- arrays: write_array_functions(importer)(collection),
58
- tuples: write_tuple_functions(importer)(collection),
59
- };
60
-
61
- const output: ts.Expression = decode(importer)({
62
- function: false,
63
- recursive: false,
64
- })(meta, [], []);
65
-
66
- return ts.factory.createArrowFunction(
67
- undefined,
68
- undefined,
69
- [
70
- IdentifierFactory.parameter(
71
- "generator",
72
- ts.factory.createTypeReferenceNode(
73
- "Partial<typia.IRandomGenerator>",
74
- ),
75
- init ??
76
- ts.factory.createToken(
77
- ts.SyntaxKind.QuestionToken,
78
- ),
79
- ),
80
- ],
81
- ts.factory.createTypeReferenceNode(
82
- `typia.Primitive<${
83
- name ??
84
- TypeFactory.getFullName(project.checker)(type)
85
- }>`,
86
- ),
87
- undefined,
88
- ts.factory.createBlock(
89
- [
90
- ...importer.declare(modulo),
91
- ...functions.objects,
92
- ...functions.arrays,
93
- ...functions.tuples,
94
- ts.factory.createReturnStatement(output),
95
- ],
96
- true,
97
- ),
98
- );
99
- };
100
- };
101
-
102
- const write_object_functions =
103
- (importer: FunctionImporter) =>
104
- (collection: MetadataCollection): ts.VariableStatement[] =>
105
- collection.objects().map((obj, i) =>
106
- StatementFactory.constant(
107
- PREFIX.object(i),
108
- ts.factory.createArrowFunction(
109
- undefined,
110
- undefined,
111
- [
112
- IdentifierFactory.parameter(
113
- "_recursive",
114
- TypeFactory.keyword("boolean"),
115
- ts.factory.createIdentifier(
116
- String(obj.recursive),
117
- ),
118
- ),
119
- IdentifierFactory.parameter(
120
- "_depth",
121
- TypeFactory.keyword("number"),
122
- ts.factory.createNumericLiteral(0),
123
- ),
124
- ],
125
- TypeFactory.keyword("any"),
126
- undefined,
127
- RandomJoiner.object(COALESCE(importer))(
128
- decode(importer)({
129
- recursive: obj.recursive,
130
- function: true,
131
- }),
132
- )(obj),
133
- ),
134
- ),
135
- );
136
-
137
- const write_array_functions =
138
- (importer: FunctionImporter) =>
139
- (collection: MetadataCollection): ts.VariableStatement[] =>
140
- collection
141
- .arrays()
142
- .filter((a) => a.recursive)
143
- .map((array, i) =>
144
- StatementFactory.constant(
145
- PREFIX.array(i),
146
- ts.factory.createArrowFunction(
147
- undefined,
148
- undefined,
149
- [
150
- IdentifierFactory.parameter(
151
- "length",
152
- TypeFactory.keyword("number"),
153
- ),
154
- IdentifierFactory.parameter(
155
- "_recursive",
156
- TypeFactory.keyword("boolean"),
157
- ts.factory.createTrue(),
158
- ),
159
- IdentifierFactory.parameter(
160
- "_depth",
161
- TypeFactory.keyword("number"),
162
- ts.factory.createNumericLiteral(0),
163
- ),
164
- ],
165
- TypeFactory.keyword("any"),
166
- undefined,
167
- RandomJoiner.array(COALESCE(importer))(
168
- decode(importer)({
169
- recursive: true,
170
- function: true,
171
- }),
172
- )({
173
- recursive: true,
174
- function: true,
175
- })(ts.factory.createIdentifier("length"))(
176
- array.value,
177
- [],
178
- [],
179
- ),
180
- ),
181
- ),
182
- );
183
-
184
- const write_tuple_functions =
185
- (importer: FunctionImporter) =>
186
- (collection: MetadataCollection): ts.VariableStatement[] =>
187
- collection
188
- .tuples()
189
- .filter((a) => a.recursive)
190
- .map((tuple, i) =>
191
- StatementFactory.constant(
192
- PREFIX.tuple(i),
193
- ts.factory.createArrowFunction(
194
- undefined,
195
- undefined,
196
- [
197
- IdentifierFactory.parameter(
198
- "_recursive",
199
- TypeFactory.keyword("boolean"),
200
- ts.factory.createTrue(),
201
- ),
202
- IdentifierFactory.parameter(
203
- "_depth",
204
- TypeFactory.keyword("number"),
205
- ts.factory.createNumericLiteral(0),
206
- ),
207
- ],
208
- TypeFactory.keyword("any"),
209
- undefined,
210
- RandomJoiner.tuple(
211
- decode(importer)({
212
- function: true,
213
- recursive: true,
214
- }),
215
- )(tuple.elements, [], []),
216
- ),
217
- ),
218
- );
219
-
220
- /* -----------------------------------------------------------
221
- DECODERS
222
- ----------------------------------------------------------- */
223
- const decode =
224
- (importer: FunctionImporter) =>
225
- (explore: IExplore) =>
226
- (
227
- meta: Metadata,
228
- tags: IMetadataTag[],
229
- comments: ICommentTag[],
230
- ): ts.Expression => {
231
- const expressions: ts.Expression[] = [];
232
- if (meta.any)
233
- expressions.push(
234
- ts.factory.createStringLiteral(
235
- "fucking any type exists...",
236
- ),
237
- );
238
-
239
- // NULL COALESCING
240
- if (meta.required === false)
241
- expressions.push(ts.factory.createIdentifier("undefined"));
242
- if (meta.nullable === true)
243
- expressions.push(ts.factory.createNull());
244
-
245
- // CONSTANT TYPES
246
- for (const constant of meta.constants)
247
- for (const value of constant.values)
248
- expressions.push(decode_atomic(value));
249
-
250
- // ATOMIC VARIABLES
251
- for (const template of meta.templates)
252
- expressions.push(decode_template(importer)(explore)(template));
253
- for (const atomic of meta.atomics)
254
- if (atomic === "boolean")
255
- expressions.push(decode_boolean(importer));
256
- else if (atomic === "number")
257
- expressions.push(decode_number(importer)(tags)(comments));
258
- else if (atomic === "string")
259
- expressions.push(decode_string(importer)(tags)(comments));
260
- else if (atomic === "bigint")
261
- expressions.push(decode_bigint(importer)(tags)(comments));
262
-
263
- // INSTANCE TYPES
264
- if (meta.resolved)
265
- expressions.push(
266
- decode(importer)(explore)(meta.resolved, tags, comments),
267
- );
268
- for (const array of meta.arrays)
269
- expressions.push(
270
- decode_array(importer)(explore)(array, tags, comments),
271
- );
272
- for (const tuple of meta.tuples)
273
- expressions.push(
274
- decode_tuple(importer)(explore)(tuple, tags, comments),
275
- );
276
- for (const o of meta.objects)
277
- expressions.push(decode_object(importer)(explore)(o));
278
- for (const native of meta.natives)
279
- if (native === "Boolean")
280
- expressions.push(decode_boolean(importer));
281
- else if (native === "Number")
282
- expressions.push(decode_number(importer)(tags)(comments));
283
- else if (native === "String")
284
- expressions.push(decode_string(importer)(tags)(comments));
285
- else expressions.push(ts.factory.createIdentifier("{}"));
286
- if (meta.sets.length || meta.maps.length)
287
- expressions.push(ts.factory.createIdentifier("{}"));
288
-
289
- // PRIMITIVE TYPES
290
- if (expressions.length === 1) return expressions[0]!;
291
- return ts.factory.createCallExpression(
292
- ts.factory.createCallExpression(
293
- importer.use("pick"),
294
- undefined,
295
- [
296
- ts.factory.createArrayLiteralExpression(
297
- expressions.map((expr) =>
298
- ts.factory.createArrowFunction(
299
- undefined,
300
- undefined,
301
- [],
302
- undefined,
303
- undefined,
304
- expr,
305
- ),
306
- ),
307
- true,
308
- ),
309
- ],
310
- ),
311
- undefined,
312
- undefined,
313
- );
314
- };
315
-
316
- const decode_boolean = (importer: FunctionImporter) =>
317
- ts.factory.createCallExpression(
318
- COALESCE(importer)("boolean"),
319
- undefined,
320
- undefined,
321
- );
322
-
323
- const decode_atomic = (value: Atomic) =>
324
- typeof value === "boolean"
325
- ? ts.factory.createIdentifier(value.toString())
326
- : typeof value === "number"
327
- ? ts.factory.createNumericLiteral(value)
328
- : typeof value === "string"
329
- ? ts.factory.createStringLiteral(value)
330
- : ts.factory.createBigIntLiteral(value.toString());
331
-
332
- const decode_template =
333
- (importer: FunctionImporter) =>
334
- (explore: IExplore) =>
335
- (template: Metadata[]) =>
336
- TemplateFactory.generate(
337
- template.map((meta) => decode(importer)(explore)(meta, [], [])),
338
- );
339
-
340
- const decode_number =
341
- (importer: FunctionImporter) =>
342
- (tags: IMetadataTag[]) =>
343
- (comments: ICommentTag[]): ts.Expression => {
344
- const type = tags.find(
345
- (t) => t.kind === "type" && t.value === "uint",
346
- )
347
- ? "int"
348
- : tags.find((t) => t.kind === "type" && t.value === "int")
349
- ? "uint"
350
- : "double";
351
- return random_custom(COALESCE(importer))("number")(comments)(
352
- RandomRanger.number({
353
- type,
354
- transform: (value) =>
355
- ts.factory.createNumericLiteral(value),
356
- setter: (args) =>
357
- ts.factory.createCallExpression(
358
- type === "double" &&
359
- tags.every(
360
- (t) =>
361
- t.kind !== "multipleOf" &&
362
- t.kind !== "step",
363
- )
364
- ? COALESCE(importer)("number")
365
- : COALESCE(importer)("integer"),
366
- undefined,
367
- args.map((val) =>
368
- ts.factory.createNumericLiteral(val),
369
- ),
370
- ),
371
- })({
372
- minimum: 0,
373
- maximum: 100,
374
- gap: 10,
375
- })(tags),
376
- );
377
- };
378
-
379
- const decode_bigint =
380
- (importer: FunctionImporter) =>
381
- (tags: IMetadataTag[]) =>
382
- (comments: ICommentTag[]): ts.Expression =>
383
- random_custom(COALESCE(importer))("bigint")(comments)(
384
- RandomRanger.number({
385
- type: tags.find(
386
- (t) => t.kind === "type" && t.value === "uint",
387
- )
388
- ? "uint"
389
- : "int",
390
- transform: (value) =>
391
- ts.factory.createCallExpression(
392
- ts.factory.createIdentifier("BigInt"),
393
- undefined,
394
- [ts.factory.createStringLiteral(value.toString())],
395
- ),
396
- setter: (args) =>
397
- ts.factory.createCallExpression(
398
- COALESCE(importer)("bigint"),
399
- undefined,
400
- args.map((value) =>
401
- ts.factory.createCallExpression(
402
- ts.factory.createIdentifier("BigInt"),
403
- undefined,
404
- [
405
- ts.factory.createStringLiteral(
406
- value.toString(),
407
- ),
408
- ],
409
- ),
410
- ),
411
- ),
412
- })({
413
- minimum: 0,
414
- maximum: 100,
415
- gap: 10,
416
- })(tags),
417
- );
418
-
419
- const decode_string =
420
- (importer: FunctionImporter) =>
421
- (tags: IMetadataTag[]) =>
422
- (comments: ICommentTag[]): ts.Expression =>
423
- random_custom(COALESCE(importer))("string")(comments)(
424
- (() => {
425
- for (const t of tags)
426
- if (t.kind === "format")
427
- return ts.factory.createCallExpression(
428
- COALESCE(importer)(t.value),
429
- undefined,
430
- undefined,
431
- );
432
- else if (t.kind === "pattern")
433
- return ts.factory.createCallExpression(
434
- COALESCE(importer)("pattern"),
435
- undefined,
436
- [ts.factory.createIdentifier(`/${t.value}/`)],
437
- );
438
-
439
- const tail = RandomRanger.length(COALESCE(importer))({
440
- minimum: 5,
441
- maximum: 25,
442
- gap: 5,
443
- })({
444
- fixed: "length",
445
- minimum: "minLength",
446
- maximum: "maxLength",
447
- })(tags);
448
- return ts.factory.createCallExpression(
449
- COALESCE(importer)("string"),
450
- undefined,
451
- tail ? [tail] : undefined,
452
- );
453
- })(),
454
- );
455
-
456
- const decode_array =
457
- (importer: FunctionImporter) =>
458
- (explore: IExplore) =>
459
- (
460
- array: MetadataArray,
461
- tags: IMetadataTag[],
462
- comments: ICommentTag[],
463
- ) => {
464
- const length: ts.Expression | undefined = RandomRanger.length(
465
- COALESCE(importer),
466
- )({
467
- minimum: 0,
468
- maximum: 3,
469
- gap: 3,
470
- })({
471
- fixed: "items",
472
- minimum: "minItems",
473
- maximum: "maxItems",
474
- })(tags);
475
- if (array.recursive)
476
- return ts.factory.createCallExpression(
477
- ts.factory.createIdentifier(
478
- importer.useLocal(PREFIX.array(array.index!)),
479
- ),
480
- undefined,
481
- [
482
- length ?? COALESCE(importer)("length"),
483
- ts.factory.createTrue(),
484
- explore.recursive
485
- ? ts.factory.createAdd(
486
- ts.factory.createNumericLiteral(1),
487
- ts.factory.createIdentifier("_depth"),
488
- )
489
- : ts.factory.createNumericLiteral(0),
490
- ],
491
- );
492
- const expr: ts.Expression = RandomJoiner.array(COALESCE(importer))(
493
- decode(importer)(explore),
494
- )(explore)(length)(array.value, tags, comments);
495
- return explore.recursive
496
- ? ts.factory.createConditionalExpression(
497
- ts.factory.createLogicalAnd(
498
- ts.factory.createIdentifier("_recursive"),
499
- ts.factory.createLessThan(
500
- ts.factory.createNumericLiteral(5),
501
- ts.factory.createIdentifier("_depth"),
502
- ),
503
- ),
504
- undefined,
505
- ts.factory.createIdentifier("[]"),
506
- undefined,
507
- expr,
508
- )
509
- : expr;
510
- };
511
-
512
- const decode_tuple =
513
- (importer: FunctionImporter) =>
514
- (explore: IExplore) =>
515
- (
516
- tuple: MetadataTuple,
517
- tags: IMetadataTag[],
518
- comments: ICommentTag[],
519
- ): ts.Expression =>
520
- tuple.recursive
521
- ? ts.factory.createCallExpression(
522
- ts.factory.createIdentifier(
523
- importer.useLocal(PREFIX.tuple(tuple.index!)),
524
- ),
525
- undefined,
526
- [
527
- ts.factory.createTrue(),
528
- explore.recursive
529
- ? ts.factory.createAdd(
530
- ts.factory.createNumericLiteral(1),
531
- ts.factory.createIdentifier("_depth"),
532
- )
533
- : ts.factory.createNumericLiteral(0),
534
- ],
535
- )
536
- : RandomJoiner.tuple(decode(importer)(explore))(
537
- tuple.elements,
538
- tags,
539
- comments,
540
- );
541
-
542
- const decode_object =
543
- (importer: FunctionImporter) =>
544
- (explore: IExplore) =>
545
- (object: MetadataObject) =>
546
- ts.factory.createCallExpression(
547
- ts.factory.createIdentifier(
548
- importer.useLocal(PREFIX.object(object.index)),
549
- ),
550
- undefined,
551
- explore.function
552
- ? [
553
- explore.recursive
554
- ? ts.factory.createTrue()
555
- : ts.factory.createIdentifier("_recursive"),
556
- ts.factory.createConditionalExpression(
557
- ts.factory.createIdentifier("_recursive"),
558
- undefined,
559
- ts.factory.createAdd(
560
- ts.factory.createNumericLiteral(1),
561
- ts.factory.createIdentifier("_depth"),
562
- ),
563
- undefined,
564
- ts.factory.createIdentifier("_depth"),
565
- ),
566
- ]
567
- : undefined,
568
- );
569
- }
570
-
571
- type Atomic = boolean | number | string | bigint;
572
- interface IExplore {
573
- function: boolean;
574
- recursive: boolean;
575
- }
576
-
577
- const PREFIX = {
578
- object: (i: number) => `$ro${i}`,
579
- array: (i: number) => `$ra${i}`,
580
- tuple: (i: number) => `$rt${i}`,
581
- };
582
- const COALESCE = (importer: FunctionImporter) => (name: string) =>
583
- ExpressionFactory.coalesce(
584
- ts.factory.createPropertyAccessChain(
585
- ts.factory.createIdentifier("generator"),
586
- ts.factory.createToken(ts.SyntaxKind.QuestionDotToken),
587
- ts.factory.createIdentifier(name),
588
- ),
589
- )(IdentifierFactory.access(importer.use("generator"))(name));
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 { StatementFactory } from "../factories/StatementFactory";
8
+ import { TemplateFactory } from "../factories/TemplateFactory";
9
+ import { TypeFactory } from "../factories/TypeFactory";
10
+
11
+ import { ICommentTag } from "../metadata/ICommentTag";
12
+ import { IMetadataTag } from "../metadata/IMetadataTag";
13
+ import { Metadata } from "../metadata/Metadata";
14
+ import { MetadataArray } from "../metadata/MetadataArray";
15
+ import { MetadataObject } from "../metadata/MetadataObject";
16
+ import { MetadataTuple } from "../metadata/MetadataTuple";
17
+
18
+ import { IProject } from "../transformers/IProject";
19
+
20
+ import { FunctionImporter } from "./helpers/FunctionImporeter";
21
+ import { RandomJoiner } from "./helpers/RandomJoiner";
22
+ import { RandomRanger } from "./helpers/RandomRanger";
23
+ import { random_custom } from "./internal/random_custom";
24
+
25
+ export namespace RandomProgrammer {
26
+ /**
27
+ * @deprecated Use `write()` function instead
28
+ */
29
+ export const generate =
30
+ (
31
+ project: IProject,
32
+ modulo: ts.LeftHandSideExpression,
33
+ init?: ts.Expression,
34
+ ) =>
35
+ (type: ts.Type, name?: string) =>
36
+ write(project)(modulo)(init)(type, name);
37
+
38
+ export const write =
39
+ (project: IProject) =>
40
+ (modulo: ts.LeftHandSideExpression) =>
41
+ (init?: ts.Expression) => {
42
+ const importer: FunctionImporter = new FunctionImporter();
43
+ return (type: ts.Type, name?: string) => {
44
+ // INITIALIZE METADATA
45
+ const collection: MetadataCollection = new MetadataCollection();
46
+ const meta: Metadata = MetadataFactory.analyze(project.checker)(
47
+ {
48
+ resolve: true,
49
+ constant: true,
50
+ absorb: true,
51
+ },
52
+ )(collection)(type);
53
+
54
+ // GENERATE FUNCTION
55
+ const functions = {
56
+ objects: write_object_functions(importer)(collection),
57
+ arrays: write_array_functions(importer)(collection),
58
+ tuples: write_tuple_functions(importer)(collection),
59
+ };
60
+
61
+ const output: ts.Expression = decode(importer)({
62
+ function: false,
63
+ recursive: false,
64
+ })(meta, [], []);
65
+
66
+ return ts.factory.createArrowFunction(
67
+ undefined,
68
+ undefined,
69
+ [
70
+ IdentifierFactory.parameter(
71
+ "generator",
72
+ ts.factory.createTypeReferenceNode(
73
+ "Partial<typia.IRandomGenerator>",
74
+ ),
75
+ init ??
76
+ ts.factory.createToken(
77
+ ts.SyntaxKind.QuestionToken,
78
+ ),
79
+ ),
80
+ ],
81
+ ts.factory.createTypeReferenceNode(
82
+ `typia.Primitive<${
83
+ name ??
84
+ TypeFactory.getFullName(project.checker)(type)
85
+ }>`,
86
+ ),
87
+ undefined,
88
+ ts.factory.createBlock(
89
+ [
90
+ ...importer.declare(modulo),
91
+ ...functions.objects,
92
+ ...functions.arrays,
93
+ ...functions.tuples,
94
+ ts.factory.createReturnStatement(output),
95
+ ],
96
+ true,
97
+ ),
98
+ );
99
+ };
100
+ };
101
+
102
+ const write_object_functions =
103
+ (importer: FunctionImporter) =>
104
+ (collection: MetadataCollection): ts.VariableStatement[] =>
105
+ collection.objects().map((obj, i) =>
106
+ StatementFactory.constant(
107
+ PREFIX.object(i),
108
+ ts.factory.createArrowFunction(
109
+ undefined,
110
+ undefined,
111
+ [
112
+ IdentifierFactory.parameter(
113
+ "_recursive",
114
+ TypeFactory.keyword("boolean"),
115
+ ts.factory.createIdentifier(
116
+ String(obj.recursive),
117
+ ),
118
+ ),
119
+ IdentifierFactory.parameter(
120
+ "_depth",
121
+ TypeFactory.keyword("number"),
122
+ ts.factory.createNumericLiteral(0),
123
+ ),
124
+ ],
125
+ TypeFactory.keyword("any"),
126
+ undefined,
127
+ RandomJoiner.object(COALESCE(importer))(
128
+ decode(importer)({
129
+ recursive: obj.recursive,
130
+ function: true,
131
+ }),
132
+ )(obj),
133
+ ),
134
+ ),
135
+ );
136
+
137
+ const write_array_functions =
138
+ (importer: FunctionImporter) =>
139
+ (collection: MetadataCollection): ts.VariableStatement[] =>
140
+ collection
141
+ .arrays()
142
+ .filter((a) => a.recursive)
143
+ .map((array, i) =>
144
+ StatementFactory.constant(
145
+ PREFIX.array(i),
146
+ ts.factory.createArrowFunction(
147
+ undefined,
148
+ undefined,
149
+ [
150
+ IdentifierFactory.parameter(
151
+ "length",
152
+ TypeFactory.keyword("number"),
153
+ ),
154
+ IdentifierFactory.parameter(
155
+ "_recursive",
156
+ TypeFactory.keyword("boolean"),
157
+ ts.factory.createTrue(),
158
+ ),
159
+ IdentifierFactory.parameter(
160
+ "_depth",
161
+ TypeFactory.keyword("number"),
162
+ ts.factory.createNumericLiteral(0),
163
+ ),
164
+ ],
165
+ TypeFactory.keyword("any"),
166
+ undefined,
167
+ RandomJoiner.array(COALESCE(importer))(
168
+ decode(importer)({
169
+ recursive: true,
170
+ function: true,
171
+ }),
172
+ )({
173
+ recursive: true,
174
+ function: true,
175
+ })(ts.factory.createIdentifier("length"))(
176
+ array.value,
177
+ [],
178
+ [],
179
+ ),
180
+ ),
181
+ ),
182
+ );
183
+
184
+ const write_tuple_functions =
185
+ (importer: FunctionImporter) =>
186
+ (collection: MetadataCollection): ts.VariableStatement[] =>
187
+ collection
188
+ .tuples()
189
+ .filter((a) => a.recursive)
190
+ .map((tuple, i) =>
191
+ StatementFactory.constant(
192
+ PREFIX.tuple(i),
193
+ ts.factory.createArrowFunction(
194
+ undefined,
195
+ undefined,
196
+ [
197
+ IdentifierFactory.parameter(
198
+ "_recursive",
199
+ TypeFactory.keyword("boolean"),
200
+ ts.factory.createTrue(),
201
+ ),
202
+ IdentifierFactory.parameter(
203
+ "_depth",
204
+ TypeFactory.keyword("number"),
205
+ ts.factory.createNumericLiteral(0),
206
+ ),
207
+ ],
208
+ TypeFactory.keyword("any"),
209
+ undefined,
210
+ RandomJoiner.tuple(
211
+ decode(importer)({
212
+ function: true,
213
+ recursive: true,
214
+ }),
215
+ )(tuple.elements, [], []),
216
+ ),
217
+ ),
218
+ );
219
+
220
+ /* -----------------------------------------------------------
221
+ DECODERS
222
+ ----------------------------------------------------------- */
223
+ const decode =
224
+ (importer: FunctionImporter) =>
225
+ (explore: IExplore) =>
226
+ (
227
+ meta: Metadata,
228
+ tags: IMetadataTag[],
229
+ comments: ICommentTag[],
230
+ ): ts.Expression => {
231
+ const expressions: ts.Expression[] = [];
232
+ if (meta.any)
233
+ expressions.push(
234
+ ts.factory.createStringLiteral(
235
+ "fucking any type exists...",
236
+ ),
237
+ );
238
+
239
+ // NULL COALESCING
240
+ if (meta.required === false)
241
+ expressions.push(ts.factory.createIdentifier("undefined"));
242
+ if (meta.nullable === true)
243
+ expressions.push(ts.factory.createNull());
244
+
245
+ // CONSTANT TYPES
246
+ for (const constant of meta.constants)
247
+ for (const value of constant.values)
248
+ expressions.push(decode_atomic(value));
249
+
250
+ // ATOMIC VARIABLES
251
+ for (const template of meta.templates)
252
+ expressions.push(decode_template(importer)(explore)(template));
253
+ for (const atomic of meta.atomics)
254
+ if (atomic === "boolean")
255
+ expressions.push(decode_boolean(importer));
256
+ else if (atomic === "number")
257
+ expressions.push(decode_number(importer)(tags)(comments));
258
+ else if (atomic === "string")
259
+ expressions.push(decode_string(importer)(tags)(comments));
260
+ else if (atomic === "bigint")
261
+ expressions.push(decode_bigint(importer)(tags)(comments));
262
+
263
+ // INSTANCE TYPES
264
+ if (meta.resolved)
265
+ expressions.push(
266
+ decode(importer)(explore)(meta.resolved, tags, comments),
267
+ );
268
+ for (const array of meta.arrays)
269
+ expressions.push(
270
+ decode_array(importer)(explore)(array, tags, comments),
271
+ );
272
+ for (const tuple of meta.tuples)
273
+ expressions.push(
274
+ decode_tuple(importer)(explore)(tuple, tags, comments),
275
+ );
276
+ for (const o of meta.objects)
277
+ expressions.push(decode_object(importer)(explore)(o));
278
+ for (const native of meta.natives)
279
+ if (native === "Boolean")
280
+ expressions.push(decode_boolean(importer));
281
+ else if (native === "Number")
282
+ expressions.push(decode_number(importer)(tags)(comments));
283
+ else if (native === "String")
284
+ expressions.push(decode_string(importer)(tags)(comments));
285
+ else expressions.push(ts.factory.createIdentifier("{}"));
286
+ if (meta.sets.length || meta.maps.length)
287
+ expressions.push(ts.factory.createIdentifier("{}"));
288
+
289
+ // PRIMITIVE TYPES
290
+ if (expressions.length === 1) return expressions[0]!;
291
+ return ts.factory.createCallExpression(
292
+ ts.factory.createCallExpression(
293
+ importer.use("pick"),
294
+ undefined,
295
+ [
296
+ ts.factory.createArrayLiteralExpression(
297
+ expressions.map((expr) =>
298
+ ts.factory.createArrowFunction(
299
+ undefined,
300
+ undefined,
301
+ [],
302
+ undefined,
303
+ undefined,
304
+ expr,
305
+ ),
306
+ ),
307
+ true,
308
+ ),
309
+ ],
310
+ ),
311
+ undefined,
312
+ undefined,
313
+ );
314
+ };
315
+
316
+ const decode_boolean = (importer: FunctionImporter) =>
317
+ ts.factory.createCallExpression(
318
+ COALESCE(importer)("boolean"),
319
+ undefined,
320
+ undefined,
321
+ );
322
+
323
+ const decode_atomic = (value: Atomic) =>
324
+ typeof value === "boolean"
325
+ ? ts.factory.createIdentifier(value.toString())
326
+ : typeof value === "number"
327
+ ? ts.factory.createNumericLiteral(value)
328
+ : typeof value === "string"
329
+ ? ts.factory.createStringLiteral(value)
330
+ : ts.factory.createBigIntLiteral(value.toString());
331
+
332
+ const decode_template =
333
+ (importer: FunctionImporter) =>
334
+ (explore: IExplore) =>
335
+ (template: Metadata[]) =>
336
+ TemplateFactory.generate(
337
+ template.map((meta) => decode(importer)(explore)(meta, [], [])),
338
+ );
339
+
340
+ const decode_number =
341
+ (importer: FunctionImporter) =>
342
+ (tags: IMetadataTag[]) =>
343
+ (comments: ICommentTag[]): ts.Expression => {
344
+ const type = tags.find(
345
+ (t) => t.kind === "type" && t.value === "uint",
346
+ )
347
+ ? "int"
348
+ : tags.find((t) => t.kind === "type" && t.value === "int")
349
+ ? "uint"
350
+ : "double";
351
+ return random_custom(COALESCE(importer))("number")(comments)(
352
+ RandomRanger.number({
353
+ type,
354
+ transform: (value) =>
355
+ ts.factory.createNumericLiteral(value),
356
+ setter: (args) =>
357
+ ts.factory.createCallExpression(
358
+ type === "double" &&
359
+ tags.every(
360
+ (t) =>
361
+ t.kind !== "multipleOf" &&
362
+ t.kind !== "step",
363
+ )
364
+ ? COALESCE(importer)("number")
365
+ : COALESCE(importer)("integer"),
366
+ undefined,
367
+ args.map((val) =>
368
+ ts.factory.createNumericLiteral(val),
369
+ ),
370
+ ),
371
+ })({
372
+ minimum: 0,
373
+ maximum: 100,
374
+ gap: 10,
375
+ })(tags),
376
+ );
377
+ };
378
+
379
+ const decode_bigint =
380
+ (importer: FunctionImporter) =>
381
+ (tags: IMetadataTag[]) =>
382
+ (comments: ICommentTag[]): ts.Expression =>
383
+ random_custom(COALESCE(importer))("bigint")(comments)(
384
+ RandomRanger.number({
385
+ type: tags.find(
386
+ (t) => t.kind === "type" && t.value === "uint",
387
+ )
388
+ ? "uint"
389
+ : "int",
390
+ transform: (value) =>
391
+ ts.factory.createCallExpression(
392
+ ts.factory.createIdentifier("BigInt"),
393
+ undefined,
394
+ [ts.factory.createStringLiteral(value.toString())],
395
+ ),
396
+ setter: (args) =>
397
+ ts.factory.createCallExpression(
398
+ COALESCE(importer)("bigint"),
399
+ undefined,
400
+ args.map((value) =>
401
+ ts.factory.createCallExpression(
402
+ ts.factory.createIdentifier("BigInt"),
403
+ undefined,
404
+ [
405
+ ts.factory.createStringLiteral(
406
+ value.toString(),
407
+ ),
408
+ ],
409
+ ),
410
+ ),
411
+ ),
412
+ })({
413
+ minimum: 0,
414
+ maximum: 100,
415
+ gap: 10,
416
+ })(tags),
417
+ );
418
+
419
+ const decode_string =
420
+ (importer: FunctionImporter) =>
421
+ (tags: IMetadataTag[]) =>
422
+ (comments: ICommentTag[]): ts.Expression =>
423
+ random_custom(COALESCE(importer))("string")(comments)(
424
+ (() => {
425
+ for (const t of tags)
426
+ if (t.kind === "format")
427
+ return ts.factory.createCallExpression(
428
+ COALESCE(importer)(t.value),
429
+ undefined,
430
+ undefined,
431
+ );
432
+ else if (t.kind === "pattern")
433
+ return ts.factory.createCallExpression(
434
+ COALESCE(importer)("pattern"),
435
+ undefined,
436
+ [ts.factory.createIdentifier(`/${t.value}/`)],
437
+ );
438
+
439
+ const tail = RandomRanger.length(COALESCE(importer))({
440
+ minimum: 5,
441
+ maximum: 25,
442
+ gap: 5,
443
+ })({
444
+ fixed: "length",
445
+ minimum: "minLength",
446
+ maximum: "maxLength",
447
+ })(tags);
448
+ return ts.factory.createCallExpression(
449
+ COALESCE(importer)("string"),
450
+ undefined,
451
+ tail ? [tail] : undefined,
452
+ );
453
+ })(),
454
+ );
455
+
456
+ const decode_array =
457
+ (importer: FunctionImporter) =>
458
+ (explore: IExplore) =>
459
+ (
460
+ array: MetadataArray,
461
+ tags: IMetadataTag[],
462
+ comments: ICommentTag[],
463
+ ) => {
464
+ const length: ts.Expression | undefined = RandomRanger.length(
465
+ COALESCE(importer),
466
+ )({
467
+ minimum: 0,
468
+ maximum: 3,
469
+ gap: 3,
470
+ })({
471
+ fixed: "items",
472
+ minimum: "minItems",
473
+ maximum: "maxItems",
474
+ })(tags);
475
+ if (array.recursive)
476
+ return ts.factory.createCallExpression(
477
+ ts.factory.createIdentifier(
478
+ importer.useLocal(PREFIX.array(array.index!)),
479
+ ),
480
+ undefined,
481
+ [
482
+ length ?? COALESCE(importer)("length"),
483
+ ts.factory.createTrue(),
484
+ explore.recursive
485
+ ? ts.factory.createAdd(
486
+ ts.factory.createNumericLiteral(1),
487
+ ts.factory.createIdentifier("_depth"),
488
+ )
489
+ : ts.factory.createNumericLiteral(0),
490
+ ],
491
+ );
492
+ const expr: ts.Expression = RandomJoiner.array(COALESCE(importer))(
493
+ decode(importer)(explore),
494
+ )(explore)(length)(array.value, tags, comments);
495
+ return explore.recursive
496
+ ? ts.factory.createConditionalExpression(
497
+ ts.factory.createLogicalAnd(
498
+ ts.factory.createIdentifier("_recursive"),
499
+ ts.factory.createLessThan(
500
+ ts.factory.createNumericLiteral(5),
501
+ ts.factory.createIdentifier("_depth"),
502
+ ),
503
+ ),
504
+ undefined,
505
+ ts.factory.createIdentifier("[]"),
506
+ undefined,
507
+ expr,
508
+ )
509
+ : expr;
510
+ };
511
+
512
+ const decode_tuple =
513
+ (importer: FunctionImporter) =>
514
+ (explore: IExplore) =>
515
+ (
516
+ tuple: MetadataTuple,
517
+ tags: IMetadataTag[],
518
+ comments: ICommentTag[],
519
+ ): ts.Expression =>
520
+ tuple.recursive
521
+ ? ts.factory.createCallExpression(
522
+ ts.factory.createIdentifier(
523
+ importer.useLocal(PREFIX.tuple(tuple.index!)),
524
+ ),
525
+ undefined,
526
+ [
527
+ ts.factory.createTrue(),
528
+ explore.recursive
529
+ ? ts.factory.createAdd(
530
+ ts.factory.createNumericLiteral(1),
531
+ ts.factory.createIdentifier("_depth"),
532
+ )
533
+ : ts.factory.createNumericLiteral(0),
534
+ ],
535
+ )
536
+ : RandomJoiner.tuple(decode(importer)(explore))(
537
+ tuple.elements,
538
+ tags,
539
+ comments,
540
+ );
541
+
542
+ const decode_object =
543
+ (importer: FunctionImporter) =>
544
+ (explore: IExplore) =>
545
+ (object: MetadataObject) =>
546
+ ts.factory.createCallExpression(
547
+ ts.factory.createIdentifier(
548
+ importer.useLocal(PREFIX.object(object.index)),
549
+ ),
550
+ undefined,
551
+ explore.function
552
+ ? [
553
+ explore.recursive
554
+ ? ts.factory.createTrue()
555
+ : ts.factory.createIdentifier("_recursive"),
556
+ ts.factory.createConditionalExpression(
557
+ ts.factory.createIdentifier("_recursive"),
558
+ undefined,
559
+ ts.factory.createAdd(
560
+ ts.factory.createNumericLiteral(1),
561
+ ts.factory.createIdentifier("_depth"),
562
+ ),
563
+ undefined,
564
+ ts.factory.createIdentifier("_depth"),
565
+ ),
566
+ ]
567
+ : undefined,
568
+ );
569
+ }
570
+
571
+ type Atomic = boolean | number | string | bigint;
572
+ interface IExplore {
573
+ function: boolean;
574
+ recursive: boolean;
575
+ }
576
+
577
+ const PREFIX = {
578
+ object: (i: number) => `$ro${i}`,
579
+ array: (i: number) => `$ra${i}`,
580
+ tuple: (i: number) => `$rt${i}`,
581
+ };
582
+ const COALESCE = (importer: FunctionImporter) => (name: string) =>
583
+ ExpressionFactory.coalesce(
584
+ ts.factory.createPropertyAccessChain(
585
+ ts.factory.createIdentifier("generator"),
586
+ ts.factory.createToken(ts.SyntaxKind.QuestionDotToken),
587
+ ts.factory.createIdentifier(name),
588
+ ),
589
+ )(IdentifierFactory.access(importer.use("generator"))(name));