typia 3.7.5-dev.20230413 → 3.7.6

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 (231) hide show
  1. package/README.md +35 -228
  2. package/lib/executable/TypiaSetupWizard.d.ts +1 -0
  3. package/lib/executable/TypiaSetupWizard.js +62 -30
  4. package/lib/executable/TypiaSetupWizard.js.map +1 -1
  5. package/lib/executable/setup/PackageManager.d.ts +1 -1
  6. package/lib/executable/typia.d.ts +1 -1
  7. package/lib/executable/typia.js +1 -1
  8. package/lib/executable/typia.js.map +1 -1
  9. package/lib/factories/IdentifierFactory.d.ts +1 -1
  10. package/lib/factories/IdentifierFactory.js +1 -1
  11. package/lib/factories/IdentifierFactory.js.map +1 -1
  12. package/lib/factories/TypiaFileFactory.js +9 -4
  13. package/lib/factories/TypiaFileFactory.js.map +1 -1
  14. package/lib/programmers/internal/check_string_tags.js +2 -2
  15. package/lib/programmers/internal/check_string_tags.js.map +1 -1
  16. package/lib/programmers/internal/check_template.js +1 -1
  17. package/lib/programmers/internal/check_template.js.map +1 -1
  18. package/package.json +11 -12
  19. package/src/CustomValidatorMap.ts +126 -126
  20. package/src/IRandomGenerator.ts +33 -33
  21. package/src/IValidation.ts +21 -21
  22. package/src/Primitive.ts +104 -104
  23. package/src/TypeGuardError.ts +36 -36
  24. package/src/executable/TypiaGenerateWizard.ts +85 -85
  25. package/src/executable/TypiaSetupWizard.ts +47 -14
  26. package/src/executable/setup/ArgumentParser.ts +45 -45
  27. package/src/executable/setup/CommandExecutor.ts +8 -8
  28. package/src/executable/setup/FileRetriever.ts +22 -22
  29. package/src/executable/setup/PackageManager.ts +1 -1
  30. package/src/executable/setup/PluginConfigurator.ts +59 -59
  31. package/src/executable/typia.ts +54 -53
  32. package/src/factories/CommentFactory.ts +10 -10
  33. package/src/factories/ExpressionFactory.ts +77 -77
  34. package/src/factories/IdentifierFactory.ts +81 -59
  35. package/src/factories/LiteralFactory.ts +44 -44
  36. package/src/factories/MetadataCollection.ts +122 -122
  37. package/src/factories/MetadataFactory.ts +51 -51
  38. package/src/factories/MetadataTagFactory.ts +302 -302
  39. package/src/factories/StatementFactory.ts +60 -60
  40. package/src/factories/TemplateFactory.ts +56 -56
  41. package/src/factories/TypeFactory.ts +129 -129
  42. package/src/factories/TypiaFileFactory.ts +12 -3
  43. package/src/factories/ValueFactory.ts +12 -12
  44. package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
  45. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -142
  46. package/src/factories/internal/metadata/explore_metadata.ts +92 -92
  47. package/src/factories/internal/metadata/iterate_metadata.ts +80 -80
  48. package/src/factories/internal/metadata/iterate_metadata_array.ts +29 -29
  49. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
  50. package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
  51. package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
  52. package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
  53. package/src/factories/internal/metadata/iterate_metadata_native.ts +222 -222
  54. package/src/factories/internal/metadata/iterate_metadata_object.ts +48 -48
  55. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +27 -27
  56. package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
  57. package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
  58. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +45 -45
  59. package/src/factories/internal/metadata/iterate_metadata_union.ts +59 -59
  60. package/src/functional/$any.ts +3 -3
  61. package/src/functional/$dictionary.ts +20 -20
  62. package/src/functional/$every.ts +11 -11
  63. package/src/functional/$guard.ts +35 -35
  64. package/src/functional/$is_between.ts +7 -7
  65. package/src/functional/$is_custom.ts +14 -14
  66. package/src/functional/$is_date.ts +4 -4
  67. package/src/functional/$is_datetime.ts +3 -3
  68. package/src/functional/$is_email.ts +5 -5
  69. package/src/functional/$is_ipv4.ts +5 -5
  70. package/src/functional/$is_ipv6.ts +5 -5
  71. package/src/functional/$is_url.ts +5 -5
  72. package/src/functional/$is_uuid.ts +5 -5
  73. package/src/functional/$join.ts +50 -50
  74. package/src/functional/$number.ts +12 -12
  75. package/src/functional/$report.ts +15 -15
  76. package/src/functional/$rest.ts +3 -3
  77. package/src/functional/$string.ts +37 -37
  78. package/src/functional/$tail.ts +6 -6
  79. package/src/functional/Namespace.ts +127 -127
  80. package/src/index.ts +4 -4
  81. package/src/metadata/ICommentTag.ts +4 -4
  82. package/src/metadata/IJsDocTagInfo.ts +10 -10
  83. package/src/metadata/IMetadata.ts +25 -25
  84. package/src/metadata/IMetadataApplication.ts +7 -7
  85. package/src/metadata/IMetadataConstant.ts +16 -16
  86. package/src/metadata/IMetadataEntry.ts +6 -6
  87. package/src/metadata/IMetadataObject.ts +29 -29
  88. package/src/metadata/IMetadataProperty.ts +11 -11
  89. package/src/metadata/IMetadataTag.ts +105 -105
  90. package/src/metadata/Metadata.ts +534 -534
  91. package/src/metadata/MetadataConstant.ts +3 -3
  92. package/src/metadata/MetadataObject.ts +131 -131
  93. package/src/metadata/MetadataProperty.ts +64 -64
  94. package/src/module.ts +2043 -2043
  95. package/src/programmers/ApplicationProgrammer.ts +55 -55
  96. package/src/programmers/AssertCloneProgrammer.ts +70 -70
  97. package/src/programmers/AssertParseProgrammer.ts +65 -65
  98. package/src/programmers/AssertProgrammer.ts +284 -284
  99. package/src/programmers/AssertPruneProgrammer.ts +67 -67
  100. package/src/programmers/AssertStringifyProgrammer.ts +71 -71
  101. package/src/programmers/CheckerProgrammer.ts +922 -922
  102. package/src/programmers/CloneProgrammer.ts +388 -388
  103. package/src/programmers/FeatureProgrammer.ts +512 -512
  104. package/src/programmers/IsCloneProgrammer.ts +80 -80
  105. package/src/programmers/IsParseProgrammer.ts +74 -74
  106. package/src/programmers/IsProgrammer.ts +206 -206
  107. package/src/programmers/IsPruneProgrammer.ts +75 -75
  108. package/src/programmers/IsStringifyProgrammer.ts +81 -81
  109. package/src/programmers/LiteralsProgrammer.ts +65 -65
  110. package/src/programmers/PruneProgrammer.ts +343 -343
  111. package/src/programmers/RandomProgrammer.ts +413 -413
  112. package/src/programmers/StringifyProgrammer.ts +801 -801
  113. package/src/programmers/ValidateCloneProgrammer.ts +90 -90
  114. package/src/programmers/ValidateParseProgrammer.ts +69 -69
  115. package/src/programmers/ValidateProgrammer.ts +317 -317
  116. package/src/programmers/ValidatePruneProgrammer.ts +83 -83
  117. package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
  118. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  119. package/src/programmers/helpers/CloneJoiner.ts +134 -134
  120. package/src/programmers/helpers/FunctionImporeter.ts +55 -55
  121. package/src/programmers/helpers/ICheckEntry.ts +12 -12
  122. package/src/programmers/helpers/IExpressionEntry.ts +12 -12
  123. package/src/programmers/helpers/OptionPredicator.ts +19 -19
  124. package/src/programmers/helpers/PruneJoiner.ts +52 -52
  125. package/src/programmers/helpers/RandomJoiner.ts +161 -161
  126. package/src/programmers/helpers/RandomRanger.ts +216 -216
  127. package/src/programmers/helpers/StringifyJoinder.ts +114 -114
  128. package/src/programmers/helpers/StringifyPredicator.ts +18 -18
  129. package/src/programmers/helpers/UnionExplorer.ts +281 -281
  130. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  131. package/src/programmers/internal/application_array.ts +37 -37
  132. package/src/programmers/internal/application_boolean.ts +17 -17
  133. package/src/programmers/internal/application_constant.ts +29 -29
  134. package/src/programmers/internal/application_default.ts +17 -17
  135. package/src/programmers/internal/application_default_string.ts +32 -32
  136. package/src/programmers/internal/application_native.ts +32 -32
  137. package/src/programmers/internal/application_number.ts +73 -73
  138. package/src/programmers/internal/application_object.ts +153 -153
  139. package/src/programmers/internal/application_schema.ts +184 -184
  140. package/src/programmers/internal/application_string.ts +45 -45
  141. package/src/programmers/internal/application_templates.ts +27 -27
  142. package/src/programmers/internal/application_tuple.ts +29 -29
  143. package/src/programmers/internal/check_array.ts +30 -30
  144. package/src/programmers/internal/check_array_length.ts +35 -35
  145. package/src/programmers/internal/check_bigint.ts +82 -82
  146. package/src/programmers/internal/check_custom.ts +33 -33
  147. package/src/programmers/internal/check_dynamic_properties.ts +197 -197
  148. package/src/programmers/internal/check_everything.ts +28 -28
  149. package/src/programmers/internal/check_native.ts +21 -21
  150. package/src/programmers/internal/check_number.ts +177 -177
  151. package/src/programmers/internal/check_object.ts +55 -55
  152. package/src/programmers/internal/check_string.ts +25 -25
  153. package/src/programmers/internal/check_string_tags.ts +9 -15
  154. package/src/programmers/internal/check_template.ts +6 -9
  155. package/src/programmers/internal/check_union_array_like.ts +272 -272
  156. package/src/programmers/internal/check_union_tuple.ts +35 -35
  157. package/src/programmers/internal/decode_union_object.ts +73 -73
  158. package/src/programmers/internal/feature_object_entries.ts +63 -63
  159. package/src/programmers/internal/get_comment_tags.ts +23 -23
  160. package/src/programmers/internal/metadata_to_pattern.ts +34 -34
  161. package/src/programmers/internal/prune_object_properties.ts +60 -60
  162. package/src/programmers/internal/random_custom.ts +30 -30
  163. package/src/programmers/internal/stringify_dynamic_properties.ts +168 -168
  164. package/src/programmers/internal/stringify_native.ts +8 -8
  165. package/src/programmers/internal/stringify_regular_properties.ts +84 -84
  166. package/src/programmers/internal/template_to_pattern.ts +15 -15
  167. package/src/schemas/IJsonApplication.ts +9 -9
  168. package/src/schemas/IJsonComponents.ts +26 -26
  169. package/src/schemas/IJsonSchema.ts +121 -121
  170. package/src/transform.ts +21 -21
  171. package/src/transformers/CallExpressionTransformer.ts +174 -174
  172. package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
  173. package/src/transformers/FileTransformer.ts +49 -49
  174. package/src/transformers/IProject.ts +11 -11
  175. package/src/transformers/ITransformOptions.ts +62 -62
  176. package/src/transformers/ImportTransformer.ts +66 -66
  177. package/src/transformers/NodeTransformer.ts +19 -19
  178. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +119 -119
  179. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  180. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  181. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  182. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  183. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  184. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  185. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  186. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  187. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  188. package/src/transformers/features/miscellaneous/CreateRandomTransformer.ts +41 -41
  189. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  190. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  191. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  192. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  193. package/src/transformers/features/miscellaneous/LiteralsTransformer.ts +30 -30
  194. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +54 -54
  195. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  196. package/src/transformers/features/miscellaneous/RandomTransformer.ts +46 -46
  197. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  198. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  199. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  200. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  201. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  202. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  203. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  204. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  205. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  206. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
  207. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  208. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  209. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
  210. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  211. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  212. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  213. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  214. package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
  215. package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
  216. package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
  217. package/src/transformers/features/validators/IsTransformer.ts +10 -10
  218. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  219. package/src/transformers/internal/GenericTransformer.ts +99 -99
  220. package/src/typings/Atomic.ts +17 -17
  221. package/src/typings/ClassProperties.ts +5 -5
  222. package/src/typings/Customizable.ts +5 -5
  223. package/src/typings/OmitNever.ts +3 -3
  224. package/src/typings/SpecialFields.ts +3 -3
  225. package/src/typings/Writable.ts +11 -11
  226. package/src/utils/ArrayUtil.ts +49 -49
  227. package/src/utils/Escaper.ts +50 -50
  228. package/src/utils/MapUtil.ts +14 -14
  229. package/src/utils/PatternUtil.ts +30 -30
  230. package/src/utils/RandomGenerator.ts +96 -96
  231. package/src/utils/Singleton.ts +17 -17
