typia 5.0.0-dev.20230823-2 → 5.0.0-dev.20230827

package/src/factories/MetadataTagFactory.ts

@@ -1,364 +0,0 @@
-import ts from "typescript";
-
-import { IMetadataTag } from "../schemas/metadata/IMetadataTag";
-import { Metadata } from "../schemas/metadata/Metadata";
-
-export namespace MetadataTagFactory {
-    export const generate =
-        (metadata: Metadata) =>
-        (tagList: ts.JSDocTagInfo[]) =>
-        (identifier: () => string): IMetadataTag[] => {
-            const output: IMetadataTag[] = [];
-            for (const tag of tagList) {
-                const elem: IMetadataTag | null = parse(
-                    identifier,
-                    metadata,
-                    tag,
-                    output,
-                );
-                if (elem !== null) output.push(elem);
-            }
-            return output;
-        };
-
-    const parse = (
-        identifier: () => string,
-        metadata: Metadata,
-        tag: ts.JSDocTagInfo,
-        output: IMetadataTag[],
-    ): IMetadataTag | null => {
-        const closure = _PARSER[tag.name];
-        if (closure === undefined) return null;
-
-        const text = (tag.text || [])[0]?.text;
-        if (text === undefined)
-            throw new Error(`${LABEL}: no tag value on ${identifier()}`);
-
-        return closure(identifier, metadata, text, output);
-    };
-
-    /**
-     * @internal
-     */
-    export const _PARSER: Record<
-        string,
-        (
-            identifier: () => string,
-            metadata: Metadata,
-            text: string,
-            output: IMetadataTag[],
-        ) => IMetadataTag | null
-    > = {
-        /* -----------------------------------------------------------
-            ARRAY
-        ----------------------------------------------------------- */
-        items: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "items", "array", [
-                "minItems",
-            ]);
-            return {
-                kind: "items",
-                value: parse_number(identifier, text),
-            };
-        },
-        minItems: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "minItems", "array", [
-                "items",
-            ]);
-            return {
-                kind: "minItems",
-                value: parse_number(identifier, text),
-            };
-        },
-        maxItems: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "maxItems", "array", [
-                "items",
-            ]);
-            return {
-                kind: "maxItems",
-                value: parse_number(identifier, text),
-            };
-        },
-
-        /* -----------------------------------------------------------
-            NUMBER
-        ----------------------------------------------------------- */
-        type: (_identifier, metadata, text, _output) => {
-            if (text.startsWith("{") && text.endsWith("}"))
-                text = text.substring(1, text.length - 1);
-            return has_atomic("number")(new Set())(metadata) &&
-                (text === "int" ||
-                    text === "uint" ||
-                    text === "int32" ||
-                    text === "uint32" ||
-                    text === "int64" ||
-                    text === "uint64" ||
-                    text === "float")
-                ? { kind: "type", value: text }
-                : null;
-        },
-        minimum: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "minimum", "number", [
-                "exclusiveMinimum",
-            ]);
-            return {
-                kind: "minimum",
-                value: parse_number(identifier, text),
-            };
-        },
-        maximum: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "maximum", "number", [
-                "exclusiveMaximum",
-            ]);
-            return {
-                kind: "maximum",
-                value: parse_number(identifier, text),
-            };
-        },
-        exclusiveMinimum: (identifier, metadata, text, output) => {
-            validate(
-                identifier,
-                metadata,
-                output,
-                "exclusiveMinimum",
-                "number",
-                ["minimum"],
-            );
-            return {
-                kind: "exclusiveMinimum",
-                value: parse_number(identifier, text),
-            };
-        },
-        exclusiveMaximum: (identifier, metadata, text, output) => {
-            validate(
-                identifier,
-                metadata,
-                output,
-                "exclusiveMaximum",
-                "number",
-                ["maximum"],
-            );
-            return {
-                kind: "exclusiveMaximum",
-                value: parse_number(identifier, text),
-            };
-        },
-        multipleOf: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "multipleOf", "number", [
-                "step",
-            ]);
-            return {
-                kind: "multipleOf",
-                value: parse_number(identifier, text),
-            };
-        },
-        step: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "step", "number", [
-                "multipleOf",
-            ]);
-
-            const minimum: boolean = output.some(
-                (tag) =>
-                    tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
-            );
-            if (minimum === undefined)
-                throw new Error(
-                    `${LABEL}: step requires minimum or exclusiveMinimum tag on "${identifier()}".`,
-                );
-
-            return {
-                kind: "step",
-                value: parse_number(identifier, text),
-            };
-        },
-
-        /* -----------------------------------------------------------
-            STRING
-        ----------------------------------------------------------- */
-        // Ignore arbitrary @format values in the internal metadata,
-        // these are currently only supported on the typia.application() API.
-        format: (identifier, metadata, str, output) => {
-            const value: IMetadataTag.IFormat["value"] | undefined =
-                FORMATS.get(str);
-            validate(
-                identifier,
-                metadata,
-                output,
-                "format",
-                value === "date" || value === "datetime" ? "Date" : "string",
-                ["pattern"],
-            );
-            if (value === undefined) return null;
-            return {
-                kind: "format",
-                value,
-            };
-        },
-        pattern: (identifier, metadata, value, output) => {
-            validate(identifier, metadata, output, "pattern", "string", [
-                "format",
-            ]);
-            return {
-                kind: "pattern",
-                value,
-            };
-        },
-        length: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "length", "string", [
-                "minLength",
-                "maxLength",
-            ]);
-            return {
-                kind: "length",
-                value: parse_number(identifier, text),
-            };
-        },
-        minLength: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "minLength", "string", [
-                "length",
-            ]);
-            return {
-                kind: "minLength",
-                value: parse_number(identifier, text),
-            };
-        },
-        maxLength: (identifier, metadata, text, output) => {
-            validate(identifier, metadata, output, "maxLength", "string", [
-                "length",
-            ]);
-            return {
-                kind: "maxLength",
-                value: parse_number(identifier, text),
-            };
-        },
-    };
-}
-
-const parse_number = (identifier: () => string, str: string): number => {
-    const value: number = Number(str);
-    if (isNaN(value) === true)
-        throw new Error(`${LABEL}: invalid number on "${identifier()}".`);
-    return value;
-};
-
-const LABEL = "Error on typia.MetadataTagFactory.generate()";
-const FORMATS: Map<string, IMetadataTag.IFormat["value"]> = new Map([
-    ["uuid", "uuid"],
-    ["email", "email"],
-    ["url", "url"],
-    ["ipv4", "ipv4"],
-    ["ipv6", "ipv6"],
-    ["date", "date"],
-    ["datetime", "datetime"],
-    ["date-time", "datetime"],
-    ["dateTime", "datetime"],
-]);
-
-const WRONG_TYPE = (
-    tag: string,
-    type: "string" | "number" | "array",
-    identifier: () => string,
-) => `${LABEL}: ${tag} requires ${type} type, but no "${identifier()}".`;
-
-const validate = (
-    identifier: () => string,
-    metadata: Metadata,
-    output: IMetadataTag[],
-    kind: IMetadataTag["kind"],
-    type: "array" | "string" | "number" | "Date",
-    neighbors: IMetadataTag["kind"][],
-): void => {
-    // TYPE CHECKING
-    if (type === "array") {
-        if (has_array(new Set())(metadata) === false)
-            throw new Error(WRONG_TYPE(kind, "array", identifier));
-    } else if (type === "Date") {
-        if (
-            has_native("Date")(new Set())(metadata) === false &&
-            has_atomic("string")(new Set())(metadata) === false
-        )
-            throw new Error(WRONG_TYPE(kind, "string", identifier));
-    } else if (has_atomic(type)(new Set())(metadata) === false)
-        throw new Error(WRONG_TYPE(kind, type, identifier));
-
-    // DUPLICATED TAG
-    if (output.some((tag) => tag.kind === kind))
-        throw new Error(
-            `${LABEL}: duplicated ${kind} tags on "${identifier()}".`,
-        );
-
-    // NEIGHBOR TAG
-    for (const name of neighbors)
-        if (output.some((tag) => tag.kind === name))
-            throw new Error(
-                `${LABEL}: ${kind} and ${name} tags on "${identifier()}".`,
-            );
-};
-
-// @todo: must block repeated array and tuple type
-const has_atomic =
-    (type: "string" | "number" | "bigint") =>
-    (visited: Set<Metadata>) =>
-    (metadata: Metadata): boolean => {
-        if (visited.has(metadata)) return false;
-        visited.add(metadata);
-        return (
-            metadata.atomics.find(
-                type === "number"
-                    ? (atom: string) => atom === type || atom === "bigint"
-                    : (atom: string) => atom === type,
-            ) !== undefined ||
-            metadata.arrays.some((array) =>
-                has_atomic(type)(visited)(array.value),
-            ) ||
-            metadata.tuples.some((tuple) =>
-                tuple.elements.some(has_atomic(type)(visited)),
-            ) ||
-            metadata.maps.some((map) => has_atomic(type)(visited)(map.value)) ||
-            metadata.aliases.some((alias) =>
-                has_atomic(type)(visited)(alias.value),
-            ) ||
-            (metadata.escaped !== null &&
-                has_atomic(type)(visited)(metadata.escaped.returns))
-        );
-    };
-
-const has_native =
-    (type: string) =>
-    (visited: Set<Metadata>) =>
-    (metadata: Metadata): boolean => {
-        if (visited.has(metadata)) return false;
-        visited.add(metadata);
-        return (
-            metadata.natives.find((native) => native === type) !== undefined ||
-            metadata.arrays.some((child) =>
-                has_native(type)(visited)(child.value),
-            ) ||
-            metadata.tuples.some((tuple) =>
-                tuple.elements.some(has_native(type)(visited)),
-            ) ||
-            metadata.maps.some((map) => has_native(type)(visited)(map.value)) ||
-            metadata.aliases.some((alias) =>
-                has_native(type)(visited)(alias.value),
-            ) ||
-            (metadata.escaped !== null &&
-                has_native(type)(visited)(metadata.escaped.returns))
-        );
-    };
-
-const has_array =
-    (visited: Set<Metadata>) =>
-    (metadata: Metadata): boolean => {
-        if (visited.has(metadata)) return false;
-        visited.add(metadata);
-        return (
-            metadata.arrays.length !== 0 ||
-            metadata.tuples.some((tuple) =>
-                tuple.elements.some(has_array(visited)),
-            ) ||
-            metadata.maps.some((map) => has_array(visited)(map.value)) ||
-            metadata.aliases.some((alias) => has_array(visited)(alias.value)) ||
-            (metadata.escaped !== null &&
-                has_array(visited)(metadata.escaped.returns))
-        );
-    };

