typia 3.5.0-dev.20230211 → 3.5.0-dev.20230213

package/src/programmers/CloneProgrammer.ts

@@ -0,0 +1,357 @@
+import ts from "typescript";
+
+import { ExpressionFactory } from "../factories/ExpressionFactory";
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { MetadataCollection } from "../factories/MetadataCollection";
+import { MetadataFactory } from "../factories/MetadataFactory";
+
+import { Metadata } from "../metadata/Metadata";
+
+import { IProject } from "../transformers/IProject";
+
+import { FeatureProgrammer } from "./FeatureProgrammer";
+import { IsProgrammer } from "./IsProgrammer";
+import { CloneJoiner } from "./helpers/CloneJoiner";
+import { FunctionImporter } from "./helpers/FunctionImporeter";
+import { UnionExplorer } from "./helpers/UnionExplorer";
+import { decode_union_object } from "./internal/decode_union_object";
+
+export namespace CloneProgrammer {
+    export function generate(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+    ) {
+        const importer: FunctionImporter = new FunctionImporter();
+        return FeatureProgrammer.generate(
+            project,
+            CONFIG(project, importer),
+            importer,
+            (collection) => {
+                const isFunctors = IsProgrammer.generate_functors(
+                    project,
+                    importer,
+                )(collection);
+                const isUnioners = IsProgrammer.generate_unioners(
+                    project,
+                    importer,
+                )(collection);
+
+                return [
+                    ...importer.declare(modulo),
+                    ...isFunctors,
+                    ...isUnioners,
+                ];
+            },
+        );
+    }
+
+    /* -----------------------------------------------------------
+        DECODERS
+    ----------------------------------------------------------- */
+    const decode =
+        (project: IProject, importer: FunctionImporter) =>
+        (
+            input: ts.Expression,
+            meta: Metadata,
+            explore: FeatureProgrammer.IExplore,
+        ): ts.Expression => {
+            // ANY TYPE
+            if (
+                meta.any ||
+                meta.arrays.some((a) => a.any) ||
+                meta.tuples.some((t) => t.every((e) => e.any))
+            )
+                return ts.factory.createCallExpression(
+                    ts.factory.createIdentifier("JSON.parse"),
+                    undefined,
+                    [
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("JSON.stringify"),
+                            undefined,
+                            [input],
+                        ),
+                    ],
+                );
+
+            interface IUnion {
+                type: string;
+                is: () => ts.Expression;
+                value: () => ts.Expression;
+            }
+            const unions: IUnion[] = [];
+
+            //----
+            // LIST UP UNION TYPES
+            //----
+            // toJSON() METHOD
+            if (meta.resolved !== null)
+                unions.push({
+                    type: "resolved",
+                    is: () => IsProgrammer.decode_to_json(input),
+                    value: () =>
+                        decode_to_json(project, importer)(
+                            input,
+                            meta.resolved!,
+                            explore,
+                        ),
+                });
+
+            // TUPLES
+            for (const tuple of meta.tuples)
+                unions.push({
+                    type: "tuple",
+                    is: () =>
+                        IsProgrammer.decode(project, importer)(
+                            input,
+                            (() => {
+                                const partial = Metadata.initialize();
+                                partial.tuples.push(tuple);
+                                return partial;
+                            })(),
+                            explore,
+                            [],
+                        ),
+                    value: () =>
+                        decode_tuple(project, importer)(input, tuple, explore),
+                });
+
+            // ARRAYS
+            if (meta.arrays.length)
+                unions.push({
+                    type: "array",
+                    is: () => ExpressionFactory.isArray(input),
+                    value: () =>
+                        explore_arrays(project, importer)(
+                            input,
+                            meta.arrays,
+                            {
+                                ...explore,
+                                from: "array",
+                            },
+                            [],
+                        ),
+                });
+
+            // NATIVE TYPES
+            if (meta.sets.length)
+                unions.push({
+                    type: "set",
+                    is: () => ExpressionFactory.isInstanceOf(input, "Set"),
+                    value: () => ts.factory.createIdentifier("{}"),
+                });
+            if (meta.maps.length)
+                unions.push({
+                    type: "map",
+                    is: () => ExpressionFactory.isInstanceOf(input, "Map"),
+                    value: () => ts.factory.createIdentifier("{}"),
+                });
+            for (const native of meta.natives)
+                unions.push({
+                    type: "native",
+                    is: () => ExpressionFactory.isInstanceOf(input, native),
+                    value: () => ts.factory.createIdentifier("{}"),
+                });
+
+            // OBJECTS
+            if (meta.objects.length)
+                unions.push({
+                    type: "object",
+                    is: () =>
+                        ExpressionFactory.isObject(input, {
+                            checkNull: true,
+                            checkArray: false,
+                        }),
+                    value: () =>
+                        explore_objects(input, meta, {
+                            ...explore,
+                            from: "object",
+                        }),
+                });
+
+            // COMPOSITION
+            let last: ts.Expression = input;
+            for (const u of unions.reverse())
+                last = ts.factory.createConditionalExpression(
+                    u.is(),
+                    undefined,
+                    u.value(),
+                    undefined,
+                    last,
+                );
+            return last;
+        };
+
+    const decode_to_json =
+        (project: IProject, importer: FunctionImporter) =>
+        (
+            input: ts.Expression,
+            resolved: Metadata,
+            explore: FeatureProgrammer.IExplore,
+        ): ts.Expression => {
+            return decode(project, importer)(
+                ts.factory.createCallExpression(
+                    IdentifierFactory.join(input, "toJSON"),
+                    undefined,
+                    [],
+                ),
+                resolved,
+                explore,
+            );
+        };
+
+    const decode_tuple =
+        (project: IProject, importer: FunctionImporter) =>
+        (
+            input: ts.Expression,
+            tuple: Metadata[],
+            explore: FeatureProgrammer.IExplore,
+        ): ts.Expression => {
+            const children: ts.Expression[] = tuple
+                .filter((m) => m.rest === null)
+                .map((elem, index) =>
+                    decode(project, importer)(
+                        ts.factory.createElementAccessExpression(input, index),
+                        elem,
+                        {
+                            ...explore,
+                            from: "array",
+                        },
+                    ),
+                );
+            const rest = (() => {
+                if (tuple.length === 0) return null;
+
+                const last: Metadata = tuple[tuple.length - 1]!;
+                const rest: Metadata | null = last.rest;
+                if (rest === null) return null;
+
+                return decode(project, importer)(
+                    ts.factory.createCallExpression(
+                        IdentifierFactory.join(input, "slice"),
+                        undefined,
+                        [ts.factory.createNumericLiteral(tuple.length - 1)],
+                    ),
+                    (() => {
+                        const wrapper: Metadata = Metadata.initialize();
+                        wrapper.arrays.push(rest);
+                        return wrapper;
+                    })(),
+                    {
+                        ...explore,
+                        start: tuple.length - 1,
+                    },
+                );
+            })();
+            return CloneJoiner.tuple(children, rest);
+        };
+
+    const decode_array = (project: IProject, importer: FunctionImporter) =>
+        FeatureProgrammer.decode_array(
+            CONFIG(project, importer),
+            importer,
+            CloneJoiner.array,
+        );
+
+    const decode_object = () =>
+        FeatureProgrammer.decode_object({
+            trace: false,
+            path: false,
+            functors: FUNCTORS,
+        });
+
+    const explore_arrays = (project: IProject, importer: FunctionImporter) =>
+        UnionExplorer.array({
+            checker: IsProgrammer.decode(project, importer),
+            decoder: decode_array(project, importer),
+            empty: ts.factory.createReturnStatement(),
+            success: ts.factory.createTrue(),
+            failure: (input, expected) =>
+                create_throw_error(importer, input, expected),
+        });
+
+    const explore_objects = (
+        input: ts.Expression,
+        meta: Metadata,
+        explore: FeatureProgrammer.IExplore,
+    ) => {
+        if (meta.objects.length === 1)
+            return decode_object()(input, meta.objects[0]!, explore);
+
+        return ts.factory.createCallExpression(
+            ts.factory.createIdentifier(`${UNIONERS}${meta.union_index!}`),
+            undefined,
+            [input],
+        );
+    };
+
+    /* -----------------------------------------------------------
+        CONFIGURATIONS
+    ----------------------------------------------------------- */
+    const FUNCTORS = "$co";
+    const UNIONERS = "$cu";
+
+    const CONFIG = (
+        project: IProject,
+        importer: FunctionImporter,
+    ): FeatureProgrammer.IConfig => ({
+        functors: FUNCTORS,
+        unioners: UNIONERS,
+        trace: false,
+        path: false,
+        initializer,
+        decoder: decode(project, importer),
+        objector: OBJECTOR(project, importer),
+    });
+
+    const OBJECTOR = (
+        project: IProject,
+        importer: FunctionImporter,
+    ): FeatureProgrammer.IConfig.IObjector => ({
+        checker: IsProgrammer.decode(project, importer),
+        decoder: decode_object(),
+        joiner: CloneJoiner.object,
+        unionizer: decode_union_object(IsProgrammer.decode_object(importer))(
+            decode_object(),
+        )((exp) => exp)((value, expected) =>
+            create_throw_error(importer, value, expected),
+        ),
+        failure: (input, expected) =>
+            create_throw_error(importer, input, expected),
+    });
+
+    const initializer: FeatureProgrammer.IConfig["initializer"] = (
+        { checker },
+        type,
+    ) => {
+        const collection = new MetadataCollection();
+        const meta = MetadataFactory.generate(checker, collection, type, {
+            resolve: true,
+            constant: true,
+        });
+        return [collection, meta];
+    };
+
+    const create_throw_error = (
+        importer: FunctionImporter,
+        value: ts.Expression,
+        expected: string,
+    ) =>
+        ts.factory.createExpressionStatement(
+            ts.factory.createCallExpression(
+                importer.use("throws"),
+                [],
+                [
+                    ts.factory.createObjectLiteralExpression(
+                        [
+                            ts.factory.createPropertyAssignment(
+                                "expected",
+                                ts.factory.createStringLiteral(expected),
+                            ),
+                            ts.factory.createPropertyAssignment("value", value),
+                        ],
+                        true,
+                    ),
+                ],
+            ),
+        );
+}

