typia 5.2.6 → 5.3.0-dev.20231112

package/src/programmers/internal/check_dynamic_properties.ts

@@ -1,202 +1,202 @@
-import ts from "typescript";
-
-import { ExpressionFactory } from "../../factories/ExpressionFactory";
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-import { StatementFactory } from "../../factories/StatementFactory";
-
-import { IProject } from "../../transformers/IProject";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { IExpressionEntry } from "../helpers/IExpressionEntry";
-import { check_dynamic_key } from "./check_dynamic_key";
-import { check_everything } from "./check_everything";
-import { check_object } from "./check_object";
-
-/**
- * @internal
- */
-export const check_dynamic_properties =
-    (props: check_object.IProps) =>
-    (project: IProject) =>
-    (importer: FunctionImporter) =>
-    (
-        input: ts.Expression,
-        regular: IExpressionEntry<ts.Expression>[],
-        dynamic: IExpressionEntry<ts.Expression>[],
-    ): ts.Expression => {
-        const length = IdentifierFactory.access(
-            ts.factory.createCallExpression(
-                ts.factory.createIdentifier("Object.keys"),
-                undefined,
-                [input],
-            ),
-        )("length");
-        const left: ts.Expression | null =
-            props.equals === true && dynamic.length === 0
-                ? props.undefined === true ||
-                  regular.every((r) => r.meta.isRequired())
-                    ? ts.factory.createStrictEquality(
-                          ExpressionFactory.number(
-                              regular.filter((r) => r.meta.isRequired()).length,
-                          ),
-                          length,
-                      )
-                    : ts.factory.createCallExpression(
-                          importer.use("is_between"),
-                          [],
-                          [
-                              length,
-                              ExpressionFactory.number(
-                                  regular.filter((r) => r.meta.isRequired())
-                                      .length,
-                              ),
-                              ExpressionFactory.number(regular.length),
-                          ],
-                      )
-                : null;
-        if (
-            props.undefined === false &&
-            left !== null &&
-            regular.every((r) => r.meta.isRequired())
-        )
-            return left;
-
-        const criteria = props.entries
-            ? ts.factory.createCallExpression(props.entries, undefined, [
-                  ts.factory.createCallExpression(
-                      ts.factory.createIdentifier("Object.keys"),
-                      undefined,
-                      [input],
-                  ),
-                  check_dynamic_property(props)(project)(importer)(
-                      input,
-                      regular,
-                      dynamic,
-                  ),
-              ])
-            : ts.factory.createCallExpression(
-                  IdentifierFactory.access(
-                      ts.factory.createCallExpression(
-                          ts.factory.createIdentifier("Object.keys"),
-                          undefined,
-                          [input],
-                      ),
-                  )(props.assert ? "every" : "map"),
-                  undefined,
-                  [
-                      check_dynamic_property(props)(project)(importer)(
-                          input,
-                          regular,
-                          dynamic,
-                      ),
-                  ],
-              );
-        const right: ts.Expression = (props.halt || ((elem) => elem))(
-            props.assert ? criteria : check_everything(criteria),
-        );
-        return left
-            ? (props.undefined
-                  ? ts.factory.createLogicalOr
-                  : ts.factory.createLogicalAnd)(left, right)
-            : right;
-    };
-
-const check_dynamic_property =
-    (props: check_object.IProps) =>
-    (project: IProject) =>
-    (importer: FunctionImporter) =>
-    (
-        input: ts.Expression,
-        regular: IExpressionEntry<ts.Expression>[],
-        dynamic: IExpressionEntry<ts.Expression>[],
-    ) => {
-        //----
-        // IF CONDITIONS
-        //----
-        // PREPARE ASSETS
-        const key = ts.factory.createIdentifier("key");
-        const value = ts.factory.createIdentifier("value");
-
-        const statements: ts.Statement[] = [];
-        const add = (exp: ts.Expression, output: ts.Expression) =>
-            statements.push(
-                ts.factory.createIfStatement(
-                    exp,
-                    ts.factory.createReturnStatement(output),
-                ),
-            );
-
-        // GATHER CONDITIONS
-        if (regular.length) add(is_regular_property(regular), props.positive);
-        statements.push(
-            StatementFactory.constant(
-                "value",
-                ts.factory.createElementAccessExpression(input, key),
-            ),
-        );
-        if (props.undefined === true)
-            add(
-                ts.factory.createStrictEquality(
-                    ts.factory.createIdentifier("undefined"),
-                    value,
-                ),
-                props.positive,
-            );
-
-        for (const entry of dynamic)
-            add(
-                check_dynamic_key(project)(importer)(key, entry.key),
-                entry.expression,
-            );
-
-        //----
-        // FUNCTION BODY
-        //----
-        // CLOSURE BLOCK
-        const block: ts.Block = ts.factory.createBlock(
-            [
-                ...statements,
-                ts.factory.createReturnStatement(
-                    props.equals === true
-                        ? props.superfluous(value)
-                        : props.positive,
-                ),
-            ],
-            true,
-        );
-
-        // RETURNS
-        return ts.factory.createArrowFunction(
-            undefined,
-            undefined,
-            [IdentifierFactory.parameter("key")],
-            undefined,
-            undefined,
-            block,
-        );
-    };
-
-const is_regular_property = (regular: IExpressionEntry[]) =>
-    ts.factory.createCallExpression(
-        IdentifierFactory.access(
-            ts.factory.createArrayLiteralExpression(
-                regular.map((entry) =>
-                    ts.factory.createStringLiteral(entry.key.getSoleLiteral()!),
-                ),
-            ),
-        )("some"),
-        undefined,
-        [
-            ts.factory.createArrowFunction(
-                undefined,
-                undefined,
-                [IdentifierFactory.parameter("prop")],
-                undefined,
-                undefined,
-                ts.factory.createStrictEquality(
-                    ts.factory.createIdentifier("key"),
-                    ts.factory.createIdentifier("prop"),
-                ),
-            ),
-        ],
-    );
+import ts from "typescript";
+
+import { ExpressionFactory } from "../../factories/ExpressionFactory";
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+
+import { IProject } from "../../transformers/IProject";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { IExpressionEntry } from "../helpers/IExpressionEntry";
+import { check_dynamic_key } from "./check_dynamic_key";
+import { check_everything } from "./check_everything";
+import { check_object } from "./check_object";
+
+/**
+ * @internal
+ */
+export const check_dynamic_properties =
+    (props: check_object.IProps) =>
+    (project: IProject) =>
+    (importer: FunctionImporter) =>
+    (
+        input: ts.Expression,
+        regular: IExpressionEntry<ts.Expression>[],
+        dynamic: IExpressionEntry<ts.Expression>[],
+    ): ts.Expression => {
+        const length = IdentifierFactory.access(
+            ts.factory.createCallExpression(
+                ts.factory.createIdentifier("Object.keys"),
+                undefined,
+                [input],
+            ),
+        )("length");
+        const left: ts.Expression | null =
+            props.equals === true && dynamic.length === 0
+                ? props.undefined === true ||
+                  regular.every((r) => r.meta.isRequired())
+                    ? ts.factory.createStrictEquality(
+                          ExpressionFactory.number(
+                              regular.filter((r) => r.meta.isRequired()).length,
+                          ),
+                          length,
+                      )
+                    : ts.factory.createCallExpression(
+                          importer.use("is_between"),
+                          [],
+                          [
+                              length,
+                              ExpressionFactory.number(
+                                  regular.filter((r) => r.meta.isRequired())
+                                      .length,
+                              ),
+                              ExpressionFactory.number(regular.length),
+                          ],
+                      )
+                : null;
+        if (
+            props.undefined === false &&
+            left !== null &&
+            regular.every((r) => r.meta.isRequired())
+        )
+            return left;
+
+        const criteria = props.entries
+            ? ts.factory.createCallExpression(props.entries, undefined, [
+                  ts.factory.createCallExpression(
+                      ts.factory.createIdentifier("Object.keys"),
+                      undefined,
+                      [input],
+                  ),
+                  check_dynamic_property(props)(project)(importer)(
+                      input,
+                      regular,
+                      dynamic,
+                  ),
+              ])
+            : ts.factory.createCallExpression(
+                  IdentifierFactory.access(
+                      ts.factory.createCallExpression(
+                          ts.factory.createIdentifier("Object.keys"),
+                          undefined,
+                          [input],
+                      ),
+                  )(props.assert ? "every" : "map"),
+                  undefined,
+                  [
+                      check_dynamic_property(props)(project)(importer)(
+                          input,
+                          regular,
+                          dynamic,
+                      ),
+                  ],
+              );
+        const right: ts.Expression = (props.halt || ((elem) => elem))(
+            props.assert ? criteria : check_everything(criteria),
+        );
+        return left
+            ? (props.undefined
+                  ? ts.factory.createLogicalOr
+                  : ts.factory.createLogicalAnd)(left, right)
+            : right;
+    };
+
+const check_dynamic_property =
+    (props: check_object.IProps) =>
+    (project: IProject) =>
+    (importer: FunctionImporter) =>
+    (
+        input: ts.Expression,
+        regular: IExpressionEntry<ts.Expression>[],
+        dynamic: IExpressionEntry<ts.Expression>[],
+    ) => {
+        //----
+        // IF CONDITIONS
+        //----
+        // PREPARE ASSETS
+        const key = ts.factory.createIdentifier("key");
+        const value = ts.factory.createIdentifier("value");
+
+        const statements: ts.Statement[] = [];
+        const add = (exp: ts.Expression, output: ts.Expression) =>
+            statements.push(
+                ts.factory.createIfStatement(
+                    exp,
+                    ts.factory.createReturnStatement(output),
+                ),
+            );
+
+        // GATHER CONDITIONS
+        if (regular.length) add(is_regular_property(regular), props.positive);
+        statements.push(
+            StatementFactory.constant(
+                "value",
+                ts.factory.createElementAccessExpression(input, key),
+            ),
+        );
+        if (props.undefined === true)
+            add(
+                ts.factory.createStrictEquality(
+                    ts.factory.createIdentifier("undefined"),
+                    value,
+                ),
+                props.positive,
+            );
+
+        for (const entry of dynamic)
+            add(
+                check_dynamic_key(project)(importer)(key, entry.key),
+                entry.expression,
+            );
+
+        //----
+        // FUNCTION BODY
+        //----
+        // CLOSURE BLOCK
+        const block: ts.Block = ts.factory.createBlock(
+            [
+                ...statements,
+                ts.factory.createReturnStatement(
+                    props.equals === true
+                        ? props.superfluous(value)
+                        : props.positive,
+                ),
+            ],
+            true,
+        );
+
+        // RETURNS
+        return ts.factory.createArrowFunction(
+            undefined,
+            undefined,
+            [IdentifierFactory.parameter("key")],
+            undefined,
+            undefined,
+            block,
+        );
+    };
+
+const is_regular_property = (regular: IExpressionEntry[]) =>
+    ts.factory.createCallExpression(
+        IdentifierFactory.access(
+            ts.factory.createArrayLiteralExpression(
+                regular.map((entry) =>
+                    ts.factory.createStringLiteral(entry.key.getSoleLiteral()!),
+                ),
+            ),
+        )("some"),
+        undefined,
+        [
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [IdentifierFactory.parameter("prop")],
+                undefined,
+                undefined,
+                ts.factory.createStrictEquality(
+                    ts.factory.createIdentifier("key"),
+                    ts.factory.createIdentifier("prop"),
+                ),
+            ),
+        ],
+    );

