typia 3.5.0-dev.20221222 → 3.5.0-dev.20230124

package/src/programmers/internal/check_string_tags.ts

@@ -1,63 +1,63 @@
-import ts from "typescript";
-
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { check_length } from "./check_length";
-
-/**
- * @internal
- */
-export const check_string_tags =
-    (importer: FunctionImporter) =>
-    (input: ts.Expression, tagList: IMetadataTag[]) => {
-        const conditions: ts.Expression[] = [];
-        for (const tag of tagList)
-            if (tag.kind === "format")
-                conditions.push(
-                    ts.factory.createStrictEquality(
-                        ts.factory.createTrue(),
-                        ts.factory.createCallExpression(
-                            importer.use(`is_${tag.value}`),
-                            undefined,
-                            [input],
-                        ),
-                    ),
-                );
-            else if (tag.kind === "pattern")
-                conditions.push(
-                    ts.factory.createStrictEquality(
-                        ts.factory.createTrue(),
-                        ts.factory.createCallExpression(
-                            ts.factory.createIdentifier(
-                                `RegExp(/${tag.value}/).test`,
-                            ),
-                            undefined,
-                            [input],
-                        ),
-                    ),
-                );
-            else if (tag.kind === "minLength")
-                conditions.push(
-                    ts.factory.createLessThanEquals(
-                        ts.factory.createNumericLiteral(tag.value),
-                        IdentifierFactory.join(input, "length"),
-                    ),
-                );
-            else if (tag.kind === "maxLength")
-                conditions.push(
-                    ts.factory.createGreaterThanEquals(
-                        ts.factory.createNumericLiteral(tag.value),
-                        IdentifierFactory.join(input, "length"),
-                    ),
-                );
-            else if (tag.kind === "length")
-                check_length(
-                    conditions,
-                    IdentifierFactory.join(input, "length"),
-                    tag,
-                );
-        return conditions;
-    };
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { check_length } from "./check_length";
+
+/**
+ * @internal
+ */
+export const check_string_tags =
+    (importer: FunctionImporter) =>
+    (input: ts.Expression, tagList: IMetadataTag[]) => {
+        const conditions: ts.Expression[] = [];
+        for (const tag of tagList)
+            if (tag.kind === "format")
+                conditions.push(
+                    ts.factory.createStrictEquality(
+                        ts.factory.createTrue(),
+                        ts.factory.createCallExpression(
+                            importer.use(`is_${tag.value}`),
+                            undefined,
+                            [input],
+                        ),
+                    ),
+                );
+            else if (tag.kind === "pattern")
+                conditions.push(
+                    ts.factory.createStrictEquality(
+                        ts.factory.createTrue(),
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier(
+                                `RegExp(/${tag.value}/).test`,
+                            ),
+                            undefined,
+                            [input],
+                        ),
+                    ),
+                );
+            else if (tag.kind === "minLength")
+                conditions.push(
+                    ts.factory.createLessThanEquals(
+                        ts.factory.createNumericLiteral(tag.value),
+                        IdentifierFactory.join(input, "length"),
+                    ),
+                );
+            else if (tag.kind === "maxLength")
+                conditions.push(
+                    ts.factory.createGreaterThanEquals(
+                        ts.factory.createNumericLiteral(tag.value),
+                        IdentifierFactory.join(input, "length"),
+                    ),
+                );
+            else if (tag.kind === "length")
+                check_length(
+                    conditions,
+                    IdentifierFactory.join(input, "length"),
+                    tag,
+                );
+        return conditions;
+    };

package/src/programmers/internal/check_template.ts