package/src/programmers/IsPruneProgrammer.ts

@@ -0,0 +1,63 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { StatementFactory } from "../factories/StatementFactory";
+
+import { IProject } from "../transformers/IProject";
+
+import { IsProgrammer } from "./IsProgrammer";
+import { PruneProgrammer } from "./PruneProgrammer";
+
+export namespace IsPruneProgrammer {
+    export const generate =
+        (project: IProject, modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type) =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [IdentifierFactory.parameter("input")],
+                undefined,
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "is",
+                        IsProgrammer.generate(project, modulo)(type),
+                    ),
+                    StatementFactory.constant(
+                        "prune",
+                        PruneProgrammer.generate(
+                            {
+                                ...project,
+                                options: {
+                                    ...project.options,
+                                    functional: false,
+                                    numeric: false,
+                                },
+                            },
+                            modulo,
+                        )(type),
+                    ),
+                    ts.factory.createIfStatement(
+                        ts.factory.createPrefixUnaryExpression(
+                            ts.SyntaxKind.ExclamationToken,
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("is"),
+                                undefined,
+                                [ts.factory.createIdentifier("input")],
+                            ),
+                        ),
+                        ts.factory.createReturnStatement(
+                            ts.factory.createFalse(),
+                        ),
+                    ),
+                    ts.factory.createExpressionStatement(
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("prune"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(ts.factory.createTrue()),
+                ]),
+            );
+}

