typia 3.4.15 → 3.5.0-dev.20221222

package/src/programmers/internal/application_schema.ts

@@ -1,228 +1,231 @@
-import { Metadata } from "../../metadata/Metadata";
-import { MetadataConstant } from "../../metadata/MetadataConstant";
-import { IJsonComponents } from "../../schemas/IJsonComponents";
-import { IJsonSchema } from "../../schemas/IJsonSchema";
-
-import { ArrayUtil } from "../../utils/ArrayUtil";
-
-import { ApplicationProgrammer } from "../ApplicationProgrammer";
-import { AtomicPredicator } from "../helpers/AtomicPredicator";
-import { application_array } from "./application_array";
-import { application_boolean } from "./application_boolean";
-import { application_constant } from "./application_constant";
-import { application_native } from "./application_native";
-import { application_number } from "./application_number";
-import { application_object } from "./application_object";
-import { application_string } from "./application_string";
-import { application_templates } from "./application_templates";
-import { application_tuple } from "./application_tuple";
-
-/**
- * @internal
- */
-export const application_schema =
-    (options: ApplicationProgrammer.IOptions) =>
-    (components: IJsonComponents) =>
-    <BlockNever extends boolean>(blockNever: BlockNever) =>
-    (
-        meta: Metadata,
-        attribute: IJsonSchema.IAttribute,
-    ): BlockNever extends true ? IJsonSchema | null : IJsonSchema => {
-        // VULNERABLE CASE
-        if (meta.any === true) return {};
-        else if (meta.nullable && meta.empty())
-            return { type: "null", ...attribute };
-
-        //----
-        // GATHER UNION SCHEMAS
-        //----
-        const union: IJsonSchema[] = [];
-
-        // toJSON() METHOD
-        if (meta.resolved !== null) {
-            const resolved = application_schema(options)(components)(
-                blockNever,
-            )(meta.resolved, attribute);
-            if (resolved !== null) union.push(resolved);
-        }
-
-        // ATOMIC TYPES
-        if (meta.templates.length && AtomicPredicator.template(meta))
-            union.push(application_templates(meta, attribute));
-        for (const constant of meta.constants) {
-            if (constant.type === "bigint") throw new Error(NO_BIGINT);
-            else if (
-                (constant.type === "string" && meta.templates.length) ||
-                AtomicPredicator.constant(meta)(constant.type) === false
-            )
-                continue;
-            union.push(
-                application_constant(constant, meta.nullable, attribute),
-            );
-        }
-        for (const type of meta.atomics) {
-            if (type === "bigint") throw new Error(NO_BIGINT);
-            union.push(
-                type === "string"
-                    ? application_string(meta, attribute)
-                    : type === "boolean"
-                    ? application_boolean(meta.nullable, attribute)
-                    : application_number(meta.nullable, attribute),
-            );
-        }
-
-        // ARRAY
-        for (const schema of meta.arrays.values())
-            union.push(
-                application_array(options)(components)(
-                    schema,
-                    meta.nullable,
-                    attribute,
-                ),
-            );
-
-        // TUPLE
-        for (const items of meta.tuples)
-            if (
-                options.purpose === "ajv" &&
-                items.every((i) => i.rest === null)
-            )
-                union.push(
-                    application_tuple(options)(components)(
-                        items,
-                        meta.nullable,
-                        attribute,
-                    ),
-                );
-            else {
-                // SWAGGER DOES NOT SUPPORT TUPLE TYPE YET
-                const merged: Metadata = items.reduce((x, y) =>
-                    merge_metadata(x, y),
-                );
-                union.push(
-                    application_array(options)(components)(
-                        merged,
-                        merged?.nullable || false,
-                        attribute,
-                    ),
-                );
-            }
-
-        // NATIVES
-        for (const native of meta.natives)
-            union.push(
-                application_native(options)(components)(native)(
-                    meta.nullable,
-                    attribute,
-                ),
-            );
-        if (meta.sets.length)
-            union.push(
-                application_native(options)(components)(`Set`)(
-                    meta.nullable,
-                    attribute,
-                ),
-            );
-        if (meta.maps.length)
-            union.push(
-                application_native(options)(components)(`Map`)(
-                    meta.nullable,
-                    attribute,
-                ),
-            );
-
-        // OBJECT
-        for (const obj of meta.objects) {
-            const key: string = obj.name + (meta.nullable ? ".Nullable" : "");
-            application_object(options)(components)(key, obj, meta.nullable);
-            union.push(
-                (options.purpose === "ajv" && obj.recursive
-                    ? recursive
-                    : reference)(`${options.prefix}/${key}`, attribute),
-            );
-        }
-
-        //----
-        // RETURNS
-        //----
-        if (union.length === 0) return blockNever === true ? null! : {};
-        else if (union.length === 1) return union[0]!;
-        return { oneOf: union, ...attribute };
-    };
-
-/**
- * @internal
- */
-const reference = (
-    $ref: string,
-    attribute: IJsonSchema.IAttribute,
-): IJsonSchema.IReference => ({
-    $ref,
-    ...attribute,
-});
-
-/**
- * @internal
- */
-const recursive = (
-    $recursiveRef: string,
-    attribute: IJsonSchema.IAttribute,
-): IJsonSchema.IRecursiveReference => ({
-    $recursiveRef,
-    ...attribute,
-});
-
-/**
- * @internal
- * @todo: not perfect
- */
-function merge_metadata(x: Metadata, y: Metadata): Metadata {
-    const output: Metadata = Metadata.create({
-        any: x.any || y.any,
-        nullable: x.nullable || y.nullable,
-        required: x.required && y.required,
-        functional: x.functional || y.functional,
-
-        resolved:
-            x.resolved !== null && y.resolved !== null
-                ? merge_metadata(x.resolved, y.resolved)
-                : x.resolved || y.resolved,
-        atomics: [...new Set([...x.atomics, ...y.atomics])],
-        constants: [...x.constants],
-        templates: x.templates.slice(),
-
-        rest: null,
-        arrays: x.arrays.slice(),
-        tuples: x.tuples.slice(),
-        objects: x.objects.slice(),
-
-        natives: [...new Set([...x.natives, ...y.natives])],
-        sets: x.sets.slice(),
-        maps: x.maps.slice(),
-    });
-    for (const constant of y.constants) {
-        const target: MetadataConstant = ArrayUtil.take(
-            output.constants,
-            (elem) => elem.type === constant.type,
-            () => ({
-                type: constant.type,
-                values: [],
-            }),
-        );
-        for (const value of constant.values)
-            ArrayUtil.add(target.values, value);
-    }
-    for (const array of y.arrays)
-        ArrayUtil.set(output.arrays, array, (elem) => elem.getName());
-    for (const obj of y.objects)
-        ArrayUtil.set(output.objects, obj, (elem) => elem.name);
-
-    if (x.rest !== null)
-        ArrayUtil.set(output.arrays, x.rest, (elem) => elem.getName());
-    if (y.rest !== null)
-        ArrayUtil.set(output.arrays, y.rest, (elem) => elem.getName());
-
-    return output;
-}
-
-const NO_BIGINT = "Error on typia.application(): does not allow bigint type.";
+import { Metadata } from "../../metadata/Metadata";
+import { MetadataConstant } from "../../metadata/MetadataConstant";
+import { IJsonComponents } from "../../schemas/IJsonComponents";
+import { IJsonSchema } from "../../schemas/IJsonSchema";
+
+import { ArrayUtil } from "../../utils/ArrayUtil";
+import { NameEncoder } from "../../utils/NameEncoder";
+
+import { ApplicationProgrammer } from "../ApplicationProgrammer";
+import { AtomicPredicator } from "../helpers/AtomicPredicator";
+import { application_array } from "./application_array";
+import { application_boolean } from "./application_boolean";
+import { application_constant } from "./application_constant";
+import { application_native } from "./application_native";
+import { application_number } from "./application_number";
+import { application_object } from "./application_object";
+import { application_string } from "./application_string";
+import { application_templates } from "./application_templates";
+import { application_tuple } from "./application_tuple";
+
+/**
+ * @internal
+ */
+export const application_schema =
+    (options: ApplicationProgrammer.IOptions) =>
+    (components: IJsonComponents) =>
+    <BlockNever extends boolean>(blockNever: BlockNever) =>
+    (
+        meta: Metadata,
+        attribute: IJsonSchema.IAttribute,
+    ): BlockNever extends true ? IJsonSchema | null : IJsonSchema => {
+        // VULNERABLE CASE
+        if (meta.any === true) return {};
+        else if (meta.nullable && meta.empty())
+            return { type: "null", ...attribute };
+
+        //----
+        // GATHER UNION SCHEMAS
+        //----
+        const union: IJsonSchema[] = [];
+
+        // toJSON() METHOD
+        if (meta.resolved !== null) {
+            const resolved = application_schema(options)(components)(
+                blockNever,
+            )(meta.resolved, attribute);
+            if (resolved !== null) union.push(resolved);
+        }
+
+        // ATOMIC TYPES
+        if (meta.templates.length && AtomicPredicator.template(meta))
+            union.push(application_templates(meta, attribute));
+        for (const constant of meta.constants) {
+            if (constant.type === "bigint") throw new Error(NO_BIGINT);
+            else if (
+                (constant.type === "string" && meta.templates.length) ||
+                AtomicPredicator.constant(meta)(constant.type) === false
+            )
+                continue;
+            union.push(
+                application_constant(constant, meta.nullable, attribute),
+            );
+        }
+        for (const type of meta.atomics) {
+            if (type === "bigint") throw new Error(NO_BIGINT);
+            union.push(
+                type === "string"
+                    ? application_string(meta, attribute)
+                    : type === "boolean"
+                    ? application_boolean(meta.nullable, attribute)
+                    : application_number(meta.nullable, attribute),
+            );
+        }
+
+        // ARRAY
+        for (const schema of meta.arrays.values())
+            union.push(
+                application_array(options)(components)(
+                    schema,
+                    meta.nullable,
+                    attribute,
+                ),
+            );
+
+        // TUPLE
+        for (const items of meta.tuples)
+            if (
+                options.purpose === "ajv" &&
+                items.every((i) => i.rest === null)
+            )
+                union.push(
+                    application_tuple(options)(components)(
+                        items,
+                        meta.nullable,
+                        attribute,
+                    ),
+                );
+            else {
+                // SWAGGER DOES NOT SUPPORT TUPLE TYPE YET
+                const merged: Metadata = items.reduce((x, y) =>
+                    merge_metadata(x, y),
+                );
+                union.push(
+                    application_array(options)(components)(
+                        merged,
+                        merged?.nullable || false,
+                        attribute,
+                    ),
+                );
+            }
+
+        // NATIVES
+        for (const native of meta.natives)
+            union.push(
+                application_native(options)(components)(native)(
+                    meta.nullable,
+                    attribute,
+                ),
+            );
+        if (meta.sets.length)
+            union.push(
+                application_native(options)(components)(`Set`)(
+                    meta.nullable,
+                    attribute,
+                ),
+            );
+        if (meta.maps.length)
+            union.push(
+                application_native(options)(components)(`Map`)(
+                    meta.nullable,
+                    attribute,
+                ),
+            );
+
+        // OBJECT
+        for (const obj of meta.objects) {
+            const id: string =
+                NameEncoder.encode(obj.name) +
+                (meta.nullable ? ".Nullable" : "");
+            application_object(options)(components)(id, obj, meta.nullable);
+            union.push(
+                (options.purpose === "ajv" && obj.recursive
+                    ? recursive
+                    : reference)(`${options.prefix}/${id}`, attribute),
+            );
+        }
+
+        //----
+        // RETURNS
+        //----
+        if (union.length === 0) return blockNever === true ? null! : {};
+        else if (union.length === 1) return union[0]!;
+        return { oneOf: union, ...attribute };
+    };
+
+/**
+ * @internal
+ */
+const reference = (
+    $ref: string,
+    attribute: IJsonSchema.IAttribute,
+): IJsonSchema.IReference => ({
+    $ref,
+    ...attribute,
+});
+
+/**
+ * @internal
+ */
+const recursive = (
+    $recursiveRef: string,
+    attribute: IJsonSchema.IAttribute,
+): IJsonSchema.IRecursiveReference => ({
+    $recursiveRef,
+    ...attribute,
+});
+
+/**
+ * @internal
+ * @todo: not perfect
+ */
+function merge_metadata(x: Metadata, y: Metadata): Metadata {
+    const output: Metadata = Metadata.create({
+        any: x.any || y.any,
+        nullable: x.nullable || y.nullable,
+        required: x.required && y.required,
+        functional: x.functional || y.functional,
+
+        resolved:
+            x.resolved !== null && y.resolved !== null
+                ? merge_metadata(x.resolved, y.resolved)
+                : x.resolved || y.resolved,
+        atomics: [...new Set([...x.atomics, ...y.atomics])],
+        constants: [...x.constants],
+        templates: x.templates.slice(),
+
+        rest: null,
+        arrays: x.arrays.slice(),
+        tuples: x.tuples.slice(),
+        objects: x.objects.slice(),
+
+        natives: [...new Set([...x.natives, ...y.natives])],
+        sets: x.sets.slice(),
+        maps: x.maps.slice(),
+    });
+    for (const constant of y.constants) {
+        const target: MetadataConstant = ArrayUtil.take(
+            output.constants,
+            (elem) => elem.type === constant.type,
+            () => ({
+                type: constant.type,
+                values: [],
+            }),
+        );
+        for (const value of constant.values)
+            ArrayUtil.add(target.values, value);
+    }
+    for (const array of y.arrays)
+        ArrayUtil.set(output.arrays, array, (elem) => elem.getName());
+    for (const obj of y.objects)
+        ArrayUtil.set(output.objects, obj, (elem) => elem.name);
+
+    if (x.rest !== null)
+        ArrayUtil.set(output.arrays, x.rest, (elem) => elem.getName());
+    if (y.rest !== null)
+        ArrayUtil.set(output.arrays, y.rest, (elem) => elem.getName());
+
+    return output;
+}
+
+const NO_BIGINT = "Error on typia.application(): does not allow bigint type.";