package/src/functional/$is_custom.ts

@@ -1,14 +0,0 @@
-import { Customizable } from "../typings/Customizable";
-
-import { $dictionary } from "./$dictionary";
-
-export const $is_custom = <Type extends keyof Customizable>(
-    name: string,
-    type: Type,
-    text: string,
-    value: Customizable[Type],
-): boolean => {
-    const validator = $dictionary.get(name)?.get(type);
-    if (validator === undefined) return true;
-    return validator(text)(value);
-};

package/src/functional/$is_date.ts

@@ -1,3 +0,0 @@
-export const $is_date = (value: string): boolean => REGEX.test(value);
-
-const REGEX = /^(\d{4})-(\d{2})-(\d{2})$/;

package/src/functional/$is_datetime.ts

@@ -1,2 +0,0 @@
-export const $is_datetime = (value: string): boolean =>
-    !isNaN(new Date(value).getTime());

package/src/functional/$is_email.ts

@@ -1,4 +0,0 @@
-export const $is_email = (str: string): boolean => REGEX.test(str);
-
-const REGEX =
-    /^(([^<>()[\]\.,;:\s@\"]+(\.[^<>()[\]\.,;:\s@\"]+)*)|(\".+\"))@(([^<>()[\]\.,;:\s@\"]+\.)+[^<>()[\]\.,;:\s@\"]{2,})$/i;

package/src/functional/$is_ipv4.ts

@@ -1,4 +0,0 @@
-export const $is_ipv4 = (str: string): boolean => REGEX.test(str);
-
-const REGEX =
-    /^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/;

package/src/functional/$is_ipv6.ts

@@ -1,4 +0,0 @@
-export const $is_ipv6 = (str: string): boolean => REGEX.test(str);
-
-const REGEX =
-    /^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/;

package/src/functional/$is_url.ts

@@ -1,4 +0,0 @@
-export const $is_url = (str: string): boolean => REGEX.test(str);
-
-const REGEX =
-    /^[a-zA-Z0-9]+:\/\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/;

package/src/functional/$is_uuid.ts

@@ -1,4 +0,0 @@
-export const $is_uuid = (str: string): boolean => REGEX.test(str);
-
-const REGEX =
-    /^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i;

package/src/programmers/internal/check_array.ts

@@ -1,30 +0,0 @@
-import ts from "typescript";
-
-import { ExpressionFactory } from "../../factories/ExpressionFactory";
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-
-import { IJsDocTagInfo } from "../../schemas/metadata/IJsDocTagInfo";
-import { IMetadataTag } from "../../schemas/metadata/IMetadataTag";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { ICheckEntry } from "../helpers/ICheckEntry";
-import { check_array_length } from "./check_array_length";
-import { check_custom } from "./check_custom";
-
-/**
- * @internal
- */
-export const check_array =
-    (importer: FunctionImporter) =>
-    (metaTags: IMetadataTag[]) =>
-    (jsDocTags: IJsDocTagInfo[]) =>
-    (input: ts.Expression): ICheckEntry => ({
-        expression: ExpressionFactory.isArray(input),
-        tags: [
-            ...check_array_length(metaTags)(
-                IdentifierFactory.access(input)("length"),
-            ),
-            ...check_custom("array", "Array")(importer)(jsDocTags)(input),
-            // check custom array for legacy (3.7.0)
-        ],
-    });

package/src/programmers/internal/check_custom.ts

@@ -1,31 +0,0 @@
-import ts from "typescript";
-
-import { IJsDocTagInfo } from "../../schemas/metadata/IJsDocTagInfo";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { ICheckEntry } from "../helpers/ICheckEntry";
-import { get_comment_tags } from "./get_comment_tags";
-
-/**
- * @internal
- */
-export const check_custom =
-    (type: string, alias?: string) =>
-    (importer: FunctionImporter) =>
-    (jsDocTags: IJsDocTagInfo[]) =>
-    (input: ts.Expression): ICheckEntry.ITag[] =>
-        get_comment_tags(true)(jsDocTags).map((tag) => ({
-            expected: `${alias ?? type} (@${tag.name}${
-                tag.value?.length ? ` ${tag.value}` : ""
-            })`,
-            expression: ts.factory.createCallExpression(
-                importer.use("is_custom"),
-                undefined,
-                [
-                    ts.factory.createStringLiteral(tag.name),
-                    ts.factory.createStringLiteral(type),
-                    ts.factory.createStringLiteral(tag.value ?? ""),
-                    input,
-                ],
-            ),
-        }));

package/src/programmers/internal/check_string_tags.ts

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

package/src/programmers/internal/get_comment_tags.ts

@@ -1,23 +0,0 @@
-import { MetadataTagFactory } from "../../factories/MetadataTagFactory";
-
-import { IJsDocTagInfo } from "../../schemas/metadata/IJsDocTagInfo";
-
-/**
- * @internal
- */
-export const get_comment_tags =
-    (excludeMetaTags: boolean) => (jsDocTags: IJsDocTagInfo[]) =>
-        jsDocTags
-            .filter(
-                (tag) =>
-                    tag.name !== "random" &&
-                    (!tag.text?.length ||
-                        (tag.text?.length === 1 &&
-                            tag.text?.[0]?.kind === "text")) &&
-                    (!excludeMetaTags ||
-                        MetadataTagFactory._PARSER[tag.name] === undefined),
-            )
-            .map((tag) => ({
-                name: tag.name,
-                value: tag.text?.[0]?.text,
-            }));

package/src/schemas/metadata/ICommentTag.ts

@@ -1,4 +0,0 @@
-export interface ICommentTag {
-    name: string;
-    value?: string;
-}

package/src/schemas/metadata/IMetadataTag.ts

@@ -1,112 +0,0 @@
-export type IMetadataTag =
-    // NUMBER
-    | IMetadataTag.INumberType
-    | IMetadataTag.IMinimum
-    | IMetadataTag.IMaximum
-    | IMetadataTag.IExclusiveMinimum
-    | IMetadataTag.IExclusiveMaximum
-    | IMetadataTag.IMultipleOf
-    | IMetadataTag.IStep
-    // STRING
-    | IMetadataTag.IFormat
-    | IMetadataTag.IPattern
-    | IMetadataTag.ILength
-    | IMetadataTag.IMinLength
-    | IMetadataTag.IMaxLength
-    // ARRAY
-    | IMetadataTag.IItems
-    | IMetadataTag.IMinItems
-    | IMetadataTag.IMaxItems;
-
-export namespace IMetadataTag {
-    /* -----------------------------------------------------------
-        NUMBER
-    ----------------------------------------------------------- */
-    export interface INumberType {
-        kind: "type";
-        value:
-            | "int"
-            | "uint"
-            | "int32"
-            | "uint32"
-            | "int64"
-            | "uint64"
-            | "float";
-    }
-
-    export interface IMinimum {
-        kind: "minimum";
-        value: number;
-    }
-
-    export interface IMaximum {
-        kind: "maximum";
-        value: number;
-    }
-
-    export interface IExclusiveMinimum {
-        kind: "exclusiveMinimum";
-        value: number;
-    }
-
-    export interface IExclusiveMaximum {
-        kind: "exclusiveMaximum";
-        value: number;
-    }
-
-    export interface IMultipleOf {
-        kind: "multipleOf";
-        value: number;
-    }
-
-    export interface IStep {
-        kind: "step";
-        value: number;
-    }
-
-    /* -----------------------------------------------------------
-        STRING
-    ----------------------------------------------------------- */
-    export interface IFormat {
-        kind: "format";
-        value: "uuid" | "email" | "url" | "ipv4" | "ipv6" | "date" | "datetime";
-    }
-
-    export interface IPattern {
-        kind: "pattern";
-        value: string;
-    }
-
-    export interface ILength {
-        kind: "length";
-        value: number;
-    }
-
-    export interface IMinLength {
-        kind: "minLength";
-        value: number;
-    }
-
-    export interface IMaxLength {
-        kind: "maxLength";
-        value: number;
-    }
-
-    /* -----------------------------------------------------------
-        ARRAY   
-    ----------------------------------------------------------- */
-    export interface IItems {
-        kind: "items";
-        value: number;
-    }
-
-    export interface IMinItems {
-        kind: "minItems";
-        value: number;
-    }
-
-    export interface IMaxItems {
-        kind: "maxItems";
-        value: number;
-    }
-}