typia 4.0.0-dev.20230527 → 4.0.0-dev.20230604

package/src/factories/internal/metadata/iterate_metadata.ts

@@ -1,63 +1,77 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { TsTypeUtil } from "../../../utils/TsTypeUtil";
-
-// import { ArrayUtil } from "../../../utils/ArrayUtil";
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { iterate_metadata_array } from "./iterate_metadata_array";
-import { iterate_metadata_atomic } from "./iterate_metadata_atomic";
-import { iterate_metadata_coalesce } from "./iterate_metadata_coalesce";
-import { iterate_metadata_constant } from "./iterate_metadata_constant";
-import { iterate_metadata_map } from "./iterate_metadata_map";
-import { iterate_metadata_native } from "./iterate_metadata_native";
-import { iterate_metadata_object } from "./iterate_metadata_object";
-import { iterate_metadata_resolve } from "./iterate_metadata_resolve";
-import { iterate_metadata_set } from "./iterate_metadata_set";
-import { iterate_metadata_template } from "./iterate_metadata_template";
-import { iterate_metadata_tuple } from "./iterate_metadata_tuple";
-import { iterate_metadata_union } from "./iterate_metadata_union";
-
-export const iterate_metadata =
-    (p: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (parentResolved: boolean) =>
-    (meta: Metadata) =>
-    (type: ts.Type): void => {
-        if (TsTypeUtil.isTypeParameter(p.tsc)(type) === true)
-            throw new Error(
-                `Error on typia.MetadataFactory.generate(): non-specified generic argument on ${meta.getName()}.`,
-            );
-
-        // CHECK UNION & toJSON()
-        if (
-            iterate_metadata_union(p)(options)(collection)(parentResolved)(
-                meta,
-            )(type) ||
-            iterate_metadata_resolve(p)(options)(collection)(parentResolved)(
-                meta,
-            )(type)
-        )
-            return;
-
-        // ITERATE CASES
-        iterate_metadata_coalesce(p.tsc)(meta)(type) ||
-            iterate_metadata_constant(p)(options)(meta)(type) ||
-            iterate_metadata_template(p)(options)(collection)(meta)(type) ||
-            iterate_metadata_atomic(p.tsc)(meta)(type) ||
-            iterate_metadata_tuple(p)(options)(collection)(meta)(
-                type as ts.TupleType,
-            ) ||
-            iterate_metadata_array(p)(options)(collection)(meta)(type) ||
-            iterate_metadata_native(p)(meta)(type) ||
-            iterate_metadata_map(p)(options)(collection)(meta)(type) ||
-            iterate_metadata_set(p)(options)(collection)(meta)(type) ||
-            iterate_metadata_object(p)(options)(collection)(parentResolved)(
-                meta,
-            )(type);
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+// import { ArrayUtil } from "../../../utils/ArrayUtil";
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { iterate_metadata_array } from "./iterate_metadata_array";
+import { iterate_metadata_atomic } from "./iterate_metadata_atomic";
+import { iterate_metadata_coalesce } from "./iterate_metadata_coalesce";
+import { iterate_metadata_constant } from "./iterate_metadata_constant";
+import { iterate_metadata_definition } from "./iterate_metadata_definition";
+import { iterate_metadata_map } from "./iterate_metadata_map";
+import { iterate_metadata_native } from "./iterate_metadata_native";
+import { iterate_metadata_object } from "./iterate_metadata_object";
+import { iterate_metadata_resolve } from "./iterate_metadata_resolve";
+import { iterate_metadata_set } from "./iterate_metadata_set";
+import { iterate_metadata_template } from "./iterate_metadata_template";
+import { iterate_metadata_tuple } from "./iterate_metadata_tuple";
+import { iterate_metadata_union } from "./iterate_metadata_union";
+
+export const iterate_metadata =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (
+        meta: Metadata,
+        type: ts.Type,
+        parentResolved: boolean,
+        aliased: boolean,
+    ): void => {
+        if (type.isTypeParameter() === true)
+            throw new Error(
+                `Error on typia.MetadataFactory.generate(): non-specified generic argument on ${meta.getName()}.`,
+            );
+        // CHECK SPECIAL CASES
+        if (
+            (aliased !== true &&
+                iterate_metadata_definition(checker)(options)(collection)(
+                    meta,
+                    type,
+                )) ||
+            iterate_metadata_union(checker)(options)(collection)(
+                meta,
+                type,
+                parentResolved,
+            ) ||
+            iterate_metadata_resolve(checker)(options)(collection)(
+                meta,
+                type,
+                parentResolved,
+            )
+        )
+            return;
+
+        // ITERATE CASES
+        iterate_metadata_coalesce(meta, type) ||
+            iterate_metadata_constant(checker)(options)(meta, type) ||
+            iterate_metadata_template(checker)(options)(collection)(
+                meta,
+                type,
+            ) ||
+            iterate_metadata_atomic(meta, type) ||
+            iterate_metadata_tuple(checker)(options)(collection)(
+                meta,
+                type as ts.TupleType,
+            ) ||
+            iterate_metadata_array(checker)(options)(collection)(meta, type) ||
+            iterate_metadata_native(checker)(meta, type) ||
+            iterate_metadata_map(checker)(options)(collection)(meta, type) ||
+            iterate_metadata_set(checker)(options)(collection)(meta, type) ||
+            iterate_metadata_object(checker)(options)(collection)(
+                meta,
+                type,
+                parentResolved,
+            );
+    };

package/src/factories/internal/metadata/iterate_metadata_array.ts

@@ -1,32 +1,29 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { explore_metadata } from "./explore_metadata";
-
-export const iterate_metadata_array =
-    ({ tsc, checker }: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        if (!checker.isArrayType(type) && !checker.isArrayLikeType(type))
-            return false;
-
-        const value: ts.Type | null =
-            checker.getIndexTypeOfType(type, tsc.IndexKind.Number) ?? null;
-        ArrayUtil.set(
-            meta.arrays,
-            explore_metadata({ tsc, checker })(options)(collection)(false)(
-                value,
-            ),
-            (elem) => elem.getName(),
-        );
-        return true;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataArray } from "../../../metadata/MetadataArray";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { emplace_metadata_array } from "./emplace_metadata_array";
+
+export const iterate_metadata_array =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        // @todo -> TS 5.2 supports it
+        if (
+            !(checker as any).isArrayType(type) &&
+            !(checker as any).isArrayLikeType(type)
+        )
+            return false;
+
+        const array: MetadataArray = emplace_metadata_array(checker)(options)(
+            collection,
+        )(type, meta.nullable);
+        ArrayUtil.add(meta.arrays, array, (elem) => elem.name === array.name);
+        return true;
+    };

package/src/factories/internal/metadata/iterate_metadata_atomic.ts

@@ -1,59 +1,59 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { Atomic } from "../../../typings/Atomic";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-
-const same = (type: ts.Type | null) => {
-    if (type === null) return () => false;
-    return (flag: ts.TypeFlags) => (type.flags & flag) !== 0;
-};
-
-export const iterate_metadata_atomic =
-    (tsc: typeof ts) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        // PREPARE INTERNAL FUNCTIONS
-        const filter = same(type);
-        const check = (info: IAtomicInfo) => {
-            if (filter(info.atomic) || filter(info.literal)) {
-                ArrayUtil.add(meta.atomics, info.name);
-                return true;
-            }
-            return false;
-        };
-
-        // CHECK EACH TYPES
-        return ATOMICS(tsc).some((info) => check(info));
-    };
-
-const ATOMICS = (tsc: typeof ts): IAtomicInfo[] => [
-    {
-        name: "boolean",
-        atomic: tsc.TypeFlags.BooleanLike,
-        literal: tsc.TypeFlags.BooleanLiteral,
-    },
-    {
-        name: "number",
-        atomic: tsc.TypeFlags.NumberLike,
-        literal: tsc.TypeFlags.NumberLiteral,
-    },
-    {
-        name: "bigint",
-        atomic: tsc.TypeFlags.BigInt,
-        literal: tsc.TypeFlags.BigIntLiteral,
-    },
-    {
-        name: "string",
-        atomic: tsc.TypeFlags.StringLike,
-        literal: tsc.TypeFlags.StringLiteral,
-    },
-];
-
-interface IAtomicInfo {
-    name: Atomic.Literal;
-    atomic: ts.TypeFlags;
-    literal: ts.TypeFlags;
-}
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { Atomic } from "../../../typings/Atomic";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+const same = (type: ts.Type | null) => {
+    if (type === null) return () => false;
+    return (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
+};
+
+export const iterate_metadata_atomic = (
+    meta: Metadata,
+    type: ts.Type,
+): boolean => {
+    // PREPARE INTERNAL FUNCTIONS
+    const filter = same(type);
+    const check = (info: IAtomicInfo) => {
+        if (filter(info.atomic) || filter(info.literal)) {
+            ArrayUtil.add(meta.atomics, info.name);
+            return true;
+        }
+        return false;
+    };
+
+    // CHECK EACH TYPES
+    return ATOMICS.some((info) => check(info));
+};
+
+const ATOMICS: IAtomicInfo[] = [
+    {
+        name: "boolean",
+        atomic: ts.TypeFlags.BooleanLike,
+        literal: ts.TypeFlags.BooleanLiteral,
+    },
+    {
+        name: "number",
+        atomic: ts.TypeFlags.NumberLike,
+        literal: ts.TypeFlags.NumberLiteral,
+    },
+    {
+        name: "bigint",
+        atomic: ts.TypeFlags.BigInt,
+        literal: ts.TypeFlags.BigIntLiteral,
+    },
+    {
+        name: "string",
+        atomic: ts.TypeFlags.StringLike,
+        literal: ts.TypeFlags.StringLiteral,
+    },
+];
+
+interface IAtomicInfo {
+    name: Atomic.Literal;
+    atomic: ts.TypeFlags;
+    literal: ts.TypeFlags;
+}

package/src/factories/internal/metadata/iterate_metadata_coalesce.ts

@@ -1,33 +1,33 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { Writable } from "../../../typings/Writable";
-
-import { TypeFactory } from "../../TypeFactory";
-
-export const iterate_metadata_coalesce =
-    (tsc: typeof ts) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        const filter = (flag: ts.TypeFlags) => (type.flags & flag) !== 0;
-        if (filter(tsc.TypeFlags.Unknown) || filter(tsc.TypeFlags.Any)) {
-            Writable(meta).any = true;
-            return true;
-        } else if (filter(tsc.TypeFlags.Null)) {
-            Writable(meta).nullable = true;
-            return true;
-        } else if (
-            filter(tsc.TypeFlags.Undefined) ||
-            filter(tsc.TypeFlags.Never) ||
-            filter(tsc.TypeFlags.Void) ||
-            filter(tsc.TypeFlags.VoidLike)
-        ) {
-            Writable(meta).required = false;
-            return true;
-        } else if (TypeFactory.isFunction(tsc)(type) === true) {
-            Writable(meta).functional = true;
-            return true;
-        }
-        return false;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { Writable } from "../../../typings/Writable";
+
+import { TypeFactory } from "../../TypeFactory";
+
+export const iterate_metadata_coalesce = (
+    meta: Metadata,
+    type: ts.Type,
+): boolean => {
+    const filter = (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
+    if (filter(ts.TypeFlags.Unknown) || filter(ts.TypeFlags.Any)) {
+        Writable(meta).any = true;
+        return true;
+    } else if (filter(ts.TypeFlags.Null)) {
+        Writable(meta).nullable = true;
+        return true;
+    } else if (
+        filter(ts.TypeFlags.Undefined) ||
+        filter(ts.TypeFlags.Never) ||
+        filter(ts.TypeFlags.Void) ||
+        filter(ts.TypeFlags.VoidLike)
+    ) {
+        Writable(meta).required = false;
+        return true;
+    } else if (TypeFactory.isFunction(type) === true) {
+        Writable(meta).functional = true;
+        return true;
+    }
+    return false;
+};

package/src/factories/internal/metadata/iterate_metadata_collection.ts

@@ -0,0 +1,130 @@
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataArray } from "../../../metadata/MetadataArray";
+import { MetadataObject } from "../../../metadata/MetadataObject";
+import { MetadataTuple } from "../../../metadata/MetadataTuple";
+
+import { MetadataCollection } from "../../MetadataCollection";
+
+export const iterate_metadata_collection = (
+    collection: MetadataCollection,
+): void => {
+    for (const array of collection.arrays())
+        if (array.recursive === null)
+            collection.setArrayRecursive(
+                array,
+                isArrayRecursive(new Set())(array)(array.value),
+            );
+    for (const tuple of collection.tuples())
+        if (tuple.recursive === null) {
+            const visited: Set<Metadata> = new Set();
+            collection.setTupleRecursive(
+                tuple,
+                tuple.elements.some(isTupleRecursive(visited)(tuple)),
+            );
+        }
+    for (const obj of collection.objects())
+        if (obj.recursive === null) {
+            const visited: Set<Metadata> = new Set();
+            collection.setObjectRecursive(
+                obj,
+                obj.properties.some((p) =>
+                    isObjectRecursive(visited)(obj)(p.value),
+                ),
+            );
+        }
+};
+
+const isArrayRecursive =
+    (visited: Set<Metadata>) =>
+    (array: MetadataArray) =>
+    (meta: Metadata): boolean => {
+        if (visited.has(meta)) return false;
+        visited.add(meta);
+
+        return (
+            meta.arrays.some(
+                (a) => a === array || isArrayRecursive(visited)(array)(a.value),
+            ) ||
+            meta.aliases.some((d) =>
+                isArrayRecursive(visited)(array)(d.value),
+            ) ||
+            meta.tuples.some(
+                (t) =>
+                    !t.recursive &&
+                    t.elements.some((e) => isArrayRecursive(visited)(array)(e)),
+            ) ||
+            meta.maps.some((m) => isArrayRecursive(visited)(array)(m.value)) ||
+            meta.sets.some((s) => isArrayRecursive(visited)(array)(s)) ||
+            (meta.resolved !== null &&
+                isArrayRecursive(visited)(array)(meta.resolved)) ||
+            (meta.rest !== null && isArrayRecursive(visited)(array)(meta.rest))
+        );
+    };
+
+const isTupleRecursive =
+    (visited: Set<Metadata>) =>
+    (tuple: MetadataTuple) =>
+    (meta: Metadata): boolean => {
+        if (visited.has(meta)) return false;
+        visited.add(meta);
+
+        return (
+            meta.tuples.some(
+                (t) =>
+                    t === tuple ||
+                    t.elements.some((e) => isTupleRecursive(visited)(tuple)(e)),
+            ) ||
+            meta.arrays.some(
+                (a) =>
+                    !a.recursive && isTupleRecursive(visited)(tuple)(a.value),
+            ) ||
+            meta.maps.some((m) => isTupleRecursive(visited)(tuple)(m.value)) ||
+            meta.sets.some((s) => isTupleRecursive(visited)(tuple)(s)) ||
+            meta.aliases.some((d) =>
+                isTupleRecursive(visited)(tuple)(d.value),
+            ) ||
+            (meta.resolved !== null &&
+                isTupleRecursive(visited)(tuple)(meta.resolved)) ||
+            (meta.rest !== null && isTupleRecursive(visited)(tuple)(meta.rest))
+        );
+    };
+
+const isObjectRecursive =
+    (visited: Set<Metadata>) =>
+    (obj: MetadataObject) =>
+    (meta: Metadata): boolean => {
+        if (visited.has(meta)) return false;
+
+        visited.add(meta);
+        return (
+            meta.objects.some(
+                (o) =>
+                    obj === o ||
+                    o.properties.some((prop) =>
+                        isObjectRecursive(visited)(obj)(prop.value),
+                    ),
+            ) ||
+            meta.aliases.some((alias) =>
+                isObjectRecursive(visited)(obj)(alias.value),
+            ) ||
+            meta.arrays.some(
+                (array) =>
+                    !array.recursive &&
+                    isObjectRecursive(visited)(obj)(array.value),
+            ) ||
+            meta.tuples.some(
+                (tuple) =>
+                    !tuple.recursive &&
+                    tuple.elements.some((elem) =>
+                        isObjectRecursive(visited)(obj)(elem),
+                    ),
+            ) ||
+            meta.maps.some((map) =>
+                isObjectRecursive(visited)(obj)(map.value),
+            ) ||
+            meta.sets.some((value) => isObjectRecursive(visited)(obj)(value)) ||
+            (meta.resolved !== null &&
+                isObjectRecursive(visited)(obj)(meta.resolved)) ||
+            (meta.rest !== null && isObjectRecursive(visited)(obj)(meta.rest))
+        );
+    };

package/src/factories/internal/metadata/iterate_metadata_constant.ts

@@ -1,62 +1,58 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-import { MetadataConstant } from "../../../metadata/MetadataConstant";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-import { TsTypeUtil } from "../../../utils/TsTypeUtil";
-
-import { MetadataFactory } from "../../MetadataFactory";
-
-export const iterate_metadata_constant =
-    ({ tsc, checker }: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        if (!options.constant) return false;
-
-        const filter = (flag: ts.TypeFlags) => (type.flags & flag) !== 0;
-        if (TsTypeUtil.isLiteral(tsc)(type)) {
-            const value: string | number | bigint =
-                typeof type.value === "object"
-                    ? BigInt(
-                          `${type.value.negative ? "-" : ""}${
-                              type.value.base10Value
-                          }`,
-                      )
-                    : type.value;
-            const constant: MetadataConstant = ArrayUtil.take(
-                meta.constants,
-                (elem) => elem.type === typeof value,
-                () => ({
-                    type: typeof value as "number",
-                    values: [],
-                }),
-            );
-            ArrayUtil.add(
-                constant.values as Array<any>,
-                value,
-                (a, b) => a === b,
-            );
-            return true;
-        } else if (filter(tsc.TypeFlags.BooleanLiteral)) {
-            const value: boolean = checker.typeToString(type) === "true";
-            const constant: MetadataConstant = ArrayUtil.take(
-                meta.constants,
-                (elem) => elem.type === "boolean",
-                () => ({
-                    type: "boolean",
-                    values: [],
-                }),
-            );
-            ArrayUtil.add(
-                constant.values as boolean[],
-                value,
-                (a, b) => a === b,
-            );
-            return true;
-        }
-        return false;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataConstant } from "../../../metadata/MetadataConstant";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataFactory } from "../../MetadataFactory";
+
+export const iterate_metadata_constant =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        if (!options.constant) return false;
+
+        const filter = (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
+        if (type.isLiteral()) {
+            const value: string | number | bigint =
+                typeof type.value === "object"
+                    ? BigInt(
+                          `${type.value.negative ? "-" : ""}${
+                              type.value.base10Value
+                          }`,
+                      )
+                    : type.value;
+            const constant: MetadataConstant = ArrayUtil.take(
+                meta.constants,
+                (elem) => elem.type === typeof value,
+                () => ({
+                    type: typeof value as "number",
+                    values: [],
+                }),
+            );
+            ArrayUtil.add(
+                constant.values as Array<any>,
+                value,
+                (a, b) => a === b,
+            );
+            return true;
+        } else if (filter(ts.TypeFlags.BooleanLiteral)) {
+            const value: boolean = checker.typeToString(type) === "true";
+            const constant: MetadataConstant = ArrayUtil.take(
+                meta.constants,
+                (elem) => elem.type === "boolean",
+                () => ({
+                    type: "boolean",
+                    values: [],
+                }),
+            );
+            ArrayUtil.add(
+                constant.values as boolean[],
+                value,
+                (a, b) => a === b,
+            );
+            return true;
+        }
+        return false;
+    };