typia 3.4.15 → 3.5.0-dev.20221222

package/src/transformers/CallExpressionTransformer.ts

@@ -1,124 +1,131 @@
-import path from "path";
-import ts from "typescript";
-
-import { IProject } from "./IProject";
-import { ApplicationTransformer } from "./features/miscellaneous/ApplicationTransformer";
-import { MetadataTransformer } from "./features/miscellaneous/MetadataTransformer";
-import { AssertParseTransformer } from "./features/parsers/AssertParseTransformer";
-import { CreateAssertParseTransformer } from "./features/parsers/CreateAssertParseTransformer";
-import { CreateIsParseTransformer } from "./features/parsers/CreateIsParseTransformer";
-import { CreateValidateParseTransformer } from "./features/parsers/CreateValidateParseTransformer";
-import { IsParseTransformer } from "./features/parsers/IsParseTransformer";
-import { ValidateParseTransformer } from "./features/parsers/ValidateParseTransformer";
-import { AssertStringifyTransformer } from "./features/stringifiers/AssertStringifyTransformer";
-import { CreateAssertStringifyTransformer } from "./features/stringifiers/CreateAssertStringifyTransformer";
-import { CreateIsStringifyTransformer } from "./features/stringifiers/CreateIsStringifyTransformer";
-import { CreateStringifyTransformer } from "./features/stringifiers/CreateStringifyTransformer";
-import { CreateValidateStringifyTransformer } from "./features/stringifiers/CreateValidateStringifyProgrammer";
-import { IsStringifyTransformer } from "./features/stringifiers/IsStringifyTransformer";
-import { StringifyTransformer } from "./features/stringifiers/StringifyTransformer";
-import { ValidateStringifyTransformer } from "./features/stringifiers/ValidateStringifyTransformer";
-import { AssertTransformer } from "./features/validators/AssertTransformer";
-import { CreateAssertTransformer } from "./features/validators/CreateAssertTransformer";
-import { CreateIsTransformer } from "./features/validators/CreateIsTransformer";
-import { CreateValidateTransformer } from "./features/validators/CreateValidateTransformer";
-import { IsTransformer } from "./features/validators/IsTransformer";
-import { ValidateTransformer } from "./features/validators/ValidateTransformer";
-
-export namespace CallExpressionTransformer {
-    export function transform(
-        project: IProject,
-        expression: ts.CallExpression,
-    ): ts.Expression {
-        //----
-        // VALIDATIONS
-        //----
-        // SIGNATURE DECLARATION
-        const declaration: ts.Declaration | undefined =
-            project.checker.getResolvedSignature(expression)?.declaration;
-        if (!declaration) return expression;
-
-        // FILE PATH
-        const file: string = path.resolve(declaration.getSourceFile().fileName);
-        if (file.indexOf(LIB_PATH) === -1 && file !== SRC_PATH)
-            return expression;
-
-        //----
-        // TRANSFORMATION
-        //----
-        // FUNCTION NAME
-        const { name } = project.checker.getTypeAtLocation(declaration).symbol;
-
-        // FIND TRANSFORMER
-        const functor: (() => Task) | undefined = FUNCTORS[name];
-        if (functor === undefined) return expression;
-
-        // RETURNS WITH TRANSFORMATION
-        return functor()(project, expression.expression, expression);
-    }
-}
-
-type Task = (
-    project: IProject,
-    modulo: ts.LeftHandSideExpression,
-    expression: ts.CallExpression,
-) => ts.Expression;
-
-const LIB_PATH = path.join("node_modules", "typia", "lib", "module.d.ts");
-const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
-
-const FUNCTORS: Record<string, () => Task> = {
-    //----
-    // SINGLE FUNCTIONS
-    //----
-    // BASIC VALIDATORS
-    assert: () => AssertTransformer.transform(false),
-    assertType: () => AssertTransformer.transform(false),
-    is: () => IsTransformer.transform(false),
-    validate: () => ValidateTransformer.transform(false),
-
-    // STRICT VALIDATORS
-    assertEquals: () => AssertTransformer.transform(true),
-    equals: () => IsTransformer.transform(true),
-    validateEquals: () => ValidateTransformer.transform(true),
-
-    // PARSE FUNCTIONS
-    isParse: () => IsParseTransformer.transform,
-    assertParse: () => AssertParseTransformer.transform,
-    validateParse: () => ValidateParseTransformer.transform,
-
-    // STRINGIFY FUNCTIONS
-    stringify: () => StringifyTransformer.transform,
-    assertStringify: () => AssertStringifyTransformer.transform,
-    isStringify: () => IsStringifyTransformer.transform,
-    validateStringify: () => ValidateStringifyTransformer.transform,
-
-    // MISC
-    application: () => ApplicationTransformer.transform,
-    metadata: () => MetadataTransformer.transform,
-
-    //----
-    // FACTORY FUNCTIONS
-    //----
-    // BASIC VALIDATORS
-    createAssert: () => CreateAssertTransformer.transform(false),
-    createAssertType: () => CreateAssertTransformer.transform(false),
-    createIs: () => CreateIsTransformer.transform(false),
-    createValidate: () => CreateValidateTransformer.transform(false),
-
-    // STRICT VALIDATORS
-    createAssertEquals: () => CreateAssertTransformer.transform(true),
-    createEquals: () => CreateIsTransformer.transform(true),
-    createValidateEquals: () => CreateValidateTransformer.transform(true),
-
-    // PARSE FUNCTIONS
-    createIsParse: () => CreateIsParseTransformer.transform,
-    createAssertParse: () => CreateAssertParseTransformer.transform,
-    createValidateParse: () => CreateValidateParseTransformer.transform,
-
-    // STRINGIFY FUNCTIONS
-    createStringify: () => CreateStringifyTransformer.transform,
-    createAssertStringify: () => CreateAssertStringifyTransformer.transform,
-    createIsStringify: () => CreateIsStringifyTransformer.transform,
-    createValidateStringify: () => CreateValidateStringifyTransformer.transform,
-};
+import path from "path";
+import ts from "typescript";
+
+import { IProject } from "./IProject";
+import { ApplicationTransformer } from "./features/miscellaneous/ApplicationTransformer";
+import { MetadataTransformer } from "./features/miscellaneous/MetadataTransformer";
+import { AssertParseTransformer } from "./features/parsers/AssertParseTransformer";
+import { CreateAssertParseTransformer } from "./features/parsers/CreateAssertParseTransformer";
+import { CreateIsParseTransformer } from "./features/parsers/CreateIsParseTransformer";
+import { CreateValidateParseTransformer } from "./features/parsers/CreateValidateParseTransformer";
+import { IsParseTransformer } from "./features/parsers/IsParseTransformer";
+import { ValidateParseTransformer } from "./features/parsers/ValidateParseTransformer";
+import { MessageTransformer } from "./features/protocols/MessageTransformer";
+import { AssertStringifyTransformer } from "./features/stringifiers/AssertStringifyTransformer";
+import { CreateAssertStringifyTransformer } from "./features/stringifiers/CreateAssertStringifyTransformer";
+import { CreateIsStringifyTransformer } from "./features/stringifiers/CreateIsStringifyTransformer";
+import { CreateStringifyTransformer } from "./features/stringifiers/CreateStringifyTransformer";
+import { CreateValidateStringifyTransformer } from "./features/stringifiers/CreateValidateStringifyProgrammer";
+import { IsStringifyTransformer } from "./features/stringifiers/IsStringifyTransformer";
+import { StringifyTransformer } from "./features/stringifiers/StringifyTransformer";
+import { ValidateStringifyTransformer } from "./features/stringifiers/ValidateStringifyTransformer";
+import { AssertTransformer } from "./features/validators/AssertTransformer";
+import { CreateAssertTransformer } from "./features/validators/CreateAssertTransformer";
+import { CreateIsTransformer } from "./features/validators/CreateIsTransformer";
+import { CreateValidateTransformer } from "./features/validators/CreateValidateTransformer";
+import { IsTransformer } from "./features/validators/IsTransformer";
+import { ValidateTransformer } from "./features/validators/ValidateTransformer";
+
+export namespace CallExpressionTransformer {
+    export function transform(
+        project: IProject,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        //----
+        // VALIDATIONS
+        //----
+        // SIGNATURE DECLARATION
+        const declaration: ts.Declaration | undefined =
+            project.checker.getResolvedSignature(expression)?.declaration;
+        if (!declaration) return expression;
+
+        // FILE PATH
+        const file: string = path.resolve(declaration.getSourceFile().fileName);
+        if (file.indexOf(LIB_PATH) === -1 && file !== SRC_PATH)
+            return expression;
+
+        //----
+        // TRANSFORMATION
+        //----
+        // FUNCTION NAME
+        const { name } = project.checker.getTypeAtLocation(declaration).symbol;
+
+        // FIND TRANSFORMER
+        const functor: (() => Task) | undefined = FUNCTORS[name];
+        if (functor === undefined) return expression;
+
+        // RETURNS WITH TRANSFORMATION
+        return functor()(project, expression.expression, expression);
+    }
+}
+
+type Task = (
+    project: IProject,
+    modulo: ts.LeftHandSideExpression,
+    expression: ts.CallExpression,
+) => ts.Expression;
+
+const LIB_PATH = path.join("node_modules", "typia", "lib", "module.d.ts");
+const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
+
+const FUNCTORS: Record<string, () => Task> = {
+    //----
+    // VALIDATORS
+    //----
+    // BASIC VALIDATORS
+    assert: () => AssertTransformer.transform(false),
+    assertType: () => AssertTransformer.transform(false),
+    is: () => IsTransformer.transform(false),
+    validate: () => ValidateTransformer.transform(false),
+
+    // STRICT VALIDATORS
+    assertEquals: () => AssertTransformer.transform(true),
+    equals: () => IsTransformer.transform(true),
+    validateEquals: () => ValidateTransformer.transform(true),
+
+    //----
+    // PROTOCOL BUFFER
+    //----
+    message: () => MessageTransformer.transform,
+
+    //----
+    // JSON FUNCTIONS
+    //----
+    // SCHEMA DEFINITION
+    application: () => ApplicationTransformer.transform,
+
+    // PARSER FUNCTIONS
+    isParse: () => IsParseTransformer.transform,
+    assertParse: () => AssertParseTransformer.transform,
+    validateParse: () => ValidateParseTransformer.transform,
+
+    // STRINGIFY FUNCTIONS
+    stringify: () => StringifyTransformer.transform,
+    assertStringify: () => AssertStringifyTransformer.transform,
+    isStringify: () => IsStringifyTransformer.transform,
+    validateStringify: () => ValidateStringifyTransformer.transform,
+
+    // MISC
+    metadata: () => MetadataTransformer.transform,
+
+    //----
+    // FACTORY FUNCTIONS
+    //----
+    // VALIDATORS
+    createAssert: () => CreateAssertTransformer.transform(false),
+    createAssertType: () => CreateAssertTransformer.transform(false),
+    createIs: () => CreateIsTransformer.transform(false),
+    createValidate: () => CreateValidateTransformer.transform(false),
+    createAssertEquals: () => CreateAssertTransformer.transform(true),
+    createEquals: () => CreateIsTransformer.transform(true),
+    createValidateEquals: () => CreateValidateTransformer.transform(true),
+
+    // JSON FUNCTIONS
+    createIsParse: () => CreateIsParseTransformer.transform,
+    createAssertParse: () => CreateAssertParseTransformer.transform,
+    createValidateParse: () => CreateValidateParseTransformer.transform,
+    createStringify: () => CreateStringifyTransformer.transform,
+    createAssertStringify: () => CreateAssertStringifyTransformer.transform,
+    createIsStringify: () => CreateIsStringifyTransformer.transform,
+    createValidateStringify: () => CreateValidateStringifyTransformer.transform,
+};

