typia 3.7.5-dev.20230413 → 3.7.6

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