typia 3.6.10 → 3.7.0-dev.20230331

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 (260) hide show
  1. package/lib/factories/MetadataTagFactory.js +140 -132
  2. package/lib/factories/MetadataTagFactory.js.map +1 -1
  3. package/lib/functional/$dictionary.d.ts +1 -0
  4. package/lib/functional/$dictionary.js +14 -0
  5. package/lib/functional/$dictionary.js.map +1 -0
  6. package/lib/functional/$is_custom.d.ts +2 -0
  7. package/lib/functional/$is_custom.js +12 -0
  8. package/lib/functional/$is_custom.js.map +1 -0
  9. package/lib/functional/Namespace.js +2 -0
  10. package/lib/functional/Namespace.js.map +1 -1
  11. package/lib/module.d.ts +25 -0
  12. package/lib/module.js +12 -1
  13. package/lib/module.js.map +1 -1
  14. package/lib/programmers/CheckerProgrammer.d.ts +2 -2
  15. package/lib/programmers/CheckerProgrammer.js +22 -22
  16. package/lib/programmers/CheckerProgrammer.js.map +1 -1
  17. package/lib/programmers/CloneProgrammer.js +2 -2
  18. package/lib/programmers/CloneProgrammer.js.map +1 -1
  19. package/lib/programmers/FeatureProgrammer.d.ts +3 -2
  20. package/lib/programmers/FeatureProgrammer.js +5 -5
  21. package/lib/programmers/FeatureProgrammer.js.map +1 -1
  22. package/lib/programmers/IsProgrammer.d.ts +1 -1
  23. package/lib/programmers/IsProgrammer.js +2 -2
  24. package/lib/programmers/IsProgrammer.js.map +1 -1
  25. package/lib/programmers/PruneProgrammer.js +2 -2
  26. package/lib/programmers/PruneProgrammer.js.map +1 -1
  27. package/lib/programmers/StringifyProgrammer.js +6 -6
  28. package/lib/programmers/StringifyProgrammer.js.map +1 -1
  29. package/lib/programmers/helpers/UnionExplorer.d.ts +7 -7
  30. package/lib/programmers/helpers/UnionExplorer.js +6 -6
  31. package/lib/programmers/helpers/UnionExplorer.js.map +1 -1
  32. package/lib/programmers/internal/check_array.js +36 -7
  33. package/lib/programmers/internal/check_array.js.map +1 -1
  34. package/lib/programmers/internal/check_bigint.d.ts +3 -1
  35. package/lib/programmers/internal/check_bigint.js +90 -61
  36. package/lib/programmers/internal/check_bigint.js.map +1 -1
  37. package/lib/programmers/internal/check_custom.d.ts +4 -0
  38. package/lib/programmers/internal/check_custom.js +30 -0
  39. package/lib/programmers/internal/check_custom.js.map +1 -0
  40. package/lib/programmers/internal/check_number.js +104 -75
  41. package/lib/programmers/internal/check_number.js.map +1 -1
  42. package/lib/programmers/internal/check_string.js +4 -3
  43. package/lib/programmers/internal/check_string.js.map +1 -1
  44. package/lib/programmers/internal/check_union_array_like.d.ts +2 -2
  45. package/lib/programmers/internal/check_union_array_like.js +4 -4
  46. package/lib/programmers/internal/check_union_array_like.js.map +1 -1
  47. package/lib/programmers/internal/check_union_tuple.js +2 -2
  48. package/lib/programmers/internal/check_union_tuple.js.map +1 -1
  49. package/lib/programmers/internal/feature_object_entries.js +1 -1
  50. package/lib/programmers/internal/feature_object_entries.js.map +1 -1
  51. package/lib/typings/Customizable.d.ts +7 -0
  52. package/lib/typings/Customizable.js +3 -0
  53. package/lib/typings/Customizable.js.map +1 -0
  54. package/package.json +1 -1
  55. package/src/IRandomGenerator.ts +17 -17
  56. package/src/IValidation.ts +21 -21
  57. package/src/Primitive.ts +104 -104
  58. package/src/TypeGuardError.ts +36 -36
  59. package/src/executable/TypiaGenerateWizard.ts +87 -87
  60. package/src/executable/TypiaSetupWizard.ts +152 -152
  61. package/src/executable/setup/ArgumentParser.ts +91 -91
  62. package/src/executable/setup/CommandExecutor.ts +8 -8
  63. package/src/executable/setup/FileRetriever.ts +33 -33
  64. package/src/executable/setup/PackageManager.ts +92 -92
  65. package/src/executable/setup/PluginConfigurator.ts +99 -99
  66. package/src/executable/typia.ts +38 -38
  67. package/src/factories/CommentFactory.ts +10 -10
  68. package/src/factories/ExpressionFactory.ts +77 -77
  69. package/src/factories/IdentifierFactory.ts +73 -73
  70. package/src/factories/LiteralFactory.ts +44 -44
  71. package/src/factories/MetadataCollection.ts +122 -122
  72. package/src/factories/MetadataFactory.ts +51 -51
  73. package/src/factories/MetadataTagFactory.ts +302 -276
  74. package/src/factories/StatementFactory.ts +60 -60
  75. package/src/factories/TemplateFactory.ts +56 -56
  76. package/src/factories/TypeFactory.ts +129 -129
  77. package/src/factories/TypiaFileFactory.ts +120 -120
  78. package/src/factories/ValueFactory.ts +12 -12
  79. package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
  80. package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -142
  81. package/src/factories/internal/metadata/explore_metadata.ts +92 -92
  82. package/src/factories/internal/metadata/iterate_metadata.ts +80 -80
  83. package/src/factories/internal/metadata/iterate_metadata_array.ts +29 -29
  84. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
  85. package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
  86. package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
  87. package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
  88. package/src/factories/internal/metadata/iterate_metadata_native.ts +222 -222
  89. package/src/factories/internal/metadata/iterate_metadata_object.ts +48 -48
  90. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +27 -27
  91. package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
  92. package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
  93. package/src/factories/internal/metadata/iterate_metadata_tuple.ts +45 -45
  94. package/src/factories/internal/metadata/iterate_metadata_union.ts +59 -59
  95. package/src/functional/$any.ts +3 -3
  96. package/src/functional/$dictionary.ts +17 -0
  97. package/src/functional/$every.ts +11 -11
  98. package/src/functional/$guard.ts +35 -35
  99. package/src/functional/$is_between.ts +7 -7
  100. package/src/functional/$is_custom.ts +14 -0
  101. package/src/functional/$is_date.ts +4 -4
  102. package/src/functional/$is_datetime.ts +3 -3
  103. package/src/functional/$is_email.ts +5 -5
  104. package/src/functional/$is_ipv4.ts +5 -5
  105. package/src/functional/$is_ipv6.ts +5 -5
  106. package/src/functional/$is_url.ts +5 -5
  107. package/src/functional/$is_uuid.ts +5 -5
  108. package/src/functional/$join.ts +50 -50
  109. package/src/functional/$number.ts +12 -12
  110. package/src/functional/$report.ts +15 -15
  111. package/src/functional/$rest.ts +3 -3
  112. package/src/functional/$string.ts +37 -37
  113. package/src/functional/$tail.ts +6 -6
  114. package/src/functional/Namespace.ts +127 -125
  115. package/src/index.ts +4 -4
  116. package/src/metadata/IJsDocTagInfo.ts +10 -10
  117. package/src/metadata/IMetadata.ts +25 -25
  118. package/src/metadata/IMetadataApplication.ts +7 -7
  119. package/src/metadata/IMetadataConstant.ts +16 -16
  120. package/src/metadata/IMetadataEntry.ts +6 -6
  121. package/src/metadata/IMetadataObject.ts +29 -29
  122. package/src/metadata/IMetadataProperty.ts +11 -11
  123. package/src/metadata/IMetadataTag.ts +105 -105
  124. package/src/metadata/Metadata.ts +534 -534
  125. package/src/metadata/MetadataConstant.ts +3 -3
  126. package/src/metadata/MetadataObject.ts +131 -131
  127. package/src/metadata/MetadataProperty.ts +64 -64
  128. package/src/module.ts +1986 -1946
  129. package/src/programmers/ApplicationProgrammer.ts +55 -55
  130. package/src/programmers/AssertCloneProgrammer.ts +70 -70
  131. package/src/programmers/AssertParseProgrammer.ts +65 -65
  132. package/src/programmers/AssertProgrammer.ts +232 -232
  133. package/src/programmers/AssertPruneProgrammer.ts +67 -67
  134. package/src/programmers/AssertStringifyProgrammer.ts +71 -71
  135. package/src/programmers/CheckerProgrammer.ts +923 -893
  136. package/src/programmers/CloneProgrammer.ts +388 -386
  137. package/src/programmers/FeatureProgrammer.ts +512 -505
  138. package/src/programmers/IsCloneProgrammer.ts +80 -80
  139. package/src/programmers/IsParseProgrammer.ts +74 -74
  140. package/src/programmers/IsProgrammer.ts +201 -200
  141. package/src/programmers/IsPruneProgrammer.ts +75 -75
  142. package/src/programmers/IsStringifyProgrammer.ts +81 -81
  143. package/src/programmers/PruneProgrammer.ts +343 -341
  144. package/src/programmers/RandomProgrammer.ts +388 -388
  145. package/src/programmers/StringifyProgrammer.ts +801 -795
  146. package/src/programmers/ValidateCloneProgrammer.ts +90 -90
  147. package/src/programmers/ValidateParseProgrammer.ts +69 -69
  148. package/src/programmers/ValidateProgrammer.ts +266 -266
  149. package/src/programmers/ValidatePruneProgrammer.ts +83 -83
  150. package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
  151. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  152. package/src/programmers/helpers/CloneJoiner.ts +134 -134
  153. package/src/programmers/helpers/FunctionImporeter.ts +55 -55
  154. package/src/programmers/helpers/IExpressionEntry.ts +12 -12
  155. package/src/programmers/helpers/OptionPredicator.ts +19 -19
  156. package/src/programmers/helpers/PruneJoiner.ts +52 -52
  157. package/src/programmers/helpers/RandomJoiner.ts +149 -149
  158. package/src/programmers/helpers/RandomRanger.ts +216 -216
  159. package/src/programmers/helpers/StringifyJoinder.ts +114 -114
  160. package/src/programmers/helpers/StringifyPredicator.ts +18 -18
  161. package/src/programmers/helpers/UnionExplorer.ts +281 -274
  162. package/src/programmers/helpers/UnionPredicator.ts +81 -81
  163. package/src/programmers/internal/application_array.ts +37 -37
  164. package/src/programmers/internal/application_boolean.ts +17 -17
  165. package/src/programmers/internal/application_constant.ts +29 -29
  166. package/src/programmers/internal/application_default.ts +17 -17
  167. package/src/programmers/internal/application_default_string.ts +32 -32
  168. package/src/programmers/internal/application_native.ts +29 -29
  169. package/src/programmers/internal/application_number.ts +73 -73
  170. package/src/programmers/internal/application_object.ts +153 -153
  171. package/src/programmers/internal/application_schema.ts +184 -184
  172. package/src/programmers/internal/application_string.ts +45 -45
  173. package/src/programmers/internal/application_templates.ts +27 -27
  174. package/src/programmers/internal/application_tuple.ts +29 -29
  175. package/src/programmers/internal/check_array.ts +31 -22
  176. package/src/programmers/internal/check_array_length.ts +44 -44
  177. package/src/programmers/internal/check_bigint.ts +84 -64
  178. package/src/programmers/internal/check_custom.ts +32 -0
  179. package/src/programmers/internal/check_dynamic_properties.ts +197 -197
  180. package/src/programmers/internal/check_everything.ts +28 -28
  181. package/src/programmers/internal/check_native.ts +21 -21
  182. package/src/programmers/internal/check_number.ts +155 -145
  183. package/src/programmers/internal/check_object.ts +48 -48
  184. package/src/programmers/internal/check_string.ts +30 -24
  185. package/src/programmers/internal/check_string_tags.ts +63 -63
  186. package/src/programmers/internal/check_template.ts +50 -50
  187. package/src/programmers/internal/check_union_array_like.ts +265 -260
  188. package/src/programmers/internal/check_union_tuple.ts +35 -33
  189. package/src/programmers/internal/decode_union_object.ts +73 -73
  190. package/src/programmers/internal/feature_object_entries.ts +60 -59
  191. package/src/programmers/internal/metadata_to_pattern.ts +31 -31
  192. package/src/programmers/internal/prune_object_properties.ts +60 -60
  193. package/src/programmers/internal/stringify_dynamic_properties.ts +165 -165
  194. package/src/programmers/internal/stringify_native.ts +8 -8
  195. package/src/programmers/internal/stringify_regular_properties.ts +81 -81
  196. package/src/programmers/internal/template_to_pattern.ts +15 -15
  197. package/src/schemas/IJsonApplication.ts +9 -9
  198. package/src/schemas/IJsonComponents.ts +26 -26
  199. package/src/schemas/IJsonSchema.ts +121 -121
  200. package/src/transform.ts +21 -21
  201. package/src/transformers/CallExpressionTransformer.ts +172 -172
  202. package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
  203. package/src/transformers/FileTransformer.ts +49 -49
  204. package/src/transformers/IProject.ts +11 -11
  205. package/src/transformers/ITransformOptions.ts +62 -62
  206. package/src/transformers/ImportTransformer.ts +60 -60
  207. package/src/transformers/NodeTransformer.ts +19 -19
  208. package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +120 -120
  209. package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
  210. package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
  211. package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
  212. package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
  213. package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
  214. package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
  215. package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
  216. package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
  217. package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
  218. package/src/transformers/features/miscellaneous/CreateRandomGenerator.ts +42 -42
  219. package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
  220. package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
  221. package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
  222. package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
  223. package/src/transformers/features/miscellaneous/MetadataTransformer.ts +55 -55
  224. package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
  225. package/src/transformers/features/miscellaneous/RandomTransformer.ts +48 -48
  226. package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
  227. package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
  228. package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
  229. package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
  230. package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
  231. package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
  232. package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
  233. package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
  234. package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
  235. package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
  236. package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
  237. package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
  238. package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
  239. package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
  240. package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
  241. package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
  242. package/src/transformers/features/validators/AssertTransformer.ts +11 -11
  243. package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
  244. package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
  245. package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
  246. package/src/transformers/features/validators/IsTransformer.ts +10 -10
  247. package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
  248. package/src/transformers/internal/GenericTransformer.ts +99 -99
  249. package/src/typings/Atomic.ts +17 -17
  250. package/src/typings/ClassProperties.ts +5 -5
  251. package/src/typings/Customizable.ts +7 -0
  252. package/src/typings/OmitNever.ts +3 -3
  253. package/src/typings/SpecialFields.ts +3 -3
  254. package/src/typings/Writable.ts +11 -11
  255. package/src/utils/ArrayUtil.ts +49 -49
  256. package/src/utils/Escaper.ts +50 -50
  257. package/src/utils/MapUtil.ts +14 -14
  258. package/src/utils/PatternUtil.ts +30 -30
  259. package/src/utils/RandomGenerator.ts +96 -96
  260. package/src/utils/Singleton.ts +17 -17