package/src/programmers/internal/check_number.ts

@@ -101,8 +101,11 @@ const check_numeric_type_tags =
                       ]),
                 ...row.map((tag) => ({
                     expected: `number & ${tag.name}`,
-                    expression: ExpressionFactory.transpile(project.context)(
-                        tag.validate!,
+                    expression: (
+                        tag.predicate ??
+                        ExpressionFactory.transpile(project.context)(
+                            tag.validate!,
+                        )
                     )(input),
                 })),
             ]);

package/src/programmers/internal/check_object.ts

@@ -1,62 +1,62 @@
-import ts from "typescript";
-
-import { IProject } from "../../transformers/IProject";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { IExpressionEntry } from "../helpers/IExpressionEntry";
-import { check_dynamic_properties } from "./check_dynamic_properties";
-import { check_everything } from "./check_everything";
-
-/**
- * @internal
- */
-export const check_object =
-    (props: check_object.IProps) =>
-    (project: IProject) =>
-    (importer: FunctionImporter) =>
-    (input: ts.Expression, entries: IExpressionEntry<ts.Expression>[]) => {
-        // PREPARE ASSETS
-        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
-        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
-        const flags: ts.Expression[] = regular.map((entry) => entry.expression);
-
-        // REGULAR WITHOUT DYNAMIC PROPERTIES
-        if (props.equals === false && dynamic.length === 0)
-            return regular.length === 0 ? props.positive : reduce(props)(flags);
-
-        // CHECK DYNAMIC PROPERTIES
-        flags.push(
-            check_dynamic_properties(props)(project)(importer)(
-                input,
-                regular,
-                dynamic,
-            ),
-        );
-        return reduce(props)(flags);
-    };
-
-/**
- * @internal
- */
-export namespace check_object {
-    export interface IProps {
-        equals: boolean;
-        assert: boolean;
-        undefined: boolean;
-        halt?: undefined | ((exp: ts.Expression) => ts.Expression);
-        reduce: (a: ts.Expression, b: ts.Expression) => ts.Expression;
-        positive: ts.Expression;
-        superfluous: (value: ts.Expression) => ts.Expression;
-        entries?: undefined | ts.Identifier;
-    }
-}
-
-/**
- * @internal
- */
-const reduce = (props: check_object.IProps) => (expressions: ts.Expression[]) =>
-    props.assert
-        ? expressions.reduce(props.reduce)
-        : check_everything(
-              ts.factory.createArrayLiteralExpression(expressions),
-          );
+import ts from "typescript";
+
+import { IProject } from "../../transformers/IProject";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { IExpressionEntry } from "../helpers/IExpressionEntry";
+import { check_dynamic_properties } from "./check_dynamic_properties";
+import { check_everything } from "./check_everything";
+
+/**
+ * @internal
+ */
+export const check_object =
+    (props: check_object.IProps) =>
+    (project: IProject) =>
+    (importer: FunctionImporter) =>
+    (input: ts.Expression, entries: IExpressionEntry<ts.Expression>[]) => {
+        // PREPARE ASSETS
+        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
+        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
+        const flags: ts.Expression[] = regular.map((entry) => entry.expression);
+
+        // REGULAR WITHOUT DYNAMIC PROPERTIES
+        if (props.equals === false && dynamic.length === 0)
+            return regular.length === 0 ? props.positive : reduce(props)(flags);
+
+        // CHECK DYNAMIC PROPERTIES
+        flags.push(
+            check_dynamic_properties(props)(project)(importer)(
+                input,
+                regular,
+                dynamic,
+            ),
+        );
+        return reduce(props)(flags);
+    };
+
+/**
+ * @internal
+ */
+export namespace check_object {
+    export interface IProps {
+        equals: boolean;
+        assert: boolean;
+        undefined: boolean;
+        halt?: undefined | ((exp: ts.Expression) => ts.Expression);
+        reduce: (a: ts.Expression, b: ts.Expression) => ts.Expression;
+        positive: ts.Expression;
+        superfluous: (value: ts.Expression) => ts.Expression;
+        entries?: undefined | ts.Identifier;
+    }
+}
+
+/**
+ * @internal
+ */
+const reduce = (props: check_object.IProps) => (expressions: ts.Expression[]) =>
+    props.assert
+        ? expressions.reduce(props.reduce)
+        : check_everything(
+              ts.factory.createArrayLiteralExpression(expressions),
+          );