@@ -1,18 +1,18 @@
1
- import { Metadata } from "../../metadata/Metadata";
2
-
3
- export namespace StringifyPredicator {
4
- export function require_escape(value: string): boolean {
5
- return value
6
- .split("")
7
- .some((ch) => ESCAPED.some((escaped) => escaped === ch));
8
- }
9
-
10
- export function undefindable(meta: Metadata): boolean {
11
- return (
12
- meta.required === false ||
13
- (meta.resolved !== null && meta.resolved.required === false)
14
- );
15
- }
16
-
17
- const ESCAPED = ['"', "\\", "\b", "\f", "\n", "\n", "\r", "\t"];
18
- }
1
+ import { Metadata } from "../../metadata/Metadata";
2
+
3
+ export namespace StringifyPredicator {
4
+ export function require_escape(value: string): boolean {
5
+ return value
6
+ .split("")
7
+ .some((ch) => ESCAPED.some((escaped) => escaped === ch));
8
+ }
9
+
10
+ export function undefindable(meta: Metadata): boolean {
11
+ return (
12
+ meta.required === false ||
13
+ (meta.resolved !== null && meta.resolved.required === false)
14
+ );
15
+ }
16
+
17
+ const ESCAPED = ['"', "\\", "\b", "\f", "\n", "\n", "\r", "\t"];
18
+ }
@@ -1,281 +1,281 @@
1
- import ts from "typescript";
2
-
3
- import { ExpressionFactory } from "../../factories/ExpressionFactory";
4
- import { IdentifierFactory } from "../../factories/IdentifierFactory";
5
-
6
- import { IMetadataTag } from "../../metadata/IMetadataTag";
7
- import { Metadata } from "../../metadata/Metadata";
8
- import { MetadataObject } from "../../metadata/MetadataObject";
9
-
10
- import { FeatureProgrammer } from "../FeatureProgrammer";
11
- import { check_union_array_like } from "../internal/check_union_array_like";
12
- import { UnionPredicator } from "./UnionPredicator";
13
-
14
- export namespace UnionExplorer {
15
- export interface Decoder<T> {
16
- (
17
- input: ts.Expression,
18
- target: T,
19
- explore: FeatureProgrammer.IExplore,
20
- tags: IMetadataTag[],
21
- jsDocTags: ts.JSDocTagInfo[],
22
- ): ts.Expression;
23
- }
24
- export type ObjectCombiner = Decoder<MetadataObject[]>;
25
-
26
- /* -----------------------------------------------------------
27
- OBJECT
28
- ----------------------------------------------------------- */
29
- export const object =
30
- (config: FeatureProgrammer.IConfig, level: number = 0) =>
31
- (
32
- input: ts.Expression,
33
- targets: MetadataObject[],
34
- explore: FeatureProgrammer.IExplore,
35
- tags: IMetadataTag[],
36
- jsDocTags: ts.JSDocTagInfo[],
37
- ): ts.Expression => {
38
- // BREAKER
39
- if (targets.length === 1)
40
- return config.objector.decoder(
41
- input,
42
- targets[0]!,
43
- explore,
44
- tags,
45
- jsDocTags,
46
- );
47
-
48
- const expected: string = `(${targets
49
- .map((t) => t.name)
50
- .join(" | ")})`;
51
-
52
- // POSSIBLE TO SPECIALIZE?
53
- const specList = UnionPredicator.object(targets);
54
- if (specList.length === 0) {
55
- const condition: ts.Expression = config.objector.unionizer(
56
- input,
57
- targets,
58
- {
59
- ...explore,
60
- tracable: false,
61
- },
62
- tags,
63
- jsDocTags,
64
- );
65
- return config.objector.full
66
- ? config.objector.full(condition)(input, expected, explore)
67
- : condition;
68
- }
69
- const remained: MetadataObject[] = targets.filter(
70
- (t) => specList.find((s) => s.object === t) === undefined,
71
- );
72
-
73
- // DO SPECIALIZE
74
- const conditions: ts.IfStatement[] = specList
75
- .filter((spec) => spec.property.key.getSoleLiteral() !== null)
76
- .map((spec) => {
77
- const key: string = spec.property.key.getSoleLiteral()!;
78
- const accessor: ts.Expression = IdentifierFactory.join(
79
- input,
80
- key,
81
- );
82
- const pred: ts.Expression = spec.neighbour
83
- ? config.objector.checker(
84
- accessor,
85
- spec.property.value,
86
- {
87
- ...explore,
88
- tracable: false,
89
- postfix: IdentifierFactory.postfix(key),
90
- },
91
- tags,
92
- jsDocTags,
93
- )
94
- : (config.objector.required || ((exp) => exp))(
95
- ExpressionFactory.isRequired(accessor),
96
- );
97
- return ts.factory.createIfStatement(
98
- (config.objector.is || ((exp) => exp))(pred),
99
- ts.factory.createReturnStatement(
100
- config.objector.decoder(
101
- input,
102
- spec.object,
103
- explore,
104
- tags,
105
- jsDocTags,
106
- ),
107
- ),
108
- );
109
- });
110
-
111
- // RETURNS WITH CONDITIONS
112
- return ts.factory.createCallExpression(
113
- ts.factory.createArrowFunction(
114
- undefined,
115
- undefined,
116
- [],
117
- undefined,
118
- undefined,
119
- ts.factory.createBlock(
120
- [
121
- ...conditions,
122
- remained.length
123
- ? ts.factory.createReturnStatement(
124
- object(config, level + 1)(
125
- input,
126
- remained,
127
- explore,
128
- tags,
129
- jsDocTags,
130
- ),
131
- )
132
- : config.objector.failure(
133
- input,
134
- expected,
135
- explore,
136
- ),
137
- ],
138
- true,
139
- ),
140
- ),
141
- undefined,
142
- undefined,
143
- );
144
- };
145
-
146
- /* -----------------------------------------------------------
147
- ARRAY LIKE
148
- ----------------------------------------------------------- */
149
- export const tuple = (props: check_union_array_like.IProps<Metadata[]>) =>
150
- check_union_array_like<Metadata[]>({
151
- size: null,
152
- front: (input) => input,
153
- array: (input) => input,
154
- name: (elems) => `[${elems.map((e) => e.getName()).join(", ")}]`,
155
- })(props);
156
- export namespace tuple {
157
- export type IProps = check_union_array_like.IProps<
158
- Metadata | Metadata[]
159
- >;
160
- }
161
-
162
- export const array = (props: array.IProps) =>
163
- check_union_array_like<Metadata>({
164
- size: (input) => IdentifierFactory.join(input, "length"),
165
- front: (input) =>
166
- ts.factory.createElementAccessExpression(input, 0),
167
- array: (input) => input,
168
- name: (t) => `Array<${t.getName()}>`,
169
- })(props);
170
- export namespace array {
171
- export type IProps = check_union_array_like.IProps<Metadata>;
172
- }
173
-
174
- export const array_or_tuple = (props: array_or_tuple.IProps) =>
175
- check_union_array_like<Metadata | Metadata[]>({
176
- size: (input) => IdentifierFactory.join(input, "length"),
177
- front: (input) =>
178
- ts.factory.createElementAccessExpression(input, 0),
179
- array: (input) => input,
180
- name: (t) =>
181
- Array.isArray(t)
182
- ? `[${t.map((e) => e.getName()).join(", ")}]`
183
- : `Array<${t.getName()}>`,
184
- })(props);
185
- export namespace array_or_tuple {
186
- export type IProps = check_union_array_like.IProps<
187
- Metadata | Metadata[]
188
- >;
189
- }
190
-
191
- export const set = (props: set.IProps) =>
192
- check_union_array_like<Metadata>({
193
- size: (input) => IdentifierFactory.join(input, "size"),
194
- front: (input) =>
195
- IdentifierFactory.join(
196
- ts.factory.createCallExpression(
197
- IdentifierFactory.join(
198
- ts.factory.createCallExpression(
199
- IdentifierFactory.join(input, "values"),
200
- undefined,
201
- undefined,
202
- ),
203
- "next",
204
- ),
205
- undefined,
206
- undefined,
207
- ),
208
- "value",
209
- ),
210
- array: (input) =>
211
- ts.factory.createArrayLiteralExpression(
212
- [ts.factory.createSpreadElement(input)],
213
- false,
214
- ),
215
- name: (t) => `Set<${t.getName()}>`,
216
- })(props);
217
- export namespace set {
218
- export type IProps = check_union_array_like.IProps<Metadata>;
219
- }
220
-
221
- export const map = (props: map.IProps) =>
222
- check_union_array_like<[Metadata, Metadata]>({
223
- size: (input) => IdentifierFactory.join(input, "size"),
224
- front: (input) =>
225
- IdentifierFactory.join(
226
- ts.factory.createCallExpression(
227
- IdentifierFactory.join(
228
- ts.factory.createCallExpression(
229
- IdentifierFactory.join(input, "entries"),
230
- undefined,
231
- undefined,
232
- ),
233
- "next",
234
- ),
235
- undefined,
236
- undefined,
237
- ),
238
- "value",
239
- ),
240
- array: (input) =>
241
- ts.factory.createArrayLiteralExpression(
242
- [ts.factory.createSpreadElement(input)],
243
- false,
244
- ),
245
- name: ([k, v]) => `Map<${k.getName()}, ${v.getName()}>`,
246
- })(props);
247
-
248
- export namespace map {
249
- export type IProps = check_union_array_like.IProps<
250
- [Metadata, Metadata]
251
- >;
252
- }
253
-
254
- // const transform = <T>(
255
- // props: check_union_array_like.IProps<T>,
256
- // ): check_union_array_like.IProps<T> => ({
257
- // ...props,
258
- // checker: (top, targets, explore, tags, array) =>
259
- // props.checker(
260
- // top,
261
- // targets,
262
- // {
263
- // ...explore,
264
- // tracable: false,
265
- // postfix: `"[0]"`,
266
- // },
267
- // tags,
268
- // array,
269
- // ),
270
- // decoder: (input, targets, explore, tags) =>
271
- // props.decoder(
272
- // input,
273
- // targets,
274
- // {
275
- // ...explore,
276
- // tracable: true,
277
- // },
278
- // tags,
279
- // ),
280
- // });
281
- }
1
+ import ts from "typescript";
2
+
3
+ import { ExpressionFactory } from "../../factories/ExpressionFactory";
4
+ import { IdentifierFactory } from "../../factories/IdentifierFactory";
5
+
6
+ import { IMetadataTag } from "../../metadata/IMetadataTag";
7
+ import { Metadata } from "../../metadata/Metadata";
8
+ import { MetadataObject } from "../../metadata/MetadataObject";
9
+
10
+ import { FeatureProgrammer } from "../FeatureProgrammer";
11
+ import { check_union_array_like } from "../internal/check_union_array_like";
12
+ import { UnionPredicator } from "./UnionPredicator";
13
+
14
+ export namespace UnionExplorer {
15
+ export interface Decoder<T> {
16
+ (
17
+ input: ts.Expression,
18
+ target: T,
19
+ explore: FeatureProgrammer.IExplore,
20
+ tags: IMetadataTag[],
21
+ jsDocTags: ts.JSDocTagInfo[],
22
+ ): ts.Expression;
23
+ }
24
+ export type ObjectCombiner = Decoder<MetadataObject[]>;
25
+
26
+ /* -----------------------------------------------------------
27
+ OBJECT
28
+ ----------------------------------------------------------- */
29
+ export const object =
30
+ (config: FeatureProgrammer.IConfig, level: number = 0) =>
31
+ (
32
+ input: ts.Expression,
33
+ targets: MetadataObject[],
34
+ explore: FeatureProgrammer.IExplore,
35
+ tags: IMetadataTag[],
36
+ jsDocTags: ts.JSDocTagInfo[],
37
+ ): ts.Expression => {
38
+ // BREAKER
39
+ if (targets.length === 1)
40
+ return config.objector.decoder(
41
+ input,
42
+ targets[0]!,
43
+ explore,
44
+ tags,
45
+ jsDocTags,
46
+ );
47
+
48
+ const expected: string = `(${targets
49
+ .map((t) => t.name)
50
+ .join(" | ")})`;
51
+
52
+ // POSSIBLE TO SPECIALIZE?
53
+ const specList = UnionPredicator.object(targets);
54
+ if (specList.length === 0) {
55
+ const condition: ts.Expression = config.objector.unionizer(
56
+ input,
57
+ targets,
58
+ {
59
+ ...explore,
60
+ tracable: false,
61
+ },
62
+ tags,
63
+ jsDocTags,
64
+ );
65
+ return config.objector.full
66
+ ? config.objector.full(condition)(input, expected, explore)
67
+ : condition;
68
+ }
69
+ const remained: MetadataObject[] = targets.filter(
70
+ (t) => specList.find((s) => s.object === t) === undefined,
71
+ );
72
+
73
+ // DO SPECIALIZE
74
+ const conditions: ts.IfStatement[] = specList
75
+ .filter((spec) => spec.property.key.getSoleLiteral() !== null)
76
+ .map((spec) => {
77
+ const key: string = spec.property.key.getSoleLiteral()!;
78
+ const accessor: ts.Expression = IdentifierFactory.join(
79
+ input,
80
+ key,
81
+ );
82
+ const pred: ts.Expression = spec.neighbour
83
+ ? config.objector.checker(
84
+ accessor,
85
+ spec.property.value,
86
+ {
87
+ ...explore,
88
+ tracable: false,
89
+ postfix: IdentifierFactory.postfix(key),
90
+ },
91
+ tags,
92
+ jsDocTags,
93
+ )
94
+ : (config.objector.required || ((exp) => exp))(
95
+ ExpressionFactory.isRequired(accessor),
96
+ );
97
+ return ts.factory.createIfStatement(
98
+ (config.objector.is || ((exp) => exp))(pred),
99
+ ts.factory.createReturnStatement(
100
+ config.objector.decoder(
101
+ input,
102
+ spec.object,
103
+ explore,
104
+ tags,
105
+ jsDocTags,
106
+ ),
107
+ ),
108
+ );
109
+ });
110
+
111
+ // RETURNS WITH CONDITIONS
112
+ return ts.factory.createCallExpression(
113
+ ts.factory.createArrowFunction(
114
+ undefined,
115
+ undefined,
116
+ [],
117
+ undefined,
118
+ undefined,
119
+ ts.factory.createBlock(
120
+ [
121
+ ...conditions,
122
+ remained.length
123
+ ? ts.factory.createReturnStatement(
124
+ object(config, level + 1)(
125
+ input,
126
+ remained,
127
+ explore,
128
+ tags,
129
+ jsDocTags,
130
+ ),
131
+ )
132
+ : config.objector.failure(
133
+ input,
134
+ expected,
135
+ explore,
136
+ ),
137
+ ],
138
+ true,
139
+ ),
140
+ ),
141
+ undefined,
142
+ undefined,
143
+ );
144
+ };
145
+
146
+ /* -----------------------------------------------------------
147
+ ARRAY LIKE
148
+ ----------------------------------------------------------- */
149
+ export const tuple = (props: check_union_array_like.IProps<Metadata[]>) =>
150
+ check_union_array_like<Metadata[]>({
151
+ size: null,
152
+ front: (input) => input,
153
+ array: (input) => input,
154
+ name: (elems) => `[${elems.map((e) => e.getName()).join(", ")}]`,
155
+ })(props);
156
+ export namespace tuple {
157
+ export type IProps = check_union_array_like.IProps<
158
+ Metadata | Metadata[]
159
+ >;
160
+ }
161
+
162
+ export const array = (props: array.IProps) =>
163
+ check_union_array_like<Metadata>({
164
+ size: (input) => IdentifierFactory.join(input, "length"),
165
+ front: (input) =>
166
+ ts.factory.createElementAccessExpression(input, 0),
167
+ array: (input) => input,
168
+ name: (t) => `Array<${t.getName()}>`,
169
+ })(props);
170
+ export namespace array {
171
+ export type IProps = check_union_array_like.IProps<Metadata>;
172
+ }
173
+
174
+ export const array_or_tuple = (props: array_or_tuple.IProps) =>
175
+ check_union_array_like<Metadata | Metadata[]>({
176
+ size: (input) => IdentifierFactory.join(input, "length"),
177
+ front: (input) =>
178
+ ts.factory.createElementAccessExpression(input, 0),
179
+ array: (input) => input,
180
+ name: (t) =>
181
+ Array.isArray(t)
182
+ ? `[${t.map((e) => e.getName()).join(", ")}]`
183
+ : `Array<${t.getName()}>`,
184
+ })(props);
185
+ export namespace array_or_tuple {
186
+ export type IProps = check_union_array_like.IProps<
187
+ Metadata | Metadata[]
188
+ >;
189
+ }
190
+
191
+ export const set = (props: set.IProps) =>
192
+ check_union_array_like<Metadata>({
193
+ size: (input) => IdentifierFactory.join(input, "size"),
194
+ front: (input) =>
195
+ IdentifierFactory.join(
196
+ ts.factory.createCallExpression(
197
+ IdentifierFactory.join(
198
+ ts.factory.createCallExpression(
199
+ IdentifierFactory.join(input, "values"),
200
+ undefined,
201
+ undefined,
202
+ ),
203
+ "next",
204
+ ),
205
+ undefined,
206
+ undefined,
207
+ ),
208
+ "value",
209
+ ),
210
+ array: (input) =>
211
+ ts.factory.createArrayLiteralExpression(
212
+ [ts.factory.createSpreadElement(input)],
213
+ false,
214
+ ),
215
+ name: (t) => `Set<${t.getName()}>`,
216
+ })(props);
217
+ export namespace set {
218
+ export type IProps = check_union_array_like.IProps<Metadata>;
219
+ }
220
+
221
+ export const map = (props: map.IProps) =>
222
+ check_union_array_like<[Metadata, Metadata]>({
223
+ size: (input) => IdentifierFactory.join(input, "size"),
224
+ front: (input) =>
225
+ IdentifierFactory.join(
226
+ ts.factory.createCallExpression(
227
+ IdentifierFactory.join(
228
+ ts.factory.createCallExpression(
229
+ IdentifierFactory.join(input, "entries"),
230
+ undefined,
231
+ undefined,
232
+ ),
233
+ "next",
234
+ ),
235
+ undefined,
236
+ undefined,
237
+ ),
238
+ "value",
239
+ ),
240
+ array: (input) =>
241
+ ts.factory.createArrayLiteralExpression(
242
+ [ts.factory.createSpreadElement(input)],
243
+ false,
244
+ ),
245
+ name: ([k, v]) => `Map<${k.getName()}, ${v.getName()}>`,
246
+ })(props);
247
+
248
+ export namespace map {
249
+ export type IProps = check_union_array_like.IProps<
250
+ [Metadata, Metadata]
251
+ >;
252
+ }
253
+
254
+ // const transform = <T>(
255
+ // props: check_union_array_like.IProps<T>,
256
+ // ): check_union_array_like.IProps<T> => ({
257
+ // ...props,
258
+ // checker: (top, targets, explore, tags, array) =>
259
+ // props.checker(
260
+ // top,
261
+ // targets,
262
+ // {
263
+ // ...explore,
264
+ // tracable: false,
265
+ // postfix: `"[0]"`,
266
+ // },
267
+ // tags,
268
+ // array,
269
+ // ),
270
+ // decoder: (input, targets, explore, tags) =>
271
+ // props.decoder(
272
+ // input,
273
+ // targets,
274
+ // {
275
+ // ...explore,
276
+ // tracable: true,
277
+ // },
278
+ // tags,
279
+ // ),
280
+ // });
281
+ }