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,133 +1,133 @@
1
- import { Metadata } from "../../../metadata/Metadata";
2
- import { MetadataArray } from "../../../metadata/MetadataArray";
3
- import { MetadataObject } from "../../../metadata/MetadataObject";
4
- import { MetadataTuple } from "../../../metadata/MetadataTuple";
5
-
6
- import { MetadataCollection } from "../../MetadataCollection";
7
- import { iterate_metadata_tag } from "./iterate_metadata_tag";
8
-
9
- export const iterate_metadata_collection = (
10
- collection: MetadataCollection,
11
- ): void => {
12
- for (const array of collection.arrays())
13
- if (array.recursive === null)
14
- collection.setArrayRecursive(
15
- array,
16
- isArrayRecursive(new Set())(array)(array.value),
17
- );
18
- for (const tuple of collection.tuples())
19
- if (tuple.recursive === null) {
20
- const visited: Set<Metadata> = new Set();
21
- collection.setTupleRecursive(
22
- tuple,
23
- tuple.elements.some(isTupleRecursive(visited)(tuple)),
24
- );
25
- }
26
- for (const obj of collection.objects()) {
27
- iterate_metadata_tag(obj);
28
- if (obj.recursive === null) {
29
- const visited: Set<Metadata> = new Set();
30
- collection.setObjectRecursive(
31
- obj,
32
- obj.properties.some((p) =>
33
- isObjectRecursive(visited)(obj)(p.value),
34
- ),
35
- );
36
- }
37
- }
38
- };
39
-
40
- const isArrayRecursive =
41
- (visited: Set<Metadata>) =>
42
- (array: MetadataArray) =>
43
- (meta: Metadata): boolean => {
44
- if (visited.has(meta)) return false;
45
- visited.add(meta);
46
-
47
- return (
48
- meta.arrays.some(
49
- (a) => a === array || isArrayRecursive(visited)(array)(a.value),
50
- ) ||
51
- meta.aliases.some((alias) =>
52
- isArrayRecursive(visited)(array)(alias.value),
53
- ) ||
54
- meta.tuples.some(
55
- (t) =>
56
- !t.recursive &&
57
- t.elements.some((e) => isArrayRecursive(visited)(array)(e)),
58
- ) ||
59
- meta.maps.some((m) => isArrayRecursive(visited)(array)(m.value)) ||
60
- meta.sets.some((s) => isArrayRecursive(visited)(array)(s)) ||
61
- (meta.resolved !== null &&
62
- isArrayRecursive(visited)(array)(meta.resolved.returns)) ||
63
- (meta.rest !== null && isArrayRecursive(visited)(array)(meta.rest))
64
- );
65
- };
66
-
67
- const isTupleRecursive =
68
- (visited: Set<Metadata>) =>
69
- (tuple: MetadataTuple) =>
70
- (meta: Metadata): boolean => {
71
- if (visited.has(meta)) return false;
72
- visited.add(meta);
73
-
74
- return (
75
- meta.tuples.some(
76
- (t) =>
77
- t === tuple ||
78
- t.elements.some((e) => isTupleRecursive(visited)(tuple)(e)),
79
- ) ||
80
- meta.arrays.some(
81
- (a) =>
82
- !a.recursive && isTupleRecursive(visited)(tuple)(a.value),
83
- ) ||
84
- meta.maps.some((m) => isTupleRecursive(visited)(tuple)(m.value)) ||
85
- meta.sets.some((s) => isTupleRecursive(visited)(tuple)(s)) ||
86
- meta.aliases.some((alias) =>
87
- isTupleRecursive(visited)(tuple)(alias.value),
88
- ) ||
89
- (meta.resolved !== null &&
90
- isTupleRecursive(visited)(tuple)(meta.resolved.returns)) ||
91
- (meta.rest !== null && isTupleRecursive(visited)(tuple)(meta.rest))
92
- );
93
- };
94
-
95
- const isObjectRecursive =
96
- (visited: Set<Metadata>) =>
97
- (obj: MetadataObject) =>
98
- (meta: Metadata): boolean => {
99
- if (visited.has(meta)) return false;
100
-
101
- visited.add(meta);
102
- return (
103
- meta.objects.some(
104
- (o) =>
105
- obj === o ||
106
- o.properties.some((prop) =>
107
- isObjectRecursive(visited)(obj)(prop.value),
108
- ),
109
- ) ||
110
- meta.aliases.some((alias) =>
111
- isObjectRecursive(visited)(obj)(alias.value),
112
- ) ||
113
- meta.arrays.some(
114
- (array) =>
115
- !array.recursive &&
116
- isObjectRecursive(visited)(obj)(array.value),
117
- ) ||
118
- meta.tuples.some(
119
- (tuple) =>
120
- !tuple.recursive &&
121
- tuple.elements.some((elem) =>
122
- isObjectRecursive(visited)(obj)(elem),
123
- ),
124
- ) ||
125
- meta.maps.some((map) =>
126
- isObjectRecursive(visited)(obj)(map.value),
127
- ) ||
128
- meta.sets.some((value) => isObjectRecursive(visited)(obj)(value)) ||
129
- (meta.resolved !== null &&
130
- isObjectRecursive(visited)(obj)(meta.resolved.returns)) ||
131
- (meta.rest !== null && isObjectRecursive(visited)(obj)(meta.rest))
132
- );
133
- };
1
+ import { Metadata } from "../../../metadata/Metadata";
2
+ import { MetadataArray } from "../../../metadata/MetadataArray";
3
+ import { MetadataObject } from "../../../metadata/MetadataObject";
4
+ import { MetadataTuple } from "../../../metadata/MetadataTuple";
5
+
6
+ import { MetadataCollection } from "../../MetadataCollection";
7
+ import { iterate_metadata_tag } from "./iterate_metadata_tag";
8
+
9
+ export const iterate_metadata_collection = (
10
+ collection: MetadataCollection,
11
+ ): void => {
12
+ for (const array of collection.arrays())
13
+ if (array.recursive === null)
14
+ collection.setArrayRecursive(
15
+ array,
16
+ isArrayRecursive(new Set())(array)(array.value),
17
+ );
18
+ for (const tuple of collection.tuples())
19
+ if (tuple.recursive === null) {
20
+ const visited: Set<Metadata> = new Set();
21
+ collection.setTupleRecursive(
22
+ tuple,
23
+ tuple.elements.some(isTupleRecursive(visited)(tuple)),
24
+ );
25
+ }
26
+ for (const obj of collection.objects()) {
27
+ iterate_metadata_tag(obj);
28
+ if (obj.recursive === null) {
29
+ const visited: Set<Metadata> = new Set();
30
+ collection.setObjectRecursive(
31
+ obj,
32
+ obj.properties.some((p) =>
33
+ isObjectRecursive(visited)(obj)(p.value),
34
+ ),
35
+ );
36
+ }
37
+ }
38
+ };
39
+
40
+ const isArrayRecursive =
41
+ (visited: Set<Metadata>) =>
42
+ (array: MetadataArray) =>
43
+ (meta: Metadata): boolean => {
44
+ if (visited.has(meta)) return false;
45
+ visited.add(meta);
46
+
47
+ return (
48
+ meta.arrays.some(
49
+ (a) => a === array || isArrayRecursive(visited)(array)(a.value),
50
+ ) ||
51
+ meta.aliases.some((alias) =>
52
+ isArrayRecursive(visited)(array)(alias.value),
53
+ ) ||
54
+ meta.tuples.some(
55
+ (t) =>
56
+ !t.recursive &&
57
+ t.elements.some((e) => isArrayRecursive(visited)(array)(e)),
58
+ ) ||
59
+ meta.maps.some((m) => isArrayRecursive(visited)(array)(m.value)) ||
60
+ meta.sets.some((s) => isArrayRecursive(visited)(array)(s)) ||
61
+ (meta.resolved !== null &&
62
+ isArrayRecursive(visited)(array)(meta.resolved.returns)) ||
63
+ (meta.rest !== null && isArrayRecursive(visited)(array)(meta.rest))
64
+ );
65
+ };
66
+
67
+ const isTupleRecursive =
68
+ (visited: Set<Metadata>) =>
69
+ (tuple: MetadataTuple) =>
70
+ (meta: Metadata): boolean => {
71
+ if (visited.has(meta)) return false;
72
+ visited.add(meta);
73
+
74
+ return (
75
+ meta.tuples.some(
76
+ (t) =>
77
+ t === tuple ||
78
+ t.elements.some((e) => isTupleRecursive(visited)(tuple)(e)),
79
+ ) ||
80
+ meta.arrays.some(
81
+ (a) =>
82
+ !a.recursive && isTupleRecursive(visited)(tuple)(a.value),
83
+ ) ||
84
+ meta.maps.some((m) => isTupleRecursive(visited)(tuple)(m.value)) ||
85
+ meta.sets.some((s) => isTupleRecursive(visited)(tuple)(s)) ||
86
+ meta.aliases.some((alias) =>
87
+ isTupleRecursive(visited)(tuple)(alias.value),
88
+ ) ||
89
+ (meta.resolved !== null &&
90
+ isTupleRecursive(visited)(tuple)(meta.resolved.returns)) ||
91
+ (meta.rest !== null && isTupleRecursive(visited)(tuple)(meta.rest))
92
+ );
93
+ };
94
+
95
+ const isObjectRecursive =
96
+ (visited: Set<Metadata>) =>
97
+ (obj: MetadataObject) =>
98
+ (meta: Metadata): boolean => {
99
+ if (visited.has(meta)) return false;
100
+
101
+ visited.add(meta);
102
+ return (
103
+ meta.objects.some(
104
+ (o) =>
105
+ obj === o ||
106
+ o.properties.some((prop) =>
107
+ isObjectRecursive(visited)(obj)(prop.value),
108
+ ),
109
+ ) ||
110
+ meta.aliases.some((alias) =>
111
+ isObjectRecursive(visited)(obj)(alias.value),
112
+ ) ||
113
+ meta.arrays.some(
114
+ (array) =>
115
+ !array.recursive &&
116
+ isObjectRecursive(visited)(obj)(array.value),
117
+ ) ||
118
+ meta.tuples.some(
119
+ (tuple) =>
120
+ !tuple.recursive &&
121
+ tuple.elements.some((elem) =>
122
+ isObjectRecursive(visited)(obj)(elem),
123
+ ),
124
+ ) ||
125
+ meta.maps.some((map) =>
126
+ isObjectRecursive(visited)(obj)(map.value),
127
+ ) ||
128
+ meta.sets.some((value) => isObjectRecursive(visited)(obj)(value)) ||
129
+ (meta.resolved !== null &&
130
+ isObjectRecursive(visited)(obj)(meta.resolved.returns)) ||
131
+ (meta.rest !== null && isObjectRecursive(visited)(obj)(meta.rest))
132
+ );
133
+ };
@@ -1,58 +1,58 @@
1
- import ts from "typescript";
2
-
3
- import { Metadata } from "../../../metadata/Metadata";
4
- import { MetadataConstant } from "../../../metadata/MetadataConstant";
5
-
6
- import { ArrayUtil } from "../../../utils/ArrayUtil";
7
-
8
- import { MetadataFactory } from "../../MetadataFactory";
9
-
10
- export const iterate_metadata_constant =
11
- (checker: ts.TypeChecker) =>
12
- (options: MetadataFactory.IOptions) =>
13
- (meta: Metadata, type: ts.Type): boolean => {
14
- if (!options.constant) return false;
15
-
16
- const filter = (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
17
- if (type.isLiteral()) {
18
- const value: string | number | bigint =
19
- typeof type.value === "object"
20
- ? BigInt(
21
- `${type.value.negative ? "-" : ""}${
22
- type.value.base10Value
23
- }`,
24
- )
25
- : type.value;
26
- const constant: MetadataConstant = ArrayUtil.take(
27
- meta.constants,
28
- (elem) => elem.type === typeof value,
29
- () => ({
30
- type: typeof value as "number",
31
- values: [],
32
- }),
33
- );
34
- ArrayUtil.add(
35
- constant.values as Array<any>,
36
- value,
37
- (a, b) => a === b,
38
- );
39
- return true;
40
- } else if (filter(ts.TypeFlags.BooleanLiteral)) {
41
- const value: boolean = checker.typeToString(type) === "true";
42
- const constant: MetadataConstant = ArrayUtil.take(
43
- meta.constants,
44
- (elem) => elem.type === "boolean",
45
- () => ({
46
- type: "boolean",
47
- values: [],
48
- }),
49
- );
50
- ArrayUtil.add(
51
- constant.values as boolean[],
52
- value,
53
- (a, b) => a === b,
54
- );
55
- return true;
56
- }
57
- return false;
58
- };
1
+ import ts from "typescript";
2
+
3
+ import { Metadata } from "../../../metadata/Metadata";
4
+ import { MetadataConstant } from "../../../metadata/MetadataConstant";
5
+
6
+ import { ArrayUtil } from "../../../utils/ArrayUtil";
7
+
8
+ import { MetadataFactory } from "../../MetadataFactory";
9
+
10
+ export const iterate_metadata_constant =
11
+ (checker: ts.TypeChecker) =>
12
+ (options: MetadataFactory.IOptions) =>
13
+ (meta: Metadata, type: ts.Type): boolean => {
14
+ if (!options.constant) return false;
15
+
16
+ const filter = (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
17
+ if (type.isLiteral()) {
18
+ const value: string | number | bigint =
19
+ typeof type.value === "object"
20
+ ? BigInt(
21
+ `${type.value.negative ? "-" : ""}${
22
+ type.value.base10Value
23
+ }`,
24
+ )
25
+ : type.value;
26
+ const constant: MetadataConstant = ArrayUtil.take(
27
+ meta.constants,
28
+ (elem) => elem.type === typeof value,
29
+ () => ({
30
+ type: typeof value as "number",
31
+ values: [],
32
+ }),
33
+ );
34
+ ArrayUtil.add(
35
+ constant.values as Array<any>,
36
+ value,
37
+ (a, b) => a === b,
38
+ );
39
+ return true;
40
+ } else if (filter(ts.TypeFlags.BooleanLiteral)) {
41
+ const value: boolean = checker.typeToString(type) === "true";
42
+ const constant: MetadataConstant = ArrayUtil.take(
43
+ meta.constants,
44
+ (elem) => elem.type === "boolean",
45
+ () => ({
46
+ type: "boolean",
47
+ values: [],
48
+ }),
49
+ );
50
+ ArrayUtil.add(
51
+ constant.values as boolean[],
52
+ value,
53
+ (a, b) => a === b,
54
+ );
55
+ return true;
56
+ }
57
+ return false;
58
+ };
@@ -1,83 +1,84 @@
1
- import ts from "typescript";
2
-
3
- import { Metadata } from "../../../metadata/Metadata";
4
-
5
- import { MetadataCollection } from "../../MetadataCollection";
6
- import { MetadataFactory } from "../../MetadataFactory";
7
- import { explore_metadata } from "./explore_metadata";
8
- import { iterate_metadata } from "./iterate_metadata";
9
-
10
- export const iterate_metadata_intersection =
11
- (checker: ts.TypeChecker) =>
12
- (options: MetadataFactory.IOptions) =>
13
- (collection: MetadataCollection) =>
14
- (
15
- meta: Metadata,
16
- type: ts.Type,
17
- resolved: boolean,
18
- aliased: boolean,
19
- ): boolean => {
20
- if (!type.isIntersection()) return false;
21
- else if (
22
- type.types.every(
23
- (child) =>
24
- (child.getFlags() & ts.TypeFlags.Object) !== 0 &&
25
- !checker.isArrayType(child) &&
26
- !checker.isTupleType(child),
27
- )
28
- )
29
- return false;
30
-
31
- // COSTRUCT FAKE METADATA LIST
32
- const fakeCollection: MetadataCollection = new MetadataCollection();
33
- const children: Metadata[] = [
34
- ...new Map(
35
- type.types.map((t) => {
36
- const m: Metadata = explore_metadata(checker)({
37
- ...options,
38
- absorb: true,
39
- })(fakeCollection)(t, resolved);
40
- return [m.getName(), m] as const;
41
- }),
42
- ).values(),
43
- ];
44
-
45
- // ONLY ONE CHILD AFTER REMOVING DUPLICATES
46
- if (children.length === 1) {
47
- iterate_metadata(checker)(options)(collection)(
48
- meta,
49
- type.types[0]!,
50
- resolved,
51
- aliased,
52
- );
53
- return true;
54
- }
55
-
56
- // ABSORB TO ATOMIC (OR CONSTANT) TYPE
57
- const atomics: Metadata[] = children.filter(
58
- (c) =>
59
- (c.atomics.length ? 1 : 0 + c.constants.length ? 1 : 0) ===
60
- c.bucket(),
61
- );
62
- const objects: Metadata[] = children.filter(
63
- (c) => c.objects.length && c.objects.length === c.size(),
64
- );
65
- if (
66
- atomics.length === 0 ||
67
- atomics.length + objects.length !== children.length
68
- )
69
- throw new Error(message(children));
70
-
71
- const least: Metadata = atomics.reduce((x, y) => {
72
- if (Metadata.covers(x, y)) return y;
73
- else if (Metadata.covers(y, x)) return x;
74
- throw new Error(message(children));
75
- });
76
- Object.assign(meta, Metadata.merge(meta, least));
77
- return true;
78
- };
79
-
80
- const message = (children: Metadata[]) =>
81
- `Error on typia.MetadataFactory.analyze(): nonsensible intersection type detected - ${children
82
- .map((c) => c.getName())
83
- .join(" & ")}.`;
1
+ import ts from "typescript";
2
+
3
+ import { Metadata } from "../../../metadata/Metadata";
4
+
5
+ import { MetadataCollection } from "../../MetadataCollection";
6
+ import { MetadataFactory } from "../../MetadataFactory";
7
+ import { explore_metadata } from "./explore_metadata";
8
+ import { iterate_metadata } from "./iterate_metadata";
9
+
10
+ export const iterate_metadata_intersection =
11
+ (checker: ts.TypeChecker) =>
12
+ (options: MetadataFactory.IOptions) =>
13
+ (collection: MetadataCollection) =>
14
+ (
15
+ meta: Metadata,
16
+ type: ts.Type,
17
+ resolved: boolean,
18
+ aliased: boolean,
19
+ ): boolean => {
20
+ if (!type.isIntersection()) return false;
21
+ else if (
22
+ type.types.every(
23
+ (child) =>
24
+ (child.getFlags() & ts.TypeFlags.Object) !== 0 &&
25
+ !checker.isArrayType(child) &&
26
+ !checker.isTupleType(child),
27
+ )
28
+ )
29
+ return false;
30
+
31
+ // COSTRUCT FAKE METADATA LIST
32
+ const fakeCollection: MetadataCollection = new MetadataCollection();
33
+ const children: Metadata[] = [
34
+ ...new Map(
35
+ type.types.map((t) => {
36
+ const m: Metadata = explore_metadata(checker)({
37
+ ...options,
38
+ absorb: true,
39
+ })(fakeCollection)(t, resolved);
40
+ return [m.getName(), m] as const;
41
+ }),
42
+ ).values(),
43
+ ];
44
+
45
+ // ONLY ONE CHILD AFTER REMOVING DUPLICATES
46
+ if (children.length === 1) {
47
+ iterate_metadata(checker)(options)(collection)(
48
+ meta,
49
+ type.types[0]!,
50
+ resolved,
51
+ aliased,
52
+ );
53
+ return true;
54
+ }
55
+
56
+ // ABSORB TO ATOMIC (OR CONSTANT) TYPE
57
+ const atomics: Metadata[] = children.filter(
58
+ (c) =>
59
+ (c.atomics.length ? 1 : 0 + c.constants.length ? 1 : 0) ===
60
+ c.bucket(),
61
+ );
62
+ const objects: Metadata[] = children.filter(
63
+ (c) => c.objects.length && c.objects.length === c.size(),
64
+ );
65
+ if (
66
+ atomics.length === 0 ||
67
+ atomics.length + objects.length !== children.length
68
+ )
69
+ throw new Error(message(children));
70
+
71
+ const least: Metadata = atomics.reduce((x, y) => {
72
+ if (Metadata.covers(x, y)) return y;
73
+ else if (Metadata.covers(y, x)) return x;
74
+ throw new Error(message(children));
75
+ });
76
+ Object.assign(meta, Metadata.merge(meta, least));
77
+ collection.entire_.add(least);
78
+ return true;
79
+ };
80
+
81
+ const message = (children: Metadata[]) =>
82
+ `Error on typia.MetadataFactory.analyze(): nonsensible intersection type detected - ${children
83
+ .map((c) => c.getName())
84
+ .join(" & ")}.`;
@@ -1,41 +1,41 @@
1
- import ts from "typescript";
2
-
3
- import { Metadata } from "../../../metadata/Metadata";
4
-
5
- import { ArrayUtil } from "../../../utils/ArrayUtil";
6
-
7
- import { MetadataCollection } from "../../MetadataCollection";
8
- import { MetadataFactory } from "../../MetadataFactory";
9
- import { TypeFactory } from "../../TypeFactory";
10
- import { explore_metadata } from "./explore_metadata";
11
-
12
- export const iterate_metadata_map =
13
- (checker: ts.TypeChecker) =>
14
- (options: MetadataFactory.IOptions) =>
15
- (collection: MetadataCollection) =>
16
- (meta: Metadata, type: ts.Type): boolean => {
17
- type = checker.getApparentType(type);
18
-
19
- const name = TypeFactory.getFullName(checker)(type, type.getSymbol());
20
- const generic = type.aliasSymbol
21
- ? type.aliasTypeArguments
22
- : checker.getTypeArguments(type as ts.TypeReference);
23
- if (name.substring(0, 4) !== "Map<" || generic?.length !== 2)
24
- return false;
25
-
26
- const key: ts.Type = generic[0]!;
27
- const value: ts.Type = generic[1]!;
28
-
29
- ArrayUtil.set(
30
- meta.maps,
31
- {
32
- key: explore_metadata(checker)(options)(collection)(key, false),
33
- value: explore_metadata(checker)(options)(collection)(
34
- value,
35
- false,
36
- ),
37
- },
38
- (elem) => `Map<${elem.key.getName()}, ${elem.value.getName()}>`,
39
- );
40
- return true;
41
- };
1
+ import ts from "typescript";
2
+
3
+ import { Metadata } from "../../../metadata/Metadata";
4
+
5
+ import { ArrayUtil } from "../../../utils/ArrayUtil";
6
+
7
+ import { MetadataCollection } from "../../MetadataCollection";
8
+ import { MetadataFactory } from "../../MetadataFactory";
9
+ import { TypeFactory } from "../../TypeFactory";
10
+ import { explore_metadata } from "./explore_metadata";
11
+
12
+ export const iterate_metadata_map =
13
+ (checker: ts.TypeChecker) =>
14
+ (options: MetadataFactory.IOptions) =>
15
+ (collection: MetadataCollection) =>
16
+ (meta: Metadata, type: ts.Type): boolean => {
17
+ type = checker.getApparentType(type);
18
+
19
+ const name = TypeFactory.getFullName(checker)(type, type.getSymbol());
20
+ const generic = type.aliasSymbol
21
+ ? type.aliasTypeArguments
22
+ : checker.getTypeArguments(type as ts.TypeReference);
23
+ if (name.substring(0, 4) !== "Map<" || generic?.length !== 2)
24
+ return false;
25
+
26
+ const key: ts.Type = generic[0]!;
27
+ const value: ts.Type = generic[1]!;
28
+
29
+ ArrayUtil.set(
30
+ meta.maps,
31
+ {
32
+ key: explore_metadata(checker)(options)(collection)(key, false),
33
+ value: explore_metadata(checker)(options)(collection)(
34
+ value,
35
+ false,
36
+ ),
37
+ },
38
+ (elem) => `Map<${elem.key.getName()}, ${elem.value.getName()}>`,
39
+ );
40
+ return true;
41
+ };