package/src/programmers/internal/check_string.ts

@@ -17,7 +17,6 @@ export const check_string =
     (input: ts.Expression): ICheckEntry => {
         const conditions: ICheckEntry.ICondition[][] =
             check_string_type_tags(project)(atomic)(input);
-
         return {
             expected: atomic.getName(),
             expression: ts.factory.createStrictEquality(
@@ -41,8 +40,11 @@ const check_string_type_tags =
             .map((row) =>
                 row.map((tag) => ({
                     expected: `string & ${tag.name}`,
-                    expression: ExpressionFactory.transpile(project.context)(
-                        tag.validate!,
+                    expression: (
+                        tag.predicate ??
+                        ExpressionFactory.transpile(project.context)(
+                            tag.validate!,
+                        )
                     )(input),
                 })),
             );

package/src/programmers/internal/metadata_to_pattern.ts

@@ -18,7 +18,9 @@ export const metadata_to_pattern =
             meta.constants.map((c) => {
                 if (c.type !== "string")
                     return c.values.map((v) => v.toString());
-                return c.values.map((str) => PatternUtil.escape(str));
+                return (c.values as string[]).map((str) =>
+                    PatternUtil.escape(str),
+                );
             }),
         );
         for (const a of meta.atomics)

package/src/programmers/json/JsonAssertParseProgrammer.ts

@@ -16,6 +16,7 @@ export namespace JsonAssertParseProgrammer {
         (type: ts.Type, name?: string): ts.ArrowFunction => {
             JsonMetadataFactory.analyze(`typia.json.${modulo.getText()}`)(
                 project.checker,
+                project.context,
             )(type);
             return ts.factory.createArrowFunction(
                 undefined,

package/src/programmers/json/JsonIsParseProgrammer.ts

@@ -16,6 +16,7 @@ export namespace JsonIsParseProgrammer {
         (type: ts.Type, name?: string): ts.ArrowFunction => {
             JsonMetadataFactory.analyze(`typia.json.${modulo.getText()}`)(
                 project.checker,
+                project.context,
             )(type);
             return ts.factory.createArrowFunction(
                 undefined,