typia 3.4.20 → 3.4.21

package/src/programmers/internal/application_object.ts

@@ -1,6 +1,7 @@
 import { CommentFactory } from "../../factories/CommentFactory";
 
 import { IJsDocTagInfo } from "../../metadata/IJsDocTagInfo";
+import { Metadata } from "../../metadata/Metadata";
 import { MetadataObject } from "../../metadata/MetadataObject";
 import { IJsonComponents } from "../../schemas/IJsonComponents";
 
@@ -24,8 +25,10 @@ export const application_object =
 
         // ITERATE PROPERTIES
         const properties: Record<string, any> = {};
-        const patternProperties: Record<string, any> = {};
-        const additionalProperties: IJsonSchema[] = [];
+        const extraMeta: ISuperfluous = {
+            patternProperties: {},
+            additionalProperties: undefined,
+        };
         const required: string[] = [];
 
         for (const property of obj.properties) {
@@ -38,7 +41,7 @@ export const application_object =
                 continue;
 
             const key: string | null = property.key.getSoleLiteral();
-            const value: IJsonSchema | null = application_schema(options)(
+            const schema: IJsonSchema | null = application_schema(options)(
                 components,
             )(true)(property.value, {
                 deprecated:
@@ -62,21 +65,35 @@ export const application_object =
                 "x-typia-required": property.value.required,
             });
 
-            if (value === null) continue;
+            if (schema === null) continue;
             else if (key !== null) {
-                properties[key] = value;
+                properties[key] = schema;
                 if (property.value.required === true) required.push(key);
             } else {
                 const pattern: string = metadata_to_pattern(true)(property.key);
-                if (
-                    options.purpose === "swagger" ||
-                    pattern === PatternUtil.STRING
-                )
-                    additionalProperties.push(value);
-                else patternProperties[pattern] = value;
+                if (pattern === PatternUtil.STRING)
+                    extraMeta.additionalProperties = [property.value, schema];
+                else
+                    extraMeta.patternProperties[pattern] = [
+                        property.value,
+                        schema,
+                    ];
             }
         }
 
+        const extraProps = {
+            additionalProperties: extraMeta.additionalProperties?.[1],
+            patternProperties: (() => {
+                if (Object.keys(extraMeta.patternProperties).length === 0)
+                    return undefined;
+                const output: Record<string, IJsonSchema> = {};
+                for (const [key, value] of Object.entries(
+                    extraMeta.patternProperties,
+                ))
+                    output[key] = value[1];
+                return output;
+            })(),
+        };
         const schema: IJsonComponents.IObject = {
             $id:
                 options.purpose === "ajv"
@@ -86,18 +103,51 @@ export const application_object =
                 (options.purpose === "ajv" && obj.recursive) || undefined,
             type: "object",
             properties,
-            patternProperties: Object.keys(patternProperties).length
-                ? patternProperties
-                : undefined,
-            additionalProperties: additionalProperties.length
-                ? additionalProperties.length === 1
-                    ? additionalProperties[0]
-                    : { oneOf: additionalProperties }
-                : undefined,
             nullable,
             required: required.length ? required : undefined,
             description: obj.description,
-            "x-typia_jsDocTags": obj.jsDocTags,
+            "x-typia-jsDocTags": obj.jsDocTags,
+            ...(options.purpose === "ajv"
+                ? extraProps
+                : {
+                      // swagger can't express patternProperties
+                      "x-typia-additionalProperties":
+                          extraProps.additionalProperties,
+                      "x-typia-patternProperties": extraProps.patternProperties,
+                      additionalProperties:
+                          join(options)(components)(extraMeta),
+                  }),
         };
         components.schemas[key] = schema;
     };
+
+const join =
+    (options: ApplicationProgrammer.IOptions) =>
+    (components: IJsonComponents) =>
+    (extra: ISuperfluous): IJsonSchema | undefined => {
+        // LIST UP METADATA
+        const elements: [Metadata, IJsonSchema][] = Object.values(
+            extra.patternProperties || {},
+        );
+        if (extra.additionalProperties)
+            elements.push(extra.additionalProperties);
+
+        // SHORT RETURN
+        if (elements.length === 0) return undefined;
+        else if (elements.length === 1) return elements[0]![1]!;
+
+        // MERGE METADATA AND GENERATE VULNERABLE SCHEMA
+        const meta: Metadata = elements
+            .map((tuple) => tuple[0])
+            .reduce((x, y) => Metadata.merge(x, y));
+        return (
+            application_schema(options)(components)(true)(meta, {
+                "x-typia-required": false,
+            }) ?? undefined
+        );
+    };
+
+interface ISuperfluous {
+    additionalProperties?: [Metadata, IJsonSchema];
+    patternProperties: Record<string, [Metadata, IJsonSchema]>;
+}

