typia 3.5.8 → 3.6.0-dev.20230225

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