package/src/transformers/ITransformOptions.ts

@@ -1,47 +1,47 @@
-export interface ITransformOptions {
-    /**
-     * Whether to validate finite number or not.
-     *
-     * If configured true, number typed values would be validated by Number.isNaN().
-     *
-     * However, whatever you configure, it would be ignored when marshaling or parsing.
-     *
-     *   - when marshaling, always be true
-     *     - assertStringify()
-     *     - validateEncode()
-     *   - when parsing, always be false
-     *     - assertParse()
-     *     - isDecode()
-     *
-     * @default false
-     */
-    finite?: boolean;
-
-    /**
-     * Whether to validate finite number or not.
-     *
-     * If configured true, number typed values would be validated by Number.isFinite().
-     *
-     * However, whatever you configure, it can be ignored in below case.
-     *
-     *   - when `finite` option is true, this option would be ignored
-     *   - when marshaling, always be true
-     *     - assertStringify()
-     *     - validateEncode()
-     *   - when parsing, always be false
-     *     - assertParse()
-     *     - isDecode()
-     *
-     * @default false
-     */
-    numeric?: boolean;
-
-    /**
-     * Whether to validate functional type or not.
-     *
-     * However, whatever you configure, it becomes false when marshaling or parsing.
-     *
-     * @default false
-     */
-    functional?: boolean;
-}
+export interface ITransformOptions {
+    /**
+     * Whether to validate finite number or not.
+     *
+     * If configured true, number typed values would be validated by Number.isNaN().
+     *
+     * However, whatever you configure, it would be ignored when marshaling or parsing.
+     *
+     *   - when marshaling, always be true
+     *     - assertStringify()
+     *     - validateEncode()
+     *   - when parsing, always be false
+     *     - assertParse()
+     *     - isDecode()
+     *
+     * @default false
+     */
+    finite?: boolean;
+
+    /**
+     * Whether to validate finite number or not.
+     *
+     * If configured true, number typed values would be validated by Number.isFinite().
+     *
+     * However, whatever you configure, it can be ignored in below case.
+     *
+     *   - when `finite` option is true, this option would be ignored
+     *   - when marshaling, always be true
+     *     - assertStringify()
+     *     - validateEncode()
+     *   - when parsing, always be false
+     *     - assertParse()
+     *     - isDecode()
+     *
+     * @default false
+     */
+    numeric?: boolean;
+
+    /**
+     * Whether to validate functional type or not.
+     *
+     * However, whatever you configure, it becomes false when marshaling or parsing.
+     *
+     * @default false
+     */
+    functional?: boolean;
+}

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

