typia 3.3.12 → 3.4.0-dev.20221212

package/src/transformers/NodeTransformer.ts

@@ -0,0 +1,19 @@
+import ts from "typescript";
+
+import { CallExpressionTransformer } from "./CallExpressionTransformer";
+import { IProject } from "./IProject";
+
+// import { ExpressionWithArgumentTransformer } from "./ExpressionWithArgumentTransformer";
+
+export namespace NodeTransformer {
+    export function transform(project: IProject, expression: ts.Node): ts.Node {
+        if (ts.isCallExpression(expression))
+            return CallExpressionTransformer.transform(project, expression);
+        // else if (ts.isExpressionWithTypeArguments(expression))
+        //     return ExpressionWithArgumentTransformer.transform(
+        //         project,
+        //         expression,
+        //     );
+        return expression;
+    }
+}

package/src/transformers/features/miscellaneous/ApplicationTransformer.ts

@@ -0,0 +1,114 @@
+import ts from "typescript";
+
+import { LiteralFactory } from "../../../factories/LiteralFactory";
+import { MetadataCollection } from "../../../factories/MetadataCollection";
+import { MetadataFactory } from "../../../factories/MetadataFactory";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { IJsonApplication } from "../../../schemas/IJsonApplication";
+
+import { ApplicationProgrammer } from "../../../programmers/ApplicationProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace ApplicationTransformer {
+    export function transform(
+        { checker }: IProject,
+        _modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        if (!expression.typeArguments?.length)
+            throw new Error(ErrorMessages.NO_GENERIC_ARGUMENT);
+
+        //----
+        // GET ARGUMENTS
+        //----
+        // VALIDATE TUPLE ARGUMENTS
+        const top: ts.Node = expression.typeArguments[0]!;
+        if (!ts.isTupleTypeNode(top)) return expression;
+        else if (top.elements.some((child) => !ts.isTypeNode(child)))
+            return expression;
+
+        // GET TYPES
+        const types: ts.Type[] = top.elements.map((child) =>
+            checker.getTypeFromTypeNode(child as ts.TypeNode),
+        );
+        if (types.some((t) => t.isTypeParameter()))
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // ADDITIONAL PARAMETERS
+        const purpose: "swagger" | "ajv" = get_parameter(
+            checker,
+            "Purpose",
+            expression.typeArguments[1],
+            (str) => str === "swagger" || str === "ajv",
+            () => "swagger",
+        );
+        const prefix: string = get_parameter(
+            checker,
+            "Prefix",
+            expression.typeArguments[2],
+            () => true,
+            () =>
+                purpose === "swagger"
+                    ? "#/components/schemas"
+                    : "components#/schemas",
+        );
+
+        //----
+        // GENERATORS
+        //----
+        // METADATA
+        const collection: MetadataCollection = new MetadataCollection({
+            replace: MetadataCollection.replace,
+        });
+        const metadatas: Array<Metadata> = types.map((type) =>
+            MetadataFactory.generate(checker, collection, type, {
+                resolve: true,
+                constant: true,
+            }),
+        );
+
+        // APPLICATION
+        const app: IJsonApplication = ApplicationProgrammer.generate(
+            metadatas,
+            {
+                purpose,
+                prefix,
+            },
+        );
+
+        // RETURNS WITH LITERAL EXPRESSION
+        return LiteralFactory.generate(app);
+    }
+
+    function get_parameter<T extends string>(
+        checker: ts.TypeChecker,
+        name: string,
+        node: ts.TypeNode | undefined,
+        predicator: (value: string) => boolean,
+        defaulter: () => T,
+    ): T {
+        if (!node) return defaulter();
+
+        // CHECK LITERAL TYPE
+        const type: ts.Type = checker.getTypeFromTypeNode(node);
+        if (!type.isLiteral())
+            throw new Error(
+                `Error on typia.application(): generic argument "${name}" must be constant.`,
+            );
+
+        // GET VALUE AND VALIDATE IT
+        const value = type.value;
+        if (typeof value !== "string" || predicator(value) === false)
+            throw new Error(
+                `Error on typia.application(): invalid value on generic argument "${name}".`,
+            );
+        return value as T;
+    }
+}
+
+const enum ErrorMessages {
+    NO_GENERIC_ARGUMENT = "Error on typia.application(): no generic argument.",
+    GENERIC_ARGUMENT = "Error on typia.application(): non-specified generic argument(s).",
+}

package/src/transformers/features/miscellaneous/CreateInstanceTransformer.ts