package/src/programmers/PruneProgrammer.ts

@@ -145,12 +145,15 @@ export namespace PruneProgrammer {
             //----
             // STATEMENTS
             //----
-            const value = (v: ts.Expression | ts.Block | ts.ReturnStatement) =>
+            const converter = (
+                v: ts.Expression | ts.Block | ts.ReturnStatement,
+            ) =>
                 ts.isReturnStatement(v) || ts.isBlock(v)
                     ? v
                     : ts.factory.createExpressionStatement(v);
+
             const statements: ts.Statement[] = unions.map((u) =>
-                ts.factory.createIfStatement(u.is(), value(u.value())),
+                ts.factory.createIfStatement(u.is(), converter(u.value())),
             );
             return ts.factory.createBlock(statements, true);
         };

package/src/programmers/ValidatePruneProgrammer.ts

@@ -0,0 +1,73 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { StatementFactory } from "../factories/StatementFactory";
+
+import { IProject } from "../transformers/IProject";
+
+import { PruneProgrammer } from "./PruneProgrammer";
+import { ValidateProgrammer } from "./ValidateProgrammer";
+
+export namespace ValidatePruneProgrammer {
+    export const generate =
+        (project: IProject, modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type) =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [IdentifierFactory.parameter("input")],
+                undefined,
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "validate",
+                        ValidateProgrammer.generate(
+                            {
+                                ...project,
+                                options: {
+                                    ...project.options,
+                                    functional: false,
+                                    numeric: true,
+                                },
+                            },
+                            modulo,
+                        )(type),
+                    ),
+                    StatementFactory.constant(
+                        "prune",
+                        PruneProgrammer.generate(
+                            {
+                                ...project,
+                                options: {
+                                    ...project.options,
+                                    functional: false,
+                                    numeric: false,
+                                },
+                            },
+                            modulo,
+                        )(type),
+                    ),
+                    StatementFactory.constant(
+                        "output",
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("validate"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createIfStatement(
+                        ts.factory.createIdentifier("output.success"),
+                        ts.factory.createExpressionStatement(
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("prune"),
+                                undefined,
+                                [ts.factory.createIdentifier("input")],
+                            ),
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(
+                        ts.factory.createIdentifier("output"),
+                    ),
+                ]),
+            );
+}