@@ -1,50 +1,50 @@
-import ts from "typescript";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-import { Metadata } from "../../metadata/Metadata";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { check_string_tags } from "./check_string_tags";
-import { template_to_pattern } from "./template_to_pattern";
-
-/**
- * @internal
- */
-export const check_template =
-    (importer: FunctionImporter) =>
-    (
-        input: ts.Expression,
-        templates: Metadata[][],
-        tagList: IMetadataTag[],
-    ) => {
-        // TYPEOF STRING & TAGS
-        const conditions: ts.Expression[] = [
-            ts.factory.createStrictEquality(
-                ts.factory.createStringLiteral("string"),
-                ts.factory.createTypeOfExpression(input),
-            ),
-            ...check_string_tags(importer)(input, tagList),
-        ];
-
-        // TEMPLATES
-        const internal = templates.map((tpl) =>
-            ts.factory.createStrictEquality(
-                ts.factory.createTrue(),
-                ts.factory.createCallExpression(
-                    ts.factory.createIdentifier(
-                        `RegExp(/${template_to_pattern(true)(tpl)}/).test`,
-                    ),
-                    undefined,
-                    [input],
-                ),
-            ),
-        );
-        conditions.push(
-            internal.length === 1
-                ? internal[0]!
-                : internal.reduce((x, y) => ts.factory.createLogicalOr(x, y)),
-        );
-
-        // COMBINATION
-        return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
-    };
+import ts from "typescript";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+import { Metadata } from "../../metadata/Metadata";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { check_string_tags } from "./check_string_tags";
+import { template_to_pattern } from "./template_to_pattern";
+
+/**
+ * @internal
+ */
+export const check_template =
+    (importer: FunctionImporter) =>
+    (
+        input: ts.Expression,
+        templates: Metadata[][],
+        tagList: IMetadataTag[],
+    ) => {
+        // TYPEOF STRING & TAGS
+        const conditions: ts.Expression[] = [
+            ts.factory.createStrictEquality(
+                ts.factory.createStringLiteral("string"),
+                ts.factory.createTypeOfExpression(input),
+            ),
+            ...check_string_tags(importer)(input, tagList),
+        ];
+
+        // TEMPLATES
+        const internal = templates.map((tpl) =>
+            ts.factory.createStrictEquality(
+                ts.factory.createTrue(),
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier(
+                        `RegExp(/${template_to_pattern(true)(tpl)}/).test`,
+                    ),
+                    undefined,
+                    [input],
+                ),
+            ),
+        );
+        conditions.push(
+            internal.length === 1
+                ? internal[0]!
+                : internal.reduce((x, y) => ts.factory.createLogicalOr(x, y)),
+        );
+
+        // COMBINATION
+        return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+    };

package/src/programmers/internal/check_union_array_like.ts