@@ -0,0 +1,41 @@
+import ts from "typescript";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateInstanceTransformer {
+    export function transform(
+        _project: IProject,
+        _modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.CallExpression {
+        // GET PARAMETER
+        const param: ts.Expression | undefined = expression.arguments[0];
+        if (param === undefined) throw new Error(ErrorMessages.NO_INPUT_VALUE);
+
+        // CONVERT TO JSON-STRING
+        const json: string = to_json_string(param);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            ts.factory.createIdentifier("JSON.parse"),
+            undefined,
+            [ts.factory.createStringLiteral(json)],
+        );
+    }
+
+    function to_json_string(param: ts.Expression): string {
+        try {
+            const text: string = param.getFullText();
+            const obj: any = new Function(`return ${text};`)();
+
+            return JSON.stringify(obj);
+        } catch (exp) {
+            throw new Error(ErrorMessages.NO_CONSTANT_VALUE);
+        }
+    }
+}
+
+const enum ErrorMessages {
+    NO_INPUT_VALUE = "Error on typia.createObject(): no input value.",
+    NO_CONSTANT_VALUE = "Error on typia.createObject(): input value must be constant.",
+}

package/src/transformers/features/miscellaneous/MetadataTransformer.ts

@@ -0,0 +1,55 @@
+import ts from "typescript";
+
+import { LiteralFactory } from "../../../factories/LiteralFactory";
+import { MetadataCollection } from "../../../factories/MetadataCollection";
+import { MetadataFactory } from "../../../factories/MetadataFactory";
+
+import { IMetadataApplication } from "../../../metadata/IMetadataApplication";
+import { Metadata } from "../../../metadata/Metadata";
+
+import { IProject } from "../../IProject";
+
+export namespace MetadataTransformer {
+    export function transform(
+        { checker }: IProject,
+        _modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        if (!expression.typeArguments?.length)
+            throw new Error(ErrorMessages.NO_GENERIC_ARGUMENT);
+
+        // VALIDATE TUPLE ARGUMENTS
+        const top: ts.Node = expression.typeArguments[0]!;
+        if (!ts.isTupleTypeNode(top)) return expression;
+        else if (top.elements.some((child) => !ts.isTypeNode(child)))
+            return expression;
+
+        // GET TYPES
+        const types: ts.Type[] = top.elements.map((child) =>
+            checker.getTypeFromTypeNode(child as ts.TypeNode),
+        );
+        if (types.some((t) => t.isTypeParameter()))
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // METADATA
+        const collection: MetadataCollection = new MetadataCollection();
+        const metadatas: Array<Metadata> = types.map((type) =>
+            MetadataFactory.generate(checker, collection, type, {
+                resolve: false,
+                constant: true,
+            }),
+        );
+
+        // CONVERT TO PRIMITIVE TYPE
+        const app: IMetadataApplication = {
+            metadatas: metadatas.map((metadata) => metadata.toJSON()),
+            collection: collection.objects().map((obj) => obj.toJSON()),
+        };
+        return LiteralFactory.generate(app);
+    }
+}
+
+const enum ErrorMessages {
+    NO_GENERIC_ARGUMENT = "Error on typia.metadata(): no generic argument.",
+    GENERIC_ARGUMENT = "Error on typia.metadata(): non-specified generic argument(s).",
+}

package/src/transformers/features/parsers/AssertParseTransformer.ts

@@ -0,0 +1,36 @@
+import ts from "typescript";
+
+import { AssertParseProgrammer } from "../../../programmers/AssertParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace AssertParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXVALIDATETENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            AssertParseProgrammer.generate(project, modulo)(type),
+            undefined,
+            [expression.arguments[0]!],
+        );
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.assertParse(): generic argument is not specified",
+    GENERIC_ARGUMENT = "Error on typia.assertParse(): non-specified generic argument.",
+}

package/src/transformers/features/parsers/CreateAssertParseTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { AssertParseProgrammer } from "../../../programmers/AssertParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateAssertParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXASSERTTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return AssertParseProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.assertParse(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.assertParse(): non-specified generic argument.",
+}

package/src/transformers/features/parsers/CreateIsParseTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { IsParseProgrammer } from "../../../programmers/IsParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateIsParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return IsParseProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.isParse(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.isParse(): non-specified generic argument.",
+}

package/src/transformers/features/parsers/CreateValidateParseTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { ValidateParseProgrammer } from "../../../programmers/ValidateParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateValidateParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXVALIDATETENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ValidateParseProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.validateParse(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.validateParse(): non-specified generic argument.",
+}

