typia 5.0.0-dev.20230823-2 → 5.0.0-dev.2023084

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 (148) hide show
  1. package/lib/factories/MetadataTagFactory.js +4 -2
  2. package/lib/factories/MetadataTagFactory.js.map +1 -1
  3. package/lib/factories/ProtobufFactory.js +2 -1
  4. package/lib/factories/ProtobufFactory.js.map +1 -1
  5. package/lib/factories/internal/metadata/emend_metadata_atomics.js +6 -6
  6. package/lib/factories/internal/metadata/emend_metadata_atomics.js.map +1 -1
  7. package/lib/factories/internal/metadata/iterate_metadata_atomic.js +1 -1
  8. package/lib/factories/internal/metadata/iterate_metadata_atomic.js.map +1 -1
  9. package/lib/programmers/CheckerProgrammer.js +6 -6
  10. package/lib/programmers/CheckerProgrammer.js.map +1 -1
  11. package/lib/programmers/RandomProgrammer.js +5 -5
  12. package/lib/programmers/RandomProgrammer.js.map +1 -1
  13. package/lib/programmers/helpers/AtomicPredicator.js +2 -2
  14. package/lib/programmers/helpers/AtomicPredicator.js.map +1 -1
  15. package/lib/programmers/helpers/ProtobufUtil.js +2 -2
  16. package/lib/programmers/helpers/ProtobufUtil.js.map +1 -1
  17. package/lib/programmers/internal/application_default_string.js +2 -2
  18. package/lib/programmers/internal/application_default_string.js.map +1 -1
  19. package/lib/programmers/internal/application_schema.js +5 -5
  20. package/lib/programmers/internal/application_schema.js.map +1 -1
  21. package/lib/programmers/internal/metadata_to_pattern.js +4 -4
  22. package/lib/programmers/internal/metadata_to_pattern.js.map +1 -1
  23. package/lib/programmers/internal/stringify_dynamic_properties.js +2 -1
  24. package/lib/programmers/internal/stringify_dynamic_properties.js.map +1 -1
  25. package/lib/programmers/json/JsonStringifyProgrammer.js +16 -10
  26. package/lib/programmers/json/JsonStringifyProgrammer.js.map +1 -1
  27. package/lib/programmers/misc/MiscLiteralsProgrammer.js +2 -2
  28. package/lib/programmers/misc/MiscLiteralsProgrammer.js.map +1 -1
  29. package/lib/programmers/protobuf/ProtobufDecodeProgrammer.js +1 -1
  30. package/lib/programmers/protobuf/ProtobufDecodeProgrammer.js.map +1 -1
  31. package/lib/schemas/metadata/IMetadata.d.ts +2 -2
  32. package/lib/schemas/metadata/IMetadataAtomic.d.ts +12 -0
  33. package/lib/schemas/metadata/IMetadataAtomic.js +3 -0
  34. package/lib/schemas/metadata/IMetadataAtomic.js.map +1 -0
  35. package/lib/schemas/metadata/Metadata.d.ts +2 -2
  36. package/lib/schemas/metadata/Metadata.js +49 -44
  37. package/lib/schemas/metadata/Metadata.js.map +1 -1
  38. package/lib/tags/ExclusiveMaximum.d.ts +8 -0
  39. package/lib/tags/ExclusiveMaximum.js +3 -0
  40. package/lib/tags/ExclusiveMaximum.js.map +1 -0
  41. package/lib/tags/ExclusiveMinimum.d.ts +8 -0
  42. package/lib/tags/ExclusiveMinimum.js +3 -0
  43. package/lib/tags/ExclusiveMinimum.js.map +1 -0
  44. package/lib/tags/Format.d.ts +8 -0
  45. package/lib/tags/Format.js +3 -0
  46. package/lib/tags/Format.js.map +1 -0
  47. package/lib/tags/MaxItems.d.ts +8 -0
  48. package/lib/tags/MaxItems.js +3 -0
  49. package/lib/tags/MaxItems.js.map +1 -0
  50. package/lib/tags/MaxLength.d.ts +8 -0
  51. package/lib/tags/MaxLength.js +3 -0
  52. package/lib/tags/MaxLength.js.map +1 -0
  53. package/lib/tags/Maximum.d.ts +8 -0
  54. package/lib/tags/Maximum.js +3 -0
  55. package/lib/tags/Maximum.js.map +1 -0
  56. package/lib/tags/MinItems.d.ts +8 -0
  57. package/lib/tags/MinItems.js +3 -0
  58. package/lib/tags/MinItems.js.map +1 -0
  59. package/lib/tags/MinLength.d.ts +8 -0
  60. package/lib/tags/MinLength.js +3 -0
  61. package/lib/tags/MinLength.js.map +1 -0
  62. package/lib/tags/Minimum.d.ts +8 -0
  63. package/lib/tags/Minimum.js +3 -0
  64. package/lib/tags/Minimum.js.map +1 -0
  65. package/lib/tags/MultipleOf.d.ts +8 -0
  66. package/lib/tags/MultipleOf.js +3 -0
  67. package/lib/tags/MultipleOf.js.map +1 -0
  68. package/lib/tags/Pattern.d.ts +8 -0
  69. package/lib/tags/Pattern.js +3 -0
  70. package/lib/tags/Pattern.js.map +1 -0
  71. package/lib/tags/TagBase.d.ts +10 -0
  72. package/lib/tags/TagBase.js +3 -0
  73. package/lib/tags/TagBase.js.map +1 -0
  74. package/lib/tags/Type.d.ts +13 -0
  75. package/lib/tags/Type.js +3 -0
  76. package/lib/tags/Type.js.map +1 -0
  77. package/lib/tags/index.d.ts +12 -0
  78. package/lib/tags/index.js +29 -0
  79. package/lib/tags/index.js.map +1 -0
  80. package/lib/transformers/features/json/JsonApplicationTransformer.js +1 -1
  81. package/lib/transformers/features/json/JsonApplicationTransformer.js.map +1 -1
  82. package/package.json +1 -1
  83. package/src/Primitive.ts +135 -135
  84. package/src/Resolved.ts +116 -116
  85. package/src/factories/MetadataFactory.ts +46 -46
  86. package/src/factories/MetadataTagFactory.ts +366 -364
  87. package/src/factories/ProtobufFactory.ts +268 -266
  88. package/src/factories/internal/metadata/emend_metadata_atomics.ts +35 -33
  89. package/src/factories/internal/metadata/explore_metadata.ts +38 -38
  90. package/src/factories/internal/metadata/iterate_metadata_atomic.ts +63 -59
  91. package/src/factories/internal/metadata/iterate_metadata_collection.ts +133 -133
  92. package/src/factories/internal/metadata/iterate_metadata_native.ts +210 -210
  93. package/src/factories/internal/metadata/iterate_metadata_resolve.ts +49 -49
  94. package/src/factories/internal/metadata/iterate_metadata_sort.ts +69 -69
  95. package/src/functional/$ProtobufWriter.ts +151 -151
  96. package/src/json.ts +648 -648
  97. package/src/misc.ts +651 -651
  98. package/src/module.ts +709 -709
  99. package/src/programmers/AssertProgrammer.ts +281 -281
  100. package/src/programmers/CheckerProgrammer.ts +1174 -1173
  101. package/src/programmers/IsProgrammer.ts +241 -241
  102. package/src/programmers/RandomProgrammer.ts +874 -874
  103. package/src/programmers/ValidateProgrammer.ts +307 -307
  104. package/src/programmers/helpers/AtomicPredicator.ts +31 -31
  105. package/src/programmers/helpers/FunctionImporeter.ts +91 -91
  106. package/src/programmers/helpers/ProtobufUtil.ts +29 -29
  107. package/src/programmers/helpers/StringifyPredicator.ts +12 -12
  108. package/src/programmers/helpers/disable_function_importer_declare.ts +32 -32
  109. package/src/programmers/internal/application_default_string.ts +37 -33
  110. package/src/programmers/internal/application_resolved.ts +55 -55
  111. package/src/programmers/internal/application_schema.ts +157 -157
  112. package/src/programmers/internal/metadata_to_pattern.ts +34 -34
  113. package/src/programmers/internal/stringify_dynamic_properties.ts +171 -171
  114. package/src/programmers/json/JsonStringifyProgrammer.ts +995 -989
  115. package/src/programmers/misc/MiscAssertCloneProgrammer.ts +71 -71
  116. package/src/programmers/misc/MiscCloneProgrammer.ts +775 -775
  117. package/src/programmers/misc/MiscIsCloneProgrammer.ts +78 -78
  118. package/src/programmers/misc/MiscLiteralsProgrammer.ts +64 -64
  119. package/src/programmers/misc/MiscPruneProgrammer.ts +544 -544
  120. package/src/programmers/misc/MiscValidateCloneProgrammer.ts +85 -85
  121. package/src/programmers/protobuf/ProtobufAssertDecodeProgrammer.ts +75 -75
  122. package/src/programmers/protobuf/ProtobufDecodeProgrammer.ts +673 -673
  123. package/src/programmers/protobuf/ProtobufEncodeProgrammer.ts +814 -814
  124. package/src/programmers/protobuf/ProtobufIsDecodeProgrammer.ts +85 -85
  125. package/src/programmers/protobuf/ProtobufValidateDecodeProgrammer.ts +75 -75
  126. package/src/protobuf.ts +881 -881
  127. package/src/schemas/metadata/IMetadata.ts +27 -28
  128. package/src/schemas/metadata/IMetadataAtomic.ts +13 -0
  129. package/src/schemas/metadata/IMetadataEscaped.ts +6 -6
  130. package/src/schemas/metadata/Metadata.ts +643 -634
  131. package/src/schemas/metadata/MetadataEscaped.ts +51 -51
  132. package/src/tags/ExclusiveMaximum.ts +8 -0
  133. package/src/tags/ExclusiveMinimum.ts +8 -0
  134. package/src/tags/Format.ts +29 -0
  135. package/src/tags/MaxItems.ts +8 -0
  136. package/src/tags/MaxLength.ts +8 -0
  137. package/src/tags/Maximum.ts +8 -0
  138. package/src/tags/MinItems.ts +8 -0
  139. package/src/tags/MinLength.ts +8 -0
  140. package/src/tags/Minimum.ts +8 -0
  141. package/src/tags/MultipleOf.ts +10 -0
  142. package/src/tags/Pattern.ts +8 -0
  143. package/src/tags/TagBase.ts +17 -0
  144. package/src/tags/Type.ts +30 -0
  145. package/src/tags/index.ts +12 -0
  146. package/src/transformers/features/json/JsonApplicationTransformer.ts +111 -111
  147. package/src/transformers/features/misc/MetadataTransformer.ts +53 -53
  148. package/src/utils/RandomGenerator.ts +83 -83
