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.
- package/lib/factories/MetadataTagFactory.js +140 -132
- package/lib/factories/MetadataTagFactory.js.map +1 -1
- package/lib/functional/$dictionary.d.ts +1 -0
- package/lib/functional/$dictionary.js +14 -0
- package/lib/functional/$dictionary.js.map +1 -0
- package/lib/functional/$is_custom.d.ts +2 -0
- package/lib/functional/$is_custom.js +12 -0
- package/lib/functional/$is_custom.js.map +1 -0
- package/lib/functional/Namespace.js +2 -0
- package/lib/functional/Namespace.js.map +1 -1
- package/lib/module.d.ts +25 -0
- package/lib/module.js +12 -1
- package/lib/module.js.map +1 -1
- package/lib/programmers/CheckerProgrammer.d.ts +2 -2
- package/lib/programmers/CheckerProgrammer.js +22 -22
- package/lib/programmers/CheckerProgrammer.js.map +1 -1
- package/lib/programmers/CloneProgrammer.js +2 -2
- package/lib/programmers/CloneProgrammer.js.map +1 -1
- package/lib/programmers/FeatureProgrammer.d.ts +3 -2
- package/lib/programmers/FeatureProgrammer.js +5 -5
- package/lib/programmers/FeatureProgrammer.js.map +1 -1
- package/lib/programmers/IsProgrammer.d.ts +1 -1
- package/lib/programmers/IsProgrammer.js +2 -2
- package/lib/programmers/IsProgrammer.js.map +1 -1
- package/lib/programmers/PruneProgrammer.js +2 -2
- package/lib/programmers/PruneProgrammer.js.map +1 -1
- package/lib/programmers/StringifyProgrammer.js +6 -6
- package/lib/programmers/StringifyProgrammer.js.map +1 -1
- package/lib/programmers/helpers/UnionExplorer.d.ts +7 -7
- package/lib/programmers/helpers/UnionExplorer.js +6 -6
- package/lib/programmers/helpers/UnionExplorer.js.map +1 -1
- package/lib/programmers/internal/check_array.js +36 -7
- package/lib/programmers/internal/check_array.js.map +1 -1
- package/lib/programmers/internal/check_bigint.d.ts +3 -1
- package/lib/programmers/internal/check_bigint.js +90 -61
- package/lib/programmers/internal/check_bigint.js.map +1 -1
- package/lib/programmers/internal/check_custom.d.ts +4 -0
- package/lib/programmers/internal/check_custom.js +30 -0
- package/lib/programmers/internal/check_custom.js.map +1 -0
- package/lib/programmers/internal/check_number.js +104 -75
- package/lib/programmers/internal/check_number.js.map +1 -1
- package/lib/programmers/internal/check_string.js +4 -3
- package/lib/programmers/internal/check_string.js.map +1 -1
- package/lib/programmers/internal/check_union_array_like.d.ts +2 -2
- package/lib/programmers/internal/check_union_array_like.js +4 -4
- package/lib/programmers/internal/check_union_array_like.js.map +1 -1
- package/lib/programmers/internal/check_union_tuple.js +2 -2
- package/lib/programmers/internal/check_union_tuple.js.map +1 -1
- package/lib/programmers/internal/feature_object_entries.js +1 -1
- package/lib/programmers/internal/feature_object_entries.js.map +1 -1
- package/lib/typings/Customizable.d.ts +7 -0
- package/lib/typings/Customizable.js +3 -0
- package/lib/typings/Customizable.js.map +1 -0
- package/package.json +1 -1
- package/src/IRandomGenerator.ts +17 -17
- package/src/IValidation.ts +21 -21
- package/src/Primitive.ts +104 -104
- package/src/TypeGuardError.ts +36 -36
- package/src/executable/TypiaGenerateWizard.ts +87 -87
- package/src/executable/TypiaSetupWizard.ts +152 -152
- package/src/executable/setup/ArgumentParser.ts +91 -91
- package/src/executable/setup/CommandExecutor.ts +8 -8
- package/src/executable/setup/FileRetriever.ts +33 -33
- package/src/executable/setup/PackageManager.ts +92 -92
- package/src/executable/setup/PluginConfigurator.ts +99 -99
- package/src/executable/typia.ts +38 -38
- package/src/factories/CommentFactory.ts +10 -10
- package/src/factories/ExpressionFactory.ts +77 -77
- package/src/factories/IdentifierFactory.ts +73 -73
- package/src/factories/LiteralFactory.ts +44 -44
- package/src/factories/MetadataCollection.ts +122 -122
- package/src/factories/MetadataFactory.ts +51 -51
- package/src/factories/MetadataTagFactory.ts +302 -276
- package/src/factories/StatementFactory.ts +60 -60
- package/src/factories/TemplateFactory.ts +56 -56
- package/src/factories/TypeFactory.ts +129 -129
- package/src/factories/TypiaFileFactory.ts +120 -120
- package/src/factories/ValueFactory.ts +12 -12
- package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
- package/src/factories/internal/metadata/emplace_metadata_object.ts +142 -142
- package/src/factories/internal/metadata/explore_metadata.ts +92 -92
- package/src/factories/internal/metadata/iterate_metadata.ts +80 -80
- package/src/factories/internal/metadata/iterate_metadata_array.ts +29 -29
- package/src/factories/internal/metadata/iterate_metadata_atomic.ts +59 -59
- package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
- package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
- package/src/factories/internal/metadata/iterate_metadata_map.ts +41 -41
- package/src/factories/internal/metadata/iterate_metadata_native.ts +222 -222
- package/src/factories/internal/metadata/iterate_metadata_object.ts +48 -48
- package/src/factories/internal/metadata/iterate_metadata_resolve.ts +27 -27
- package/src/factories/internal/metadata/iterate_metadata_set.ts +33 -33
- package/src/factories/internal/metadata/iterate_metadata_template.ts +38 -38
- package/src/factories/internal/metadata/iterate_metadata_tuple.ts +45 -45
- package/src/factories/internal/metadata/iterate_metadata_union.ts +59 -59
- package/src/functional/$any.ts +3 -3
- package/src/functional/$dictionary.ts +17 -0
- package/src/functional/$every.ts +11 -11
- package/src/functional/$guard.ts +35 -35
- package/src/functional/$is_between.ts +7 -7
- package/src/functional/$is_custom.ts +14 -0
- package/src/functional/$is_date.ts +4 -4
- package/src/functional/$is_datetime.ts +3 -3
- package/src/functional/$is_email.ts +5 -5
- package/src/functional/$is_ipv4.ts +5 -5
- package/src/functional/$is_ipv6.ts +5 -5
- package/src/functional/$is_url.ts +5 -5
- package/src/functional/$is_uuid.ts +5 -5
- package/src/functional/$join.ts +50 -50
- package/src/functional/$number.ts +12 -12
- package/src/functional/$report.ts +15 -15
- package/src/functional/$rest.ts +3 -3
- package/src/functional/$string.ts +37 -37
- package/src/functional/$tail.ts +6 -6
- package/src/functional/Namespace.ts +127 -125
- package/src/index.ts +4 -4
- package/src/metadata/IJsDocTagInfo.ts +10 -10
- package/src/metadata/IMetadata.ts +25 -25
- package/src/metadata/IMetadataApplication.ts +7 -7
- package/src/metadata/IMetadataConstant.ts +16 -16
- package/src/metadata/IMetadataEntry.ts +6 -6
- package/src/metadata/IMetadataObject.ts +29 -29
- package/src/metadata/IMetadataProperty.ts +11 -11
- package/src/metadata/IMetadataTag.ts +105 -105
- package/src/metadata/Metadata.ts +534 -534
- package/src/metadata/MetadataConstant.ts +3 -3
- package/src/metadata/MetadataObject.ts +131 -131
- package/src/metadata/MetadataProperty.ts +64 -64
- package/src/module.ts +1986 -1946
- package/src/programmers/ApplicationProgrammer.ts +55 -55
- package/src/programmers/AssertCloneProgrammer.ts +70 -70
- package/src/programmers/AssertParseProgrammer.ts +65 -65
- package/src/programmers/AssertProgrammer.ts +232 -232
- package/src/programmers/AssertPruneProgrammer.ts +67 -67
- package/src/programmers/AssertStringifyProgrammer.ts +71 -71
- package/src/programmers/CheckerProgrammer.ts +923 -893
- package/src/programmers/CloneProgrammer.ts +388 -386
- package/src/programmers/FeatureProgrammer.ts +512 -505
- package/src/programmers/IsCloneProgrammer.ts +80 -80
- package/src/programmers/IsParseProgrammer.ts +74 -74
- package/src/programmers/IsProgrammer.ts +201 -200
- package/src/programmers/IsPruneProgrammer.ts +75 -75
- package/src/programmers/IsStringifyProgrammer.ts +81 -81
- package/src/programmers/PruneProgrammer.ts +343 -341
- package/src/programmers/RandomProgrammer.ts +388 -388
- package/src/programmers/StringifyProgrammer.ts +801 -795
- package/src/programmers/ValidateCloneProgrammer.ts +90 -90
- package/src/programmers/ValidateParseProgrammer.ts +69 -69
- package/src/programmers/ValidateProgrammer.ts +266 -266
- package/src/programmers/ValidatePruneProgrammer.ts +83 -83
- package/src/programmers/ValidateStringifyProgrammer.ts +89 -89
- package/src/programmers/helpers/AtomicPredicator.ts +31 -31
- package/src/programmers/helpers/CloneJoiner.ts +134 -134
- package/src/programmers/helpers/FunctionImporeter.ts +55 -55
- package/src/programmers/helpers/IExpressionEntry.ts +12 -12
- package/src/programmers/helpers/OptionPredicator.ts +19 -19
- package/src/programmers/helpers/PruneJoiner.ts +52 -52
- package/src/programmers/helpers/RandomJoiner.ts +149 -149
- package/src/programmers/helpers/RandomRanger.ts +216 -216
- package/src/programmers/helpers/StringifyJoinder.ts +114 -114
- package/src/programmers/helpers/StringifyPredicator.ts +18 -18
- package/src/programmers/helpers/UnionExplorer.ts +281 -274
- package/src/programmers/helpers/UnionPredicator.ts +81 -81
- package/src/programmers/internal/application_array.ts +37 -37
- package/src/programmers/internal/application_boolean.ts +17 -17
- package/src/programmers/internal/application_constant.ts +29 -29
- package/src/programmers/internal/application_default.ts +17 -17
- package/src/programmers/internal/application_default_string.ts +32 -32
- package/src/programmers/internal/application_native.ts +29 -29
- package/src/programmers/internal/application_number.ts +73 -73
- package/src/programmers/internal/application_object.ts +153 -153
- package/src/programmers/internal/application_schema.ts +184 -184
- package/src/programmers/internal/application_string.ts +45 -45
- package/src/programmers/internal/application_templates.ts +27 -27
- package/src/programmers/internal/application_tuple.ts +29 -29
- package/src/programmers/internal/check_array.ts +31 -22
- package/src/programmers/internal/check_array_length.ts +44 -44
- package/src/programmers/internal/check_bigint.ts +84 -64
- package/src/programmers/internal/check_custom.ts +32 -0
- package/src/programmers/internal/check_dynamic_properties.ts +197 -197
- package/src/programmers/internal/check_everything.ts +28 -28
- package/src/programmers/internal/check_native.ts +21 -21
- package/src/programmers/internal/check_number.ts +155 -145
- package/src/programmers/internal/check_object.ts +48 -48
- package/src/programmers/internal/check_string.ts +30 -24
- package/src/programmers/internal/check_string_tags.ts +63 -63
- package/src/programmers/internal/check_template.ts +50 -50
- package/src/programmers/internal/check_union_array_like.ts +265 -260
- package/src/programmers/internal/check_union_tuple.ts +35 -33
- package/src/programmers/internal/decode_union_object.ts +73 -73
- package/src/programmers/internal/feature_object_entries.ts +60 -59
- package/src/programmers/internal/metadata_to_pattern.ts +31 -31
- package/src/programmers/internal/prune_object_properties.ts +60 -60
- package/src/programmers/internal/stringify_dynamic_properties.ts +165 -165
- package/src/programmers/internal/stringify_native.ts +8 -8
- package/src/programmers/internal/stringify_regular_properties.ts +81 -81
- package/src/programmers/internal/template_to_pattern.ts +15 -15
- package/src/schemas/IJsonApplication.ts +9 -9
- package/src/schemas/IJsonComponents.ts +26 -26
- package/src/schemas/IJsonSchema.ts +121 -121
- package/src/transform.ts +21 -21
- package/src/transformers/CallExpressionTransformer.ts +172 -172
- package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
- package/src/transformers/FileTransformer.ts +49 -49
- package/src/transformers/IProject.ts +11 -11
- package/src/transformers/ITransformOptions.ts +62 -62
- package/src/transformers/ImportTransformer.ts +60 -60
- package/src/transformers/NodeTransformer.ts +19 -19
- package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +120 -120
- package/src/transformers/features/miscellaneous/AssertCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/AssertPruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateAssertCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateAssertPruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateIsCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateIsPruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreatePruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateRandomGenerator.ts +42 -42
- package/src/transformers/features/miscellaneous/CreateValidateCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/CreateValidatePruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/IsCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/IsPruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/MetadataTransformer.ts +55 -55
- package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/RandomTransformer.ts +48 -48
- package/src/transformers/features/miscellaneous/ValidateCloneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/ValidatePruneTransformer.ts +9 -9
- package/src/transformers/features/parsers/AssertParseTransformer.ts +9 -9
- package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +9 -9
- package/src/transformers/features/parsers/CreateIsParseTransformer.ts +9 -9
- package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +9 -9
- package/src/transformers/features/parsers/IsParseTransformer.ts +9 -9
- package/src/transformers/features/parsers/ValidateParseTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +10 -10
- package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +11 -11
- package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/StringifyTransformer.ts +9 -9
- package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +10 -10
- package/src/transformers/features/validators/AssertTransformer.ts +11 -11
- package/src/transformers/features/validators/CreateAssertTransformer.ts +12 -12
- package/src/transformers/features/validators/CreateIsTransformer.ts +10 -10
- package/src/transformers/features/validators/CreateValidateTransformer.ts +12 -12
- package/src/transformers/features/validators/IsTransformer.ts +10 -10
- package/src/transformers/features/validators/ValidateTransformer.ts +11 -11
- package/src/transformers/internal/GenericTransformer.ts +99 -99
- package/src/typings/Atomic.ts +17 -17
- package/src/typings/ClassProperties.ts +5 -5
- package/src/typings/Customizable.ts +7 -0
- package/src/typings/OmitNever.ts +3 -3
- package/src/typings/SpecialFields.ts +3 -3
- package/src/typings/Writable.ts +11 -11
- package/src/utils/ArrayUtil.ts +49 -49
- package/src/utils/Escaper.ts +50 -50
- package/src/utils/MapUtil.ts +14 -14
- package/src/utils/PatternUtil.ts +30 -30
- package/src/utils/RandomGenerator.ts +96 -96
- 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
|
+
}
|
package/src/typings/Atomic.ts
CHANGED
|
@@ -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
|
+
}>;
|
package/src/typings/OmitNever.ts
CHANGED
|
@@ -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];
|
package/src/typings/Writable.ts
CHANGED
|
@@ -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
|
+
}
|
package/src/utils/ArrayUtil.ts
CHANGED
|
@@ -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
|
+
}
|
package/src/utils/Escaper.ts
CHANGED
|
@@ -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
|
+
]);
|
package/src/utils/MapUtil.ts
CHANGED
|
@@ -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
|
+
}
|
package/src/utils/PatternUtil.ts
CHANGED
|
@@ -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
|
+
};
|