typia 4.2.2 → 4.2.3

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