typia 3.8.9 → 3.9.0-dev.20230604

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_definition.ts

@@ -0,0 +1,30 @@
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataAlias } from "../../../metadata/MetadataAlias";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { emplace_metadata_definition } from "./emplace_metadata_definition";
+
+export const iterate_metadata_definition =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        if (options.absorb !== false || type.aliasSymbol === undefined)
+            return false;
+
+        const node: ts.Declaration | undefined =
+            type.aliasSymbol.declarations?.[0];
+        if (node === undefined) return false;
+
+        // CONSTRUCT DEFINITION
+        const alias: MetadataAlias = emplace_metadata_definition(checker)(
+            options,
+        )(collection)(type, meta.nullable);
+        ArrayUtil.add(meta.aliases, alias, (elem) => elem.name === alias.name);
+        return true;
+    };

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

@@ -31,6 +31,7 @@ export const iterate_metadata_object =
                     fakeSchema,
                     t,
                     parentResolved,
+                    false,
                 ),
             );
             if (

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

@@ -0,0 +1,68 @@
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataObject } from "../../../metadata/MetadataObject";
+
+import { MetadataCollection } from "../../MetadataCollection";
+
+export const iterate_metadata_sort =
+    (collection: MetadataCollection) => (meta: Metadata) => {
+        const visited: Set<Metadata> = new Set();
+        for (const array of collection.arrays())
+            iterate(visited)(collection)(array.value);
+        for (const tuple of collection.tuples())
+            for (const element of tuple.elements)
+                iterate(visited)(collection)(element);
+        for (const object of collection.objects())
+            for (const property of object.properties)
+                iterate(visited)(collection)(property.value);
+        iterate(visited)(collection)(meta);
+    };
+
+const iterate =
+    (visited: Set<Metadata>) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata) => {
+        if (visited.has(meta)) return;
+        visited.add(meta);
+
+        // ITERATE CHILDREN
+        for (const map of meta.maps) iterate(visited)(collection)(map.value);
+        for (const set of meta.sets) iterate(visited)(collection)(set);
+        if (meta.resolved !== null) iterate(visited)(collection)(meta.resolved);
+        if (meta.rest !== null) iterate(visited)(collection)(meta.rest);
+
+        // SORT OBJECTS
+        if (meta.objects.length > 1) {
+            meta.objects.sort((x, y) =>
+                MetadataObject.covers(x, y)
+                    ? -1
+                    : MetadataObject.covers(y, x)
+                    ? 1
+                    : 0,
+            );
+            meta.union_index = collection.getUnionIndex(meta);
+        }
+
+        // SORT ARRAYS AND TUPLES
+        if (meta.arrays.length > 1)
+            meta.arrays.sort((x, y) =>
+                Metadata.covers(x.value, y.value)
+                    ? -1
+                    : Metadata.covers(y.value, x.value)
+                    ? 1
+                    : 0,
+            );
+        if (meta.tuples.length > 1)
+            meta.tuples.sort((x, y) => {
+                const xt = Metadata.initialize();
+                const yt = Metadata.initialize();
+
+                xt.tuples.push(x);
+                yt.tuples.push(y);
+
+                return Metadata.covers(xt, yt)
+                    ? -1
+                    : Metadata.covers(yt, xt)
+                    ? 1
+                    : 0;
+            });
+    };

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

@@ -1,48 +1,24 @@
 import ts from "typescript";
 
 import { Metadata } from "../../../metadata/Metadata";
-
-import { Writable } from "../../../typings/Writable";
+import { MetadataTuple } from "../../../metadata/MetadataTuple";
 
 import { ArrayUtil } from "../../../utils/ArrayUtil";
 
 import { MetadataCollection } from "../../MetadataCollection";
 import { MetadataFactory } from "../../MetadataFactory";
-import { explore_metadata } from "./explore_metadata";
+import { emplace_metadata_tuple } from "./emplace_metadata_tuple";
 
 export const iterate_metadata_tuple =
     (checker: ts.TypeChecker) =>
     (options: MetadataFactory.IOptions) =>
     (collection: MetadataCollection) =>
     (meta: Metadata, type: ts.TupleType): boolean => {
-        if (!(checker as any).isTupleType(type)) return false;
-
-        const elementFlags: readonly ts.ElementFlags[] =
-            type.elementFlags ??
-            (type.target as ts.TupleType)?.elementFlags ??
-            [];
-
-        const children: Metadata[] = checker
-            .getTypeArguments(type as ts.TypeReference)
-            .map((elem, i) => {
-                const child: Metadata = explore_metadata(checker)(options)(
-                    collection,
-                )(elem, false);
+        if (!checker.isTupleType(type)) return false;
 
-                // CHECK OPTIONAL
-                const flag: ts.ElementFlags | undefined = elementFlags[i];
-                if (flag === ts.ElementFlags.Optional)
-                    Writable(child).optional = true;
-
-                // REST TYPE
-                if (flag !== ts.ElementFlags.Rest) return child;
-                const wrapper: Metadata = Metadata.initialize();
-                Writable(wrapper).rest = child;
-                return wrapper;
-            });
-        ArrayUtil.set(meta.tuples, children, join_tuple_names);
+        const tuple: MetadataTuple = emplace_metadata_tuple(checker)(options)(
+            collection,
+        )(type, meta.nullable);
+        ArrayUtil.add(meta.tuples, tuple, (elem) => elem.name === tuple.name);
         return true;
     };