package/src/transformers/features/parsers/IsParseTransformer.ts

@@ -0,0 +1,36 @@
+import ts from "typescript";
+
+import { IsParseProgrammer } from "../../../programmers/IsParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace IsParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXVALIDATETENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            IsParseProgrammer.generate(project, modulo)(type),
+            undefined,
+            [expression.arguments[0]!],
+        );
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.isParse(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.isParse(): non-specified generic argument.",
+}

package/src/transformers/features/parsers/ValidateParseTransformer.ts

@@ -0,0 +1,36 @@
+import ts from "typescript";
+
+import { ValidateParseProgrammer } from "../../../programmers/ValidateParseProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace ValidateParseTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXVALIDATETENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            ValidateParseProgrammer.generate(project, modulo)(type),
+            undefined,
+            [expression.arguments[0]!],
+        );
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.validateParse(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.validateParse(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/AssertStringifyTransformer.ts

@@ -0,0 +1,38 @@
+import ts from "typescript";
+
+import { AssertStringifyProgrammer } from "../../../programmers/AssertStringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace AssertStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        if (expression.arguments.length !== 1)
+            throw new Error(ErrorMessages.NO_INPUT_VALUE);
+
+        // GET TYPE INFO
+        const type: ts.Type =
+            expression.typeArguments && expression.typeArguments[0]
+                ? project.checker.getTypeFromTypeNode(
+                      expression.typeArguments[0],
+                  )
+                : project.checker.getTypeAtLocation(expression.arguments[0]!);
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            AssertStringifyProgrammer.generate(project, modulo)(type),
+            undefined,
+            [expression.arguments[0]!],
+        );
+    }
+}
+
+const enum ErrorMessages {
+    NO_INPUT_VALUE = "Error on typia.assertStringify(): no input value.",
+    GENERIC_ARGUMENT = "Error on typia.assertStringify(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/CreateAssertStringifyTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { AssertStringifyProgrammer } from "../../../programmers/AssertStringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateAssertStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return AssertStringifyProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.assertStringify(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.assertStringify(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/CreateIsStringifyTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { IsStringifyProgrammer } from "../../../programmers/IsStringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateIsStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return IsStringifyProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.isStringify(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.isStringify(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/CreateStringifyTransformer.ts

@@ -0,0 +1,31 @@
+import ts from "typescript";
+
+import { StringifyProgrammer } from "../../../programmers/StringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        return StringifyProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.stringify(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.stringify(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/CreateValidateStringifyProgrammer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { ValidateStringifyProgrammer } from "../../../programmers/ValidateStringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace CreateValidateStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!expression.typeArguments || !expression.typeArguments[0])
+            throw new Error(ErrorMessages.NOT_SPECIFIED);
+
+        // GET TYPE INFO
+        const type: ts.Type = project.checker.getTypeFromTypeNode(
+            expression.typeArguments[0],
+        );
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ValidateStringifyProgrammer.generate(project, modulo)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.validateStringify(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.validateStringify(): non-specified generic argument.",
+}

package/src/transformers/features/stringifiers/IsStringifyTransformer.ts

@@ -0,0 +1,38 @@
+import ts from "typescript";
+
+import { IsStringifyProgrammer } from "../../../programmers/IsStringifyProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace IsStringifyTransformer {
+    export function transform(
+        project: IProject,
+        modulo: ts.LeftHandSideExpression,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        if (expression.arguments.length !== 1)
+            throw new Error(ErrorMessages.NO_INPUT_VALUE);
+
+        // GET TYPE INFO
+        const type: ts.Type =
+            expression.typeArguments && expression.typeArguments[0]
+                ? project.checker.getTypeFromTypeNode(
+                      expression.typeArguments[0],
+                  )
+                : project.checker.getTypeAtLocation(expression.arguments[0]!);
+        if (type.isTypeParameter())
+            throw new Error(ErrorMessages.GENERIC_ARGUMENT);
+
+        // DO TRANSFORM
+        return ts.factory.createCallExpression(
+            IsStringifyProgrammer.generate(project, modulo)(type),
+            undefined,
+            [expression.arguments[0]!],
+        );
+    }
+}
+
+const enum ErrorMessages {
+    NO_INPUT_VALUE = "Error on typia.isStringify(): no input value.",
+    GENERIC_ARGUMENT = "Error on typia.isStringify(): non-specified generic argument.",
+}