package/src/programmers/AssertProgrammer.ts CHANGED
@@ -1,281 +1,281 @@
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 { CheckerProgrammer } from "./CheckerProgrammer";
10
- import { IsProgrammer } from "./IsProgrammer";
11
- import { FunctionImporter } from "./helpers/FunctionImporeter";
12
- import { OptionPredicator } from "./helpers/OptionPredicator";
13
- import { check_object } from "./internal/check_object";
14
-
15
- export namespace AssertProgrammer {
16
- export const write =
17
- (project: IProject) =>
18
- (modulo: ts.LeftHandSideExpression) =>
19
- (equals: boolean) =>
20
- (type: ts.Type, name?: string) => {
21
- const importer: FunctionImporter = new FunctionImporter(
22
- modulo.getText(),
23
- );
24
- const is = IsProgrammer.write(project)(modulo, true)(equals)(
25
- type,
26
- name ?? TypeFactory.getFullName(project.checker)(type),
27
- );
28
- const assert: ts.ArrowFunction = CheckerProgrammer.write(project)({
29
- prefix: "$a",
30
- path: true,
31
- trace: true,
32
- numeric: OptionPredicator.numeric(project.options),
33
- equals,
34
- atomist: (explore) => (tuple) => (input) =>
35
- [
36
- tuple.expression,
37
- ...tuple.tags.map((tag) =>
38
- ts.factory.createLogicalOr(
39
- tag.expression,
40
- create_guard_call(importer)(
41
- explore.from === "top"
42
- ? ts.factory.createTrue()
43
- : ts.factory.createIdentifier(
44
- "_exceptionable",
45
- ),
46
- )(
47
- ts.factory.createIdentifier(
48
- explore.postfix
49
- ? `_path + ${explore.postfix}`
50
- : "_path",
51
- ),
52
- tag.expected,
53
- input,
54
- ),
55
- ),
56
- ),
57
- ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
58
- combiner: combiner(equals)(importer),
59
- joiner: joiner(equals)(importer),
60
- success: ts.factory.createTrue(),
61
- addition: () => importer.declare(modulo),
62
- })(importer)(type, name);
63
-
64
- return ts.factory.createArrowFunction(
65
- undefined,
66
- undefined,
67
- [
68
- IdentifierFactory.parameter(
69
- "input",
70
- TypeFactory.keyword("any"),
71
- ),
72
- ],
73
- ts.factory.createTypeReferenceNode(
74
- name ?? TypeFactory.getFullName(project.checker)(type),
75
- ),
76
- undefined,
77
- ts.factory.createBlock(
78
- [
79
- StatementFactory.constant("__is", is),
80
- ts.factory.createIfStatement(
81
- ts.factory.createStrictEquality(
82
- ts.factory.createFalse(),
83
- ts.factory.createCallExpression(
84
- ts.factory.createIdentifier("__is"),
85
- undefined,
86
- [ts.factory.createIdentifier("input")],
87
- ),
88
- ),
89
- ts.factory.createExpressionStatement(
90
- ts.factory.createCallExpression(
91
- assert,
92
- undefined,
93
- [
94
- ts.factory.createIdentifier("input"),
95
- ts.factory.createStringLiteral(
96
- "$input",
97
- ),
98
- ts.factory.createTrue(),
99
- ],
100
- ),
101
- ),
102
- undefined,
103
- ),
104
- ts.factory.createReturnStatement(
105
- ts.factory.createIdentifier(`input`),
106
- ),
107
- ],
108
- true,
109
- ),
110
- );
111
- };
112
-
113
- const combiner =
114
- (equals: boolean) =>
115
- (importer: FunctionImporter): CheckerProgrammer.IConfig.Combiner =>
116
- (explore: CheckerProgrammer.IExplore) => {
117
- if (explore.tracable === false)
118
- return IsProgrammer.configure({
119
- object: assert_object(equals)(importer),
120
- numeric: true,
121
- })(importer).combiner(explore);
122
-
123
- const path: string = explore.postfix
124
- ? `_path + ${explore.postfix}`
125
- : "_path";
126
- return (logic) => (input, binaries, expected) =>
127
- logic === "and"
128
- ? binaries
129
- .map((binary) =>
130
- binary.combined
131
- ? binary.expression
132
- : ts.factory.createLogicalOr(
133
- binary.expression,
134
- create_guard_call(importer)(
135
- explore.source === "top"
136
- ? ts.factory.createTrue()
137
- : ts.factory.createIdentifier(
138
- "_exceptionable",
139
- ),
140
- )(
141
- ts.factory.createIdentifier(path),
142
- expected,
143
- input,
144
- ),
145
- ),
146
- )
147
- .reduce(ts.factory.createLogicalAnd)
148
- : ts.factory.createLogicalOr(
149
- binaries
150
- .map((binary) => binary.expression)
151
- .reduce(ts.factory.createLogicalOr),
152
- create_guard_call(importer)(
153
- explore.source === "top"
154
- ? ts.factory.createTrue()
155
- : ts.factory.createIdentifier(
156
- "_exceptionable",
157
- ),
158
- )(ts.factory.createIdentifier(path), expected, input),
159
- );
160
- // : (() => {
161
- // const addicted = binaries.slice();
162
- // if (
163
- // addicted[addicted.length - 1]!.combined === false
164
- // ) {
165
- // addicted.push({
166
- // combined: true,
167
- // expression: create_guard_call(importer)(
168
- // explore.source === "top"
169
- // ? ts.factory.createTrue()
170
- // : ts.factory.createIdentifier(
171
- // "_exceptionable",
172
- // ),
173
- // )(
174
- // ts.factory.createIdentifier(path),
175
- // expected,
176
- // input,
177
- // ),
178
- // });
179
- // }
180
- // return addicted
181
- // .map((b) => b.expression)
182
- // .reduce(ts.factory.createLogicalOr);
183
- // })();
184
- };
185
-
186
- const assert_object = (equals: boolean) => (importer: FunctionImporter) =>
187
- check_object({
188
- equals,
189
- assert: true,
190
- undefined: true,
191
- reduce: ts.factory.createLogicalAnd,
192
- positive: ts.factory.createTrue(),
193
- superfluous: (value) =>
194
- create_guard_call(importer)()(
195
- ts.factory.createAdd(
196
- ts.factory.createIdentifier("_path"),
197
- ts.factory.createCallExpression(
198
- importer.use("join"),
199
- undefined,
200
- [ts.factory.createIdentifier("key")],
201
- ),
202
- ),
203
- "undefined",
204
- value,
205
- ),
206
- halt: (expr) =>
207
- ts.factory.createLogicalOr(
208
- ts.factory.createStrictEquality(
209
- ts.factory.createFalse(),
210
- ts.factory.createIdentifier("_exceptionable"),
211
- ),
212
- expr,
213
- ),
214
- })(importer);
215
-
216
- const joiner =
217
- (equals: boolean) =>
218
- (importer: FunctionImporter): CheckerProgrammer.IConfig.IJoiner => ({
219
- object: assert_object(equals)(importer),
220
- array: (input, arrow) =>
221
- ts.factory.createCallExpression(
222
- IdentifierFactory.access(input)("every"),
223
- undefined,
224
- [arrow],
225
- ),
226
- failure: (value, expected, explore) =>
227
- create_guard_call(importer)(
228
- explore?.from === "top"
229
- ? ts.factory.createTrue()
230
- : ts.factory.createIdentifier("_exceptionable"),
231
- )(
232
- ts.factory.createIdentifier(
233
- explore?.postfix
234
- ? `_path + ${explore.postfix}`
235
- : "_path",
236
- ),
237
- expected,
238
- value,
239
- ),
240
- full: equals
241
- ? undefined
242
- : (condition) => (input, expected, explore) =>
243
- ts.factory.createLogicalOr(
244
- condition,
245
- create_guard_call(importer)(
246
- explore.from === "top"
247
- ? ts.factory.createTrue()
248
- : ts.factory.createIdentifier(
249
- "_exceptionable",
250
- ),
251
- )(
252
- ts.factory.createIdentifier("_path"),
253
- expected,
254
- input,
255
- ),
256
- ),
257
- });
258
-
259
- const create_guard_call =
260
- (importer: FunctionImporter) =>
261
- (exceptionable?: ts.Expression) =>
262
- (
263
- path: ts.Expression,
264
- expected: string,
265
- value: ts.Expression,
266
- ): ts.Expression =>
267
- ts.factory.createCallExpression(importer.use("guard"), undefined, [
268
- exceptionable ?? ts.factory.createIdentifier("_exceptionable"),
269
- ts.factory.createObjectLiteralExpression(
270
- [
271
- ts.factory.createPropertyAssignment("path", path),
272
- ts.factory.createPropertyAssignment(
273
- "expected",
274
- ts.factory.createStringLiteral(expected),
275
- ),
276
- ts.factory.createPropertyAssignment("value", value),
277
- ],
278
- true,
279
- ),
280
- ]);
281
- }
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 { CheckerProgrammer } from "./CheckerProgrammer";
10
+ import { IsProgrammer } from "./IsProgrammer";
11
+ import { FunctionImporter } from "./helpers/FunctionImporeter";
12
+ import { OptionPredicator } from "./helpers/OptionPredicator";
13
+ import { check_object } from "./internal/check_object";
14
+
15
+ export namespace AssertProgrammer {
16
+ export const write =
17
+ (project: IProject) =>
18
+ (modulo: ts.LeftHandSideExpression) =>
19
+ (equals: boolean) =>
20
+ (type: ts.Type, name?: string) => {
21
+ const importer: FunctionImporter = new FunctionImporter(
22
+ modulo.getText(),
23
+ );
24
+ const is = IsProgrammer.write(project)(modulo, true)(equals)(
25
+ type,
26
+ name ?? TypeFactory.getFullName(project.checker)(type),
27
+ );
28
+ const assert: ts.ArrowFunction = CheckerProgrammer.write(project)({
29
+ prefix: "$a",
30
+ path: true,
31
+ trace: true,
32
+ numeric: OptionPredicator.numeric(project.options),
33
+ equals,
34
+ atomist: (explore) => (tuple) => (input) =>
35
+ [
36
+ tuple.expression,
37
+ ...tuple.tags.map((tag) =>
38
+ ts.factory.createLogicalOr(
39
+ tag.expression,
40
+ create_guard_call(importer)(
41
+ explore.from === "top"
42
+ ? ts.factory.createTrue()
43
+ : ts.factory.createIdentifier(
44
+ "_exceptionable",
45
+ ),
46
+ )(
47
+ ts.factory.createIdentifier(
48
+ explore.postfix
49
+ ? `_path + ${explore.postfix}`
50
+ : "_path",
51
+ ),
52
+ tag.expected,
53
+ input,
54
+ ),
55
+ ),
56
+ ),
57
+ ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
58
+ combiner: combiner(equals)(importer),
59
+ joiner: joiner(equals)(importer),
60
+ success: ts.factory.createTrue(),
61
+ addition: () => importer.declare(modulo),
62
+ })(importer)(type, name);
63
+
64
+ return ts.factory.createArrowFunction(
65
+ undefined,
66
+ undefined,
67
+ [
68
+ IdentifierFactory.parameter(
69
+ "input",
70
+ TypeFactory.keyword("any"),
71
+ ),
72
+ ],
73
+ ts.factory.createTypeReferenceNode(
74
+ name ?? TypeFactory.getFullName(project.checker)(type),
75
+ ),
76
+ undefined,
77
+ ts.factory.createBlock(
78
+ [
79
+ StatementFactory.constant("__is", is),
80
+ ts.factory.createIfStatement(
81
+ ts.factory.createStrictEquality(
82
+ ts.factory.createFalse(),
83
+ ts.factory.createCallExpression(
84
+ ts.factory.createIdentifier("__is"),
85
+ undefined,
86
+ [ts.factory.createIdentifier("input")],
87
+ ),
88
+ ),
89
+ ts.factory.createExpressionStatement(
90
+ ts.factory.createCallExpression(
91
+ assert,
92
+ undefined,
93
+ [
94
+ ts.factory.createIdentifier("input"),
95
+ ts.factory.createStringLiteral(
96
+ "$input",
97
+ ),
98
+ ts.factory.createTrue(),
99
+ ],
100
+ ),
101
+ ),
102
+ undefined,
103
+ ),
104
+ ts.factory.createReturnStatement(
105
+ ts.factory.createIdentifier(`input`),
106
+ ),
107
+ ],
108
+ true,
109
+ ),
110
+ );
111
+ };
112
+
113
+ const combiner =
114
+ (equals: boolean) =>
115
+ (importer: FunctionImporter): CheckerProgrammer.IConfig.Combiner =>
116
+ (explore: CheckerProgrammer.IExplore) => {
117
+ if (explore.tracable === false)
118
+ return IsProgrammer.configure({
119
+ object: assert_object(equals)(importer),
120
+ numeric: true,
121
+ })(importer).combiner(explore);
122
+
123
+ const path: string = explore.postfix
124
+ ? `_path + ${explore.postfix}`
125
+ : "_path";
126
+ return (logic) => (input, binaries, expected) =>
127
+ logic === "and"
128
+ ? binaries
129
+ .map((binary) =>
130
+ binary.combined
131
+ ? binary.expression
132
+ : ts.factory.createLogicalOr(
133
+ binary.expression,
134
+ create_guard_call(importer)(
135
+ explore.source === "top"
136
+ ? ts.factory.createTrue()
137
+ : ts.factory.createIdentifier(
138
+ "_exceptionable",
139
+ ),
140
+ )(
141
+ ts.factory.createIdentifier(path),
142
+ expected,
143
+ input,
144
+ ),
145
+ ),
146
+ )
147
+ .reduce(ts.factory.createLogicalAnd)
148
+ : ts.factory.createLogicalOr(
149
+ binaries
150
+ .map((binary) => binary.expression)
151
+ .reduce(ts.factory.createLogicalOr),
152
+ create_guard_call(importer)(
153
+ explore.source === "top"
154
+ ? ts.factory.createTrue()
155
+ : ts.factory.createIdentifier(
156
+ "_exceptionable",
157
+ ),
158
+ )(ts.factory.createIdentifier(path), expected, input),
159
+ );
160
+ // : (() => {
161
+ // const addicted = binaries.slice();
162
+ // if (
163
+ // addicted[addicted.length - 1]!.combined === false
164
+ // ) {
165
+ // addicted.push({
166
+ // combined: true,
167
+ // expression: create_guard_call(importer)(
168
+ // explore.source === "top"
169
+ // ? ts.factory.createTrue()
170
+ // : ts.factory.createIdentifier(
171
+ // "_exceptionable",
172
+ // ),
173
+ // )(
174
+ // ts.factory.createIdentifier(path),
175
+ // expected,
176
+ // input,
177
+ // ),
178
+ // });
179
+ // }
180
+ // return addicted
181
+ // .map((b) => b.expression)
182
+ // .reduce(ts.factory.createLogicalOr);
183
+ // })();
184
+ };
185
+
186
+ const assert_object = (equals: boolean) => (importer: FunctionImporter) =>
187
+ check_object({
188
+ equals,
189
+ assert: true,
190
+ undefined: true,
191
+ reduce: ts.factory.createLogicalAnd,
192
+ positive: ts.factory.createTrue(),
193
+ superfluous: (value) =>
194
+ create_guard_call(importer)()(
195
+ ts.factory.createAdd(
196
+ ts.factory.createIdentifier("_path"),
197
+ ts.factory.createCallExpression(
198
+ importer.use("join"),
199
+ undefined,
200
+ [ts.factory.createIdentifier("key")],
201
+ ),
202
+ ),
203
+ "undefined",
204
+ value,
205
+ ),
206
+ halt: (expr) =>
207
+ ts.factory.createLogicalOr(
208
+ ts.factory.createStrictEquality(
209
+ ts.factory.createFalse(),
210
+ ts.factory.createIdentifier("_exceptionable"),
211
+ ),
212
+ expr,
213
+ ),
214
+ })(importer);
215
+
216
+ const joiner =
217
+ (equals: boolean) =>
218
+ (importer: FunctionImporter): CheckerProgrammer.IConfig.IJoiner => ({
219
+ object: assert_object(equals)(importer),
220
+ array: (input, arrow) =>
221
+ ts.factory.createCallExpression(
222
+ IdentifierFactory.access(input)("every"),
223
+ undefined,
224
+ [arrow],
225
+ ),
226
+ failure: (value, expected, explore) =>
227
+ create_guard_call(importer)(
228
+ explore?.from === "top"
229
+ ? ts.factory.createTrue()
230
+ : ts.factory.createIdentifier("_exceptionable"),
231
+ )(
232
+ ts.factory.createIdentifier(
233
+ explore?.postfix
234
+ ? `_path + ${explore.postfix}`
235
+ : "_path",
236
+ ),
237
+ expected,
238
+ value,
239
+ ),
240
+ full: equals
241
+ ? undefined
242
+ : (condition) => (input, expected, explore) =>
243
+ ts.factory.createLogicalOr(
244
+ condition,
245
+ create_guard_call(importer)(
246
+ explore.from === "top"
247
+ ? ts.factory.createTrue()
248
+ : ts.factory.createIdentifier(
249
+ "_exceptionable",
250
+ ),
251
+ )(
252
+ ts.factory.createIdentifier("_path"),
253
+ expected,
254
+ input,
255
+ ),
256
+ ),
257
+ });
258
+
259
+ const create_guard_call =
260
+ (importer: FunctionImporter) =>
261
+ (exceptionable?: ts.Expression) =>
262
+ (
263
+ path: ts.Expression,
264
+ expected: string,
265
+ value: ts.Expression,
266
+ ): ts.Expression =>
267
+ ts.factory.createCallExpression(importer.use("guard"), undefined, [
268
+ exceptionable ?? ts.factory.createIdentifier("_exceptionable"),
269
+ ts.factory.createObjectLiteralExpression(
270
+ [
271
+ ts.factory.createPropertyAssignment("path", path),
272
+ ts.factory.createPropertyAssignment(
273
+ "expected",
274
+ ts.factory.createStringLiteral(expected),
275
+ ),
276
+ ts.factory.createPropertyAssignment("value", value),
277
+ ],
278
+ true,
279
+ ),
280
+ ]);
281
+ }