package/src/programmers/internal/check_bigint.ts

@@ -1,85 +1,85 @@
-import ts from "typescript";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-export function check_bigint(input: ts.Expression, tagList: IMetadataTag[]) {
-    const caster = (value: number) =>
-        ts.factory.createIdentifier(`${Math.floor(value)}n`);
-
-    // TYPEOF STATEMENT
-    const conditions: ts.Expression[] = [
-        ts.factory.createStrictEquality(
-            ts.factory.createStringLiteral("bigint"),
-            ts.factory.createTypeOfExpression(input),
-        ),
-    ];
-
-    // TAG (RANGE)
-    for (const tag of tagList)
-        if (tag.kind === "multipleOf")
-            conditions.push(
-                ts.factory.createStrictEquality(
-                    caster(0),
-                    ts.factory.createModulo(input, caster(tag.value)),
-                ),
-            );
-        else if (tag.kind === "step") {
-            const modulo = () =>
-                ts.factory.createModulo(input, caster(tag.value));
-            const minimum = (() => {
-                for (const tag of tagList)
-                    if (tag.kind === "minimum") return tag.value;
-                    else if (tag.kind === "exclusiveMinimum") return tag.value;
-                    else if (tag.kind === "range" && tag.minimum !== undefined)
-                        return tag.minimum.value;
-                return undefined;
-            })();
-            conditions.push(
-                ts.factory.createStrictEquality(
-                    caster(0),
-                    minimum !== undefined
-                        ? ts.factory.createSubtract(modulo(), caster(minimum))
-                        : modulo(),
-                ),
-            );
-        } else if (tag.kind === "range") {
-            if (tag.minimum !== undefined)
-                conditions.push(
-                    (tag.minimum.include
-                        ? ts.factory.createLessThanEquals
-                        : ts.factory.createLessThan)(
-                        caster(tag.minimum.value),
-                        input,
-                    ),
-                );
-            if (tag.maximum !== undefined)
-                conditions.push(
-                    (tag.maximum.include
-                        ? ts.factory.createLessThanEquals
-                        : ts.factory.createLessThan)(
-                        input,
-                        caster(tag.maximum.value),
-                    ),
-                );
-        } else if (tag.kind === "minimum")
-            conditions.push(
-                ts.factory.createLessThanEquals(caster(tag.value), input),
-            );
-        else if (tag.kind === "maximum")
-            conditions.push(
-                ts.factory.createGreaterThanEquals(caster(tag.value), input),
-            );
-        else if (tag.kind === "exclusiveMinimum")
-            conditions.push(
-                ts.factory.createLessThan(caster(tag.value), input),
-            );
-        else if (tag.kind === "exclusiveMaximum")
-            conditions.push(
-                ts.factory.createGreaterThan(caster(tag.value), input),
-            );
-
-    // COMBINATION
-    return conditions.length === 1
-        ? conditions[0]!
-        : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
-}
+import ts from "typescript";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+export function check_bigint(input: ts.Expression, tagList: IMetadataTag[]) {
+    const caster = (value: number) =>
+        ts.factory.createIdentifier(`${Math.floor(value)}n`);
+
+    // TYPEOF STATEMENT
+    const conditions: ts.Expression[] = [
+        ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("bigint"),
+            ts.factory.createTypeOfExpression(input),
+        ),
+    ];
+
+    // TAG (RANGE)
+    for (const tag of tagList)
+        if (tag.kind === "multipleOf")
+            conditions.push(
+                ts.factory.createStrictEquality(
+                    caster(0),
+                    ts.factory.createModulo(input, caster(tag.value)),
+                ),
+            );
+        else if (tag.kind === "step") {
+            const modulo = () =>
+                ts.factory.createModulo(input, caster(tag.value));
+            const minimum = (() => {
+                for (const tag of tagList)
+                    if (tag.kind === "minimum") return tag.value;
+                    else if (tag.kind === "exclusiveMinimum") return tag.value;
+                    else if (tag.kind === "range" && tag.minimum !== undefined)
+                        return tag.minimum.value;
+                return undefined;
+            })();
+            conditions.push(
+                ts.factory.createStrictEquality(
+                    caster(0),
+                    minimum !== undefined
+                        ? ts.factory.createSubtract(modulo(), caster(minimum))
+                        : modulo(),
+                ),
+            );
+        } else if (tag.kind === "range") {
+            if (tag.minimum !== undefined)
+                conditions.push(
+                    (tag.minimum.include
+                        ? ts.factory.createLessThanEquals
+                        : ts.factory.createLessThan)(
+                        caster(tag.minimum.value),
+                        input,
+                    ),
+                );
+            if (tag.maximum !== undefined)
+                conditions.push(
+                    (tag.maximum.include
+                        ? ts.factory.createLessThanEquals
+                        : ts.factory.createLessThan)(
+                        input,
+                        caster(tag.maximum.value),
+                    ),
+                );
+        } else if (tag.kind === "minimum")
+            conditions.push(
+                ts.factory.createLessThanEquals(caster(tag.value), input),
+            );
+        else if (tag.kind === "maximum")
+            conditions.push(
+                ts.factory.createGreaterThanEquals(caster(tag.value), input),
+            );
+        else if (tag.kind === "exclusiveMinimum")
+            conditions.push(
+                ts.factory.createLessThan(caster(tag.value), input),
+            );
+        else if (tag.kind === "exclusiveMaximum")
+            conditions.push(
+                ts.factory.createGreaterThan(caster(tag.value), input),
+            );
+
+    // COMBINATION
+    return conditions.length === 1
+        ? conditions[0]!
+        : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+}