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