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,50 +1,50 @@
1
- import ts from "typescript";
2
-
3
- import { IMetadataTag } from "../../metadata/IMetadataTag";
4
- import { Metadata } from "../../metadata/Metadata";
5
-
6
- import { FunctionImporter } from "../helpers/FunctionImporeter";
7
- import { check_string_tags } from "./check_string_tags";
8
- import { template_to_pattern } from "./template_to_pattern";
9
-
10
- /**
11
- * @internal
12
- */
13
- export const check_template =
14
- (importer: FunctionImporter) =>
15
- (
16
- input: ts.Expression,
17
- templates: Metadata[][],
18
- tagList: IMetadataTag[],
19
- ) => {
20
- // TYPEOF STRING & TAGS
21
- const conditions: ts.Expression[] = [
22
- ts.factory.createStrictEquality(
23
- ts.factory.createStringLiteral("string"),
24
- ts.factory.createTypeOfExpression(input),
25
- ),
26
- ...check_string_tags(importer)(input, tagList),
27
- ];
28
-
29
- // TEMPLATES
30
- const internal = templates.map((tpl) =>
31
- ts.factory.createStrictEquality(
32
- ts.factory.createTrue(),
33
- ts.factory.createCallExpression(
34
- ts.factory.createIdentifier(
35
- `RegExp(/${template_to_pattern(true)(tpl)}/).test`,
36
- ),
37
- undefined,
38
- [input],
39
- ),
40
- ),
41
- );
42
- conditions.push(
43
- internal.length === 1
44
- ? internal[0]!
45
- : internal.reduce((x, y) => ts.factory.createLogicalOr(x, y)),
46
- );
47
-
48
- // COMBINATION
49
- return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
50
- };
1
+ import ts from "typescript";
2
+
3
+ import { IMetadataTag } from "../../metadata/IMetadataTag";
4
+ import { Metadata } from "../../metadata/Metadata";
5
+
6
+ import { FunctionImporter } from "../helpers/FunctionImporeter";
7
+ import { check_string_tags } from "./check_string_tags";
8
+ import { template_to_pattern } from "./template_to_pattern";
9
+
10
+ /**
11
+ * @internal
12
+ */
13
+ export const check_template =
14
+ (importer: FunctionImporter) =>
15
+ (
16
+ input: ts.Expression,
17
+ templates: Metadata[][],
18
+ tagList: IMetadataTag[],
19
+ ) => {
20
+ // TYPEOF STRING & TAGS
21
+ const conditions: ts.Expression[] = [
22
+ ts.factory.createStrictEquality(
23
+ ts.factory.createStringLiteral("string"),
24
+ ts.factory.createTypeOfExpression(input),
25
+ ),
26
+ ...check_string_tags(importer)(input, tagList),
27
+ ];
28
+
29
+ // TEMPLATES
30
+ const internal = templates.map((tpl) =>
31
+ ts.factory.createStrictEquality(
32
+ ts.factory.createTrue(),
33
+ ts.factory.createCallExpression(
34
+ ts.factory.createIdentifier(
35
+ `RegExp(/${template_to_pattern(true)(tpl)}/).test`,
36
+ ),
37
+ undefined,
38
+ [input],
39
+ ),
40
+ ),
41
+ );
42
+ conditions.push(
43
+ internal.length === 1
44
+ ? internal[0]!
45
+ : internal.reduce((x, y) => ts.factory.createLogicalOr(x, y)),
46
+ );
47
+
48
+ // COMBINATION
49
+ return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
50
+ };
@@ -1,260 +1,260 @@
1
- import ts from "typescript";
2
-
3
- import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
- import { StatementFactory } from "../../factories/StatementFactory";
5
- import { TypeFactory } from "../../factories/TypeFactory";
6
-
7
- import { IMetadataTag } from "../../metadata/IMetadataTag";
8
-
9
- import { CheckerProgrammer } from "../CheckerProgrammer";
10
- import { FeatureProgrammer } from "../FeatureProgrammer";
11
- import { UnionExplorer } from "../helpers/UnionExplorer";
12
-
13
- export const check_union_array_like =
14
- <T>(accessor: check_union_array_like.IAccessor<T>) =>
15
- (props: check_union_array_like.IProps<T>) =>
16
- (
17
- input: ts.Expression,
18
- targets: T[],
19
- explore: FeatureProgrammer.IExplore,
20
- tags: IMetadataTag[],
21
- ) => {
22
- // ONLY ONE TYPE
23
- if (targets.length === 1)
24
- return props.decoder(
25
- accessor.array(input),
26
- targets[0]!,
27
- explore,
28
- tags,
29
- );
30
-
31
- //----
32
- // LIST UP VARIABLES
33
- //----
34
- // TUPLES
35
- const tupleListVariable: ts.VariableStatement =
36
- StatementFactory.constant(
37
- "tupleList",
38
- ts.factory.createArrayLiteralExpression(
39
- targets.map((meta) =>
40
- ts.factory.createArrayLiteralExpression([
41
- ts.factory.createArrowFunction(
42
- undefined,
43
- undefined,
44
- [
45
- IdentifierFactory.parameter(
46
- "top",
47
- TypeFactory.keyword("any"),
48
- ),
49
- ],
50
- undefined,
51
- undefined,
52
- props.checker(
53
- ts.factory.createIdentifier("top"),
54
- meta,
55
- {
56
- ...explore,
57
- tracable: false,
58
- postfix: `"[0]"`,
59
- },
60
- tags,
61
- input,
62
- ),
63
- ),
64
- ts.factory.createArrowFunction(
65
- undefined,
66
- undefined,
67
- [
68
- IdentifierFactory.parameter(
69
- "top",
70
- TypeFactory.keyword("any"),
71
- ),
72
- ],
73
- undefined,
74
- undefined,
75
- props.decoder(
76
- ts.factory.createIdentifier("top"),
77
- meta,
78
- {
79
- ...explore,
80
- tracable: true,
81
- },
82
- tags,
83
- ),
84
- ),
85
- ]),
86
- ),
87
- ),
88
- );
89
-
90
- // FILTERED TUPLES
91
- const filteredVariable = StatementFactory.constant(
92
- "filtered",
93
- ts.factory.createCallExpression(
94
- ts.factory.createIdentifier("tupleList.filter"),
95
- undefined,
96
- [
97
- ts.factory.createArrowFunction(
98
- undefined,
99
- undefined,
100
- [IdentifierFactory.parameter("tuple")],
101
- undefined,
102
- undefined,
103
- ts.factory.createStrictEquality(
104
- props.success,
105
- ts.factory.createCallExpression(
106
- ts.factory.createIdentifier("tuple[0]"),
107
- undefined,
108
- [ts.factory.createIdentifier("front")],
109
- ),
110
- ),
111
- ),
112
- ],
113
- ),
114
- );
115
-
116
- //----
117
- // STATEMENTS
118
- //----
119
- // ONLY ONE TYPE
120
- const uniqueStatement = ts.factory.createIfStatement(
121
- ts.factory.createStrictEquality(
122
- ts.factory.createNumericLiteral(1),
123
- ts.factory.createIdentifier("filtered.length"),
124
- ),
125
- ts.factory.createReturnStatement(
126
- ts.factory.createCallExpression(
127
- ts.factory.createIdentifier(`filtered[0][1]`),
128
- undefined,
129
- [accessor.array(input)],
130
- ),
131
- ),
132
- );
133
-
134
- // UNION TYPE
135
- const forOfStatement = ts.factory.createForOfStatement(
136
- undefined,
137
- ts.factory.createVariableDeclarationList(
138
- [ts.factory.createVariableDeclaration("tuple")],
139
- ts.NodeFlags.Const,
140
- ),
141
- // StatementFactory.variable(ts.NodeFlags.Const, "tuple"),
142
- ts.factory.createIdentifier("filtered"),
143
- ts.factory.createIfStatement(
144
- ts.factory.createCallExpression(
145
- IdentifierFactory.join(
146
- ts.factory.createIdentifier("array"),
147
- "every",
148
- ),
149
- undefined,
150
- [
151
- ts.factory.createArrowFunction(
152
- undefined,
153
- undefined,
154
- [
155
- IdentifierFactory.parameter(
156
- "value",
157
- TypeFactory.keyword("any"),
158
- ),
159
- ],
160
- undefined,
161
- undefined,
162
- ts.factory.createStrictEquality(
163
- props.success,
164
- ts.factory.createCallExpression(
165
- ts.factory.createIdentifier("tuple[0]"),
166
- undefined,
167
- [ts.factory.createIdentifier("value")],
168
- ),
169
- ),
170
- ),
171
- ],
172
- ),
173
- ts.factory.createReturnStatement(
174
- ts.factory.createCallExpression(
175
- ts.factory.createIdentifier(`tuple[1]`),
176
- undefined,
177
- [ts.factory.createIdentifier("array")],
178
- ),
179
- ),
180
- ),
181
- );
182
- const unionStatement = ts.factory.createIfStatement(
183
- ts.factory.createLessThan(
184
- ts.factory.createNumericLiteral(1),
185
- ts.factory.createIdentifier("filtered.length"),
186
- ),
187
- forOfStatement,
188
- );
189
-
190
- const block = [
191
- // ARRAY.LENGTH := 0
192
- ...(accessor.size !== null
193
- ? [
194
- ts.factory.createIfStatement(
195
- ts.factory.createStrictEquality(
196
- ts.factory.createNumericLiteral(0),
197
- accessor.size(input),
198
- ),
199
- ts.isReturnStatement(props.empty)
200
- ? props.empty
201
- : ts.factory.createReturnStatement(props.empty),
202
- ),
203
- ]
204
- : []),
205
-
206
- // UNION PREDICATORS
207
- tupleListVariable,
208
- StatementFactory.constant("front", accessor.front(input)),
209
- filteredVariable,
210
- uniqueStatement,
211
-
212
- // CONDITIONAL STATEMENTS
213
- StatementFactory.constant("array", accessor.array(input)),
214
- unionStatement,
215
- props.failure(
216
- input,
217
- `(${targets.map((t) => accessor.name(t)).join(" | ")})`,
218
- explore,
219
- ),
220
- ];
221
-
222
- return ts.factory.createCallExpression(
223
- ts.factory.createArrowFunction(
224
- undefined,
225
- undefined,
226
- [],
227
- undefined,
228
- undefined,
229
- ts.factory.createBlock(block, true),
230
- ),
231
- undefined,
232
- undefined,
233
- );
234
- };
235
- export namespace check_union_array_like {
236
- export interface IProps<T> {
237
- checker(
238
- front: ts.Expression,
239
- target: T,
240
- explore: FeatureProgrammer.IExplore,
241
- tags: IMetadataTag[],
242
- array: ts.Expression,
243
- ): ts.Expression;
244
- decoder: UnionExplorer.Decoder<T>;
245
- empty: ts.ReturnStatement | ts.Expression;
246
- success: ts.Expression;
247
- failure(
248
- input: ts.Expression,
249
- expected: string,
250
- explore: CheckerProgrammer.IExplore,
251
- ): ts.Statement;
252
- }
253
-
254
- export interface IAccessor<T> {
255
- name(target: T): string;
256
- front(input: ts.Expression): ts.Expression;
257
- array(input: ts.Expression): ts.Expression;
258
- size: null | ((input: ts.Expression) => ts.Expression);
259
- }
260
- }
1
+ import ts from "typescript";
2
+
3
+ import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
+ import { StatementFactory } from "../../factories/StatementFactory";
5
+ import { TypeFactory } from "../../factories/TypeFactory";
6
+
7
+ import { IMetadataTag } from "../../metadata/IMetadataTag";
8
+
9
+ import { CheckerProgrammer } from "../CheckerProgrammer";
10
+ import { FeatureProgrammer } from "../FeatureProgrammer";
11
+ import { UnionExplorer } from "../helpers/UnionExplorer";
12
+
13
+ export const check_union_array_like =
14
+ <T>(accessor: check_union_array_like.IAccessor<T>) =>
15
+ (props: check_union_array_like.IProps<T>) =>
16
+ (
17
+ input: ts.Expression,
18
+ targets: T[],
19
+ explore: FeatureProgrammer.IExplore,
20
+ tags: IMetadataTag[],
21
+ ) => {
22
+ // ONLY ONE TYPE
23
+ if (targets.length === 1)
24
+ return props.decoder(
25
+ accessor.array(input),
26
+ targets[0]!,
27
+ explore,
28
+ tags,
29
+ );
30
+
31
+ //----
32
+ // LIST UP VARIABLES
33
+ //----
34
+ // TUPLES
35
+ const tupleListVariable: ts.VariableStatement =
36
+ StatementFactory.constant(
37
+ "tupleList",
38
+ ts.factory.createArrayLiteralExpression(
39
+ targets.map((meta) =>
40
+ ts.factory.createArrayLiteralExpression([
41
+ ts.factory.createArrowFunction(
42
+ undefined,
43
+ undefined,
44
+ [
45
+ IdentifierFactory.parameter(
46
+ "top",
47
+ TypeFactory.keyword("any"),
48
+ ),
49
+ ],
50
+ undefined,
51
+ undefined,
52
+ props.checker(
53
+ ts.factory.createIdentifier("top"),
54
+ meta,
55
+ {
56
+ ...explore,
57
+ tracable: false,
58
+ postfix: `"[0]"`,
59
+ },
60
+ tags,
61
+ input,
62
+ ),
63
+ ),
64
+ ts.factory.createArrowFunction(
65
+ undefined,
66
+ undefined,
67
+ [
68
+ IdentifierFactory.parameter(
69
+ "top",
70
+ TypeFactory.keyword("any"),
71
+ ),
72
+ ],
73
+ undefined,
74
+ undefined,
75
+ props.decoder(
76
+ ts.factory.createIdentifier("top"),
77
+ meta,
78
+ {
79
+ ...explore,
80
+ tracable: true,
81
+ },
82
+ tags,
83
+ ),
84
+ ),
85
+ ]),
86
+ ),
87
+ ),
88
+ );
89
+
90
+ // FILTERED TUPLES
91
+ const filteredVariable = StatementFactory.constant(
92
+ "filtered",
93
+ ts.factory.createCallExpression(
94
+ ts.factory.createIdentifier("tupleList.filter"),
95
+ undefined,
96
+ [
97
+ ts.factory.createArrowFunction(
98
+ undefined,
99
+ undefined,
100
+ [IdentifierFactory.parameter("tuple")],
101
+ undefined,
102
+ undefined,
103
+ ts.factory.createStrictEquality(
104
+ props.success,
105
+ ts.factory.createCallExpression(
106
+ ts.factory.createIdentifier("tuple[0]"),
107
+ undefined,
108
+ [ts.factory.createIdentifier("front")],
109
+ ),
110
+ ),
111
+ ),
112
+ ],
113
+ ),
114
+ );
115
+
116
+ //----
117
+ // STATEMENTS
118
+ //----
119
+ // ONLY ONE TYPE
120
+ const uniqueStatement = ts.factory.createIfStatement(
121
+ ts.factory.createStrictEquality(
122
+ ts.factory.createNumericLiteral(1),
123
+ ts.factory.createIdentifier("filtered.length"),
124
+ ),
125
+ ts.factory.createReturnStatement(
126
+ ts.factory.createCallExpression(
127
+ ts.factory.createIdentifier(`filtered[0][1]`),
128
+ undefined,
129
+ [accessor.array(input)],
130
+ ),
131
+ ),
132
+ );
133
+
134
+ // UNION TYPE
135
+ const forOfStatement = ts.factory.createForOfStatement(
136
+ undefined,
137
+ ts.factory.createVariableDeclarationList(
138
+ [ts.factory.createVariableDeclaration("tuple")],
139
+ ts.NodeFlags.Const,
140
+ ),
141
+ // StatementFactory.variable(ts.NodeFlags.Const, "tuple"),
142
+ ts.factory.createIdentifier("filtered"),
143
+ ts.factory.createIfStatement(
144
+ ts.factory.createCallExpression(
145
+ IdentifierFactory.join(
146
+ ts.factory.createIdentifier("array"),
147
+ "every",
148
+ ),
149
+ undefined,
150
+ [
151
+ ts.factory.createArrowFunction(
152
+ undefined,
153
+ undefined,
154
+ [
155
+ IdentifierFactory.parameter(
156
+ "value",
157
+ TypeFactory.keyword("any"),
158
+ ),
159
+ ],
160
+ undefined,
161
+ undefined,
162
+ ts.factory.createStrictEquality(
163
+ props.success,
164
+ ts.factory.createCallExpression(
165
+ ts.factory.createIdentifier("tuple[0]"),
166
+ undefined,
167
+ [ts.factory.createIdentifier("value")],
168
+ ),
169
+ ),
170
+ ),
171
+ ],
172
+ ),
173
+ ts.factory.createReturnStatement(
174
+ ts.factory.createCallExpression(
175
+ ts.factory.createIdentifier(`tuple[1]`),
176
+ undefined,
177
+ [ts.factory.createIdentifier("array")],
178
+ ),
179
+ ),
180
+ ),
181
+ );
182
+ const unionStatement = ts.factory.createIfStatement(
183
+ ts.factory.createLessThan(
184
+ ts.factory.createNumericLiteral(1),
185
+ ts.factory.createIdentifier("filtered.length"),
186
+ ),
187
+ forOfStatement,
188
+ );
189
+
190
+ const block = [
191
+ // ARRAY.LENGTH := 0
192
+ ...(accessor.size !== null
193
+ ? [
194
+ ts.factory.createIfStatement(
195
+ ts.factory.createStrictEquality(
196
+ ts.factory.createNumericLiteral(0),
197
+ accessor.size(input),
198
+ ),
199
+ ts.isReturnStatement(props.empty)
200
+ ? props.empty
201
+ : ts.factory.createReturnStatement(props.empty),
202
+ ),
203
+ ]
204
+ : []),
205
+
206
+ // UNION PREDICATORS
207
+ tupleListVariable,
208
+ StatementFactory.constant("front", accessor.front(input)),
209
+ filteredVariable,
210
+ uniqueStatement,
211
+
212
+ // CONDITIONAL STATEMENTS
213
+ StatementFactory.constant("array", accessor.array(input)),
214
+ unionStatement,
215
+ props.failure(
216
+ input,
217
+ `(${targets.map((t) => accessor.name(t)).join(" | ")})`,
218
+ explore,
219
+ ),
220
+ ];
221
+
222
+ return ts.factory.createCallExpression(
223
+ ts.factory.createArrowFunction(
224
+ undefined,
225
+ undefined,
226
+ [],
227
+ undefined,
228
+ undefined,
229
+ ts.factory.createBlock(block, true),
230
+ ),
231
+ undefined,
232
+ undefined,
233
+ );
234
+ };
235
+ export namespace check_union_array_like {
236
+ export interface IProps<T> {
237
+ checker(
238
+ front: ts.Expression,
239
+ target: T,
240
+ explore: FeatureProgrammer.IExplore,
241
+ tags: IMetadataTag[],
242
+ array: ts.Expression,
243
+ ): ts.Expression;
244
+ decoder: UnionExplorer.Decoder<T>;
245
+ empty: ts.ReturnStatement | ts.Expression;
246
+ success: ts.Expression;
247
+ failure(
248
+ input: ts.Expression,
249
+ expected: string,
250
+ explore: CheckerProgrammer.IExplore,
251
+ ): ts.Statement;
252
+ }
253
+
254
+ export interface IAccessor<T> {
255
+ name(target: T): string;
256
+ front(input: ts.Expression): ts.Expression;
257
+ array(input: ts.Expression): ts.Expression;
258
+ size: null | ((input: ts.Expression) => ts.Expression);
259
+ }
260
+ }