package/src/programmers/internal/application_schema.ts

@@ -1,10 +1,7 @@
 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";
@@ -74,7 +71,7 @@ export const application_schema =
         // ARRAY
         for (const schema of meta.arrays.values())
             union.push(
-                application_array(options)(components)(
+                application_array(options)(components)()(
                     schema,
                     meta.nullable,
                     attribute,
@@ -82,18 +79,11 @@ export const application_schema =
             );
 
         // 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,
-                    ),
-                );
+        for (const items of meta.tuples) {
+            const tuple: IJsonSchema.ITuple = application_tuple(options)(
+                components,
+            )(items, meta.nullable, attribute);
+            if (options.purpose === "ajv") union.push(tuple);
             else {
                 if (items.length === 0)
                     throw new Error(
@@ -102,16 +92,17 @@ export const application_schema =
 
                 // SWAGGER DOES NOT SUPPORT TUPLE TYPE YET
                 const merged: Metadata = items.reduce((x, y) =>
-                    merge_metadata(x, y),
+                    Metadata.merge(x, y),
                 );
                 union.push(
-                    application_array(options)(components)(
+                    application_array(options)(components)(tuple)(
                         merged,
                         merged?.nullable || false,
                         attribute,
                     ),
                 );
             }
+        }
 
         // NATIVES
         for (const native of meta.natives)
@@ -177,57 +168,4 @@ const recursive = (
     ...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/application_tuple.ts

@@ -17,8 +17,12 @@ export const application_tuple =
         attribute: IJsonSchema.IAttribute,
     ): IJsonSchema.ITuple => ({
         type: "array",
-        items: items.map((meta) =>
-            application_schema(options)(components)(false)(meta, attribute),
+        items: items.map((meta, i) =>
+            application_schema(options)(components)(false)(meta.rest ?? meta, {
+                ...attribute,
+                "x-typia-rest":
+                    i === items.length - 1 ? meta.rest !== null : undefined,
+            }),
         ),
         nullable,
         ...attribute,

package/src/programmers/internal/check_array.ts

@@ -1,22 +1,22 @@
-import ts from "typescript";
-
-import { ExpressionFactory } from "../../factories/ExpressionFactory";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-import { check_array_length } from "./check_array_length";
-
-/**
- * @internal
- */
-export function check_array(
-    input: ts.Expression,
-    tagList: IMetadataTag[],
-): ts.Expression {
-    const conditions: ts.Expression[] = [ExpressionFactory.isArray(input)];
-
-    const length: ts.Expression | null = check_array_length(input, tagList);
-    if (length !== null) conditions.push(length);
-
-    return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
-}
+import ts from "typescript";
+
+import { ExpressionFactory } from "../../factories/ExpressionFactory";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+import { check_array_length } from "./check_array_length";
+
+/**
+ * @internal
+ */
+export function check_array(
+    input: ts.Expression,
+    tagList: IMetadataTag[],
+): ts.Expression {
+    const conditions: ts.Expression[] = [ExpressionFactory.isArray(input)];
+
+    const length: ts.Expression | null = check_array_length(input, tagList);
+    if (length !== null) conditions.push(length);
+
+    return conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+}

package/src/schemas/IJsonComponents.ts

@@ -8,6 +8,8 @@ export interface IJsonComponents {
 export namespace IJsonComponents {
     export interface IObject {
         $id?: string;
+        $recursiveAnchor?: boolean;
+
         type: "object";
         nullable: boolean;
 
@@ -17,8 +19,8 @@ export namespace IJsonComponents {
 
         required?: string[];
         description?: string;
-        "x-typia_jsDocTags"?: IJsDocTagInfo[];
-
-        $recursiveAnchor?: boolean;
+        "x-typia-jsDocTags"?: IJsDocTagInfo[];
+        "x-typia-patternProperties"?: Record<string, IJsonSchema>;
+        "x-typia-additionalProperties"?: IJsonSchema;
     }
 }

package/src/schemas/IJsonSchema.ts

@@ -53,6 +53,7 @@ export namespace IJsonSchema {
         items: IJsonSchema;
         minItems?: number;
         maxItems?: number;
+        "x-typia-tuple"?: ITuple;
     }
     export interface ITuple extends ISignificant<"array"> {
         items: IJsonSchema[];
@@ -86,5 +87,6 @@ export namespace IJsonSchema {
         "x-typia-metaTags"?: IMetadataTag[];
         "x-typia-jsDocTags"?: IJsDocTagInfo[];
         "x-typia-required"?: boolean;
+        "x-typia-rest"?: boolean;
     }
 }