@@ -0,0 +1,242 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+import { CheckerProgrammer } from "../CheckerProgrammer";
+import { FeatureProgrammer } from "../FeatureProgrammer";
+import { UnionExplorer } from "../helpers/UnionExplorer";
+
+export const check_union_array_like =
+    <T>(accessor: check_union_array_like.IAccessor<T>) =>
+    (props: check_union_array_like.IProps<T>) =>
+    (
+        input: ts.Expression,
+        targets: T[],
+        explore: FeatureProgrammer.IExplore,
+        tags: IMetadataTag[],
+    ) => {
+        // ONLY ONE TYPE
+        if (targets.length === 1)
+            return props.decoder(
+                accessor.array(input),
+                targets[0]!,
+                explore,
+                tags,
+            );
+
+        //----
+        // LIST UP VARIABLES
+        //----
+        // TUPLES
+        const tupleListVariable: ts.VariableStatement =
+            StatementFactory.constant(
+                "tupleList",
+                ts.factory.createArrayLiteralExpression(
+                    targets.map((meta) =>
+                        ts.factory.createArrayLiteralExpression([
+                            ts.factory.createArrowFunction(
+                                undefined,
+                                undefined,
+                                [IdentifierFactory.parameter("top")],
+                                undefined,
+                                undefined,
+                                props.checker(
+                                    ts.factory.createIdentifier("top"),
+                                    meta,
+                                    {
+                                        ...explore,
+                                        tracable: false,
+                                        postfix: `"[0]"`,
+                                    },
+                                    tags,
+                                    input,
+                                ),
+                            ),
+                            ts.factory.createArrowFunction(
+                                undefined,
+                                undefined,
+                                [IdentifierFactory.parameter("top")],
+                                undefined,
+                                undefined,
+                                props.decoder(
+                                    ts.factory.createIdentifier("top"),
+                                    meta,
+                                    {
+                                        ...explore,
+                                        tracable: true,
+                                    },
+                                    tags,
+                                ),
+                            ),
+                        ]),
+                    ),
+                ),
+            );
+
+        // FILTERED TUPLES
+        const filteredVariable = StatementFactory.constant(
+            "filtered",
+            ts.factory.createCallExpression(
+                ts.factory.createIdentifier("tupleList.filter"),
+                undefined,
+                [
+                    ts.factory.createArrowFunction(
+                        undefined,
+                        undefined,
+                        [IdentifierFactory.parameter("tuple")],
+                        undefined,
+                        undefined,
+                        ts.factory.createStrictEquality(
+                            props.success,
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("tuple[0]"),
+                                undefined,
+                                [ts.factory.createIdentifier("front")],
+                            ),
+                        ),
+                    ),
+                ],
+            ),
+        );
+
+        //----
+        // STATEMENTS
+        //----
+        // ONLY ONE TYPE
+        const uniqueStatement = ts.factory.createIfStatement(
+            ts.factory.createStrictEquality(
+                ts.factory.createNumericLiteral(1),
+                ts.factory.createIdentifier("filtered.length"),
+            ),
+            ts.factory.createReturnStatement(
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier(`filtered[0][1]`),
+                    undefined,
+                    [accessor.array(input)],
+                ),
+            ),
+        );
+
+        // UNION TYPE
+        const forOfStatement = ts.factory.createForOfStatement(
+            undefined,
+            ts.factory.createVariableDeclarationList(
+                [ts.factory.createVariableDeclaration("tuple")],
+                ts.NodeFlags.Const,
+            ),
+            // StatementFactory.variable(ts.NodeFlags.Const, "tuple"),
+            ts.factory.createIdentifier("filtered"),
+            ts.factory.createIfStatement(
+                ts.factory.createCallExpression(
+                    IdentifierFactory.join(
+                        ts.factory.createIdentifier("array"),
+                        "every",
+                    ),
+                    undefined,
+                    [
+                        ts.factory.createArrowFunction(
+                            undefined,
+                            undefined,
+                            [IdentifierFactory.parameter("value")],
+                            undefined,
+                            undefined,
+                            ts.factory.createStrictEquality(
+                                props.success,
+                                ts.factory.createCallExpression(
+                                    ts.factory.createIdentifier("tuple[0]"),
+                                    undefined,
+                                    [ts.factory.createIdentifier("value")],
+                                ),
+                            ),
+                        ),
+                    ],
+                ),
+                ts.factory.createReturnStatement(
+                    ts.factory.createCallExpression(
+                        ts.factory.createIdentifier(`tuple[1]`),
+                        undefined,
+                        [ts.factory.createIdentifier("array")],
+                    ),
+                ),
+            ),
+        );
+        const unionStatement = ts.factory.createIfStatement(
+            ts.factory.createLessThan(
+                ts.factory.createNumericLiteral(1),
+                ts.factory.createIdentifier("filtered.length"),
+            ),
+            forOfStatement,
+        );
+
+        const block = [
+            // ARRAY.LENGTH := 0
+            ...(accessor.size !== null
+                ? [
+                      ts.factory.createIfStatement(
+                          ts.factory.createStrictEquality(
+                              ts.factory.createNumericLiteral(0),
+                              accessor.size(input),
+                          ),
+                          ts.factory.createReturnStatement(props.empty),
+                      ),
+                  ]
+                : []),
+
+            // UNION PREDICATORS
+            tupleListVariable,
+            StatementFactory.constant("front", accessor.front(input)),
+            filteredVariable,
+            uniqueStatement,
+
+            // CONDITIONAL STATEMENTS
+            StatementFactory.constant("array", accessor.array(input)),
+            unionStatement,
+            props.failure(
+                input,
+                `(${targets.map((t) => accessor.name(t)).join(" | ")})`,
+                explore,
+            ),
+        ];
+
+        return ts.factory.createCallExpression(
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [],
+                undefined,
+                undefined,
+                ts.factory.createBlock(block, true),
+            ),
+            undefined,
+            undefined,
+        );
+    };
+export namespace check_union_array_like {
+    export interface IProps<T> {
+        checker(
+            front: ts.Expression,
+            target: T,
+            explore: FeatureProgrammer.IExplore,
+            tags: IMetadataTag[],
+            array: ts.Expression,
+        ): ts.Expression;
+        decoder: UnionExplorer.Decoder<T>;
+        empty: ts.Expression;
+        success: ts.Expression;
+        failure(
+            input: ts.Expression,
+            expected: string,
+            explore: CheckerProgrammer.IExplore,
+        ): ts.Statement;
+    }
+
+    export interface IAccessor<T> {
+        name(target: T): string;
+        front(input: ts.Expression): ts.Expression;
+        array(input: ts.Expression): ts.Expression;
+        size: null | ((input: ts.Expression) => ts.Expression);
+    }
+}

package/src/programmers/internal/check_union_tuple.ts

@@ -0,0 +1,33 @@
+import ts from "typescript";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+import { Metadata } from "../../metadata/Metadata";
+
+import { IProject } from "../../transformers/IProject";
+
+import { CheckerProgrammer } from "../CheckerProgrammer";
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+
+/**
+ * @internal
+ * @todo Faster union checking logic is required
+ */
+export const check_union_tuple =
+    (
+        project: IProject,
+        config: CheckerProgrammer.IConfig,
+        importer: FunctionImporter,
+    ) =>
+    (
+        _front: ts.Expression,
+        elements: Metadata[],
+        explore: CheckerProgrammer.IExplore,
+        tags: IMetadataTag[],
+        array: ts.Expression,
+    ) =>
+        CheckerProgrammer.decode_tuple(project, config, importer, true)(
+            array,
+            elements,
+            explore,
+            tags,
+        );

