typia 3.4.21 → 3.4.23
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 +57 -23
- package/lib/programmers/AssertProgrammer.js +79 -70
- package/lib/programmers/AssertProgrammer.js.map +1 -1
- package/lib/programmers/IsProgrammer.d.ts +1 -0
- package/lib/programmers/IsProgrammer.js +4 -0
- package/lib/programmers/IsProgrammer.js.map +1 -1
- package/lib/programmers/ValidateProgrammer.js +68 -59
- package/lib/programmers/ValidateProgrammer.js.map +1 -1
- package/lib/programmers/helpers/OptionPredicator.d.ts +1 -0
- package/lib/programmers/helpers/OptionPredicator.js +4 -0
- package/lib/programmers/helpers/OptionPredicator.js.map +1 -1
- package/lib/programmers/internal/application_schema.js +23 -21
- package/lib/programmers/internal/application_schema.js.map +1 -1
- package/lib/programmers/internal/check_dynamic_properties.js +5 -0
- package/lib/programmers/internal/check_dynamic_properties.js.map +1 -1
- package/lib/programmers/internal/check_object.d.ts +1 -0
- package/lib/programmers/internal/check_object.js.map +1 -1
- package/lib/transformers/ITransformOptions.d.ts +10 -0
- package/package.json +2 -2
- package/src/IValidation.ts +21 -21
- package/src/Primitive.ts +82 -82
- package/src/TypeGuardError.ts +36 -36
- package/src/executable/internal/CommandParser.ts +15 -15
- package/src/factories/CommentFactory.ts +10 -10
- package/src/factories/ExpressionFactory.ts +66 -66
- package/src/factories/IdentifierFactory.ts +72 -72
- package/src/factories/LiteralFactory.ts +44 -44
- package/src/factories/StatementFactory.ts +60 -60
- package/src/factories/TemplateFactory.ts +56 -56
- package/src/factories/TypeFactory.ts +101 -101
- package/src/factories/ValueFactory.ts +12 -12
- package/src/functional/$every.ts +11 -11
- 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/$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/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/MetadataConstant.ts +3 -3
- package/src/metadata/MetadataObject.ts +131 -131
- package/src/metadata/MetadataProperty.ts +64 -64
- package/src/programmers/ApplicationProgrammer.ts +55 -55
- package/src/programmers/AssertProgrammer.ts +36 -29
- package/src/programmers/IsProgrammer.ts +5 -0
- package/src/programmers/ValidateProgrammer.ts +36 -29
- package/src/programmers/helpers/AtomicPredicator.ts +15 -15
- package/src/programmers/helpers/FunctionImporeter.ts +31 -31
- package/src/programmers/helpers/IExpressionEntry.ts +10 -10
- package/src/programmers/helpers/OptionPredicator.ts +4 -0
- package/src/programmers/helpers/StringifyJoinder.ts +111 -111
- package/src/programmers/helpers/StringifyPredicator.ts +18 -18
- package/src/programmers/helpers/UnionPredicator.ts +81 -81
- package/src/programmers/internal/application_array.ts +47 -47
- package/src/programmers/internal/application_boolean.ts +17 -17
- package/src/programmers/internal/application_constant.ts +29 -29
- 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 +76 -76
- package/src/programmers/internal/application_schema.ts +9 -6
- package/src/programmers/internal/application_string.ts +49 -49
- package/src/programmers/internal/application_templates.ts +27 -27
- package/src/programmers/internal/application_tuple.ts +29 -29
- package/src/programmers/internal/check_dynamic_properties.ts +164 -146
- package/src/programmers/internal/check_everything.ts +25 -25
- package/src/programmers/internal/check_length.ts +46 -46
- package/src/programmers/internal/check_native.ts +9 -9
- package/src/programmers/internal/check_object.ts +43 -42
- package/src/programmers/internal/check_string.ts +24 -24
- package/src/programmers/internal/check_string_tags.ts +63 -63
- package/src/programmers/internal/check_template.ts +50 -50
- package/src/programmers/internal/decode_union_object.ts +73 -73
- package/src/programmers/internal/feature_object_entries.ts +49 -49
- package/src/programmers/internal/metadata_to_pattern.ts +31 -31
- package/src/programmers/internal/stringify_dynamic_properties.ts +164 -164
- 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/transform.ts +20 -20
- 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 +11 -0
- package/src/transformers/NodeTransformer.ts +19 -19
- package/src/transformers/features/miscellaneous/MetadataTransformer.ts +55 -55
- package/src/transformers/features/parsers/AssertParseTransformer.ts +36 -36
- package/src/transformers/features/parsers/CreateAssertParseTransformer.ts +32 -32
- package/src/transformers/features/parsers/CreateIsParseTransformer.ts +32 -32
- package/src/transformers/features/parsers/CreateValidateParseTransformer.ts +32 -32
- package/src/transformers/features/parsers/IsParseTransformer.ts +36 -36
- package/src/transformers/features/parsers/ValidateParseTransformer.ts +36 -36
- package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts +38 -38
- package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts +32 -32
- package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts +32 -32
- package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts +31 -31
- package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts +32 -32
- package/src/transformers/features/stringifiers/IsStringifyTransformer.ts +38 -38
- package/src/transformers/features/stringifiers/ValidateStringifyTransformer.ts +38 -38
- package/src/transformers/features/validators/AssertTransformer.ts +43 -43
- package/src/transformers/features/validators/CreateAssertTransformer.ts +35 -35
- package/src/transformers/features/validators/CreateIsTransformer.ts +35 -35
- package/src/transformers/features/validators/CreateValidateTransformer.ts +35 -35
- package/src/transformers/features/validators/IsTransformer.ts +43 -43
- package/src/transformers/features/validators/ValidateTransformer.ts +43 -43
- package/src/typings/Atomic.ts +17 -17
- package/src/typings/ClassProperties.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/Singleton.ts +17 -17
|
@@ -1,81 +1,81 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { TemplateFactory } from "../../factories/TemplateFactory";
|
|
4
|
-
import { ValueFactory } from "../../factories/ValueFactory";
|
|
5
|
-
|
|
6
|
-
import { Metadata } from "../../metadata/Metadata";
|
|
7
|
-
|
|
8
|
-
import { IExpressionEntry } from "../helpers/IExpressionEntry";
|
|
9
|
-
|
|
10
|
-
/**
|
|
11
|
-
* @internal
|
|
12
|
-
*/
|
|
13
|
-
export function stringify_regular_properties(
|
|
14
|
-
regular: IExpressionEntry[],
|
|
15
|
-
dynamic: IExpressionEntry[],
|
|
16
|
-
): ts.Expression[] {
|
|
17
|
-
const output: ts.Expression[] = [];
|
|
18
|
-
|
|
19
|
-
regular.sort((x, y) => sequence(x.meta) - sequence(y.meta));
|
|
20
|
-
regular.forEach((entry, index) => {
|
|
21
|
-
// BASE ELEMENTS
|
|
22
|
-
const key: string = entry.key.getSoleLiteral()!;
|
|
23
|
-
const base: ts.Expression[] = [
|
|
24
|
-
ts.factory.createStringLiteral(`${JSON.stringify(key)}:`),
|
|
25
|
-
entry.expression,
|
|
26
|
-
];
|
|
27
|
-
if (index !== regular.length - 1 || dynamic.length !== 0)
|
|
28
|
-
base.push(ts.factory.createStringLiteral(`,`));
|
|
29
|
-
|
|
30
|
-
const empty: boolean =
|
|
31
|
-
(entry.meta.required === false &&
|
|
32
|
-
entry.meta.nullable === false &&
|
|
33
|
-
entry.meta.size() === 0) ||
|
|
34
|
-
(entry.meta.functional &&
|
|
35
|
-
entry.meta.nullable === false &&
|
|
36
|
-
entry.meta.size() === 1);
|
|
37
|
-
|
|
38
|
-
if (empty === true) return;
|
|
39
|
-
else if (
|
|
40
|
-
entry.meta.required === false ||
|
|
41
|
-
entry.meta.functional === true ||
|
|
42
|
-
entry.meta.any === true
|
|
43
|
-
)
|
|
44
|
-
output.push(
|
|
45
|
-
ts.factory.createConditionalExpression(
|
|
46
|
-
(() => {
|
|
47
|
-
const conditions: ts.BinaryExpression[] = [];
|
|
48
|
-
if (entry.meta.required === false || entry.meta.any)
|
|
49
|
-
conditions.push(
|
|
50
|
-
ts.factory.createStrictEquality(
|
|
51
|
-
ts.factory.createIdentifier("undefined"),
|
|
52
|
-
entry.input,
|
|
53
|
-
),
|
|
54
|
-
);
|
|
55
|
-
if (entry.meta.functional || entry.meta.any)
|
|
56
|
-
conditions.push(
|
|
57
|
-
ts.factory.createStrictEquality(
|
|
58
|
-
ts.factory.createStringLiteral("function"),
|
|
59
|
-
ValueFactory.TYPEOF(entry.input),
|
|
60
|
-
),
|
|
61
|
-
);
|
|
62
|
-
return conditions.length === 1
|
|
63
|
-
? conditions[0]!
|
|
64
|
-
: conditions.reduce((x, y) =>
|
|
65
|
-
ts.factory.createLogicalOr(x, y),
|
|
66
|
-
);
|
|
67
|
-
})(),
|
|
68
|
-
undefined,
|
|
69
|
-
ts.factory.createStringLiteral(""),
|
|
70
|
-
undefined,
|
|
71
|
-
TemplateFactory.generate(base),
|
|
72
|
-
),
|
|
73
|
-
);
|
|
74
|
-
else output.push(...base);
|
|
75
|
-
});
|
|
76
|
-
return output;
|
|
77
|
-
}
|
|
78
|
-
|
|
79
|
-
function sequence(meta: Metadata): number {
|
|
80
|
-
return meta.any || !meta.required || meta.functional ? 0 : 1;
|
|
81
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { TemplateFactory } from "../../factories/TemplateFactory";
|
|
4
|
+
import { ValueFactory } from "../../factories/ValueFactory";
|
|
5
|
+
|
|
6
|
+
import { Metadata } from "../../metadata/Metadata";
|
|
7
|
+
|
|
8
|
+
import { IExpressionEntry } from "../helpers/IExpressionEntry";
|
|
9
|
+
|
|
10
|
+
/**
|
|
11
|
+
* @internal
|
|
12
|
+
*/
|
|
13
|
+
export function stringify_regular_properties(
|
|
14
|
+
regular: IExpressionEntry[],
|
|
15
|
+
dynamic: IExpressionEntry[],
|
|
16
|
+
): ts.Expression[] {
|
|
17
|
+
const output: ts.Expression[] = [];
|
|
18
|
+
|
|
19
|
+
regular.sort((x, y) => sequence(x.meta) - sequence(y.meta));
|
|
20
|
+
regular.forEach((entry, index) => {
|
|
21
|
+
// BASE ELEMENTS
|
|
22
|
+
const key: string = entry.key.getSoleLiteral()!;
|
|
23
|
+
const base: ts.Expression[] = [
|
|
24
|
+
ts.factory.createStringLiteral(`${JSON.stringify(key)}:`),
|
|
25
|
+
entry.expression,
|
|
26
|
+
];
|
|
27
|
+
if (index !== regular.length - 1 || dynamic.length !== 0)
|
|
28
|
+
base.push(ts.factory.createStringLiteral(`,`));
|
|
29
|
+
|
|
30
|
+
const empty: boolean =
|
|
31
|
+
(entry.meta.required === false &&
|
|
32
|
+
entry.meta.nullable === false &&
|
|
33
|
+
entry.meta.size() === 0) ||
|
|
34
|
+
(entry.meta.functional &&
|
|
35
|
+
entry.meta.nullable === false &&
|
|
36
|
+
entry.meta.size() === 1);
|
|
37
|
+
|
|
38
|
+
if (empty === true) return;
|
|
39
|
+
else if (
|
|
40
|
+
entry.meta.required === false ||
|
|
41
|
+
entry.meta.functional === true ||
|
|
42
|
+
entry.meta.any === true
|
|
43
|
+
)
|
|
44
|
+
output.push(
|
|
45
|
+
ts.factory.createConditionalExpression(
|
|
46
|
+
(() => {
|
|
47
|
+
const conditions: ts.BinaryExpression[] = [];
|
|
48
|
+
if (entry.meta.required === false || entry.meta.any)
|
|
49
|
+
conditions.push(
|
|
50
|
+
ts.factory.createStrictEquality(
|
|
51
|
+
ts.factory.createIdentifier("undefined"),
|
|
52
|
+
entry.input,
|
|
53
|
+
),
|
|
54
|
+
);
|
|
55
|
+
if (entry.meta.functional || entry.meta.any)
|
|
56
|
+
conditions.push(
|
|
57
|
+
ts.factory.createStrictEquality(
|
|
58
|
+
ts.factory.createStringLiteral("function"),
|
|
59
|
+
ValueFactory.TYPEOF(entry.input),
|
|
60
|
+
),
|
|
61
|
+
);
|
|
62
|
+
return conditions.length === 1
|
|
63
|
+
? conditions[0]!
|
|
64
|
+
: conditions.reduce((x, y) =>
|
|
65
|
+
ts.factory.createLogicalOr(x, y),
|
|
66
|
+
);
|
|
67
|
+
})(),
|
|
68
|
+
undefined,
|
|
69
|
+
ts.factory.createStringLiteral(""),
|
|
70
|
+
undefined,
|
|
71
|
+
TemplateFactory.generate(base),
|
|
72
|
+
),
|
|
73
|
+
);
|
|
74
|
+
else output.push(...base);
|
|
75
|
+
});
|
|
76
|
+
return output;
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
function sequence(meta: Metadata): number {
|
|
80
|
+
return meta.any || !meta.required || meta.functional ? 0 : 1;
|
|
81
|
+
}
|
|
@@ -1,15 +1,15 @@
|
|
|
1
|
-
import { Metadata } from "../../metadata/Metadata";
|
|
2
|
-
|
|
3
|
-
import { PatternUtil } from "../../utils/PatternUtil";
|
|
4
|
-
|
|
5
|
-
import { metadata_to_pattern } from "./metadata_to_pattern";
|
|
6
|
-
|
|
7
|
-
/**
|
|
8
|
-
* @internal
|
|
9
|
-
*/
|
|
10
|
-
export const template_to_pattern = (top: boolean) => (template: Metadata[]) => {
|
|
11
|
-
const pattern: string = template
|
|
12
|
-
.map((meta) => metadata_to_pattern(false)(meta))
|
|
13
|
-
.join("");
|
|
14
|
-
return top ? PatternUtil.fix(pattern) : pattern;
|
|
15
|
-
};
|
|
1
|
+
import { Metadata } from "../../metadata/Metadata";
|
|
2
|
+
|
|
3
|
+
import { PatternUtil } from "../../utils/PatternUtil";
|
|
4
|
+
|
|
5
|
+
import { metadata_to_pattern } from "./metadata_to_pattern";
|
|
6
|
+
|
|
7
|
+
/**
|
|
8
|
+
* @internal
|
|
9
|
+
*/
|
|
10
|
+
export const template_to_pattern = (top: boolean) => (template: Metadata[]) => {
|
|
11
|
+
const pattern: string = template
|
|
12
|
+
.map((meta) => metadata_to_pattern(false)(meta))
|
|
13
|
+
.join("");
|
|
14
|
+
return top ? PatternUtil.fix(pattern) : pattern;
|
|
15
|
+
};
|
|
@@ -1,9 +1,9 @@
|
|
|
1
|
-
import { IJsonComponents } from "./IJsonComponents";
|
|
2
|
-
import { IJsonSchema } from "./IJsonSchema";
|
|
3
|
-
|
|
4
|
-
export interface IJsonApplication {
|
|
5
|
-
schemas: IJsonSchema[];
|
|
6
|
-
components: IJsonComponents;
|
|
7
|
-
purpose: "swagger" | "ajv";
|
|
8
|
-
prefix: string;
|
|
9
|
-
}
|
|
1
|
+
import { IJsonComponents } from "./IJsonComponents";
|
|
2
|
+
import { IJsonSchema } from "./IJsonSchema";
|
|
3
|
+
|
|
4
|
+
export interface IJsonApplication {
|
|
5
|
+
schemas: IJsonSchema[];
|
|
6
|
+
components: IJsonComponents;
|
|
7
|
+
purpose: "swagger" | "ajv";
|
|
8
|
+
prefix: string;
|
|
9
|
+
}
|
|
@@ -1,26 +1,26 @@
|
|
|
1
|
-
import { IJsDocTagInfo } from "../metadata/IJsDocTagInfo";
|
|
2
|
-
|
|
3
|
-
import { IJsonSchema } from "./IJsonSchema";
|
|
4
|
-
|
|
5
|
-
export interface IJsonComponents {
|
|
6
|
-
schemas: Record<string, IJsonComponents.IObject>;
|
|
7
|
-
}
|
|
8
|
-
export namespace IJsonComponents {
|
|
9
|
-
export interface IObject {
|
|
10
|
-
$id?: string;
|
|
11
|
-
$recursiveAnchor?: boolean;
|
|
12
|
-
|
|
13
|
-
type: "object";
|
|
14
|
-
nullable: boolean;
|
|
15
|
-
|
|
16
|
-
properties: Record<string, IJsonSchema>;
|
|
17
|
-
patternProperties?: Record<string, IJsonSchema>;
|
|
18
|
-
additionalProperties?: IJsonSchema;
|
|
19
|
-
|
|
20
|
-
required?: string[];
|
|
21
|
-
description?: string;
|
|
22
|
-
"x-typia-jsDocTags"?: IJsDocTagInfo[];
|
|
23
|
-
"x-typia-patternProperties"?: Record<string, IJsonSchema>;
|
|
24
|
-
"x-typia-additionalProperties"?: IJsonSchema;
|
|
25
|
-
}
|
|
26
|
-
}
|
|
1
|
+
import { IJsDocTagInfo } from "../metadata/IJsDocTagInfo";
|
|
2
|
+
|
|
3
|
+
import { IJsonSchema } from "./IJsonSchema";
|
|
4
|
+
|
|
5
|
+
export interface IJsonComponents {
|
|
6
|
+
schemas: Record<string, IJsonComponents.IObject>;
|
|
7
|
+
}
|
|
8
|
+
export namespace IJsonComponents {
|
|
9
|
+
export interface IObject {
|
|
10
|
+
$id?: string;
|
|
11
|
+
$recursiveAnchor?: boolean;
|
|
12
|
+
|
|
13
|
+
type: "object";
|
|
14
|
+
nullable: boolean;
|
|
15
|
+
|
|
16
|
+
properties: Record<string, IJsonSchema>;
|
|
17
|
+
patternProperties?: Record<string, IJsonSchema>;
|
|
18
|
+
additionalProperties?: IJsonSchema;
|
|
19
|
+
|
|
20
|
+
required?: string[];
|
|
21
|
+
description?: string;
|
|
22
|
+
"x-typia-jsDocTags"?: IJsDocTagInfo[];
|
|
23
|
+
"x-typia-patternProperties"?: Record<string, IJsonSchema>;
|
|
24
|
+
"x-typia-additionalProperties"?: IJsonSchema;
|
|
25
|
+
}
|
|
26
|
+
}
|
package/src/transform.ts
CHANGED
|
@@ -1,20 +1,20 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { FileTransformer } from "./transformers/FileTransformer";
|
|
4
|
-
import { IProject } from "./transformers/IProject";
|
|
5
|
-
import { ITransformOptions } from "./transformers/ITransformOptions";
|
|
6
|
-
|
|
7
|
-
export default function transform(
|
|
8
|
-
program: ts.Program,
|
|
9
|
-
options?: ITransformOptions,
|
|
10
|
-
): ts.TransformerFactory<ts.SourceFile> {
|
|
11
|
-
const project: IProject = {
|
|
12
|
-
program,
|
|
13
|
-
compilerOptions: program.getCompilerOptions(),
|
|
14
|
-
checker: program.getTypeChecker(),
|
|
15
|
-
printer: ts.createPrinter(),
|
|
16
|
-
options: options || {},
|
|
17
|
-
};
|
|
18
|
-
return (context) => (file) =>
|
|
19
|
-
FileTransformer.transform(project, context, file);
|
|
20
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { FileTransformer } from "./transformers/FileTransformer";
|
|
4
|
+
import { IProject } from "./transformers/IProject";
|
|
5
|
+
import { ITransformOptions } from "./transformers/ITransformOptions";
|
|
6
|
+
|
|
7
|
+
export default function transform(
|
|
8
|
+
program: ts.Program,
|
|
9
|
+
options?: ITransformOptions,
|
|
10
|
+
): ts.TransformerFactory<ts.SourceFile> {
|
|
11
|
+
const project: IProject = {
|
|
12
|
+
program,
|
|
13
|
+
compilerOptions: program.getCompilerOptions(),
|
|
14
|
+
checker: program.getTypeChecker(),
|
|
15
|
+
printer: ts.createPrinter(),
|
|
16
|
+
options: options || {},
|
|
17
|
+
};
|
|
18
|
+
return (context) => (file) =>
|
|
19
|
+
FileTransformer.transform(project, context, file);
|
|
20
|
+
}
|
|
@@ -1,66 +1,66 @@
|
|
|
1
|
-
// import path from "path";
|
|
2
|
-
// import ts from "typescript";
|
|
3
|
-
// import { AssertProgrammer } from "../programmers/AssertProgrammer";
|
|
4
|
-
// import { IsProgrammer } from "../programmers/IsProgrammer";
|
|
5
|
-
// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
|
|
6
|
-
// import { IProject } from "../structures/IProject";
|
|
7
|
-
|
|
8
|
-
// export namespace ExpressionWithArgumentTransformer {
|
|
9
|
-
// export function transform(
|
|
10
|
-
// project: IProject,
|
|
11
|
-
// expression: ts.ExpressionWithTypeArguments,
|
|
12
|
-
// ): ts.Expression {
|
|
13
|
-
// //----
|
|
14
|
-
// // VALIDATIONS
|
|
15
|
-
// //----
|
|
16
|
-
// // SYMBOL DECLARATION
|
|
17
|
-
// const symbol: ts.Symbol | undefined =
|
|
18
|
-
// project.checker.getSymbolAtLocation(expression.expression);
|
|
19
|
-
// const declaration: ts.Declaration | undefined = symbol?.declarations
|
|
20
|
-
// ? symbol.declarations[0]
|
|
21
|
-
// : undefined;
|
|
22
|
-
// if (!declaration) return expression;
|
|
23
|
-
|
|
24
|
-
// // FILE PATH
|
|
25
|
-
// const file: string = path.resolve(declaration.getSourceFile().fileName);
|
|
26
|
-
// if (file !== LIB_PATH && file !== SRC_PATH) return expression;
|
|
27
|
-
|
|
28
|
-
// // ARGUMENTS
|
|
29
|
-
// if (expression.typeArguments?.length !== 1) return expression;
|
|
30
|
-
|
|
31
|
-
// //----
|
|
32
|
-
// // TRANSFORMATION
|
|
33
|
-
// //----
|
|
34
|
-
// // GET MODULO AND TYPE
|
|
35
|
-
// const modulo: ts.LeftHandSideExpression = expression.expression;
|
|
36
|
-
// const type: ts.Type = project.checker.getTypeFromTypeNode(
|
|
37
|
-
// expression.typeArguments[0]!,
|
|
38
|
-
// );
|
|
39
|
-
|
|
40
|
-
// // FUNCTION NAME
|
|
41
|
-
// const { name } = project.checker.getTypeAtLocation(declaration).symbol;
|
|
42
|
-
|
|
43
|
-
// // FIND TRANSFORMER
|
|
44
|
-
// const functor: (() => Task) | undefined = FUNCTORS[name];
|
|
45
|
-
// if (functor === undefined) return expression;
|
|
46
|
-
|
|
47
|
-
// // RETURNS WITH TRANSFORMATION
|
|
48
|
-
// return functor()(project, modulo, type);
|
|
49
|
-
// }
|
|
50
|
-
// }
|
|
51
|
-
|
|
52
|
-
// type Task = (
|
|
53
|
-
// project: IProject,
|
|
54
|
-
// modulo: ts.LeftHandSideExpression,
|
|
55
|
-
// type: ts.Type,
|
|
56
|
-
// ) => ts.ArrowFunction;
|
|
57
|
-
|
|
58
|
-
// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
|
|
59
|
-
// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
|
|
60
|
-
|
|
61
|
-
// const FUNCTORS: Record<string, () => Task> = {
|
|
62
|
-
// assert: () => AssertProgrammer.generate,
|
|
63
|
-
// is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
|
|
64
|
-
// stringify: () => (project, modulo, type) =>
|
|
65
|
-
// StringifyProgrammer.generate(modulo)(project, type),
|
|
66
|
-
// };
|
|
1
|
+
// import path from "path";
|
|
2
|
+
// import ts from "typescript";
|
|
3
|
+
// import { AssertProgrammer } from "../programmers/AssertProgrammer";
|
|
4
|
+
// import { IsProgrammer } from "../programmers/IsProgrammer";
|
|
5
|
+
// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
|
|
6
|
+
// import { IProject } from "../structures/IProject";
|
|
7
|
+
|
|
8
|
+
// export namespace ExpressionWithArgumentTransformer {
|
|
9
|
+
// export function transform(
|
|
10
|
+
// project: IProject,
|
|
11
|
+
// expression: ts.ExpressionWithTypeArguments,
|
|
12
|
+
// ): ts.Expression {
|
|
13
|
+
// //----
|
|
14
|
+
// // VALIDATIONS
|
|
15
|
+
// //----
|
|
16
|
+
// // SYMBOL DECLARATION
|
|
17
|
+
// const symbol: ts.Symbol | undefined =
|
|
18
|
+
// project.checker.getSymbolAtLocation(expression.expression);
|
|
19
|
+
// const declaration: ts.Declaration | undefined = symbol?.declarations
|
|
20
|
+
// ? symbol.declarations[0]
|
|
21
|
+
// : undefined;
|
|
22
|
+
// if (!declaration) return expression;
|
|
23
|
+
|
|
24
|
+
// // FILE PATH
|
|
25
|
+
// const file: string = path.resolve(declaration.getSourceFile().fileName);
|
|
26
|
+
// if (file !== LIB_PATH && file !== SRC_PATH) return expression;
|
|
27
|
+
|
|
28
|
+
// // ARGUMENTS
|
|
29
|
+
// if (expression.typeArguments?.length !== 1) return expression;
|
|
30
|
+
|
|
31
|
+
// //----
|
|
32
|
+
// // TRANSFORMATION
|
|
33
|
+
// //----
|
|
34
|
+
// // GET MODULO AND TYPE
|
|
35
|
+
// const modulo: ts.LeftHandSideExpression = expression.expression;
|
|
36
|
+
// const type: ts.Type = project.checker.getTypeFromTypeNode(
|
|
37
|
+
// expression.typeArguments[0]!,
|
|
38
|
+
// );
|
|
39
|
+
|
|
40
|
+
// // FUNCTION NAME
|
|
41
|
+
// const { name } = project.checker.getTypeAtLocation(declaration).symbol;
|
|
42
|
+
|
|
43
|
+
// // FIND TRANSFORMER
|
|
44
|
+
// const functor: (() => Task) | undefined = FUNCTORS[name];
|
|
45
|
+
// if (functor === undefined) return expression;
|
|
46
|
+
|
|
47
|
+
// // RETURNS WITH TRANSFORMATION
|
|
48
|
+
// return functor()(project, modulo, type);
|
|
49
|
+
// }
|
|
50
|
+
// }
|
|
51
|
+
|
|
52
|
+
// type Task = (
|
|
53
|
+
// project: IProject,
|
|
54
|
+
// modulo: ts.LeftHandSideExpression,
|
|
55
|
+
// type: ts.Type,
|
|
56
|
+
// ) => ts.ArrowFunction;
|
|
57
|
+
|
|
58
|
+
// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
|
|
59
|
+
// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
|
|
60
|
+
|
|
61
|
+
// const FUNCTORS: Record<string, () => Task> = {
|
|
62
|
+
// assert: () => AssertProgrammer.generate,
|
|
63
|
+
// is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
|
|
64
|
+
// stringify: () => (project, modulo, type) =>
|
|
65
|
+
// StringifyProgrammer.generate(modulo)(project, type),
|
|
66
|
+
// };
|
|
@@ -1,49 +1,49 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { IProject } from "./IProject";
|
|
4
|
-
import { NodeTransformer } from "./NodeTransformer";
|
|
5
|
-
|
|
6
|
-
export namespace FileTransformer {
|
|
7
|
-
export function transform(
|
|
8
|
-
project: IProject,
|
|
9
|
-
context: ts.TransformationContext,
|
|
10
|
-
file: ts.SourceFile,
|
|
11
|
-
): ts.SourceFile {
|
|
12
|
-
// DO NOT TRANSFORM D.TS FILE
|
|
13
|
-
if (file.isDeclarationFile) return file;
|
|
14
|
-
|
|
15
|
-
// ITERATE NODES
|
|
16
|
-
return ts.visitEachChild(
|
|
17
|
-
file,
|
|
18
|
-
(node) => iterate_node(project, context, node),
|
|
19
|
-
context,
|
|
20
|
-
);
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
function iterate_node(
|
|
24
|
-
project: IProject,
|
|
25
|
-
context: ts.TransformationContext,
|
|
26
|
-
node: ts.Node,
|
|
27
|
-
): ts.Node {
|
|
28
|
-
return ts.visitEachChild(
|
|
29
|
-
try_transform_node(project, node),
|
|
30
|
-
(child) => iterate_node(project, context, child),
|
|
31
|
-
context,
|
|
32
|
-
);
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
function try_transform_node(project: IProject, node: ts.Node): ts.Node {
|
|
36
|
-
try {
|
|
37
|
-
return NodeTransformer.transform(project, node);
|
|
38
|
-
} catch (exp) {
|
|
39
|
-
if (!(exp instanceof Error)) throw exp;
|
|
40
|
-
|
|
41
|
-
const file: ts.SourceFile = node.getSourceFile();
|
|
42
|
-
const { line, character } = file.getLineAndCharacterOfPosition(
|
|
43
|
-
node.pos,
|
|
44
|
-
);
|
|
45
|
-
exp.message += ` - ${file.fileName}:${line + 1}:${character + 1}`;
|
|
46
|
-
throw exp;
|
|
47
|
-
}
|
|
48
|
-
}
|
|
49
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { IProject } from "./IProject";
|
|
4
|
+
import { NodeTransformer } from "./NodeTransformer";
|
|
5
|
+
|
|
6
|
+
export namespace FileTransformer {
|
|
7
|
+
export function transform(
|
|
8
|
+
project: IProject,
|
|
9
|
+
context: ts.TransformationContext,
|
|
10
|
+
file: ts.SourceFile,
|
|
11
|
+
): ts.SourceFile {
|
|
12
|
+
// DO NOT TRANSFORM D.TS FILE
|
|
13
|
+
if (file.isDeclarationFile) return file;
|
|
14
|
+
|
|
15
|
+
// ITERATE NODES
|
|
16
|
+
return ts.visitEachChild(
|
|
17
|
+
file,
|
|
18
|
+
(node) => iterate_node(project, context, node),
|
|
19
|
+
context,
|
|
20
|
+
);
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
function iterate_node(
|
|
24
|
+
project: IProject,
|
|
25
|
+
context: ts.TransformationContext,
|
|
26
|
+
node: ts.Node,
|
|
27
|
+
): ts.Node {
|
|
28
|
+
return ts.visitEachChild(
|
|
29
|
+
try_transform_node(project, node),
|
|
30
|
+
(child) => iterate_node(project, context, child),
|
|
31
|
+
context,
|
|
32
|
+
);
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
function try_transform_node(project: IProject, node: ts.Node): ts.Node {
|
|
36
|
+
try {
|
|
37
|
+
return NodeTransformer.transform(project, node);
|
|
38
|
+
} catch (exp) {
|
|
39
|
+
if (!(exp instanceof Error)) throw exp;
|
|
40
|
+
|
|
41
|
+
const file: ts.SourceFile = node.getSourceFile();
|
|
42
|
+
const { line, character } = file.getLineAndCharacterOfPosition(
|
|
43
|
+
node.pos,
|
|
44
|
+
);
|
|
45
|
+
exp.message += ` - ${file.fileName}:${line + 1}:${character + 1}`;
|
|
46
|
+
throw exp;
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { ITransformOptions } from "./ITransformOptions";
|
|
4
|
-
|
|
5
|
-
export interface IProject {
|
|
6
|
-
program: ts.Program;
|
|
7
|
-
compilerOptions: ts.CompilerOptions;
|
|
8
|
-
checker: ts.TypeChecker;
|
|
9
|
-
printer: ts.Printer;
|
|
10
|
-
options: ITransformOptions;
|
|
11
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { ITransformOptions } from "./ITransformOptions";
|
|
4
|
+
|
|
5
|
+
export interface IProject {
|
|
6
|
+
program: ts.Program;
|
|
7
|
+
compilerOptions: ts.CompilerOptions;
|
|
8
|
+
checker: ts.TypeChecker;
|
|
9
|
+
printer: ts.Printer;
|
|
10
|
+
options: ITransformOptions;
|
|
11
|
+
}
|
|
@@ -44,4 +44,15 @@ export interface ITransformOptions {
|
|
|
44
44
|
* @default false
|
|
45
45
|
*/
|
|
46
46
|
functional?: boolean;
|
|
47
|
+
|
|
48
|
+
/**
|
|
49
|
+
* Whether to check undefined value or not.
|
|
50
|
+
*
|
|
51
|
+
* JavaScript can assign `undefined` value to a specific property and it is an
|
|
52
|
+
* issue when validating without allowing superfluous properties. Should undefined
|
|
53
|
+
* value assigned superfluous property be allowed or not?
|
|
54
|
+
*
|
|
55
|
+
* @default true
|
|
56
|
+
*/
|
|
57
|
+
undefined?: boolean;
|
|
47
58
|
}
|
|
@@ -1,19 +1,19 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { CallExpressionTransformer } from "./CallExpressionTransformer";
|
|
4
|
-
import { IProject } from "./IProject";
|
|
5
|
-
|
|
6
|
-
// import { ExpressionWithArgumentTransformer } from "./ExpressionWithArgumentTransformer";
|
|
7
|
-
|
|
8
|
-
export namespace NodeTransformer {
|
|
9
|
-
export function transform(project: IProject, expression: ts.Node): ts.Node {
|
|
10
|
-
if (ts.isCallExpression(expression))
|
|
11
|
-
return CallExpressionTransformer.transform(project, expression);
|
|
12
|
-
// else if (ts.isExpressionWithTypeArguments(expression))
|
|
13
|
-
// return ExpressionWithArgumentTransformer.transform(
|
|
14
|
-
// project,
|
|
15
|
-
// expression,
|
|
16
|
-
// );
|
|
17
|
-
return expression;
|
|
18
|
-
}
|
|
19
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { CallExpressionTransformer } from "./CallExpressionTransformer";
|
|
4
|
+
import { IProject } from "./IProject";
|
|
5
|
+
|
|
6
|
+
// import { ExpressionWithArgumentTransformer } from "./ExpressionWithArgumentTransformer";
|
|
7
|
+
|
|
8
|
+
export namespace NodeTransformer {
|
|
9
|
+
export function transform(project: IProject, expression: ts.Node): ts.Node {
|
|
10
|
+
if (ts.isCallExpression(expression))
|
|
11
|
+
return CallExpressionTransformer.transform(project, expression);
|
|
12
|
+
// else if (ts.isExpressionWithTypeArguments(expression))
|
|
13
|
+
// return ExpressionWithArgumentTransformer.transform(
|
|
14
|
+
// project,
|
|
15
|
+
// expression,
|
|
16
|
+
// );
|
|
17
|
+
return expression;
|
|
18
|
+
}
|
|
19
|
+
}
|