typia 6.7.0 → 6.7.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (85) hide show
  1. package/lib/programmers/AssertProgrammer.d.ts +0 -1
  2. package/lib/programmers/AssertProgrammer.js.map +1 -1
  3. package/lib/programmers/CheckerProgrammer.d.ts +1 -1
  4. package/lib/programmers/FeatureProgrammer.d.ts +1 -1
  5. package/lib/programmers/IsProgrammer.d.ts +1 -1
  6. package/lib/programmers/RandomProgrammer.d.ts +10 -1
  7. package/lib/programmers/RandomProgrammer.js +62 -37
  8. package/lib/programmers/RandomProgrammer.js.map +1 -1
  9. package/lib/programmers/ValidateProgrammer.d.ts +1 -1
  10. package/lib/programmers/json/JsonIsParseProgrammer.d.ts +1 -1
  11. package/lib/programmers/json/JsonIsStringifyProgrammer.d.ts +1 -1
  12. package/lib/programmers/json/JsonStringifyProgrammer.d.ts +1 -1
  13. package/lib/programmers/json/JsonStringifyProgrammer.js +1 -3
  14. package/lib/programmers/json/JsonStringifyProgrammer.js.map +1 -1
  15. package/lib/programmers/json/JsonValidateParseProgrammer.d.ts +1 -1
  16. package/lib/programmers/json/JsonValidateStringifyProgrammer.d.ts +1 -1
  17. package/lib/programmers/misc/MiscCloneProgrammer.d.ts +1 -1
  18. package/lib/programmers/misc/MiscCloneProgrammer.js +33 -14
  19. package/lib/programmers/misc/MiscCloneProgrammer.js.map +1 -1
  20. package/lib/programmers/misc/MiscIsCloneProgrammer.d.ts +1 -1
  21. package/lib/programmers/misc/MiscIsPruneProgrammer.d.ts +1 -1
  22. package/lib/programmers/misc/MiscPruneProgrammer.d.ts +1 -1
  23. package/lib/programmers/misc/MiscValidateCloneProgrammer.d.ts +1 -1
  24. package/lib/programmers/misc/MiscValidatePruneProgrammer.d.ts +1 -1
  25. package/lib/programmers/notations/NotationGeneralProgrammer.d.ts +1 -1
  26. package/lib/programmers/notations/NotationGeneralProgrammer.js +30 -11
  27. package/lib/programmers/notations/NotationGeneralProgrammer.js.map +1 -1
  28. package/lib/programmers/notations/NotationValidateGeneralProgrammer.d.ts +1 -1
  29. package/package.json +1 -1
  30. package/src/programmers/AssertProgrammer.ts +397 -398
  31. package/src/programmers/CheckerProgrammer.ts +1138 -1138
  32. package/src/programmers/FeatureProgrammer.ts +549 -549
  33. package/src/programmers/IsProgrammer.ts +1 -1
  34. package/src/programmers/RandomProgrammer.ts +112 -77
  35. package/src/programmers/ValidateProgrammer.ts +382 -382
  36. package/src/programmers/functional/FunctionalAssertFunctionProgrammer.ts +141 -141
  37. package/src/programmers/functional/FunctionalAssertParametersProgrammer.ts +108 -108
  38. package/src/programmers/functional/FunctionalAssertReturnProgrammer.ts +98 -98
  39. package/src/programmers/functional/FunctionalIsFunctionProgrammer.ts +72 -72
  40. package/src/programmers/functional/FunctionalIsParametersProgrammer.ts +101 -101
  41. package/src/programmers/functional/FunctionalIsReturnProgrammer.ts +106 -106
  42. package/src/programmers/functional/FunctionalValidateFunctionProgrammer.ts +123 -123
  43. package/src/programmers/functional/FunctionalValidateParametersProgrammer.ts +267 -267
  44. package/src/programmers/functional/FunctionalValidateReturnProgrammer.ts +126 -126
  45. package/src/programmers/helpers/FunctionImporter.ts +97 -97
  46. package/src/programmers/http/HttpAssertFormDataProgrammer.ts +91 -91
  47. package/src/programmers/http/HttpAssertHeadersProgrammer.ts +91 -91
  48. package/src/programmers/http/HttpAssertQueryProgrammer.ts +93 -93
  49. package/src/programmers/http/HttpFormDataProgrammer.ts +278 -278
  50. package/src/programmers/http/HttpHeadersProgrammer.ts +347 -347
  51. package/src/programmers/http/HttpIsFormDataProgrammer.ts +102 -102
  52. package/src/programmers/http/HttpIsHeadersProgrammer.ts +102 -102
  53. package/src/programmers/http/HttpIsQueryProgrammer.ts +104 -104
  54. package/src/programmers/http/HttpQueryProgrammer.ts +298 -298
  55. package/src/programmers/http/HttpValidateFormDataProgrammer.ts +85 -85
  56. package/src/programmers/http/HttpValidateHeadersProgrammer.ts +85 -85
  57. package/src/programmers/http/HttpValidateQueryProgrammer.ts +87 -87
  58. package/src/programmers/json/JsonAssertParseProgrammer.ts +96 -96
  59. package/src/programmers/json/JsonAssertStringifyProgrammer.ts +104 -104
  60. package/src/programmers/json/JsonIsParseProgrammer.ts +110 -110
  61. package/src/programmers/json/JsonIsStringifyProgrammer.ts +102 -102
  62. package/src/programmers/json/JsonStringifyProgrammer.ts +909 -910
  63. package/src/programmers/json/JsonValidateParseProgrammer.ts +87 -87
  64. package/src/programmers/json/JsonValidateStringifyProgrammer.ts +111 -111
  65. package/src/programmers/misc/MiscAssertCloneProgrammer.ts +87 -87
  66. package/src/programmers/misc/MiscAssertPruneProgrammer.ts +87 -87
  67. package/src/programmers/misc/MiscCloneProgrammer.ts +781 -759
  68. package/src/programmers/misc/MiscIsCloneProgrammer.ts +93 -93
  69. package/src/programmers/misc/MiscIsPruneProgrammer.ts +94 -94
  70. package/src/programmers/misc/MiscPruneProgrammer.ts +560 -560
  71. package/src/programmers/misc/MiscValidateCloneProgrammer.ts +104 -104
  72. package/src/programmers/misc/MiscValidatePruneProgrammer.ts +98 -98
  73. package/src/programmers/notations/NotationAssertGeneralProgrammer.ts +91 -91
  74. package/src/programmers/notations/NotationGeneralProgrammer.ts +709 -685
  75. package/src/programmers/notations/NotationIsGeneralProgrammer.ts +97 -97
  76. package/src/programmers/notations/NotationValidateGeneralProgrammer.ts +107 -107
  77. package/src/programmers/protobuf/ProtobufAssertDecodeProgrammer.ts +91 -91
  78. package/src/programmers/protobuf/ProtobufAssertEncodeProgrammer.ts +95 -95
  79. package/src/programmers/protobuf/ProtobufDecodeProgrammer.ts +646 -646
  80. package/src/programmers/protobuf/ProtobufEncodeProgrammer.ts +852 -852
  81. package/src/programmers/protobuf/ProtobufIsDecodeProgrammer.ts +104 -104
  82. package/src/programmers/protobuf/ProtobufIsEncodeProgrammer.ts +93 -93
  83. package/src/programmers/protobuf/ProtobufValidateDecodeProgrammer.ts +85 -85
  84. package/src/programmers/protobuf/ProtobufValidateEncodeProgrammer.ts +109 -109
  85. package/src/transformers/internal/GenericTransformer.ts +104 -104