package/src/programmers/internal/decode_union_object.ts

@@ -1,73 +1,73 @@
-import ts from "typescript";
-
-import { MetadataObject } from "../../metadata/MetadataObject";
-
-import { FeatureProgrammer } from "../FeatureProgrammer";
-
-/**
- * @internal
- */
-export const decode_union_object =
-    (
-        checker: (
-            input: ts.Expression,
-            obj: MetadataObject,
-            explore: FeatureProgrammer.IExplore,
-        ) => ts.Expression,
-    ) =>
-    (
-        decoder: (
-            input: ts.Expression,
-            obj: MetadataObject,
-            explore: FeatureProgrammer.IExplore,
-        ) => ts.Expression,
-    ) =>
-    (success: (exp: ts.Expression) => ts.Expression) =>
-    (escaper: (value: ts.Expression, expected: string) => ts.Statement) =>
-    (
-        input: ts.Expression,
-        targets: MetadataObject[],
-        explore: FeatureProgrammer.IExplore,
-    ): ts.CallExpression =>
-        ts.factory.createCallExpression(
-            ts.factory.createArrowFunction(
-                undefined,
-                undefined,
-                [],
-                undefined,
-                undefined,
-                iterate(escaper)(
-                    input,
-                    targets.map((obj) => ({
-                        type: "object",
-                        is: () => success(checker(input, obj, explore)),
-                        value: () => decoder(input, obj, explore),
-                    })),
-                    `(${targets.map((t) => t.name).join(" | ")})`,
-                ),
-            ),
-            undefined,
-            undefined,
-        );
-
-const iterate =
-    (escaper: (value: ts.Expression, expected: string) => ts.Statement) =>
-    (input: ts.Expression, unions: IUnion[], expected: string) =>
-        ts.factory.createBlock(
-            [
-                ...unions.map((u) =>
-                    ts.factory.createIfStatement(
-                        u.is(),
-                        ts.factory.createReturnStatement(u.value()),
-                    ),
-                ),
-                escaper(input, expected),
-            ],
-            true,
-        );
-
-interface IUnion {
-    type: string;
-    is: () => ts.Expression;
-    value: () => ts.Expression;
-}
+import ts from "typescript";
+
+import { MetadataObject } from "../../metadata/MetadataObject";
+
+import { FeatureProgrammer } from "../FeatureProgrammer";
+
+/**
+ * @internal
+ */
+export const decode_union_object =
+    (
+        checker: (
+            input: ts.Expression,
+            obj: MetadataObject,
+            explore: FeatureProgrammer.IExplore,
+        ) => ts.Expression,
+    ) =>
+    (
+        decoder: (
+            input: ts.Expression,
+            obj: MetadataObject,
+            explore: FeatureProgrammer.IExplore,
+        ) => ts.Expression,
+    ) =>
+    (success: (exp: ts.Expression) => ts.Expression) =>
+    (escaper: (value: ts.Expression, expected: string) => ts.Statement) =>
+    (
+        input: ts.Expression,
+        targets: MetadataObject[],
+        explore: FeatureProgrammer.IExplore,
+    ): ts.CallExpression =>
+        ts.factory.createCallExpression(
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [],
+                undefined,
+                undefined,
+                iterate(escaper)(
+                    input,
+                    targets.map((obj) => ({
+                        type: "object",
+                        is: () => success(checker(input, obj, explore)),
+                        value: () => decoder(input, obj, explore),
+                    })),
+                    `(${targets.map((t) => t.name).join(" | ")})`,
+                ),
+            ),
+            undefined,
+            undefined,
+        );
+
+const iterate =
+    (escaper: (value: ts.Expression, expected: string) => ts.Statement) =>
+    (input: ts.Expression, unions: IUnion[], expected: string) =>
+        ts.factory.createBlock(
+            [
+                ...unions.map((u) =>
+                    ts.factory.createIfStatement(
+                        u.is(),
+                        ts.factory.createReturnStatement(u.value()),
+                    ),
+                ),
+                escaper(input, expected),
+            ],
+            true,
+        );
+
+interface IUnion {
+    type: string;
+    is: () => ts.Expression;
+    value: () => ts.Expression;
+}