@@ -1,12 +1,12 @@
1
- import { ValidateProgrammer } from "../../../programmers/ValidateProgrammer";
2
-
3
- import { GenericTransformer } from "../../internal/GenericTransformer";
4
-
5
- export namespace CreateValidateTransformer {
6
- export const transform = (equals: boolean) =>
7
- GenericTransformer.factory(
8
- equals ? "createValidateEquals" : "createValidate",
9
- )((project, modulo) =>
10
- ValidateProgrammer.generate(project, modulo, equals),
11
- );
12
- }
1
+ import { ValidateProgrammer } from "../../../programmers/ValidateProgrammer";
2
+
3
+ import { GenericTransformer } from "../../internal/GenericTransformer";
4
+
5
+ export namespace CreateValidateTransformer {
6
+ export const transform = (equals: boolean) =>
7
+ GenericTransformer.factory(
8
+ equals ? "createValidateEquals" : "createValidate",
9
+ )((project, modulo) =>
10
+ ValidateProgrammer.generate(project, modulo, equals),
11
+ );
12
+ }
@@ -1,10 +1,10 @@
1
- import { IsProgrammer } from "../../../programmers/IsProgrammer";
2
-
3
- import { GenericTransformer } from "../../internal/GenericTransformer";
4
-
5
- export namespace IsTransformer {
6
- export const transform = (equals: boolean) =>
7
- GenericTransformer.scalar(equals ? "equals" : "is")((project, modulo) =>
8
- IsProgrammer.generate(project, modulo, equals),
9
- );
10
- }
1
+ import { IsProgrammer } from "../../../programmers/IsProgrammer";
2
+
3
+ import { GenericTransformer } from "../../internal/GenericTransformer";
4
+
5
+ export namespace IsTransformer {
6
+ export const transform = (equals: boolean) =>
7
+ GenericTransformer.scalar(equals ? "equals" : "is")((project, modulo) =>
8
+ IsProgrammer.generate(project, modulo, equals),
9
+ );
10
+ }
@@ -1,11 +1,11 @@
1
- import { ValidateProgrammer } from "../../../programmers/ValidateProgrammer";
2
-
3
- import { GenericTransformer } from "../../internal/GenericTransformer";
4
-
5
- export namespace ValidateTransformer {
6
- export const transform = (equals: boolean) =>
7
- GenericTransformer.scalar(equals ? "validateEquals" : "validate")(
8
- (project, modulo) =>
9
- ValidateProgrammer.generate(project, modulo, equals),
10
- );
11
- }
1
+ import { ValidateProgrammer } from "../../../programmers/ValidateProgrammer";
2
+
3
+ import { GenericTransformer } from "../../internal/GenericTransformer";
4
+
5
+ export namespace ValidateTransformer {
6
+ export const transform = (equals: boolean) =>
7
+ GenericTransformer.scalar(equals ? "validateEquals" : "validate")(
8
+ (project, modulo) =>
9
+ ValidateProgrammer.generate(project, modulo, equals),
10
+ );
11
+ }
@@ -1,99 +1,99 @@
1
- import ts from "typescript";
2
-
3
- import { IProject } from "../IProject";
4
-
5
- export namespace GenericTransformer {
6
- export const scalar =
7
- (method: string) =>
8
- (
9
- programmer: (
10
- project: IProject,
11
- modulo: ts.LeftHandSideExpression,
12
- ) => (type: ts.Type, name: string) => ts.ArrowFunction,
13
- ) =>
14
- (
15
- project: IProject,
16
- modulo: ts.LeftHandSideExpression,
17
- expression: ts.CallExpression,
18
- ) => {
19
- // CHECK PARAMETER
20
- if (expression.arguments.length !== 1)
21
- throw new Error(`Error on typia.${method}(): no input value.`);
22
-
23
- // GET TYPE INFO
24
- const [type, node, generic]: [ts.Type, ts.Node, boolean] =
25
- expression.typeArguments && expression.typeArguments[0]
26
- ? [
27
- project.checker.getTypeFromTypeNode(
28
- expression.typeArguments[0],
29
- ),
30
- expression.typeArguments[0],
31
- true,
32
- ]
33
- : [
34
- project.checker.getTypeAtLocation(
35
- expression.arguments[0]!,
36
- ),
37
- expression.arguments[0]!,
38
- false,
39
- ];
40
- if (type.isTypeParameter())
41
- throw new Error(
42
- `Error on typia.${method}(): non-specified generic argument.`,
43
- );
44
-
45
- // DO TRANSFORM
46
- return ts.factory.createCallExpression(
47
- programmer(project, modulo)(
48
- type,
49
- generic
50
- ? node.getFullText().trim()
51
- : name(project.checker)(type)(node),
52
- ),
53
- undefined,
54
- [expression.arguments[0]!],
55
- );
56
- };
57
-
58
- export const factory =
59
- (method: string) =>
60
- (
61
- programmer: (
62
- project: IProject,
63
- modulo: ts.LeftHandSideExpression,
64
- ) => (type: ts.Type, name: string) => ts.ArrowFunction,
65
- ) =>
66
- (
67
- project: IProject,
68
- modulo: ts.LeftHandSideExpression,
69
- expression: ts.CallExpression,
70
- ) => {
71
- // CHECK GENERIC ARGUMENT EXISTENCE
72
- if (!expression.typeArguments?.[0])
73
- throw new Error(
74
- `Error on typia.${method}(): generic argument is not specified.`,
75
- );
76
-
77
- // GET TYPE INFO
78
- const node: ts.TypeNode = expression.typeArguments[0];
79
- const type: ts.Type = project.checker.getTypeFromTypeNode(node);
80
-
81
- if (type.isTypeParameter())
82
- throw new Error(
83
- `Error on typia.${method}(): non-specified generic argument.`,
84
- );
85
-
86
- // DO TRANSFORM
87
- return programmer(project, modulo)(type, node.getFullText().trim());
88
- };
89
-
90
- const name =
91
- (checker: ts.TypeChecker) =>
92
- (type: ts.Type) =>
93
- (node: ts.Node): string =>
94
- checker.typeToString(
95
- type,
96
- node,
97
- ts.TypeFormatFlags.NodeBuilderFlagsMask,
98
- );
99
- }
1
+ import ts from "typescript";
2
+
3
+ import { IProject } from "../IProject";
4
+
5
+ export namespace GenericTransformer {
6
+ export const scalar =
7
+ (method: string) =>
8
+ (
9
+ programmer: (
10
+ project: IProject,
11
+ modulo: ts.LeftHandSideExpression,
12
+ ) => (type: ts.Type, name: string) => ts.ArrowFunction,
13
+ ) =>
14
+ (
15
+ project: IProject,
16
+ modulo: ts.LeftHandSideExpression,
17
+ expression: ts.CallExpression,
18
+ ) => {
19
+ // CHECK PARAMETER
20
+ if (expression.arguments.length !== 1)
21
+ throw new Error(`Error on typia.${method}(): no input value.`);
22
+
23
+ // GET TYPE INFO
24
+ const [type, node, generic]: [ts.Type, ts.Node, boolean] =
25
+ expression.typeArguments && expression.typeArguments[0]
26
+ ? [
27
+ project.checker.getTypeFromTypeNode(
28
+ expression.typeArguments[0],
29
+ ),
30
+ expression.typeArguments[0],
31
+ true,
32
+ ]
33
+ : [
34
+ project.checker.getTypeAtLocation(
35
+ expression.arguments[0]!,
36
+ ),
37
+ expression.arguments[0]!,
38
+ false,
39
+ ];
40
+ if (type.isTypeParameter())
41
+ throw new Error(
42
+ `Error on typia.${method}(): non-specified generic argument.`,
43
+ );
44
+
45
+ // DO TRANSFORM
46
+ return ts.factory.createCallExpression(
47
+ programmer(project, modulo)(
48
+ type,
49
+ generic
50
+ ? node.getFullText().trim()
51
+ : name(project.checker)(type)(node),
52
+ ),
53
+ undefined,
54
+ [expression.arguments[0]!],
55
+ );
56
+ };
57
+
58
+ export const factory =
59
+ (method: string) =>
60
+ (
61
+ programmer: (
62
+ project: IProject,
63
+ modulo: ts.LeftHandSideExpression,
64
+ ) => (type: ts.Type, name: string) => ts.ArrowFunction,
65
+ ) =>
66
+ (
67
+ project: IProject,
68
+ modulo: ts.LeftHandSideExpression,
69
+ expression: ts.CallExpression,
70
+ ) => {
71
+ // CHECK GENERIC ARGUMENT EXISTENCE
72
+ if (!expression.typeArguments?.[0])
73
+ throw new Error(
74
+ `Error on typia.${method}(): generic argument is not specified.`,
75
+ );
76
+
77
+ // GET TYPE INFO
78
+ const node: ts.TypeNode = expression.typeArguments[0];
79
+ const type: ts.Type = project.checker.getTypeFromTypeNode(node);
80
+
81
+ if (type.isTypeParameter())
82
+ throw new Error(
83
+ `Error on typia.${method}(): non-specified generic argument.`,
84
+ );
85
+
86
+ // DO TRANSFORM
87
+ return programmer(project, modulo)(type, node.getFullText().trim());
88
+ };
89
+
90
+ const name =
91
+ (checker: ts.TypeChecker) =>
92
+ (type: ts.Type) =>
93
+ (node: ts.Node): string =>
94
+ checker.typeToString(
95
+ type,
96
+ node,
97
+ ts.TypeFormatFlags.NodeBuilderFlagsMask,
98
+ );
99
+ }
@@ -1,17 +1,17 @@
1
- export namespace Atomic {
2
- export type Type = boolean | number | string | bigint;
3
- export type Literal =
4
- | "boolean"
5
- | "integer"
6
- | "number"
7
- | "string"
8
- | "bigint";
9
-
10
- export type Mapper = {
11
- boolean: boolean;
12
- integer: number;
13
- number: number;
14
- string: string;
15
- bigint: bigint;
16
- };
17
- }
1
+ export namespace Atomic {
2
+ export type Type = boolean | number | string | bigint;
3
+ export type Literal =
4
+ | "boolean"
5
+ | "integer"
6
+ | "number"
7
+ | "string"
8
+ | "bigint";
9
+
10
+ export type Mapper = {
11
+ boolean: boolean;
12
+ integer: number;
13
+ number: number;
14
+ string: string;
15
+ bigint: bigint;
16
+ };
17
+ }
@@ -1,5 +1,5 @@
1
- import { OmitNever } from "./OmitNever";
2
-
3
- export type ClassProperties<T extends object> = OmitNever<{
4
- [K in keyof T]: T[K] extends Function ? never : T[K];
5
- }>;
1
+ import { OmitNever } from "./OmitNever";
2
+
3
+ export type ClassProperties<T extends object> = OmitNever<{
4
+ [K in keyof T]: T[K] extends Function ? never : T[K];
5
+ }>;
@@ -0,0 +1,7 @@
1
+ export type Customizable = {
2
+ boolean: boolean;
3
+ number: number;
4
+ string: string;
5
+ bigint: bigint;
6
+ array: any[];
7
+ };
@@ -1,3 +1,3 @@
1
- import { SpecialFields } from "./SpecialFields";
2
-
3
- export type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;
1
+ import { SpecialFields } from "./SpecialFields";
2
+
3
+ export type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;
@@ -1,3 +1,3 @@
1
- export type SpecialFields<Instance extends object, Target> = {
2
- [P in keyof Instance]: Instance[P] extends Target ? P : never;
3
- }[keyof Instance & string];
1
+ export type SpecialFields<Instance extends object, Target> = {
2
+ [P in keyof Instance]: Instance[P] extends Target ? P : never;
3
+ }[keyof Instance & string];
@@ -1,11 +1,11 @@
1
- import { ClassProperties } from "./ClassProperties";
2
-
3
- export type Writable<T extends object> = {
4
- -readonly [P in keyof T]: T[P];
5
- };
6
-
7
- export function Writable<T extends object>(
8
- elem: T,
9
- ): Writable<ClassProperties<T>> {
10
- return elem as any;
11
- }
1
+ import { ClassProperties } from "./ClassProperties";
2
+
3
+ export type Writable<T extends object> = {
4
+ -readonly [P in keyof T]: T[P];
5
+ };
6
+
7
+ export function Writable<T extends object>(
8
+ elem: T,
9
+ ): Writable<ClassProperties<T>> {
10
+ return elem as any;
11
+ }
@@ -1,49 +1,49 @@
1
- export namespace ArrayUtil {
2
- export function has<T>(array: T[], pred: (elem: T) => boolean): boolean {
3
- return array.some(pred);
4
- }
5
-
6
- export function add<T>(
7
- array: T[],
8
- value: T,
9
- pred: (x: T, y: T) => boolean = (x, y) => x === y,
10
- ): void {
11
- if (array.some((elem) => pred(elem, value))) return;
12
- array.push(value);
13
- }
14
-
15
- export function set<Key, T>(
16
- array: T[],
17
- value: T,
18
- key: (elem: T) => Key,
19
- ): void {
20
- if (array.some((elem) => key(elem) === key(value))) return;
21
- array.push(value);
22
- }
23
-
24
- export function take<T>(
25
- array: T[],
26
- pred: (elem: T) => boolean,
27
- init: () => T,
28
- ): T {
29
- const index: number = array.findIndex(pred);
30
- if (index !== -1) return array[index]!;
31
-
32
- const elem: T = init();
33
- array.push(elem);
34
- return elem;
35
- }
36
-
37
- export function repeat<T>(
38
- count: number,
39
- closure: (index: number, count: number) => T,
40
- ): T[] {
41
- return new Array(count)
42
- .fill("")
43
- .map((_, index) => closure(index, count));
44
- }
45
-
46
- export function flat<T>(matrix: T[][]): T[] {
47
- return ([] as T[]).concat(...matrix);
48
- }
49
- }
1
+ export namespace ArrayUtil {
2
+ export function has<T>(array: T[], pred: (elem: T) => boolean): boolean {
3
+ return array.some(pred);
4
+ }
5
+
6
+ export function add<T>(
7
+ array: T[],
8
+ value: T,
9
+ pred: (x: T, y: T) => boolean = (x, y) => x === y,
10
+ ): void {
11
+ if (array.some((elem) => pred(elem, value))) return;
12
+ array.push(value);
13
+ }
14
+
15
+ export function set<Key, T>(
16
+ array: T[],
17
+ value: T,
18
+ key: (elem: T) => Key,
19
+ ): void {
20
+ if (array.some((elem) => key(elem) === key(value))) return;
21
+ array.push(value);
22
+ }
23
+
24
+ export function take<T>(
25
+ array: T[],
26
+ pred: (elem: T) => boolean,
27
+ init: () => T,
28
+ ): T {
29
+ const index: number = array.findIndex(pred);
30
+ if (index !== -1) return array[index]!;
31
+
32
+ const elem: T = init();
33
+ array.push(elem);
34
+ return elem;
35
+ }
36
+
37
+ export function repeat<T>(
38
+ count: number,
39
+ closure: (index: number, count: number) => T,
40
+ ): T[] {
41
+ return new Array(count)
42
+ .fill("")
43
+ .map((_, index) => closure(index, count));
44
+ }
45
+
46
+ export function flat<T>(matrix: T[][]): T[] {
47
+ return ([] as T[]).concat(...matrix);
48
+ }
49
+ }
@@ -1,50 +1,50 @@
1
- export namespace Escaper {
2
- export function variable(str: string): boolean {
3
- return (
4
- reserved(str) === false && /^[a-zA-Z_$][a-zA-Z_$0-9]*$/g.test(str)
5
- );
6
- }
7
-
8
- function reserved(str: string): boolean {
9
- return RESERVED.has(str);
10
- }
11
- }
12
-
13
- const RESERVED: Set<string> = new Set([
14
- "break",
15
- "case",
16
- "catch",
17
- "class",
18
- "const",
19
- "continue",
20
- "debugger",
21
- "default",
22
- "delete",
23
- "do",
24
- "else",
25
- "enum",
26
- "export",
27
- "extends",
28
- "false",
29
- "finally",
30
- "for",
31
- "function",
32
- "if",
33
- "import",
34
- "in",
35
- "instanceof",
36
- "new",
37
- "null",
38
- "return",
39
- "super",
40
- "switch",
41
- "this",
42
- "throw",
43
- "true",
44
- "try",
45
- "typeof",
46
- "var",
47
- "void",
48
- "while",
49
- "with",
50
- ]);
1
+ export namespace Escaper {
2
+ export function variable(str: string): boolean {
3
+ return (
4
+ reserved(str) === false && /^[a-zA-Z_$][a-zA-Z_$0-9]*$/g.test(str)
5
+ );
6
+ }
7
+
8
+ function reserved(str: string): boolean {
9
+ return RESERVED.has(str);
10
+ }
11
+ }
12
+
13
+ const RESERVED: Set<string> = new Set([
14
+ "break",
15
+ "case",
16
+ "catch",
17
+ "class",
18
+ "const",
19
+ "continue",
20
+ "debugger",
21
+ "default",
22
+ "delete",
23
+ "do",
24
+ "else",
25
+ "enum",
26
+ "export",
27
+ "extends",
28
+ "false",
29
+ "finally",
30
+ "for",
31
+ "function",
32
+ "if",
33
+ "import",
34
+ "in",
35
+ "instanceof",
36
+ "new",
37
+ "null",
38
+ "return",
39
+ "super",
40
+ "switch",
41
+ "this",
42
+ "throw",
43
+ "true",
44
+ "try",
45
+ "typeof",
46
+ "var",
47
+ "void",
48
+ "while",
49
+ "with",
50
+ ]);
@@ -1,14 +1,14 @@
1
- export namespace MapUtil {
2
- export function take<Key, T>(
3
- dict: Map<Key, T>,
4
- key: Key,
5
- generator: () => T,
6
- ): T {
7
- const oldbie: T | undefined = dict.get(key);
8
- if (oldbie) return oldbie;
9
-
10
- const value: T = generator();
11
- dict.set(key, value);
12
- return value;
13
- }
14
- }
1
+ export namespace MapUtil {
2
+ export function take<Key, T>(
3
+ dict: Map<Key, T>,
4
+ key: Key,
5
+ generator: () => T,
6
+ ): T {
7
+ const oldbie: T | undefined = dict.get(key);
8
+ if (oldbie) return oldbie;
9
+
10
+ const value: T = generator();
11
+ dict.set(key, value);
12
+ return value;
13
+ }
14
+ }
@@ -1,30 +1,30 @@
1
- export namespace PatternUtil {
2
- export function fix(str: string): string {
3
- const first: number = str.indexOf(STRING);
4
- const last: number = str.lastIndexOf(STRING);
5
- return [
6
- first === -1 || none("(")(str.slice(0, first)) ? "^" : "",
7
- str,
8
- last === -1 || none(")")(str.slice(last + STRING.length))
9
- ? "$"
10
- : "",
11
- ].join("");
12
- }
13
-
14
- export function escape(str: string): string {
15
- return str
16
- .replace(/[|\\/{}()[\]^$+*?.]/g, "\\$&")
17
- .replace(/-/g, "\\x2d");
18
- }
19
-
20
- export const NUMBER = "-?\\d+\\.?\\d*";
21
- export const BOOLEAN = "true|false";
22
- export const STRING = "(.*)";
23
- }
24
-
25
- const none =
26
- (parenthesis: string) =>
27
- (str: string): boolean => {
28
- for (const ch of str) if (ch !== parenthesis) return true;
29
- return false;
30
- };
1
+ export namespace PatternUtil {
2
+ export function fix(str: string): string {
3
+ const first: number = str.indexOf(STRING);
4
+ const last: number = str.lastIndexOf(STRING);
5
+ return [
6
+ first === -1 || none("(")(str.slice(0, first)) ? "^" : "",
7
+ str,
8
+ last === -1 || none(")")(str.slice(last + STRING.length))
9
+ ? "$"
10
+ : "",
11
+ ].join("");
12
+ }
13
+
14
+ export function escape(str: string): string {
15
+ return str
16
+ .replace(/[|\\/{}()[\]^$+*?.]/g, "\\$&")
17
+ .replace(/-/g, "\\x2d");
18
+ }
19
+
20
+ export const NUMBER = "-?\\d+\\.?\\d*";
21
+ export const BOOLEAN = "true|false";
22
+ export const STRING = "(.*)";
23
+ }
24
+
25
+ const none =
26
+ (parenthesis: string) =>
27
+ (str: string): boolean => {
28
+ for (const ch of str) if (ch !== parenthesis) return true;
29
+ return false;
30
+ };