package/src/programmers/helpers/CloneJoiner.ts

@@ -0,0 +1,126 @@
+import ts from "typescript";
+
+import { StatementFactory } from "../../factories/StatementFactory";
+
+import { MetadataObject } from "../../metadata/MetadataObject";
+
+import { Escaper } from "../../utils/Escaper";
+
+import { metadata_to_pattern } from "../internal/metadata_to_pattern";
+import { IExpressionEntry } from "./IExpressionEntry";
+
+export namespace CloneJoiner {
+    export const object = (
+        input: ts.Expression,
+        entries: IExpressionEntry<ts.Expression>[],
+        _obj: MetadataObject,
+    ): ts.ConciseBody => {
+        const regular = entries.filter((e) => e.key.isSoleLiteral());
+        const dynamic = entries.filter((e) => !e.key.isSoleLiteral());
+
+        if (regular.length === 0 && dynamic.length === 0)
+            return ts.factory.createIdentifier("{}");
+
+        const literal = ts.factory.createObjectLiteralExpression(
+            regular.map((entry) => {
+                const str: string = entry.key.getSoleLiteral()!;
+                return ts.factory.createPropertyAssignment(
+                    Escaper.variable(str)
+                        ? str
+                        : ts.factory.createStringLiteral(str),
+                    entry.expression,
+                );
+            }),
+            true,
+        );
+        if (dynamic.length === 0) return literal;
+
+        const key = ts.factory.createIdentifier("key");
+        const value = ts.factory.createIdentifier("value");
+        const output = ts.factory.createIdentifier("output");
+
+        const statements: ts.Statement[] = dynamic.map((entry) =>
+            ts.factory.createIfStatement(
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier(
+                        `RegExp(/${metadata_to_pattern(true)(
+                            entry.key,
+                        )}/).test`,
+                    ),
+                    undefined,
+                    [key],
+                ),
+                ts.factory.createBlock([
+                    ts.factory.createExpressionStatement(
+                        ts.factory.createBinaryExpression(
+                            ts.factory.createElementAccessExpression(
+                                output,
+                                key,
+                            ),
+                            ts.factory.createToken(ts.SyntaxKind.EqualsToken),
+                            entry.expression,
+                        ),
+                    ),
+                    ts.factory.createContinueStatement(),
+                ]),
+            ),
+        );
+
+        return ts.factory.createBlock([
+            StatementFactory.constant("output", literal),
+            ts.factory.createForOfStatement(
+                undefined,
+                ts.factory.createVariableDeclarationList(
+                    [
+                        ts.factory.createVariableDeclaration(
+                            ts.factory.createArrayBindingPattern([
+                                ts.factory.createBindingElement(
+                                    undefined,
+                                    undefined,
+                                    key,
+                                    undefined,
+                                ),
+                                ts.factory.createBindingElement(
+                                    undefined,
+                                    undefined,
+                                    value,
+                                    undefined,
+                                ),
+                            ]),
+                            undefined,
+                            undefined,
+                            undefined,
+                        ),
+                    ],
+                    ts.NodeFlags.Const,
+                ),
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier("Object.entries"),
+                    undefined,
+                    [input],
+                ),
+                ts.factory.createBlock(statements),
+            ),
+            ts.factory.createReturnStatement(output),
+        ]);
+    };
+
+    export const tuple = (
+        children: ts.Expression[],
+        rest: ts.Expression | null,
+    ): ts.Expression => {
+        if (rest === null)
+            return ts.factory.createArrayLiteralExpression(children, true);
+        return ts.factory.createArrayLiteralExpression(
+            [...children, ts.factory.createSpreadElement(rest)],
+            true,
+        );
+    };
+
+    export const array = (input: ts.Expression, arrow: ts.Expression) =>
+        ts.factory.createCallExpression(
+            ts.factory.createPropertyAccessExpression(input, "map"),
+            undefined,
+            [arrow],
+        );
+}

