typia 3.6.10 → 3.7.0-dev.20230331

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 (260) hide show
  1. package/lib/factories/MetadataTagFactory.js +140 -132
  2. package/lib/factories/MetadataTagFactory.js.map +1 -1
  3. package/lib/functional/$dictionary.d.ts +1 -0
  4. package/lib/functional/$dictionary.js +14 -0
  5. package/lib/functional/$dictionary.js.map +1 -0
  6. package/lib/functional/$is_custom.d.ts +2 -0
  7. package/lib/functional/$is_custom.js +12 -0
  8. package/lib/functional/$is_custom.js.map +1 -0
  9. package/lib/functional/Namespace.js +2 -0
  10. package/lib/functional/Namespace.js.map +1 -1
  11. package/lib/module.d.ts +25 -0
  12. package/lib/module.js +12 -1
  13. package/lib/module.js.map +1 -1
  14. package/lib/programmers/CheckerProgrammer.d.ts +2 -2
  15. package/lib/programmers/CheckerProgrammer.js +22 -22
  16. package/lib/programmers/CheckerProgrammer.js.map +1 -1
  17. package/lib/programmers/CloneProgrammer.js +2 -2
  18. package/lib/programmers/CloneProgrammer.js.map +1 -1
  19. package/lib/programmers/FeatureProgrammer.d.ts +3 -2
  20. package/lib/programmers/FeatureProgrammer.js +5 -5
  21. package/lib/programmers/FeatureProgrammer.js.map +1 -1
  22. package/lib/programmers/IsProgrammer.d.ts +1 -1
  23. package/lib/programmers/IsProgrammer.js +2 -2
  24. package/lib/programmers/IsProgrammer.js.map +1 -1
  25. package/lib/programmers/PruneProgrammer.js +2 -2
  26. package/lib/programmers/PruneProgrammer.js.map +1 -1
  27. package/lib/programmers/StringifyProgrammer.js +6 -6
  28. package/lib/programmers/StringifyProgrammer.js.map +1 -1
  29. package/lib/programmers/helpers/UnionExplorer.d.ts +7 -7
  30. package/lib/programmers/helpers/UnionExplorer.js +6 -6
  31. package/lib/programmers/helpers/UnionExplorer.js.map +1 -1
  32. package/lib/programmers/internal/check_array.js +36 -7
  33. package/lib/programmers/internal/check_array.js.map +1 -1
  34. package/lib/programmers/internal/check_bigint.d.ts +3 -1
  35. package/lib/programmers/internal/check_bigint.js +90 -61
  36. package/lib/programmers/internal/check_bigint.js.map +1 -1
  37. package/lib/programmers/internal/check_custom.d.ts +4 -0
  38. package/lib/programmers/internal/check_custom.js +30 -0
  39. package/lib/programmers/internal/check_custom.js.map +1 -0
  40. package/lib/programmers/internal/check_number.js +104 -75
  41. package/lib/programmers/internal/check_number.js.map +1 -1
  42. package/lib/programmers/internal/check_string.js +4 -3
  43. package/lib/programmers/internal/check_string.js.map +1 -1
  44. package/lib/programmers/internal/check_union_array_like.d.ts +2 -2
  45. package/lib/programmers/internal/check_union_array_like.js +4 -4
  46. package/lib/programmers/internal/check_union_array_like.js.map +1 -1
  47. package/lib/programmers/internal/check_union_tuple.js +2 -2
  48. package/lib/programmers/internal/check_union_tuple.js.map +1 -1
  49. package/lib/programmers/internal/feature_object_entries.js +1 -1
  50. package/lib/programmers/internal/feature_object_entries.js.map +1 -1
  51. package/lib/typings/Customizable.d.ts +7 -0
  52. package/lib/typings/Customizable.js +3 -0
  53. package/lib/typings/Customizable.js.map +1 -0
  54. package/package.json +1 -1
  55. package/src/IRandomGenerator.ts +17 -17
  56. package/src/IValidation.ts +21 -21
  57. package/src/Primitive.ts +104 -104
  58. package/src/TypeGuardError.ts +36 -36
  59. package/src/executable/TypiaGenerateWizard.ts +87 -87
  60. package/src/executable/TypiaSetupWizard.ts +152 -152
  61. package/src/executable/setup/ArgumentParser.ts +91 -91
  62. package/src/executable/setup/CommandExecutor.ts +8 -8
  63. package/src/executable/setup/FileRetriever.ts +33 -33
  64. package/src/executable/setup/PackageManager.ts +92 -92
  65. package/src/executable/setup/PluginConfigurator.ts +99 -99
  66. package/src/executable/typia.ts +38 -38
  67. package/src/factories/CommentFactory.ts +10 -10
  68. package/src/factories/ExpressionFactory.ts +77 -77
  69. package/src/factories/IdentifierFactory.ts +73 -73
  70. package/src/factories/LiteralFactory.ts +44 -44
  71. package/src/factories/MetadataCollection.ts +122 -122
  72. package/src/factories/MetadataFactory.ts +51 -51
  73. package/src/factories/MetadataTagFactory.ts +302 -276
  74. package/src/factories/StatementFactory.ts +60 -60
  75. package/src/factories/TemplateFactory.ts +56 -56
  76. package/src/factories/TypeFactory.ts +129 -129
  77. package/src/factories/TypiaFileFactory.ts +120 -120
  78. package/src/factories/ValueFactory.ts +12 -12
  79. package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
  80. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -142
  81. package/src/factories/internal/metadata/explore_metadata.ts +92 -92
  82. package/src/factories/internal/metadata/iterate_metadata.ts +80 -80
  83. package/src/factories/internal/metadata/iterate_metadata_array.ts +29 -29
  84. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
  85. package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
  86. package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
  87. package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
  88. package/src/factories/internal/metadata/iterate_metadata_native.ts +222 -222
  89. package/src/factories/internal/metadata/iterate_metadata_object.ts +48 -48
  90. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +27 -27
  91. package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
  92. package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
  93. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +45 -45
  94. package/src/factories/internal/metadata/iterate_metadata_union.ts +59 -59
  95. package/src/functional/$any.ts +3 -3
  96. package/src/functional/$dictionary.ts +17 -0
  97. package/src/functional/$every.ts +11 -11
  98. package/src/functional/$guard.ts +35 -35
  99. package/src/functional/$is_between.ts +7 -7
  100. package/src/functional/$is_custom.ts +14 -0
  101. package/src/functional/$is_date.ts +4 -4
  102. package/src/functional/$is_datetime.ts +3 -3
  103. package/src/functional/$is_email.ts +5 -5
  104. package/src/functional/$is_ipv4.ts +5 -5
  105. package/src/functional/$is_ipv6.ts +5 -5
  106. package/src/functional/$is_url.ts +5 -5
  107. package/src/functional/$is_uuid.ts +5 -5
  108. package/src/functional/$join.ts +50 -50
  109. package/src/functional/$number.ts +12 -12
  110. package/src/functional/$report.ts +15 -15
  111. package/src/functional/$rest.ts +3 -3
  112. package/src/functional/$string.ts +37 -37
  113. package/src/functional/$tail.ts +6 -6
  114. package/src/functional/Namespace.ts +127 -125
  115. package/src/index.ts +4 -4
  116. package/src/metadata/IJsDocTagInfo.ts +10 -10
  117. package/src/metadata/IMetadata.ts +25 -25
  118. package/src/metadata/IMetadataApplication.ts +7 -7
  119. package/src/metadata/IMetadataConstant.ts +16 -16
  120. package/src/metadata/IMetadataEntry.ts +6 -6
  121. package/src/metadata/IMetadataObject.ts +29 -29
  122. package/src/metadata/IMetadataProperty.ts +11 -11
  123. package/src/metadata/IMetadataTag.ts +105 -105
  124. package/src/metadata/Metadata.ts +534 -534
  125. package/src/metadata/MetadataConstant.ts +3 -3
  126. package/src/metadata/MetadataObject.ts +131 -131
  127. package/src/metadata/MetadataProperty.ts +64 -64
  128. package/src/module.ts +1986 -1946
  129. package/src/programmers/ApplicationProgrammer.ts +55 -55
  130. package/src/programmers/AssertCloneProgrammer.ts +70 -70
  131. package/src/programmers/AssertParseProgrammer.ts +65 -65
  132. package/src/programmers/AssertProgrammer.ts +232 -232
  133. package/src/programmers/AssertPruneProgrammer.ts +67 -67
  134. package/src/programmers/AssertStringifyProgrammer.ts +71 -71
  135. package/src/programmers/CheckerProgrammer.ts +923 -893
  136. package/src/programmers/CloneProgrammer.ts +388 -386
  137. package/src/programmers/FeatureProgrammer.ts +512 -505
  138. package/src/programmers/IsCloneProgrammer.ts +80 -80
  139. package/src/programmers/IsParseProgrammer.ts +74 -74
  140. package/src/programmers/IsProgrammer.ts +201 -200
  141. package/src/programmers/IsPruneProgrammer.ts +75 -75
  142. package/src/programmers/IsStringifyProgrammer.ts +81 -81
  143. package/src/programmers/PruneProgrammer.ts +343 -341
  144. package/src/programmers/RandomProgrammer.ts +388 -388
  145. package/src/programmers/StringifyProgrammer.ts +801 -795
  146. package/src/programmers/ValidateCloneProgrammer.ts +90 -90
  147. package/src/programmers/ValidateParseProgrammer.ts +69 -69
  148. package/src/programmers/ValidateProgrammer.ts +266 -266
  149. package/src/programmers/ValidatePruneProgrammer.ts +83 -83
  150. package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
  151. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  152. package/src/programmers/helpers/CloneJoiner.ts +134 -134
  153. package/src/programmers/helpers/FunctionImporeter.ts +55 -55
  154. package/src/programmers/helpers/IExpressionEntry.ts +12 -12
  155. package/src/programmers/helpers/OptionPredicator.ts +19 -19
  156. package/src/programmers/helpers/PruneJoiner.ts +52 -52
  157. package/src/programmers/helpers/RandomJoiner.ts +149 -149
  158. package/src/programmers/helpers/RandomRanger.ts +216 -216
  159. package/src/programmers/helpers/StringifyJoinder.ts +114 -114
  160. package/src/programmers/helpers/StringifyPredicator.ts +18 -18
  161. package/src/programmers/helpers/UnionExplorer.ts +281 -274
  162. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  163. package/src/programmers/internal/application_array.ts +37 -37
  164. package/src/programmers/internal/application_boolean.ts +17 -17
  165. package/src/programmers/internal/application_constant.ts +29 -29
  166. package/src/programmers/internal/application_default.ts +17 -17
  167. package/src/programmers/internal/application_default_string.ts +32 -32
  168. package/src/programmers/internal/application_native.ts +29 -29
  169. package/src/programmers/internal/application_number.ts +73 -73
  170. package/src/programmers/internal/application_object.ts +153 -153
  171. package/src/programmers/internal/application_schema.ts +184 -184
  172. package/src/programmers/internal/application_string.ts +45 -45
  173. package/src/programmers/internal/application_templates.ts +27 -27
  174. package/src/programmers/internal/application_tuple.ts +29 -29
  175. package/src/programmers/internal/check_array.ts +31 -22
  176. package/src/programmers/internal/check_array_length.ts +44 -44
  177. package/src/programmers/internal/check_bigint.ts +84 -64
  178. package/src/programmers/internal/check_custom.ts +32 -0
  179. package/src/programmers/internal/check_dynamic_properties.ts +197 -197
  180. package/src/programmers/internal/check_everything.ts +28 -28
  181. package/src/programmers/internal/check_native.ts +21 -21
  182. package/src/programmers/internal/check_number.ts +155 -145
  183. package/src/programmers/internal/check_object.ts +48 -48
  184. package/src/programmers/internal/check_string.ts +30 -24
  185. package/src/programmers/internal/check_string_tags.ts +63 -63
  186. package/src/programmers/internal/check_template.ts +50 -50
  187. package/src/programmers/internal/check_union_array_like.ts +265 -260
  188. package/src/programmers/internal/check_union_tuple.ts +35 -33
  189. package/src/programmers/internal/decode_union_object.ts +73 -73
  190. package/src/programmers/internal/feature_object_entries.ts +60 -59
  191. package/src/programmers/internal/metadata_to_pattern.ts +31 -31
  192. package/src/programmers/internal/prune_object_properties.ts +60 -60
  193. package/src/programmers/internal/stringify_dynamic_properties.ts +165 -165
  194. package/src/programmers/internal/stringify_native.ts +8 -8
  195. package/src/programmers/internal/stringify_regular_properties.ts +81 -81
  196. package/src/programmers/internal/template_to_pattern.ts +15 -15
  197. package/src/schemas/IJsonApplication.ts +9 -9
  198. package/src/schemas/IJsonComponents.ts +26 -26
  199. package/src/schemas/IJsonSchema.ts +121 -121
  200. package/src/transform.ts +21 -21
  201. package/src/transformers/CallExpressionTransformer.ts +172 -172
  202. package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
  203. package/src/transformers/FileTransformer.ts +49 -49
  204. package/src/transformers/IProject.ts +11 -11
  205. package/src/transformers/ITransformOptions.ts +62 -62
  206. package/src/transformers/ImportTransformer.ts +60 -60
  207. package/src/transformers/NodeTransformer.ts +19 -19
  208. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +120 -120
  209. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  210. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  211. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  212. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  213. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  214. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  215. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  216. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  217. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  218. package/src/transformers/features/miscellaneous/CreateRandomGenerator.ts +42 -42
  219. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  220. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  221. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  222. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  223. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +55 -55
  224. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  225. package/src/transformers/features/miscellaneous/RandomTransformer.ts +48 -48
  226. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  227. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  228. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  229. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  230. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  231. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  232. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  233. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  234. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  235. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
  236. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  237. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  238. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
  239. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  240. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  241. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  242. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  243. package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
  244. package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
  245. package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
  246. package/src/transformers/features/validators/IsTransformer.ts +10 -10
  247. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  248. package/src/transformers/internal/GenericTransformer.ts +99 -99
  249. package/src/typings/Atomic.ts +17 -17
  250. package/src/typings/ClassProperties.ts +5 -5
  251. package/src/typings/Customizable.ts +7 -0
  252. package/src/typings/OmitNever.ts +3 -3
  253. package/src/typings/SpecialFields.ts +3 -3
  254. package/src/typings/Writable.ts +11 -11
  255. package/src/utils/ArrayUtil.ts +49 -49
  256. package/src/utils/Escaper.ts +50 -50
  257. package/src/utils/MapUtil.ts +14 -14
  258. package/src/utils/PatternUtil.ts +30 -30
  259. package/src/utils/RandomGenerator.ts +96 -96
  260. package/src/utils/Singleton.ts +17 -17
@@ -1,386 +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
- 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
+ ),
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
+ }