-
-const join_tuple_names = (metas: Metadata[]): string =>
-    `[${metas.map((m) => m.getName).join(", ")}]`;

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

@@ -17,7 +17,12 @@ export const iterate_metadata_union =
         if (!type.isUnion()) return false;
         else if (options.resolve === false || parentResolved === true) {
             type.types.forEach((t) =>
-                iterate_metadata(checker)(options)(collection)(meta, t, false),
+                iterate_metadata(checker)(options)(collection)(
+                    meta,
+                    t,
+                    false,
+                    false,
+                ),
             );
             return true;
         }
@@ -43,6 +48,7 @@ export const iterate_metadata_union =
                         meta,
                         t,
                         true,
+                        false,
                     ),
                 );
                 if (union.objects.length > 1)
@@ -51,7 +57,12 @@ export const iterate_metadata_union =
             })();
         }
         normals.forEach((t) =>
-            iterate_metadata(checker)(options)(collection)(meta, t, false),
+            iterate_metadata(checker)(options)(collection)(
+                meta,
+                t,
+                false,
+                false,
+            ),
         );
         return true;
     };

package/src/metadata/IMetadata.ts

@@ -16,9 +16,10 @@ export interface IMetadata {
     resolved: IMetadata | null;
 
     rest: IMetadata | null;
-    arrays: IMetadata[];
-    tuples: IMetadata[][];
+    arrays: string[];
+    tuples: string[];
     objects: string[];
+    aliases: string[];
 
     natives: string[];
     sets: IMetadata[];

package/src/metadata/IMetadataAlias.ts

@@ -0,0 +1,12 @@
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadata } from "./IMetadata";
+
+export interface IMetadataAlias {
+    name: string;
+    value: IMetadata;
+
+    description: string | null;
+    jsDocTags: IJsDocTagInfo[];
+    recursive: boolean;
+    nullables: boolean[];
+}

package/src/metadata/IMetadataApplication.ts

@@ -1,7 +1,7 @@
 import { IMetadata } from "./IMetadata";
-import { IMetadataObject } from "./IMetadataObject";
+import { IMetadataCollection } from "./IMetadataCollection";
 
 export interface IMetadataApplication {
     metadatas: IMetadata[];
-    collection: IMetadataObject[];
+    collection: IMetadataCollection;
 }

package/src/metadata/IMetadataArray.ts

@@ -0,0 +1,10 @@
+import { IMetadata } from "./IMetadata";
+
+export interface IMetadataArray {
+    name: string;
+    value: IMetadata;
+
+    nullables: boolean[];
+    recursive: boolean;
+    index: number | null;
+}

package/src/metadata/IMetadataCollection.ts

@@ -0,0 +1,11 @@
+import { IMetadataAlias } from "./IMetadataAlias";
+import { IMetadataArray } from "./IMetadataArray";
+import { IMetadataObject } from "./IMetadataObject";
+import { IMetadataTuple } from "./IMetadataTuple";
+
+export interface IMetadataCollection {
+    objects: IMetadataObject[];
+    aliases: IMetadataAlias[];
+    arrays: IMetadataArray[];
+    tuples: IMetadataTuple[];
+}

package/src/metadata/IMetadataDictionary.ts

@@ -0,0 +1,14 @@
+import { MetadataAlias } from "./MetadataAlias";
+import { MetadataArray } from "./MetadataArray";
+import { MetadataObject } from "./MetadataObject";
+import { MetadataTuple } from "./MetadataTuple";
+
+/**
+ * @internal
+ */
+export interface IMetadataDictionary {
+    objects: Map<string, MetadataObject>;
+    aliases: Map<string, MetadataAlias>;
+    arrays: Map<string, MetadataArray>;
+    tuples: Map<string, MetadataTuple>;
+}

package/src/metadata/IMetadataObject.ts

@@ -7,23 +7,12 @@ export interface IMetadataObject {
     description?: string;
     jsDocTags: IJsDocTagInfo[];
 
-    /**
-     * @internal
-     */
     index: number;
-
-    /**
-     * @internal
-     */
-    validated: boolean;
-
-    /**
-     * @internal
-     */
     recursive: boolean;
+    nullables: boolean[];
 
     /**
      * @internal
      */
-    nullables: boolean[];
+    validated: boolean;
 }

package/src/metadata/IMetadataProperty.ts

@@ -5,7 +5,7 @@ import { IMetadataTag } from "./IMetadataTag";
 export interface IMetadataProperty {
     key: IMetadata;
     value: IMetadata;
-    description?: string;
+    description: string | null;
     tags: IMetadataTag[];
     jsDocTags: IJsDocTagInfo[];
 }

package/src/metadata/IMetadataTuple.ts

@@ -0,0 +1,10 @@
+import { IMetadata } from "./IMetadata";
+
+export interface IMetadataTuple {
+    name: string;
+    elements: IMetadata[];
+
+    index: number | null;
+    recursive: boolean;
+    nullables: boolean[];
+}