@@ -1,119 +1,117 @@
-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,
-                validate: (meta) => {
-                    if (meta.atomics.find((str) => str === "bigint"))
-                        throw new Error(ErrorMessages.NO_BIGIT);
-                },
-            }),
-        );
-
-        // 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).",
-    NO_BIGIT = "Error on typia.application(): does not allow bigint type.",
-}
+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();
+        const metadatas: Array<Metadata> = types.map((type) =>
+            MetadataFactory.generate(checker, collection, type, {
+                resolve: true,
+                constant: true,
+                validate: (meta) => {
+                    if (meta.atomics.find((str) => str === "bigint"))
+                        throw new Error(ErrorMessages.NO_BIGIT);
+                },
+            }),
+        );
+
+        // 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).",
+    NO_BIGIT = "Error on typia.application(): does not allow bigint type.",
+}

package/src/transformers/features/protocols/MessageTransformer.ts

@@ -0,0 +1,32 @@
+import ts from "typescript";
+
+import { MessageProgrammer } from "../../../programmers/MessageProgrammer";
+
+import { IProject } from "../../IProject";
+
+export namespace MessageTransformer {
+    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 MessageProgrammer.generate(project)(type);
+    }
+}
+
+const enum ErrorMessages {
+    NOT_SPECIFIED = "Error on typia.message(): generic argument is not specified.",
+    GENERIC_ARGUMENT = "Error on typia.message(): non-specified generic argument.",
+}