package/src/transformers/CallExpressionTransformer.ts

@@ -3,9 +3,17 @@ import ts from "typescript";
 
 import { IProject } from "./IProject";
 import { ApplicationTransformer } from "./features/miscellaneous/ApplicationTransformer";
+import { AssertPruneTransformer } from "./features/miscellaneous/AssertPruneTransformer";
+import { CloneTransformer } from "./features/miscellaneous/CloneTransformer";
+import { CreateAssertPruneTransformer } from "./features/miscellaneous/CreateAssertPruneTransformer";
+import { CreateCloneTransformer } from "./features/miscellaneous/CreateCloneTransformer";
+import { CreateIsPruneTransformer } from "./features/miscellaneous/CreateIsPruneTransformer";
 import { CreatePruneTransformer } from "./features/miscellaneous/CreatePruneTransformer";
+import { CreateValidatePruneTransformer } from "./features/miscellaneous/CreateValidatePruneTransformer";
+import { IsPruneTransformer } from "./features/miscellaneous/IsPruneTransformer";
 import { MetadataTransformer } from "./features/miscellaneous/MetadataTransformer";
 import { PruneTransformer } from "./features/miscellaneous/PruneTransformer";
+import { ValidatePruneTransformer } from "./features/miscellaneous/ValidatePruneTransformer";
 import { AssertParseTransformer } from "./features/parsers/AssertParseTransformer";
 import { CreateAssertParseTransformer } from "./features/parsers/CreateAssertParseTransformer";
 import { CreateIsParseTransformer } from "./features/parsers/CreateIsParseTransformer";
@@ -90,15 +98,19 @@ const FUNCTORS: Record<string, () => Task> = {
     validateParse: () => ValidateParseTransformer.transform,
 
     // STRINGIFY FUNCTIONS
+    application: () => ApplicationTransformer.transform,
     stringify: () => StringifyTransformer.transform,
     assertStringify: () => AssertStringifyTransformer.transform,
     isStringify: () => IsStringifyTransformer.transform,
     validateStringify: () => ValidateStringifyTransformer.transform,
 
     // MISC
-    application: () => ApplicationTransformer.transform,
     metadata: () => MetadataTransformer.transform,
+    clone: () => CloneTransformer.transform,
     prune: () => PruneTransformer.transform,
+    assertPrune: () => AssertPruneTransformer.transform,
+    isPrune: () => IsPruneTransformer.transform,
+    validatePrune: () => ValidatePruneTransformer.transform,
 
     //----
     // FACTORY FUNCTIONS
@@ -126,5 +138,9 @@ const FUNCTORS: Record<string, () => Task> = {
     createValidateStringify: () => CreateValidateStringifyTransformer.transform,
 
     // MISC
+    createClone: () => CreateCloneTransformer.transform,
     createPrune: () => CreatePruneTransformer.transform,
+    createAssertPrune: () => CreateAssertPruneTransformer.transform,
+    createIsPrune: () => CreateIsPruneTransformer.transform,
+    createValidatePrune: () => CreateValidatePruneTransformer.transform,
 };