typia 3.7.5-dev.20230413 → 3.7.6
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/README.md +35 -228
- package/lib/executable/TypiaSetupWizard.d.ts +1 -0
- package/lib/executable/TypiaSetupWizard.js +62 -30
- package/lib/executable/TypiaSetupWizard.js.map +1 -1
- package/lib/executable/setup/PackageManager.d.ts +1 -1
- package/lib/executable/typia.d.ts +1 -1
- package/lib/executable/typia.js +1 -1
- package/lib/executable/typia.js.map +1 -1
- package/lib/factories/IdentifierFactory.d.ts +1 -1
- package/lib/factories/IdentifierFactory.js +1 -1
- package/lib/factories/IdentifierFactory.js.map +1 -1
- package/lib/factories/TypiaFileFactory.js +9 -4
- package/lib/factories/TypiaFileFactory.js.map +1 -1
- package/lib/programmers/internal/check_string_tags.js +2 -2
- package/lib/programmers/internal/check_string_tags.js.map +1 -1
- package/lib/programmers/internal/check_template.js +1 -1
- package/lib/programmers/internal/check_template.js.map +1 -1
- package/package.json +11 -12
- package/src/CustomValidatorMap.ts +126 -126
- package/src/IRandomGenerator.ts +33 -33
- package/src/IValidation.ts +21 -21
- package/src/Primitive.ts +104 -104
- package/src/TypeGuardError.ts +36 -36
- package/src/executable/TypiaGenerateWizard.ts +85 -85
- package/src/executable/TypiaSetupWizard.ts +47 -14
- package/src/executable/setup/ArgumentParser.ts +45 -45
- package/src/executable/setup/CommandExecutor.ts +8 -8
- package/src/executable/setup/FileRetriever.ts +22 -22
- package/src/executable/setup/PackageManager.ts +1 -1
- package/src/executable/setup/PluginConfigurator.ts +59 -59
- package/src/executable/typia.ts +54 -53
- package/src/factories/CommentFactory.ts +10 -10
- package/src/factories/ExpressionFactory.ts +77 -77
- package/src/factories/IdentifierFactory.ts +81 -59
- 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 -302
- 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 +12 -3
- 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 +20 -20
- 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 -14
- 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 -127
- package/src/index.ts +4 -4
- package/src/metadata/ICommentTag.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 +2043 -2043
- 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 +284 -284
- package/src/programmers/AssertPruneProgrammer.ts +67 -67
- package/src/programmers/AssertStringifyProgrammer.ts +71 -71
- package/src/programmers/CheckerProgrammer.ts +922 -922
- package/src/programmers/CloneProgrammer.ts +388 -388
- package/src/programmers/FeatureProgrammer.ts +512 -512
- package/src/programmers/IsCloneProgrammer.ts +80 -80
- package/src/programmers/IsParseProgrammer.ts +74 -74
- package/src/programmers/IsProgrammer.ts +206 -206
- package/src/programmers/IsPruneProgrammer.ts +75 -75
- package/src/programmers/IsStringifyProgrammer.ts +81 -81
- package/src/programmers/LiteralsProgrammer.ts +65 -65
- package/src/programmers/PruneProgrammer.ts +343 -343
- package/src/programmers/RandomProgrammer.ts +413 -413
- package/src/programmers/StringifyProgrammer.ts +801 -801
- package/src/programmers/ValidateCloneProgrammer.ts +90 -90
- package/src/programmers/ValidateParseProgrammer.ts +69 -69
- package/src/programmers/ValidateProgrammer.ts +317 -317
- 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/ICheckEntry.ts +12 -12
- 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 +161 -161
- 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 -281
- 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 +32 -32
- 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 +30 -30
- package/src/programmers/internal/check_array_length.ts +35 -35
- package/src/programmers/internal/check_bigint.ts +82 -82
- package/src/programmers/internal/check_custom.ts +33 -33
- 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 +177 -177
- package/src/programmers/internal/check_object.ts +55 -55
- package/src/programmers/internal/check_string.ts +25 -25
- package/src/programmers/internal/check_string_tags.ts +9 -15
- package/src/programmers/internal/check_template.ts +6 -9
- package/src/programmers/internal/check_union_array_like.ts +272 -272
- package/src/programmers/internal/check_union_tuple.ts +35 -35
- package/src/programmers/internal/decode_union_object.ts +73 -73
- package/src/programmers/internal/feature_object_entries.ts +63 -63
- package/src/programmers/internal/get_comment_tags.ts +23 -23
- package/src/programmers/internal/metadata_to_pattern.ts +34 -34
- package/src/programmers/internal/prune_object_properties.ts +60 -60
- package/src/programmers/internal/random_custom.ts +30 -30
- package/src/programmers/internal/stringify_dynamic_properties.ts +168 -168
- package/src/programmers/internal/stringify_native.ts +8 -8
- package/src/programmers/internal/stringify_regular_properties.ts +84 -84
- 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 +174 -174
- 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 +66 -66
- package/src/transformers/NodeTransformer.ts +19 -19
- package/src/transformers/features/miscellaneous/ApplicationTransformer.ts +119 -119
- 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/CreateRandomTransformer.ts +41 -41
- 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/LiteralsTransformer.ts +30 -30
- package/src/transformers/features/miscellaneous/MetadataTransformer.ts +54 -54
- package/src/transformers/features/miscellaneous/PruneTransformer.ts +9 -9
- package/src/transformers/features/miscellaneous/RandomTransformer.ts +46 -46
- 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 +5 -5
- 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
|
+
}>;
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
export type Customizable = {
|
|
2
|
-
number: number;
|
|
3
|
-
string: string;
|
|
4
|
-
bigint: bigint;
|
|
5
|
-
};
|
|
1
|
+
export type Customizable = {
|
|
2
|
+
number: number;
|
|
3
|
+
string: string;
|
|
4
|
+
bigint: bigint;
|
|
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
|
+
};
|