@@ -1,104 +1,104 @@
1
- import ts from "typescript";
2
-
3
- import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
- import { StatementFactory } from "../../factories/StatementFactory";
5
- import { TypeFactory } from "../../factories/TypeFactory";
6
-
7
- import { IProject } from "../../transformers/IProject";
8
-
9
- import { FeatureProgrammer } from "../FeatureProgrammer";
10
- import { ValidateProgrammer } from "../ValidateProgrammer";
11
- import { FunctionImporter } from "../helpers/FunctionImporter";
12
- import { MiscCloneProgrammer } from "./MiscCloneProgrammer";
13
-
14
- export namespace MiscValidateCloneProgrammer {
15
- export const decompose = (props: {
16
- project: IProject;
17
- modulo: ts.LeftHandSideExpression;
18
- importer: FunctionImporter;
19
- type: ts.Type;
20
- name?: string;
21
- }): FeatureProgrammer.IDecomposed => {
22
- const validate = ValidateProgrammer.decompose({
23
- ...props,
24
- equals: false,
25
- });
26
- const clone = MiscCloneProgrammer.decompose({
27
- ...props,
28
- validated: true,
29
- });
30
- return {
31
- functions: {
32
- ...validate.functions,
33
- ...clone.functions,
34
- },
35
- statements: [
36
- ...validate.statements,
37
- ...clone.statements,
38
- StatementFactory.constant("__validate", validate.arrow),
39
- StatementFactory.constant("__clone", clone.arrow),
40
- ],
41
- arrow: ts.factory.createArrowFunction(
42
- undefined,
43
- undefined,
44
- [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
45
- ts.factory.createTypeReferenceNode("typia.IValidation", [
46
- clone.arrow.type ?? TypeFactory.keyword("any"),
47
- ]),
48
- undefined,
49
- ts.factory.createBlock(
50
- [
51
- StatementFactory.constant(
52
- "result",
53
- ts.factory.createAsExpression(
54
- ts.factory.createCallExpression(
55
- ts.factory.createIdentifier("__validate"),
56
- undefined,
57
- [ts.factory.createIdentifier("input")],
58
- ),
59
- TypeFactory.keyword("any"),
60
- ),
61
- ),
62
- ts.factory.createIfStatement(
63
- ts.factory.createIdentifier("result.success"),
64
- ts.factory.createExpressionStatement(
65
- ts.factory.createBinaryExpression(
66
- ts.factory.createIdentifier("result.data"),
67
- ts.SyntaxKind.EqualsToken,
68
- ts.factory.createCallExpression(
69
- ts.factory.createIdentifier("__clone"),
70
- undefined,
71
- [ts.factory.createIdentifier("input")],
72
- ),
73
- ),
74
- ),
75
- ),
76
- ts.factory.createReturnStatement(
77
- ts.factory.createIdentifier("result"),
78
- ),
79
- ],
80
- true,
81
- ),
82
- ),
83
- };
84
- };
85
-
86
- export const write =
87
- (project: IProject) =>
88
- (modulo: ts.LeftHandSideExpression) =>
89
- (type: ts.Type, name?: string): ts.CallExpression => {
90
- const importer: FunctionImporter = new FunctionImporter(modulo.getText());
91
- const result: FeatureProgrammer.IDecomposed = decompose({
92
- project,
93
- modulo,
94
- importer,
95
- type,
96
- name,
97
- });
98
- return FeatureProgrammer.writeDecomposed({
99
- modulo,
100
- importer,
101
- result,
102
- });
103
- };
104
- }
1
+ import ts from "typescript";
2
+
3
+ import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
+ import { StatementFactory } from "../../factories/StatementFactory";
5
+ import { TypeFactory } from "../../factories/TypeFactory";
6
+
7
+ import { IProject } from "../../transformers/IProject";
8
+
9
+ import { FeatureProgrammer } from "../FeatureProgrammer";
10
+ import { ValidateProgrammer } from "../ValidateProgrammer";
11
+ import { FunctionImporter } from "../helpers/FunctionImporter";
12
+ import { MiscCloneProgrammer } from "./MiscCloneProgrammer";
13
+
14
+ export namespace MiscValidateCloneProgrammer {
15
+ export const decompose = (props: {
16
+ project: IProject;
17
+ modulo: ts.LeftHandSideExpression;
18
+ importer: FunctionImporter;
19
+ type: ts.Type;
20
+ name: string | undefined;
21
+ }): FeatureProgrammer.IDecomposed => {
22
+ const validate = ValidateProgrammer.decompose({
23
+ ...props,
24
+ equals: false,
25
+ });
26
+ const clone = MiscCloneProgrammer.decompose({
27
+ ...props,
28
+ validated: true,
29
+ });
30
+ return {
31
+ functions: {
32
+ ...validate.functions,
33
+ ...clone.functions,
34
+ },
35
+ statements: [
36
+ ...validate.statements,
37
+ ...clone.statements,
38
+ StatementFactory.constant("__validate", validate.arrow),
39
+ StatementFactory.constant("__clone", clone.arrow),
40
+ ],
41
+ arrow: ts.factory.createArrowFunction(
42
+ undefined,
43
+ undefined,
44
+ [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
45
+ ts.factory.createTypeReferenceNode("typia.IValidation", [
46
+ clone.arrow.type ?? TypeFactory.keyword("any"),
47
+ ]),
48
+ undefined,
49
+ ts.factory.createBlock(
50
+ [
51
+ StatementFactory.constant(
52
+ "result",
53
+ ts.factory.createAsExpression(
54
+ ts.factory.createCallExpression(
55
+ ts.factory.createIdentifier("__validate"),
56
+ undefined,
57
+ [ts.factory.createIdentifier("input")],
58
+ ),
59
+ TypeFactory.keyword("any"),
60
+ ),
61
+ ),
62
+ ts.factory.createIfStatement(
63
+ ts.factory.createIdentifier("result.success"),
64
+ ts.factory.createExpressionStatement(
65
+ ts.factory.createBinaryExpression(
66
+ ts.factory.createIdentifier("result.data"),
67
+ ts.SyntaxKind.EqualsToken,
68
+ ts.factory.createCallExpression(
69
+ ts.factory.createIdentifier("__clone"),
70
+ undefined,
71
+ [ts.factory.createIdentifier("input")],
72
+ ),
73
+ ),
74
+ ),
75
+ ),
76
+ ts.factory.createReturnStatement(
77
+ ts.factory.createIdentifier("result"),
78
+ ),
79
+ ],
80
+ true,
81
+ ),
82
+ ),
83
+ };
84
+ };
85
+
86
+ export const write =
87
+ (project: IProject) =>
88
+ (modulo: ts.LeftHandSideExpression) =>
89
+ (type: ts.Type, name?: string): ts.CallExpression => {
90
+ const importer: FunctionImporter = new FunctionImporter(modulo.getText());
91
+ const result: FeatureProgrammer.IDecomposed = decompose({
92
+ project,
93
+ modulo,
94
+ importer,
95
+ type,
96
+ name,
97
+ });
98
+ return FeatureProgrammer.writeDecomposed({
99
+ modulo,
100
+ importer,
101
+ result,
102
+ });
103
+ };
104
+ }
@@ -1,98 +1,98 @@
1
- import ts from "typescript";
2
-
3
- import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
- import { StatementFactory } from "../../factories/StatementFactory";
5
- import { TypeFactory } from "../../factories/TypeFactory";
6
-
7
- import { IProject } from "../../transformers/IProject";
8
-
9
- import { FeatureProgrammer } from "../FeatureProgrammer";
10
- import { ValidateProgrammer } from "../ValidateProgrammer";
11
- import { FunctionImporter } from "../helpers/FunctionImporter";
12
- import { MiscPruneProgrammer } from "./MiscPruneProgrammer";
13
-
14
- export namespace MiscValidatePruneProgrammer {
15
- export const decompose = (props: {
16
- project: IProject;
17
- modulo: ts.LeftHandSideExpression;
18
- importer: FunctionImporter;
19
- type: ts.Type;
20
- name?: string;
21
- }): FeatureProgrammer.IDecomposed => {
22
- const validate: FeatureProgrammer.IDecomposed =
23
- ValidateProgrammer.decompose({
24
- ...props,
25
- equals: false,
26
- });
27
- const prune: FeatureProgrammer.IDecomposed = MiscPruneProgrammer.decompose({
28
- ...props,
29
- validated: true,
30
- });
31
- return {
32
- functions: {
33
- ...validate.functions,
34
- ...prune.functions,
35
- },
36
- statements: [
37
- ...validate.statements,
38
- ...prune.statements,
39
- StatementFactory.constant("__validate", validate.arrow),
40
- StatementFactory.constant("__prune", prune.arrow),
41
- ],
42
- arrow: ts.factory.createArrowFunction(
43
- undefined,
44
- undefined,
45
- [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
46
- ts.factory.createTypeReferenceNode("typia.IValidation", [
47
- prune.arrow.type ?? TypeFactory.keyword("any"),
48
- ]),
49
- undefined,
50
- ts.factory.createBlock(
51
- [
52
- StatementFactory.constant(
53
- "result",
54
- ts.factory.createCallExpression(
55
- ts.factory.createIdentifier("__validate"),
56
- undefined,
57
- [ts.factory.createIdentifier("input")],
58
- ),
59
- ),
60
- ts.factory.createIfStatement(
61
- ts.factory.createIdentifier("result.success"),
62
- ts.factory.createExpressionStatement(
63
- ts.factory.createCallExpression(
64
- ts.factory.createIdentifier("__prune"),
65
- undefined,
66
- [ts.factory.createIdentifier("input")],
67
- ),
68
- ),
69
- ),
70
- ts.factory.createReturnStatement(
71
- ts.factory.createIdentifier("result"),
72
- ),
73
- ],
74
- true,
75
- ),
76
- ),
77
- };
78
- };
79
-
80
- export const write =
81
- (project: IProject) =>
82
- (modulo: ts.LeftHandSideExpression) =>
83
- (type: ts.Type, name?: string): ts.CallExpression => {
84
- const importer: FunctionImporter = new FunctionImporter(modulo.getText());
85
- const result: FeatureProgrammer.IDecomposed = decompose({
86
- project,
87
- modulo,
88
- importer,
89
- type,
90
- name,
91
- });
92
- return FeatureProgrammer.writeDecomposed({
93
- modulo,
94
- importer,
95
- result,
96
- });
97
- };
98
- }
1
+ import ts from "typescript";
2
+
3
+ import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
+ import { StatementFactory } from "../../factories/StatementFactory";
5
+ import { TypeFactory } from "../../factories/TypeFactory";
6
+
7
+ import { IProject } from "../../transformers/IProject";
8
+
9
+ import { FeatureProgrammer } from "../FeatureProgrammer";
10
+ import { ValidateProgrammer } from "../ValidateProgrammer";
11
+ import { FunctionImporter } from "../helpers/FunctionImporter";
12
+ import { MiscPruneProgrammer } from "./MiscPruneProgrammer";
13
+
14
+ export namespace MiscValidatePruneProgrammer {
15
+ export const decompose = (props: {
16
+ project: IProject;
17
+ modulo: ts.LeftHandSideExpression;
18
+ importer: FunctionImporter;
19
+ type: ts.Type;
20
+ name: string | undefined;
21
+ }): FeatureProgrammer.IDecomposed => {
22
+ const validate: FeatureProgrammer.IDecomposed =
23
+ ValidateProgrammer.decompose({
24
+ ...props,
25
+ equals: false,
26
+ });
27
+ const prune: FeatureProgrammer.IDecomposed = MiscPruneProgrammer.decompose({
28
+ ...props,
29
+ validated: true,
30
+ });
31
+ return {
32
+ functions: {
33
+ ...validate.functions,
34
+ ...prune.functions,
35
+ },
36
+ statements: [
37
+ ...validate.statements,
38
+ ...prune.statements,
39
+ StatementFactory.constant("__validate", validate.arrow),
40
+ StatementFactory.constant("__prune", prune.arrow),
41
+ ],
42
+ arrow: ts.factory.createArrowFunction(
43
+ undefined,
44
+ undefined,
45
+ [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))],
46
+ ts.factory.createTypeReferenceNode("typia.IValidation", [
47
+ prune.arrow.type ?? TypeFactory.keyword("any"),
48
+ ]),
49
+ undefined,
50
+ ts.factory.createBlock(
51
+ [
52
+ StatementFactory.constant(
53
+ "result",
54
+ ts.factory.createCallExpression(
55
+ ts.factory.createIdentifier("__validate"),
56
+ undefined,
57
+ [ts.factory.createIdentifier("input")],
58
+ ),
59
+ ),
60
+ ts.factory.createIfStatement(
61
+ ts.factory.createIdentifier("result.success"),
62
+ ts.factory.createExpressionStatement(
63
+ ts.factory.createCallExpression(
64
+ ts.factory.createIdentifier("__prune"),
65
+ undefined,
66
+ [ts.factory.createIdentifier("input")],
67
+ ),
68
+ ),
69
+ ),
70
+ ts.factory.createReturnStatement(
71
+ ts.factory.createIdentifier("result"),
72
+ ),
73
+ ],
74
+ true,
75
+ ),
76
+ ),
77
+ };
78
+ };
79
+
80
+ export const write =
81
+ (project: IProject) =>
82
+ (modulo: ts.LeftHandSideExpression) =>
83
+ (type: ts.Type, name?: string): ts.CallExpression => {
84
+ const importer: FunctionImporter = new FunctionImporter(modulo.getText());
85
+ const result: FeatureProgrammer.IDecomposed = decompose({
86
+ project,
87
+ modulo,
88
+ importer,
89
+ type,
90
+ name,
91
+ });
92
+ return FeatureProgrammer.writeDecomposed({
93
+ modulo,
94
+ importer,
95
+ result,
96
+ });
97
+ };
98
+ }
@@ -1,91 +1,91 @@
1
- import ts from "typescript";
2
-
3
- import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
- import { StatementFactory } from "../../factories/StatementFactory";
5
- import { TypeFactory } from "../../factories/TypeFactory";
6
-
7
- import { IProject } from "../../transformers/IProject";
8
-
9
- import { AssertProgrammer } from "../AssertProgrammer";
10
- import { FeatureProgrammer } from "../FeatureProgrammer";
11
- import { FunctionImporter } from "../helpers/FunctionImporter";
12
- import { NotationGeneralProgrammer } from "./NotationGeneralProgrammer";
13
-
14
- export namespace NotationAssertGeneralProgrammer {
15
- export const decompose = (props: {
16
- rename: (str: string) => string;
17
- project: IProject;
18
- importer: FunctionImporter;
19
- type: ts.Type;
20
- name: string | undefined;
21
- init: ts.Expression | undefined;
22
- }): FeatureProgrammer.IDecomposed => {
23
- const assert: FeatureProgrammer.IDecomposed = AssertProgrammer.decompose({
24
- ...props,
25
- equals: false,
26
- guard: false,
27
- });
28
- const notation: FeatureProgrammer.IDecomposed =
29
- NotationGeneralProgrammer.decompose({
30
- ...props,
31
- validated: true,
32
- });
33
- return {
34
- functions: {
35
- ...assert.functions,
36
- ...notation.functions,
37
- },
38
- statements: [
39
- ...assert.statements,
40
- ...notation.statements,
41
- StatementFactory.constant("__assert", assert.arrow),
42
- StatementFactory.constant("__notation", notation.arrow),
43
- ],
44
- arrow: ts.factory.createArrowFunction(
45
- undefined,
46
- undefined,
47
- [
48
- IdentifierFactory.parameter("input", TypeFactory.keyword("any")),
49
- AssertProgrammer.Guardian.parameter(props.init),
50
- ],
51
- notation.arrow.type,
52
- undefined,
53
- ts.factory.createCallExpression(
54
- ts.factory.createIdentifier("__notation"),
55
- undefined,
56
- [
57
- ts.factory.createCallExpression(
58
- ts.factory.createIdentifier("__assert"),
59
- undefined,
60
- [
61
- ts.factory.createIdentifier("input"),
62
- AssertProgrammer.Guardian.identifier(),
63
- ],
64
- ),
65
- ],
66
- ),
67
- ),
68
- };
69
- };
70
-
71
- export const write =
72
- (rename: (str: string) => string) =>
73
- (project: IProject) =>
74
- (modulo: ts.LeftHandSideExpression) =>
75
- (type: ts.Type, name?: string, init?: ts.Expression): ts.CallExpression => {
76
- const importer: FunctionImporter = new FunctionImporter(modulo.getText());
77
- const result: FeatureProgrammer.IDecomposed = decompose({
78
- rename,
79
- project,
80
- importer,
81
- type,
82
- name,
83
- init,
84
- });
85
- return FeatureProgrammer.writeDecomposed({
86
- modulo,
87
- importer,
88
- result,
89
- });
90
- };
91
- }
1
+ import ts from "typescript";
2
+
3
+ import { IdentifierFactory } from "../../factories/IdentifierFactory";
4
+ import { StatementFactory } from "../../factories/StatementFactory";
5
+ import { TypeFactory } from "../../factories/TypeFactory";
6
+
7
+ import { IProject } from "../../transformers/IProject";
8
+
9
+ import { AssertProgrammer } from "../AssertProgrammer";
10
+ import { FeatureProgrammer } from "../FeatureProgrammer";
11
+ import { FunctionImporter } from "../helpers/FunctionImporter";
12
+ import { NotationGeneralProgrammer } from "./NotationGeneralProgrammer";
13
+
14
+ export namespace NotationAssertGeneralProgrammer {
15
+ export const decompose = (props: {
16
+ rename: (str: string) => string;
17
+ project: IProject;
18
+ importer: FunctionImporter;
19
+ type: ts.Type;
20
+ name: string | undefined;
21
+ init: ts.Expression | undefined;
22
+ }): FeatureProgrammer.IDecomposed => {
23
+ const assert: FeatureProgrammer.IDecomposed = AssertProgrammer.decompose({
24
+ ...props,
25
+ equals: false,
26
+ guard: false,
27
+ });
28
+ const notation: FeatureProgrammer.IDecomposed =
29
+ NotationGeneralProgrammer.decompose({
30
+ ...props,
31
+ validated: true,
32
+ });
33
+ return {
34
+ functions: {
35
+ ...assert.functions,
36
+ ...notation.functions,
37
+ },
38
+ statements: [
39
+ ...assert.statements,
40
+ ...notation.statements,
41
+ StatementFactory.constant("__assert", assert.arrow),
42
+ StatementFactory.constant("__notation", notation.arrow),
43
+ ],
44
+ arrow: ts.factory.createArrowFunction(
45
+ undefined,
46
+ undefined,
47
+ [
48
+ IdentifierFactory.parameter("input", TypeFactory.keyword("any")),
49
+ AssertProgrammer.Guardian.parameter(props.init),
50
+ ],
51
+ notation.arrow.type,
52
+ undefined,
53
+ ts.factory.createCallExpression(
54
+ ts.factory.createIdentifier("__notation"),
55
+ undefined,
56
+ [
57
+ ts.factory.createCallExpression(
58
+ ts.factory.createIdentifier("__assert"),
59
+ undefined,
60
+ [
61
+ ts.factory.createIdentifier("input"),
62
+ AssertProgrammer.Guardian.identifier(),
63
+ ],
64
+ ),
65
+ ],
66
+ ),
67
+ ),
68
+ };
69
+ };
70
+
71
+ export const write =
72
+ (rename: (str: string) => string) =>
73
+ (project: IProject) =>
74
+ (modulo: ts.LeftHandSideExpression) =>
75
+ (type: ts.Type, name?: string, init?: ts.Expression): ts.CallExpression => {
76
+ const importer: FunctionImporter = new FunctionImporter(modulo.getText());
77
+ const result: FeatureProgrammer.IDecomposed = decompose({
78
+ rename,
79
+ project,
80
+ importer,
81
+ type,
82
+ name,
83
+ init,
84
+ });
85
+ return FeatureProgrammer.writeDecomposed({
86
+ modulo,
87
+ importer,
88
+ result,
89
+ });
90
+ };
91
+ }