typia 4.3.2-dev.20230821 → 4.3.3-dev.20230825

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 (241) hide show
  1. package/lib/factories/internal/metadata/iterate_metadata_intersection.js +2 -0
  2. package/lib/factories/internal/metadata/iterate_metadata_intersection.js.map +1 -1
  3. package/lib/programmers/helpers/CloneJoiner.js +10 -2
  4. package/lib/programmers/helpers/CloneJoiner.js.map +1 -1
  5. package/lib/programmers/internal/check_dynamic_properties.js +1 -1
  6. package/lib/programmers/internal/check_dynamic_properties.js.map +1 -1
  7. package/package.json +2 -2
  8. package/src/CustomValidatorMap.ts +126 -126
  9. package/src/IRandomGenerator.ts +34 -34
  10. package/src/IValidation.ts +21 -21
  11. package/src/Primitive.ts +131 -131
  12. package/src/TypeGuardError.ts +36 -36
  13. package/src/executable/TypiaGenerateWizard.ts +85 -85
  14. package/src/executable/TypiaSetupWizard.ts +153 -153
  15. package/src/executable/setup/ArgumentParser.ts +45 -45
  16. package/src/executable/setup/CommandExecutor.ts +8 -8
  17. package/src/executable/setup/FileRetriever.ts +22 -22
  18. package/src/executable/setup/PackageManager.ts +71 -71
  19. package/src/executable/setup/PluginConfigurator.ts +70 -70
  20. package/src/executable/typia.ts +52 -52
  21. package/src/factories/CommentFactory.ts +84 -84
  22. package/src/factories/ExpressionFactory.ts +77 -77
  23. package/src/factories/IdentifierFactory.ts +59 -59
  24. package/src/factories/LiteralFactory.ts +39 -39
  25. package/src/factories/MetadataCollection.ts +269 -269
  26. package/src/factories/MetadataFactory.ts +34 -34
  27. package/src/factories/MetadataTagFactory.ts +361 -361
  28. package/src/factories/StatementFactory.ts +24 -24
  29. package/src/factories/TemplateFactory.ts +58 -58
  30. package/src/factories/TypeFactory.ts +124 -124
  31. package/src/factories/ValueFactory.ts +12 -12
  32. package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
  33. package/src/factories/internal/metadata/emend_metadata_atomics.ts +33 -33
  34. package/src/factories/internal/metadata/emplace_metadata_alias.ts +40 -40
  35. package/src/factories/internal/metadata/emplace_metadata_array.ts +34 -34
  36. package/src/factories/internal/metadata/emplace_metadata_object.ts +136 -136
  37. package/src/factories/internal/metadata/emplace_metadata_tuple.ts +50 -50
  38. package/src/factories/internal/metadata/explore_metadata.ts +38 -38
  39. package/src/factories/internal/metadata/iterate_metadata.ts +81 -81
  40. package/src/factories/internal/metadata/iterate_metadata_alias.ts +30 -30
  41. package/src/factories/internal/metadata/iterate_metadata_array.ts +24 -24
  42. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
  43. package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
  44. package/src/factories/internal/metadata/iterate_metadata_collection.ts +133 -133
  45. package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
  46. package/src/factories/internal/metadata/iterate_metadata_intersection.ts +88 -84
  47. package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
  48. package/src/factories/internal/metadata/iterate_metadata_native.ts +219 -219
  49. package/src/factories/internal/metadata/iterate_metadata_object.ts +43 -43
  50. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +49 -49
  51. package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
  52. package/src/factories/internal/metadata/iterate_metadata_sort.ts +69 -69
  53. package/src/factories/internal/metadata/iterate_metadata_tag.ts +31 -31
  54. package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
  55. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +24 -24
  56. package/src/factories/internal/metadata/iterate_metadata_union.ts +24 -24
  57. package/src/functional/$any.ts +2 -2
  58. package/src/functional/$dictionary.ts +25 -25
  59. package/src/functional/$every.ts +11 -11
  60. package/src/functional/$guard.ts +35 -35
  61. package/src/functional/$is_between.ts +2 -2
  62. package/src/functional/$is_custom.ts +14 -14
  63. package/src/functional/$is_date.ts +3 -3
  64. package/src/functional/$is_datetime.ts +2 -2
  65. package/src/functional/$is_email.ts +4 -4
  66. package/src/functional/$is_ipv4.ts +4 -4
  67. package/src/functional/$is_ipv6.ts +4 -4
  68. package/src/functional/$is_url.ts +4 -4
  69. package/src/functional/$is_uuid.ts +4 -4
  70. package/src/functional/$join.ts +46 -46
  71. package/src/functional/$number.ts +12 -12
  72. package/src/functional/$report.ts +15 -15
  73. package/src/functional/$rest.ts +3 -3
  74. package/src/functional/$string.ts +50 -50
  75. package/src/functional/$tail.ts +5 -5
  76. package/src/functional/Namespace.ts +127 -127
  77. package/src/index.ts +4 -4
  78. package/src/metadata/ICommentTag.ts +4 -4
  79. package/src/metadata/IJsDocTagInfo.ts +10 -10
  80. package/src/metadata/IMetadata.ts +28 -28
  81. package/src/metadata/IMetadataAlias.ts +14 -14
  82. package/src/metadata/IMetadataApplication.ts +7 -7
  83. package/src/metadata/IMetadataArray.ts +10 -10
  84. package/src/metadata/IMetadataCollection.ts +11 -11
  85. package/src/metadata/IMetadataConstant.ts +16 -16
  86. package/src/metadata/IMetadataDictionary.ts +14 -14
  87. package/src/metadata/IMetadataEntry.ts +6 -6
  88. package/src/metadata/IMetadataObject.ts +18 -18
  89. package/src/metadata/IMetadataProperty.ts +11 -11
  90. package/src/metadata/IMetadataResolved.ts +6 -6
  91. package/src/metadata/IMetadataTag.ts +112 -112
  92. package/src/metadata/IMetadataTuple.ts +10 -10
  93. package/src/metadata/Metadata.ts +607 -607
  94. package/src/metadata/MetadataAlias.ts +66 -66
  95. package/src/metadata/MetadataArray.ts +55 -55
  96. package/src/metadata/MetadataConstant.ts +3 -3
  97. package/src/metadata/MetadataObject.ts +129 -129
  98. package/src/metadata/MetadataProperty.ts +64 -64
  99. package/src/metadata/MetadataResolved.ts +51 -51
  100. package/src/metadata/MetadataTuple.ts +58 -58
  101. package/src/module.ts +2038 -2038
  102. package/src/programmers/ApplicationProgrammer.ts +47 -47
  103. package/src/programmers/AssertCloneProgrammer.ts +71 -71
  104. package/src/programmers/AssertParseProgrammer.ts +66 -66
  105. package/src/programmers/AssertProgrammer.ts +279 -279
  106. package/src/programmers/AssertPruneProgrammer.ts +68 -68
  107. package/src/programmers/AssertStringifyProgrammer.ts +66 -66
  108. package/src/programmers/CheckerProgrammer.ts +1173 -1173
  109. package/src/programmers/CloneProgrammer.ts +587 -587
  110. package/src/programmers/FeatureProgrammer.ts +495 -495
  111. package/src/programmers/IsCloneProgrammer.ts +78 -78
  112. package/src/programmers/IsParseProgrammer.ts +72 -72
  113. package/src/programmers/IsProgrammer.ts +239 -239
  114. package/src/programmers/IsPruneProgrammer.ts +73 -73
  115. package/src/programmers/IsStringifyProgrammer.ts +76 -76
  116. package/src/programmers/LiteralsProgrammer.ts +64 -64
  117. package/src/programmers/PruneProgrammer.ts +542 -542
  118. package/src/programmers/RandomProgrammer.ts +578 -578
  119. package/src/programmers/StringifyProgrammer.ts +986 -986
  120. package/src/programmers/TypiaProgrammer.ts +129 -129
  121. package/src/programmers/ValidateCloneProgrammer.ts +85 -85
  122. package/src/programmers/ValidateParseProgrammer.ts +70 -70
  123. package/src/programmers/ValidateProgrammer.ts +305 -305
  124. package/src/programmers/ValidatePruneProgrammer.ts +78 -78
  125. package/src/programmers/ValidateStringifyProgrammer.ts +84 -84
  126. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  127. package/src/programmers/helpers/CloneJoiner.ts +168 -131
  128. package/src/programmers/helpers/FunctionImporeter.ts +78 -78
  129. package/src/programmers/helpers/ICheckEntry.ts +12 -12
  130. package/src/programmers/helpers/IExpressionEntry.ts +12 -12
  131. package/src/programmers/helpers/OptionPredicator.ts +15 -15
  132. package/src/programmers/helpers/PruneJoiner.ts +143 -143
  133. package/src/programmers/helpers/RandomJoiner.ts +173 -173
  134. package/src/programmers/helpers/RandomRanger.ts +208 -208
  135. package/src/programmers/helpers/StringifyJoinder.ts +113 -113
  136. package/src/programmers/helpers/StringifyPredicator.ts +13 -13
  137. package/src/programmers/helpers/UnionExplorer.ts +305 -305
  138. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  139. package/src/programmers/helpers/disable_function_importer_declare.ts +26 -26
  140. package/src/programmers/internal/JSON_SCHEMA_PREFIX.ts +1 -1
  141. package/src/programmers/internal/application_alias.ts +66 -66
  142. package/src/programmers/internal/application_array.ts +30 -30
  143. package/src/programmers/internal/application_boolean.ts +15 -15
  144. package/src/programmers/internal/application_constant.ts +26 -26
  145. package/src/programmers/internal/application_default.ts +17 -17
  146. package/src/programmers/internal/application_default_string.ts +33 -33
  147. package/src/programmers/internal/application_native.ts +39 -39
  148. package/src/programmers/internal/application_number.ts +80 -80
  149. package/src/programmers/internal/application_object.ts +165 -165
  150. package/src/programmers/internal/application_resolved.ts +55 -55
  151. package/src/programmers/internal/application_schema.ts +157 -157
  152. package/src/programmers/internal/application_string.ts +44 -44
  153. package/src/programmers/internal/application_templates.ts +25 -25
  154. package/src/programmers/internal/application_tuple.ts +57 -57
  155. package/src/programmers/internal/check_array.ts +30 -30
  156. package/src/programmers/internal/check_array_length.ts +35 -35
  157. package/src/programmers/internal/check_bigint.ts +110 -110
  158. package/src/programmers/internal/check_custom.ts +31 -31
  159. package/src/programmers/internal/check_dynamic_properties.ts +194 -195
  160. package/src/programmers/internal/check_everything.ts +28 -28
  161. package/src/programmers/internal/check_native.ts +21 -21
  162. package/src/programmers/internal/check_object.ts +55 -55
  163. package/src/programmers/internal/check_string.ts +25 -25
  164. package/src/programmers/internal/check_string_tags.ts +67 -67
  165. package/src/programmers/internal/check_template.ts +56 -56
  166. package/src/programmers/internal/check_union_array_like.ts +329 -329
  167. package/src/programmers/internal/decode_union_object.ts +73 -73
  168. package/src/programmers/internal/feature_object_entries.ts +63 -63
  169. package/src/programmers/internal/get_comment_tags.ts +23 -23
  170. package/src/programmers/internal/metadata_to_pattern.ts +34 -34
  171. package/src/programmers/internal/prune_object_properties.ts +60 -60
  172. package/src/programmers/internal/random_custom.ts +29 -29
  173. package/src/programmers/internal/stringify_dynamic_properties.ts +171 -171
  174. package/src/programmers/internal/stringify_native.ts +7 -7
  175. package/src/programmers/internal/stringify_regular_properties.ts +83 -83
  176. package/src/programmers/internal/template_to_pattern.ts +15 -15
  177. package/src/programmers/internal/wrap_metadata_rest_tuple.ts +16 -16
  178. package/src/schemas/IJsonApplication.ts +8 -8
  179. package/src/schemas/IJsonComponents.ts +33 -33
  180. package/src/schemas/IJsonSchema.ts +133 -133
  181. package/src/transform.ts +27 -27
  182. package/src/transformers/CallExpressionTransformer.ts +179 -179
  183. package/src/transformers/FileTransformer.ts +47 -47
  184. package/src/transformers/IProject.ts +11 -11
  185. package/src/transformers/ITransformOptions.ts +62 -62
  186. package/src/transformers/ImportTransformer.ts +66 -66
  187. package/src/transformers/NodeTransformer.ts +13 -13
  188. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +112 -112
  189. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  190. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  191. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  192. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  193. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  194. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  195. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  196. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  197. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  198. package/src/transformers/features/miscellaneous/CreateRandomTransformer.ts +39 -39
  199. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  200. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  201. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  202. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  203. package/src/transformers/features/miscellaneous/LiteralsTransformer.ts +28 -28
  204. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +53 -53
  205. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  206. package/src/transformers/features/miscellaneous/RandomTransformer.ts +42 -42
  207. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  208. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  209. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  210. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  211. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  212. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  213. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  214. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  215. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  216. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +12 -12
  217. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  218. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  219. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +12 -12
  220. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  221. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  222. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  223. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  224. package/src/transformers/features/validators/CreateAssertTransformer.ts +13 -13
  225. package/src/transformers/features/validators/CreateIsTransformer.ts +11 -11
  226. package/src/transformers/features/validators/CreateValidateTransformer.ts +13 -13
  227. package/src/transformers/features/validators/IsTransformer.ts +11 -11
  228. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  229. package/src/transformers/internal/GenericTransformer.ts +97 -97
  230. package/src/typings/Atomic.ts +17 -17
  231. package/src/typings/ClassProperties.ts +5 -5
  232. package/src/typings/Customizable.ts +5 -5
  233. package/src/typings/OmitNever.ts +3 -3
  234. package/src/typings/SpecialFields.ts +3 -3
  235. package/src/typings/Writable.ts +11 -11
  236. package/src/utils/ArrayUtil.ts +45 -45
  237. package/src/utils/Escaper.ts +46 -46
  238. package/src/utils/MapUtil.ts +12 -12
  239. package/src/utils/PatternUtil.ts +33 -33
  240. package/src/utils/RandomGenerator.ts +81 -81
  241. package/src/utils/Singleton.ts +17 -17
