typia 3.5.0-dev.20221222 → 3.5.0-dev.20230107

package/src/metadata/Metadata.ts

@@ -315,7 +315,9 @@ export namespace Metadata {
         // TUPLES
         for (const xt of x.tuples)
             for (const yt of y.tuples)
-                if (
+                if (xt.length === 0 || yt.length === 0)
+                    return xt.length === 0 && yt.length === 0;
+                else if (
                     xt
                         .slice(0, Math.min(xt.length, yt.length))
                         .some((xv, i) => intersects(xv, yt[i]!, deep))
@@ -371,6 +373,7 @@ export namespace Metadata {
         // TUPLES
         for (const yt of y.tuples)
             if (
+                yt.length !== 0 &&
                 x.tuples.some(
                     (xt) =>
                         xt.length >= yt.length &&
@@ -447,6 +450,12 @@ function getName(metadata: Metadata): string {
                 "`",
         );
 
+    // NATIVES
+    for (const native of metadata.natives) elements.push(native);
+    for (const set of metadata.sets) elements.push(`Set<${set.getName()}>`);
+    for (const map of metadata.maps)
+        elements.push(`Map<${map.key.getName()}, ${map.value.getName()}>`);
+
     // ARRAY
     if (metadata.rest !== null) elements.push(`...${metadata.rest.getName()}`);
     for (const tuple of metadata.tuples)
@@ -458,12 +467,6 @@ function getName(metadata: Metadata): string {
     for (const object of metadata.objects) elements.push(object.name);
     if (metadata.resolved !== null) elements.push(metadata.resolved.getName());
 
-    // NATIVES
-    for (const native of metadata.natives) elements.push(native);
-    for (const set of metadata.sets) elements.push(`Set<${set.getName()}>`);
-    for (const map of metadata.maps)
-        elements.push(`Map<${map.key.getName()}, ${map.value.getName()}>`);
-
     // RETURNS
     if (elements.length === 0) return "unknown";
     else if (elements.length === 1) return elements[0]!;

package/src/metadata/MetadataConstant.ts

@@ -1,3 +1,3 @@
-import { IMetadataConstant } from "./IMetadataConstant";
-
-export import MetadataConstant = IMetadataConstant;
+import { IMetadataConstant } from "./IMetadataConstant";
+
+export import MetadataConstant = IMetadataConstant;

package/src/metadata/MetadataObject.ts

@@ -1,131 +1,131 @@
-import { ClassProperties } from "../typings/ClassProperties";
-
-import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataObject } from "./IMetadataObject";
-import { MetadataProperty } from "./MetadataProperty";
-
-export class MetadataObject {
-    public readonly name: string;
-    public readonly properties: Array<MetadataProperty>;
-    public readonly description: string | undefined;
-    public readonly jsDocTags: IJsDocTagInfo[];
-
-    /**
-     * @internal
-     */
-    public readonly index: number;
-
-    /**
-     * @internal
-     */
-    public validated: boolean;
-
-    /**
-     * @internal
-     */
-    public recursive: boolean;
-
-    /**
-     * @internal
-     */
-    public nullables: boolean[] = [];
-
-    /* -----------------------------------------------------------
-        CONSTRUCTORS
-    ----------------------------------------------------------- */
-    /**
-     * @hidden
-     */
-    private constructor(props: ClassProperties<MetadataObject>) {
-        this.name = props.name;
-        this.properties = props.properties;
-        this.description = props.description;
-        this.jsDocTags = props.jsDocTags;
-
-        this.index = props.index;
-        this.validated = props.validated;
-        this.recursive = false;
-        this.nullables = [];
-    }
-
-    /**
-     * @internal
-     */
-    public static create(props: ClassProperties<MetadataObject>) {
-        return new MetadataObject(props);
-    }
-
-    /**
-     * @internal
-     */
-    public static _From_without_properties(
-        obj: IMetadataObject,
-    ): MetadataObject {
-        return this.create({
-            name: obj.name,
-            properties: [],
-            description: obj.description,
-            jsDocTags: obj.jsDocTags,
-
-            index: obj.index,
-            validated: obj.validated,
-            recursive: obj.recursive,
-            nullables: obj.nullables.slice(),
-        });
-    }
-
-    /**
-     * @internal
-     */
-    public _Is_simple(): boolean {
-        return (
-            this.properties.length < 4 &&
-            this.properties.every(
-                (property) =>
-                    property.key.isSoleLiteral() &&
-                    property.value.size() === 1 &&
-                    property.value.atomics.length === 1 &&
-                    property.value.nullable === false &&
-                    property.value.required === true,
-            )
-        );
-    }
-
-    public toJSON(): IMetadataObject {
-        return {
-            name: this.name,
-            properties: this.properties.map((property) => property.toJSON()),
-            description: this.description,
-            jsDocTags: this.jsDocTags,
-
-            index: this.index,
-            validated: this.validated,
-            recursive: this.recursive,
-            nullables: this.nullables.slice(),
-        };
-    }
-}
-
-/**
- * @internal
- */
-export namespace MetadataObject {
-    export function intersects(x: MetadataObject, y: MetadataObject): boolean {
-        return x.properties.some(
-            (prop) =>
-                y.properties.find((oppo) => prop.key === oppo.key) !==
-                undefined,
-        );
-    }
-
-    export function covers(x: MetadataObject, y: MetadataObject): boolean {
-        return (
-            x.properties.length >= y.properties.length &&
-            x.properties.every(
-                (prop) =>
-                    y.properties.find((oppo) => prop.key === oppo.key) !==
-                    undefined,
-            )
-        );
-    }
-}
+import { ClassProperties } from "../typings/ClassProperties";
+
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataObject } from "./IMetadataObject";
+import { MetadataProperty } from "./MetadataProperty";
+
+export class MetadataObject {
+    public readonly name: string;
+    public readonly properties: Array<MetadataProperty>;
+    public readonly description: string | undefined;
+    public readonly jsDocTags: IJsDocTagInfo[];
+
+    /**
+     * @internal
+     */
+    public readonly index: number;
+
+    /**
+     * @internal
+     */
+    public validated: boolean;
+
+    /**
+     * @internal
+     */
+    public recursive: boolean;
+
+    /**
+     * @internal
+     */
+    public nullables: boolean[] = [];
+
+    /* -----------------------------------------------------------
+        CONSTRUCTORS
+    ----------------------------------------------------------- */
+    /**
+     * @hidden
+     */
+    private constructor(props: ClassProperties<MetadataObject>) {
+        this.name = props.name;
+        this.properties = props.properties;
+        this.description = props.description;
+        this.jsDocTags = props.jsDocTags;
+
+        this.index = props.index;
+        this.validated = props.validated;
+        this.recursive = false;
+        this.nullables = [];
+    }
+
+    /**
+     * @internal
+     */
+    public static create(props: ClassProperties<MetadataObject>) {
+        return new MetadataObject(props);
+    }
+
+    /**
+     * @internal
+     */
+    public static _From_without_properties(
+        obj: IMetadataObject,
+    ): MetadataObject {
+        return this.create({
+            name: obj.name,
+            properties: [],
+            description: obj.description,
+            jsDocTags: obj.jsDocTags,
+
+            index: obj.index,
+            validated: obj.validated,
+            recursive: obj.recursive,
+            nullables: obj.nullables.slice(),
+        });
+    }
+
+    /**
+     * @internal
+     */
+    public _Is_simple(): boolean {
+        return (
+            this.properties.length < 4 &&
+            this.properties.every(
+                (property) =>
+                    property.key.isSoleLiteral() &&
+                    property.value.size() === 1 &&
+                    property.value.atomics.length === 1 &&
+                    property.value.nullable === false &&
+                    property.value.required === true,
+            )
+        );
+    }
+
+    public toJSON(): IMetadataObject {
+        return {
+            name: this.name,
+            properties: this.properties.map((property) => property.toJSON()),
+            description: this.description,
+            jsDocTags: this.jsDocTags,
+
+            index: this.index,
+            validated: this.validated,
+            recursive: this.recursive,
+            nullables: this.nullables.slice(),
+        };
+    }
+}
+
+/**
+ * @internal
+ */
+export namespace MetadataObject {
+    export function intersects(x: MetadataObject, y: MetadataObject): boolean {
+        return x.properties.some(
+            (prop) =>
+                y.properties.find((oppo) => prop.key === oppo.key) !==
+                undefined,
+        );
+    }
+
+    export function covers(x: MetadataObject, y: MetadataObject): boolean {
+        return (
+            x.properties.length >= y.properties.length &&
+            x.properties.every(
+                (prop) =>
+                    y.properties.find((oppo) => prop.key === oppo.key) !==
+                    undefined,
+            )
+        );
+    }
+}

package/src/metadata/MetadataProperty.ts

@@ -1,64 +1,64 @@
-import { ClassProperties } from "../typings/ClassProperties";
-
-import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataProperty } from "./IMetadataProperty";
-import { IMetadataTag } from "./IMetadataTag";
-import { Metadata } from "./Metadata";
-import { MetadataObject } from "./MetadataObject";
-
-export class MetadataProperty {
-    public readonly key: Metadata;
-    public readonly value: Metadata;
-    public readonly description: string | undefined;
-    public readonly tags: IMetadataTag[];
-    public readonly jsDocTags: IJsDocTagInfo[];
-
-    /* -----------------------------------------------------------
-        CONSTRUCTORS
-    ----------------------------------------------------------- */
-    /**
-     * @hidden
-     */
-    private constructor(props: ClassProperties<MetadataProperty>) {
-        this.key = props.key;
-        this.value = props.value;
-        this.description = props.description;
-        this.tags = props.tags;
-        this.jsDocTags = props.jsDocTags;
-    }
-
-    /**
-     * @internal
-     */
-    public static create(
-        props: ClassProperties<MetadataProperty>,
-    ): MetadataProperty {
-        return new MetadataProperty(props);
-    }
-
-    /**
-     * @internal
-     */
-    public static _From(
-        property: IMetadataProperty,
-        objects: Map<string, MetadataObject>,
-    ) {
-        return this.create({
-            key: Metadata._From(property.key, objects),
-            value: Metadata._From(property.value, objects),
-            description: property.description,
-            tags: property.tags.slice(),
-            jsDocTags: property.jsDocTags.slice(),
-        });
-    }
-
-    public toJSON(): IMetadataProperty {
-        return {
-            key: this.key.toJSON(),
-            value: this.value.toJSON(),
-            description: this.description,
-            tags: this.tags,
-            jsDocTags: this.jsDocTags,
-        };
-    }
-}
+import { ClassProperties } from "../typings/ClassProperties";
+
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataProperty } from "./IMetadataProperty";
+import { IMetadataTag } from "./IMetadataTag";
+import { Metadata } from "./Metadata";
+import { MetadataObject } from "./MetadataObject";
+
+export class MetadataProperty {
+    public readonly key: Metadata;
+    public readonly value: Metadata;
+    public readonly description: string | undefined;
+    public readonly tags: IMetadataTag[];
+    public readonly jsDocTags: IJsDocTagInfo[];
+
+    /* -----------------------------------------------------------
+        CONSTRUCTORS
+    ----------------------------------------------------------- */
+    /**
+     * @hidden
+     */
+    private constructor(props: ClassProperties<MetadataProperty>) {
+        this.key = props.key;
+        this.value = props.value;
+        this.description = props.description;
+        this.tags = props.tags;
+        this.jsDocTags = props.jsDocTags;
+    }
+
+    /**
+     * @internal
+     */
+    public static create(
+        props: ClassProperties<MetadataProperty>,
+    ): MetadataProperty {
+        return new MetadataProperty(props);
+    }
+
+    /**
+     * @internal
+     */
+    public static _From(
+        property: IMetadataProperty,
+        objects: Map<string, MetadataObject>,
+    ) {
+        return this.create({
+            key: Metadata._From(property.key, objects),
+            value: Metadata._From(property.value, objects),
+            description: property.description,
+            tags: property.tags.slice(),
+            jsDocTags: property.jsDocTags.slice(),
+        });
+    }
+
+    public toJSON(): IMetadataProperty {
+        return {
+            key: this.key.toJSON(),
+            value: this.value.toJSON(),
+            description: this.description,
+            tags: this.tags,
+            jsDocTags: this.jsDocTags,
+        };
+    }
+}

package/src/programmers/ApplicationProgrammer.ts

@@ -1,55 +1,55 @@
-import { Metadata } from "../metadata/Metadata";
-import { IJsonApplication } from "../schemas/IJsonApplication";
-import { IJsonComponents } from "../schemas/IJsonComponents";
-import { IJsonSchema } from "../schemas/IJsonSchema";
-
-import { application_schema } from "./internal/application_schema";
-
-export namespace ApplicationProgrammer {
-    export const AJV_PREFIX = "components#/schemas";
-    export const SWAGGER_PREFIX = "#/components/schemas";
-
-    export interface IOptions {
-        purpose: "swagger" | "ajv";
-        prefix: string;
-    }
-
-    /**
-     * @internal
-     */
-    export namespace IOptions {
-        export function complement(options?: Partial<IOptions>): IOptions {
-            const purpose: "swagger" | "ajv" = options?.purpose ?? "swagger";
-            return {
-                purpose,
-                prefix:
-                    options?.prefix ||
-                    (purpose === "swagger" ? SWAGGER_PREFIX : AJV_PREFIX),
-            };
-        }
-    }
-
-    export function generate(
-        metadatas: Array<Metadata>,
-        options?: Partial<IOptions>,
-    ): IJsonApplication {
-        const fullOptions: IOptions = IOptions.complement(options);
-        const components: IJsonComponents = {
-            schemas: {},
-        };
-        const generator = application_schema(fullOptions)(components)(true);
-
-        return {
-            schemas: metadatas.map((meta, i) => {
-                const schema: IJsonSchema | null = generator(meta, {});
-                if (schema === null)
-                    throw new Error(
-                        `Error on typia.application(): invalid type on argument - (${meta.getName()}, ${i})`,
-                    );
-                return schema;
-            }),
-            components,
-            ...fullOptions,
-        };
-    }
-}
+import { Metadata } from "../metadata/Metadata";
+import { IJsonApplication } from "../schemas/IJsonApplication";
+import { IJsonComponents } from "../schemas/IJsonComponents";
+import { IJsonSchema } from "../schemas/IJsonSchema";
+
+import { application_schema } from "./internal/application_schema";
+
+export namespace ApplicationProgrammer {
+    export const AJV_PREFIX = "components#/schemas";
+    export const SWAGGER_PREFIX = "#/components/schemas";
+
+    export interface IOptions {
+        purpose: "swagger" | "ajv";
+        prefix: string;
+    }
+
+    /**
+     * @internal
+     */
+    export namespace IOptions {
+        export function complement(options?: Partial<IOptions>): IOptions {
+            const purpose: "swagger" | "ajv" = options?.purpose ?? "swagger";
+            return {
+                purpose,
+                prefix:
+                    options?.prefix ||
+                    (purpose === "swagger" ? SWAGGER_PREFIX : AJV_PREFIX),
+            };
+        }
+    }
+
+    export function generate(
+        metadatas: Array<Metadata>,
+        options?: Partial<IOptions>,
+    ): IJsonApplication {
+        const fullOptions: IOptions = IOptions.complement(options);
+        const components: IJsonComponents = {
+            schemas: {},
+        };
+        const generator = application_schema(fullOptions)(components)(true);
+
+        return {
+            schemas: metadatas.map((meta, i) => {
+                const schema: IJsonSchema | null = generator(meta, {});
+                if (schema === null)
+                    throw new Error(
+                        `Error on typia.application(): invalid type on argument - (${meta.getName()}, ${i})`,
+                    );
+                return schema;
+            }),
+            components,
+            ...fullOptions,
+        };
+    }
+}

package/src/programmers/AssertProgrammer.ts

@@ -280,7 +280,7 @@ export namespace AssertProgrammer {
         (equals: boolean) =>
         (importer: FunctionImporter): CheckerProgrammer.IConfig.Combiner =>
         (explore: CheckerProgrammer.IExplore) => {
-            if (explore.tracable === false && explore.from !== "top")
+            if (explore.tracable === false)
                 return IsProgrammer.CONFIG({
                     object: assert_object(equals)(importer),
                     numeric: true,