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