@@ -1,361 +1,361 @@
1
- import ts from "typescript";
2
-
3
- import { IMetadataTag } from "../metadata/IMetadataTag";
4
- import { Metadata } from "../metadata/Metadata";
5
-
6
- export namespace MetadataTagFactory {
7
- export const generate =
8
- (metadata: Metadata) =>
9
- (tagList: ts.JSDocTagInfo[]) =>
10
- (identifier: () => string): IMetadataTag[] => {
11
- const output: IMetadataTag[] = [];
12
- for (const tag of tagList) {
13
- const elem: IMetadataTag | null = parse(
14
- identifier,
15
- metadata,
16
- tag,
17
- output,
18
- );
19
- if (elem !== null) output.push(elem);
20
- }
21
- return output;
22
- };
23
-
24
- const parse = (
25
- identifier: () => string,
26
- metadata: Metadata,
27
- tag: ts.JSDocTagInfo,
28
- output: IMetadataTag[],
29
- ): IMetadataTag | null => {
30
- const closure = _PARSER[tag.name];
31
- if (closure === undefined) return null;
32
-
33
- const text = (tag.text || [])[0]?.text;
34
- if (text === undefined)
35
- throw new Error(`${LABEL}: no tag value on ${identifier()}`);
36
-
37
- return closure(identifier, metadata, text, output);
38
- };
39
-
40
- /**
41
- * @internal
42
- */
43
- export const _PARSER: Record<
44
- string,
45
- (
46
- identifier: () => string,
47
- metadata: Metadata,
48
- text: string,
49
- output: IMetadataTag[],
50
- ) => IMetadataTag | null
51
- > = {
52
- /* -----------------------------------------------------------
53
- ARRAY
54
- ----------------------------------------------------------- */
55
- items: (identifier, metadata, text, output) => {
56
- validate(identifier, metadata, output, "items", "array", [
57
- "minItems",
58
- ]);
59
- return {
60
- kind: "items",
61
- value: parse_number(identifier, text),
62
- };
63
- },
64
- minItems: (identifier, metadata, text, output) => {
65
- validate(identifier, metadata, output, "minItems", "array", [
66
- "items",
67
- ]);
68
- return {
69
- kind: "minItems",
70
- value: parse_number(identifier, text),
71
- };
72
- },
73
- maxItems: (identifier, metadata, text, output) => {
74
- validate(identifier, metadata, output, "maxItems", "array", [
75
- "items",
76
- ]);
77
- return {
78
- kind: "maxItems",
79
- value: parse_number(identifier, text),
80
- };
81
- },
82
-
83
- /* -----------------------------------------------------------
84
- NUMBER
85
- ----------------------------------------------------------- */
86
- type: (_identifier, metadata, text, _output) => {
87
- if (text.startsWith("{") && text.endsWith("}"))
88
- text = text.substring(1, text.length - 1);
89
- return has_atomic("number")(new Set())(metadata) &&
90
- (text === "int" ||
91
- text === "uint" ||
92
- text === "int32" ||
93
- text === "uint32" ||
94
- text === "int64" ||
95
- text === "uint64" ||
96
- text === "float")
97
- ? { kind: "type", value: text }
98
- : null;
99
- },
100
- minimum: (identifier, metadata, text, output) => {
101
- validate(identifier, metadata, output, "minimum", "number", [
102
- "exclusiveMinimum",
103
- ]);
104
- return {
105
- kind: "minimum",
106
- value: parse_number(identifier, text),
107
- };
108
- },
109
- maximum: (identifier, metadata, text, output) => {
110
- validate(identifier, metadata, output, "maximum", "number", [
111
- "exclusiveMaximum",
112
- ]);
113
- return {
114
- kind: "maximum",
115
- value: parse_number(identifier, text),
116
- };
117
- },
118
- exclusiveMinimum: (identifier, metadata, text, output) => {
119
- validate(
120
- identifier,
121
- metadata,
122
- output,
123
- "exclusiveMinimum",
124
- "number",
125
- ["minimum"],
126
- );
127
- return {
128
- kind: "exclusiveMinimum",
129
- value: parse_number(identifier, text),
130
- };
131
- },
132
- exclusiveMaximum: (identifier, metadata, text, output) => {
133
- validate(
134
- identifier,
135
- metadata,
136
- output,
137
- "exclusiveMaximum",
138
- "number",
139
- ["maximum"],
140
- );
141
- return {
142
- kind: "exclusiveMaximum",
143
- value: parse_number(identifier, text),
144
- };
145
- },
146
- multipleOf: (identifier, metadata, text, output) => {
147
- validate(identifier, metadata, output, "multipleOf", "number", [
148
- "step",
149
- ]);
150
- return {
151
- kind: "multipleOf",
152
- value: parse_number(identifier, text),
153
- };
154
- },
155
- step: (identifier, metadata, text, output) => {
156
- validate(identifier, metadata, output, "step", "number", [
157
- "multipleOf",
158
- ]);
159
-
160
- const minimum: boolean = output.some(
161
- (tag) =>
162
- tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
163
- );
164
- if (minimum === undefined)
165
- throw new Error(
166
- `${LABEL}: step requires minimum or exclusiveMinimum tag on "${identifier()}".`,
167
- );
168
-
169
- return {
170
- kind: "step",
171
- value: parse_number(identifier, text),
172
- };
173
- },
174
-
175
- /* -----------------------------------------------------------
176
- STRING
177
- ----------------------------------------------------------- */
178
- // Ignore arbitrary @format values in the internal metadata,
179
- // these are currently only supported on the typia.application() API.
180
- format: (identifier, metadata, str, output) => {
181
- const value: IMetadataTag.IFormat["value"] | undefined =
182
- FORMATS.get(str);
183
- validate(
184
- identifier,
185
- metadata,
186
- output,
187
- "format",
188
- value === "date" || value === "datetime" ? "Date" : "string",
189
- ["pattern"],
190
- );
191
- if (value === undefined) return null;
192
- return {
193
- kind: "format",
194
- value,
195
- };
196
- },
197
- pattern: (identifier, metadata, value, output) => {
198
- validate(identifier, metadata, output, "pattern", "string", [
199
- "format",
200
- ]);
201
- return {
202
- kind: "pattern",
203
- value,
204
- };
205
- },
206
- length: (identifier, metadata, text, output) => {
207
- validate(identifier, metadata, output, "length", "string", [
208
- "minLength",
209
- "maxLength",
210
- ]);
211
- return {
212
- kind: "length",
213
- value: parse_number(identifier, text),
214
- };
215
- },
216
- minLength: (identifier, metadata, text, output) => {
217
- validate(identifier, metadata, output, "minLength", "string", [
218
- "length",
219
- ]);
220
- return {
221
- kind: "minLength",
222
- value: parse_number(identifier, text),
223
- };
224
- },
225
- maxLength: (identifier, metadata, text, output) => {
226
- validate(identifier, metadata, output, "maxLength", "string", [
227
- "length",
228
- ]);
229
- return {
230
- kind: "maxLength",
231
- value: parse_number(identifier, text),
232
- };
233
- },
234
- };
235
- }
236
-
237
- const parse_number = (identifier: () => string, str: string): number => {
238
- const value: number = Number(str);
239
- if (isNaN(value) === true)
240
- throw new Error(`${LABEL}: invalid number on "${identifier()}".`);
241
- return value;
242
- };
243
-
244
- const LABEL = "Error on typia.MetadataTagFactory.generate()";
245
- const FORMATS: Map<string, IMetadataTag.IFormat["value"]> = new Map([
246
- ["uuid", "uuid"],
247
- ["email", "email"],
248
- ["url", "url"],
249
- ["ipv4", "ipv4"],
250
- ["ipv6", "ipv6"],
251
- ["date", "date"],
252
- ["datetime", "datetime"],
253
- ["date-time", "datetime"],
254
- ["dateTime", "datetime"],
255
- ]);
256
-
257
- const WRONG_TYPE = (
258
- tag: string,
259
- type: "string" | "number" | "array",
260
- identifier: () => string,
261
- ) => `${LABEL}: ${tag} requires ${type} type, but no "${identifier()}".`;
262
-
263
- const validate = (
264
- identifier: () => string,
265
- metadata: Metadata,
266
- output: IMetadataTag[],
267
- kind: IMetadataTag["kind"],
268
- type: "array" | "string" | "number" | "Date",
269
- neighbors: IMetadataTag["kind"][],
270
- ): void => {
271
- // TYPE CHECKING
272
- if (type === "array") {
273
- if (has_array(new Set())(metadata) === false)
274
- throw new Error(WRONG_TYPE(kind, "array", identifier));
275
- } else if (type === "Date") {
276
- if (
277
- has_native("Date")(new Set())(metadata) === false &&
278
- has_atomic("string")(new Set())(metadata) === false
279
- )
280
- throw new Error(WRONG_TYPE(kind, "string", identifier));
281
- } else if (has_atomic(type)(new Set())(metadata) === false)
282
- throw new Error(WRONG_TYPE(kind, type, identifier));
283
-
284
- // DUPLICATED TAG
285
- if (output.some((tag) => tag.kind === kind))
286
- throw new Error(
287
- `${LABEL}: duplicated ${kind} tags on "${identifier()}".`,
288
- );
289
-
290
- // NEIGHBOR TAG
291
- for (const name of neighbors)
292
- if (output.some((tag) => tag.kind === name))
293
- throw new Error(
294
- `${LABEL}: ${kind} and ${name} tags on "${identifier()}".`,
295
- );
296
- };
297
-
298
- // @todo: must block repeated array and tuple type
299
- const has_atomic =
300
- (type: "string" | "number" | "bigint") =>
301
- (visited: Set<Metadata>) =>
302
- (metadata: Metadata): boolean => {
303
- if (visited.has(metadata)) return false;
304
- visited.add(metadata);
305
- return (
306
- metadata.atomics.find(
307
- type === "number"
308
- ? (atom: string) => atom === type || atom === "bigint"
309
- : (atom: string) => atom === type,
310
- ) !== undefined ||
311
- metadata.arrays.some((array) =>
312
- has_atomic(type)(visited)(array.value),
313
- ) ||
314
- metadata.tuples.some((tuple) =>
315
- tuple.elements.some(has_atomic(type)(visited)),
316
- ) ||
317
- metadata.aliases.some((alias) =>
318
- has_atomic(type)(visited)(alias.value),
319
- ) ||
320
- (metadata.resolved !== null &&
321
- has_atomic(type)(visited)(metadata.resolved.returns))
322
- );
323
- };
324
-
325
- const has_native =
326
- (type: string) =>
327
- (visited: Set<Metadata>) =>
328
- (metadata: Metadata): boolean => {
329
- if (visited.has(metadata)) return false;
330
- visited.add(metadata);
331
- return (
332
- metadata.natives.find((native) => native === type) !== undefined ||
333
- metadata.arrays.some((child) =>
334
- has_native(type)(visited)(child.value),
335
- ) ||
336
- metadata.tuples.some((tuple) =>
337
- tuple.elements.some(has_native(type)(visited)),
338
- ) ||
339
- metadata.aliases.some((alias) =>
340
- has_native(type)(visited)(alias.value),
341
- ) ||
342
- (metadata.resolved !== null &&
343
- has_native(type)(visited)(metadata.resolved.returns))
344
- );
345
- };
346
-
347
- const has_array =
348
- (visited: Set<Metadata>) =>
349
- (metadata: Metadata): boolean => {
350
- if (visited.has(metadata)) return false;
351
- visited.add(metadata);
352
- return (
353
- metadata.arrays.length !== 0 ||
354
- metadata.tuples.some((tuple) =>
355
- tuple.elements.some(has_array(visited)),
356
- ) ||
357
- metadata.aliases.some((alias) => has_array(visited)(alias.value)) ||
358
- (metadata.resolved !== null &&
359
- has_array(visited)(metadata.resolved.returns))
360
- );
361
- };
1
+ import ts from "typescript";
2
+
3
+ import { IMetadataTag } from "../metadata/IMetadataTag";
4
+ import { Metadata } from "../metadata/Metadata";
5
+
6
+ export namespace MetadataTagFactory {
7
+ export const generate =
8
+ (metadata: Metadata) =>
9
+ (tagList: ts.JSDocTagInfo[]) =>
10
+ (identifier: () => string): IMetadataTag[] => {
11
+ const output: IMetadataTag[] = [];
12
+ for (const tag of tagList) {
13
+ const elem: IMetadataTag | null = parse(
14
+ identifier,
15
+ metadata,
16
+ tag,
17
+ output,
18
+ );
19
+ if (elem !== null) output.push(elem);
20
+ }
21
+ return output;
22
+ };
23
+
24
+ const parse = (
25
+ identifier: () => string,
26
+ metadata: Metadata,
27
+ tag: ts.JSDocTagInfo,
28
+ output: IMetadataTag[],
29
+ ): IMetadataTag | null => {
30
+ const closure = _PARSER[tag.name];
31
+ if (closure === undefined) return null;
32
+
33
+ const text = (tag.text || [])[0]?.text;
34
+ if (text === undefined)
35
+ throw new Error(`${LABEL}: no tag value on ${identifier()}`);
36
+
37
+ return closure(identifier, metadata, text, output);
38
+ };
39
+
40
+ /**
41
+ * @internal
42
+ */
43
+ export const _PARSER: Record<
44
+ string,
45
+ (
46
+ identifier: () => string,
47
+ metadata: Metadata,
48
+ text: string,
49
+ output: IMetadataTag[],
50
+ ) => IMetadataTag | null
51
+ > = {
52
+ /* -----------------------------------------------------------
53
+ ARRAY
54
+ ----------------------------------------------------------- */
55
+ items: (identifier, metadata, text, output) => {
56
+ validate(identifier, metadata, output, "items", "array", [
57
+ "minItems",
58
+ ]);
59
+ return {
60
+ kind: "items",
61
+ value: parse_number(identifier, text),
62
+ };
63
+ },
64
+ minItems: (identifier, metadata, text, output) => {
65
+ validate(identifier, metadata, output, "minItems", "array", [
66
+ "items",
67
+ ]);
68
+ return {
69
+ kind: "minItems",
70
+ value: parse_number(identifier, text),
71
+ };
72
+ },
73
+ maxItems: (identifier, metadata, text, output) => {
74
+ validate(identifier, metadata, output, "maxItems", "array", [
75
+ "items",
76
+ ]);
77
+ return {
78
+ kind: "maxItems",
79
+ value: parse_number(identifier, text),
80
+ };
81
+ },
82
+
83
+ /* -----------------------------------------------------------
84
+ NUMBER
85
+ ----------------------------------------------------------- */
86
+ type: (_identifier, metadata, text, _output) => {
87
+ if (text.startsWith("{") && text.endsWith("}"))
88
+ text = text.substring(1, text.length - 1);
89
+ return has_atomic("number")(new Set())(metadata) &&
90
+ (text === "int" ||
91
+ text === "uint" ||
92
+ text === "int32" ||
93
+ text === "uint32" ||
94
+ text === "int64" ||
95
+ text === "uint64" ||
96
+ text === "float")
97
+ ? { kind: "type", value: text }
98
+ : null;
99
+ },
100
+ minimum: (identifier, metadata, text, output) => {
101
+ validate(identifier, metadata, output, "minimum", "number", [
102
+ "exclusiveMinimum",
103
+ ]);
104
+ return {
105
+ kind: "minimum",
106
+ value: parse_number(identifier, text),
107
+ };
108
+ },
109
+ maximum: (identifier, metadata, text, output) => {
110
+ validate(identifier, metadata, output, "maximum", "number", [
111
+ "exclusiveMaximum",
112
+ ]);
113
+ return {
114
+ kind: "maximum",
115
+ value: parse_number(identifier, text),
116
+ };
117
+ },
118
+ exclusiveMinimum: (identifier, metadata, text, output) => {
119
+ validate(
120
+ identifier,
121
+ metadata,
122
+ output,
123
+ "exclusiveMinimum",
124
+ "number",
125
+ ["minimum"],
126
+ );
127
+ return {
128
+ kind: "exclusiveMinimum",
129
+ value: parse_number(identifier, text),
130
+ };
131
+ },
132
+ exclusiveMaximum: (identifier, metadata, text, output) => {
133
+ validate(
134
+ identifier,
135
+ metadata,
136
+ output,
137
+ "exclusiveMaximum",
138
+ "number",
139
+ ["maximum"],
140
+ );
141
+ return {
142
+ kind: "exclusiveMaximum",
143
+ value: parse_number(identifier, text),
144
+ };
145
+ },
146
+ multipleOf: (identifier, metadata, text, output) => {
147
+ validate(identifier, metadata, output, "multipleOf", "number", [
148
+ "step",
149
+ ]);
150
+ return {
151
+ kind: "multipleOf",
152
+ value: parse_number(identifier, text),
153
+ };
154
+ },
155
+ step: (identifier, metadata, text, output) => {
156
+ validate(identifier, metadata, output, "step", "number", [
157
+ "multipleOf",
158
+ ]);
159
+
160
+ const minimum: boolean = output.some(
161
+ (tag) =>
162
+ tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
163
+ );
164
+ if (minimum === undefined)
165
+ throw new Error(
166
+ `${LABEL}: step requires minimum or exclusiveMinimum tag on "${identifier()}".`,
167
+ );
168
+
169
+ return {
170
+ kind: "step",
171
+ value: parse_number(identifier, text),
172
+ };
173
+ },
174
+
175
+ /* -----------------------------------------------------------
176
+ STRING
177
+ ----------------------------------------------------------- */
178
+ // Ignore arbitrary @format values in the internal metadata,
179
+ // these are currently only supported on the typia.application() API.
180
+ format: (identifier, metadata, str, output) => {
181
+ const value: IMetadataTag.IFormat["value"] | undefined =
182
+ FORMATS.get(str);
183
+ validate(
184
+ identifier,
185
+ metadata,
186
+ output,
187
+ "format",
188
+ value === "date" || value === "datetime" ? "Date" : "string",
189
+ ["pattern"],
190
+ );
191
+ if (value === undefined) return null;
192
+ return {
193
+ kind: "format",
194
+ value,
195
+ };
196
+ },
197
+ pattern: (identifier, metadata, value, output) => {
198
+ validate(identifier, metadata, output, "pattern", "string", [
199
+ "format",
200
+ ]);
201
+ return {
202
+ kind: "pattern",
203
+ value,
204
+ };
205
+ },
206
+ length: (identifier, metadata, text, output) => {
207
+ validate(identifier, metadata, output, "length", "string", [
208
+ "minLength",
209
+ "maxLength",
210
+ ]);
211
+ return {
212
+ kind: "length",
213
+ value: parse_number(identifier, text),
214
+ };
215
+ },
216
+ minLength: (identifier, metadata, text, output) => {
217
+ validate(identifier, metadata, output, "minLength", "string", [
218
+ "length",
219
+ ]);
220
+ return {
221
+ kind: "minLength",
222
+ value: parse_number(identifier, text),
223
+ };
224
+ },
225
+ maxLength: (identifier, metadata, text, output) => {
226
+ validate(identifier, metadata, output, "maxLength", "string", [
227
+ "length",
228
+ ]);
229
+ return {
230
+ kind: "maxLength",
231
+ value: parse_number(identifier, text),
232
+ };
233
+ },
234
+ };
235
+ }
236
+
237
+ const parse_number = (identifier: () => string, str: string): number => {
238
+ const value: number = Number(str);
239
+ if (isNaN(value) === true)
240
+ throw new Error(`${LABEL}: invalid number on "${identifier()}".`);
241
+ return value;
242
+ };
243
+
244
+ const LABEL = "Error on typia.MetadataTagFactory.generate()";
245
+ const FORMATS: Map<string, IMetadataTag.IFormat["value"]> = new Map([
246
+ ["uuid", "uuid"],
247
+ ["email", "email"],
248
+ ["url", "url"],
249
+ ["ipv4", "ipv4"],
250
+ ["ipv6", "ipv6"],
251
+ ["date", "date"],
252
+ ["datetime", "datetime"],
253
+ ["date-time", "datetime"],
254
+ ["dateTime", "datetime"],
255
+ ]);
256
+
257
+ const WRONG_TYPE = (
258
+ tag: string,
259
+ type: "string" | "number" | "array",
260
+ identifier: () => string,
261
+ ) => `${LABEL}: ${tag} requires ${type} type, but no "${identifier()}".`;
262
+
263
+ const validate = (
264
+ identifier: () => string,
265
+ metadata: Metadata,
266
+ output: IMetadataTag[],
267
+ kind: IMetadataTag["kind"],
268
+ type: "array" | "string" | "number" | "Date",
269
+ neighbors: IMetadataTag["kind"][],
270
+ ): void => {
271
+ // TYPE CHECKING
272
+ if (type === "array") {
273
+ if (has_array(new Set())(metadata) === false)
274
+ throw new Error(WRONG_TYPE(kind, "array", identifier));
275
+ } else if (type === "Date") {
276
+ if (
277
+ has_native("Date")(new Set())(metadata) === false &&
278
+ has_atomic("string")(new Set())(metadata) === false
279
+ )
280
+ throw new Error(WRONG_TYPE(kind, "string", identifier));
281
+ } else if (has_atomic(type)(new Set())(metadata) === false)
282
+ throw new Error(WRONG_TYPE(kind, type, identifier));
283
+
284
+ // DUPLICATED TAG
285
+ if (output.some((tag) => tag.kind === kind))
286
+ throw new Error(
287
+ `${LABEL}: duplicated ${kind} tags on "${identifier()}".`,
288
+ );
289
+
290
+ // NEIGHBOR TAG
291
+ for (const name of neighbors)
292
+ if (output.some((tag) => tag.kind === name))
293
+ throw new Error(
294
+ `${LABEL}: ${kind} and ${name} tags on "${identifier()}".`,
295
+ );
296
+ };
297
+
298
+ // @todo: must block repeated array and tuple type
299
+ const has_atomic =
300
+ (type: "string" | "number" | "bigint") =>
301
+ (visited: Set<Metadata>) =>
302
+ (metadata: Metadata): boolean => {
303
+ if (visited.has(metadata)) return false;
304
+ visited.add(metadata);
305
+ return (
306
+ metadata.atomics.find(
307
+ type === "number"
308
+ ? (atom: string) => atom === type || atom === "bigint"
309
+ : (atom: string) => atom === type,
310
+ ) !== undefined ||
311
+ metadata.arrays.some((array) =>
312
+ has_atomic(type)(visited)(array.value),
313
+ ) ||
314
+ metadata.tuples.some((tuple) =>
315
+ tuple.elements.some(has_atomic(type)(visited)),
316
+ ) ||
317
+ metadata.aliases.some((alias) =>
318
+ has_atomic(type)(visited)(alias.value),
319
+ ) ||
320
+ (metadata.resolved !== null &&
321
+ has_atomic(type)(visited)(metadata.resolved.returns))
322
+ );
323
+ };
324
+
325
+ const has_native =
326
+ (type: string) =>
327
+ (visited: Set<Metadata>) =>
328
+ (metadata: Metadata): boolean => {
329
+ if (visited.has(metadata)) return false;
330
+ visited.add(metadata);
331
+ return (
332
+ metadata.natives.find((native) => native === type) !== undefined ||
333
+ metadata.arrays.some((child) =>
334
+ has_native(type)(visited)(child.value),
335
+ ) ||
336
+ metadata.tuples.some((tuple) =>
337
+ tuple.elements.some(has_native(type)(visited)),
338
+ ) ||
339
+ metadata.aliases.some((alias) =>
340
+ has_native(type)(visited)(alias.value),
341
+ ) ||
342
+ (metadata.resolved !== null &&
343
+ has_native(type)(visited)(metadata.resolved.returns))
344
+ );
345
+ };
346
+
347
+ const has_array =
348
+ (visited: Set<Metadata>) =>
349
+ (metadata: Metadata): boolean => {
350
+ if (visited.has(metadata)) return false;
351
+ visited.add(metadata);
352
+ return (
353
+ metadata.arrays.length !== 0 ||
354
+ metadata.tuples.some((tuple) =>
355
+ tuple.elements.some(has_array(visited)),
356
+ ) ||
357
+ metadata.aliases.some((alias) => has_array(visited)(alias.value)) ||
358
+ (metadata.resolved !== null &&
359
+ has_array(visited)(metadata.resolved.returns))
360
+ );
361
+ };