typia 7.0.0-dev.20240916 → 7.0.0-dev.20240919

package/src/programmers/internal/application_v30_native.ts

@@ -3,26 +3,27 @@ import { OpenApiV3 } from "@samchon/openapi";
 /**
  * @internal
  */
-export const application_v30_native =
-  (components: OpenApiV3.IComponents) =>
-  (name: string) =>
-  (nullable: boolean): OpenApiV3.IJsonSchema => {
-    if (name === "Blob" || name === "File")
-      return {
-        type: "string",
-        format: "binary",
-        nullable,
-      };
-    const key: string = `${name}${nullable ? ".Nullable" : ""}`;
-    if (components.schemas?.[key] === undefined) {
-      components.schemas ??= {};
-      components.schemas[key] ??= {
-        type: "object",
-        properties: {},
-        nullable,
-      };
-    }
+export const application_v30_native = (props: {
+  components: OpenApiV3.IComponents;
+  name: string;
+  nullable: boolean;
+}): OpenApiV3.IJsonSchema => {
+  if (props.name === "Blob" || props.name === "File")
     return {
-      $ref: `#/components/schemas/${key}`,
+      type: "string",
+      format: "binary",
+      nullable: props.nullable,
     };
+  const key: string = `${props.name}${props.nullable ? ".Nullable" : ""}`;
+  if (props.components.schemas?.[key] === undefined) {
+    props.components.schemas ??= {};
+    props.components.schemas[key] ??= {
+      type: "object",
+      properties: {},
+      nullable: props.nullable,
+    };
+  }
+  return {
+    $ref: `#/components/schemas/${key}`,
   };
+};

package/src/programmers/internal/application_v30_object.ts

@@ -15,57 +15,56 @@ import { metadata_to_pattern } from "./metadata_to_pattern";
 /**
  * @internal
  */
-export const application_v30_object =
-  (components: OpenApiV3.IComponents) =>
-  (obj: MetadataObject) =>
-  (
-    nullable: boolean,
-  ): OpenApiV3.IJsonSchema.IReference | OpenApiV3.IJsonSchema.IObject => {
-    if (obj.isLiteral() === true)
-      return create_object_schema(components)(obj)(nullable);
-
-    const key: string = `${obj.name}${nullable ? ".Nullable" : ""}`;
-    const $ref: string = `#/components/schemas/${key}`;
-    if (components.schemas?.[key] !== undefined) return { $ref };
-
-    const object: OpenApiV3.IJsonSchema = {};
-    components.schemas ??= {};
-    components.schemas[key] = object;
-    Object.assign(object, create_object_schema(components)(obj)(nullable));
-    return { $ref };
-  };
+export const application_v30_object = (props: {
+  components: OpenApiV3.IComponents;
+  object: MetadataObject;
+  nullable: boolean;
+}): OpenApiV3.IJsonSchema.IReference | OpenApiV3.IJsonSchema.IObject => {
+  if (props.object.isLiteral() === true) return create_object_schema(props);
+
+  const key: string = `${props.object.name}${props.nullable ? ".Nullable" : ""}`;
+  const $ref: string = `#/components/schemas/${key}`;
+  if (props.components.schemas?.[key] !== undefined) return { $ref };
+
+  const object: OpenApiV3.IJsonSchema = {};
+  props.components.schemas ??= {};
+  props.components.schemas[key] = object;
+  Object.assign(object, create_object_schema(props));
+  return { $ref };
+};
 
 /**
  * @internal
  */
-const create_object_schema =
-  (components: OpenApiV3.IComponents) =>
-  (obj: MetadataObject) =>
-  (nullable: boolean): OpenApiV3.IJsonSchema.IObject => {
-    // ITERATE PROPERTIES
-    const properties: Record<string, any> = {};
-    const extraMeta: ISuperfluous = {
-      patternProperties: {},
-      additionalProperties: undefined,
-    };
-    const required: string[] = [];
-
-    for (const property of obj.properties) {
-      if (
-        // FUNCTIONAL TYPE
-        property.value.functions.length &&
-        property.value.nullable === false &&
-        property.value.isRequired() === true &&
-        property.value.size() === 0
-      )
-        continue;
-      else if (property.jsDocTags.find((tag) => tag.name === "hidden"))
-        continue; // THE HIDDEN TAG
-
-      const key: string | null = property.key.getSoleLiteral();
-      const schema: OpenApiV3.IJsonSchema | null = application_v30_schema(true)(
-        components,
-      )({
+const create_object_schema = (props: {
+  components: OpenApiV3.IComponents;
+  object: MetadataObject;
+  nullable: boolean;
+}): OpenApiV3.IJsonSchema.IObject => {
+  // ITERATE PROPERTIES
+  const properties: Record<string, any> = {};
+  const extraMeta: ISuperfluous = {
+    patternProperties: {},
+    additionalProperties: undefined,
+  };
+  const required: string[] = [];
+
+  for (const property of props.object.properties) {
+    if (
+      // FUNCTIONAL TYPE
+      property.value.functions.length &&
+      property.value.nullable === false &&
+      property.value.isRequired() === true &&
+      property.value.size() === 0
+    )
+      continue;
+    else if (property.jsDocTags.find((tag) => tag.name === "hidden")) continue; // THE HIDDEN TAG
+
+    const key: string | null = property.key.getSoleLiteral();
+    const schema: OpenApiV3.IJsonSchema | null = application_v30_schema({
+      blockNever: true,
+      components: props.components,
+      attribute: {
         deprecated:
           property.jsDocTags.some((tag) => tag.name === "deprecated") ||
           undefined,
@@ -87,58 +86,72 @@ const create_object_schema =
             : undefined;
         })(),
         description: application_description(property),
-      })(property.value);
-
-      if (schema === null) continue;
-      if (key !== null) {
-        properties[key] = schema;
-        if (property.value.isRequired() === true) required.push(key);
-      } else {
-        const pattern: string = metadata_to_pattern(true)(property.key);
-        if (pattern === PatternUtil.STRING)
-          extraMeta.additionalProperties = [property.value, schema];
-        else extraMeta.patternProperties[pattern] = [property.value, schema];
-      }
+      },
+      metadata: property.value,
+    });
+
+    if (schema === null) continue;
+    if (key !== null) {
+      properties[key] = schema;
+      if (property.value.isRequired() === true) required.push(key);
+    } else {
+      const pattern: string = metadata_to_pattern(true)(property.key);
+      if (pattern === PatternUtil.STRING)
+        extraMeta.additionalProperties = [property.value, schema];
+      else extraMeta.patternProperties[pattern] = [property.value, schema];
     }
-
-    return {
-      type: "object",
-      properties,
-      nullable,
-      required: required.length ? required : undefined,
-      title: (() => {
-        const info: IJsDocTagInfo | undefined = obj.jsDocTags.find(
-          (tag) => tag.name === "title",
-        );
-        return info?.text?.length ? CommentFactory.merge(info.text) : undefined;
-      })(),
-      description: application_description(obj),
-      additionalProperties: join(components)(extraMeta),
-    };
+  }
+
+  return {
+    type: "object",
+    properties,
+    nullable: props.nullable,
+    required: required.length ? required : undefined,
+    title: (() => {
+      const info: IJsDocTagInfo | undefined = props.object.jsDocTags.find(
+        (tag) => tag.name === "title",
+      );
+      return info?.text?.length ? CommentFactory.merge(info.text) : undefined;
+    })(),
+    description: application_description(props.object),
+    additionalProperties: join({
+      components: props.components,
+      extra: extraMeta,
+    }),
   };
+};
 
 /**
  * @internal
  */
-const join =
-  (components: OpenApiV3.IComponents) =>
-  (extra: ISuperfluous): OpenApiV3.IJsonSchema | undefined => {
-    // LIST UP METADATA
-    const elements: [Metadata, OpenApiV3.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_v30_schema(true)(components)({})(meta) ?? undefined;
-  };
+const join = (props: {
+  components: OpenApiV3.IComponents;
+  extra: ISuperfluous;
+}): OpenApiV3.IJsonSchema | undefined => {
+  // LIST UP METADATA
+  const elements: [Metadata, OpenApiV3.IJsonSchema][] = Object.values(
+    props.extra.patternProperties || {},
+  );
+  if (props.extra.additionalProperties)
+    elements.push(props.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_v30_schema({
+      blockNever: true,
+      components: props.components,
+      attribute: {},
+      metadata: meta,
+    }) ?? undefined
+  );
+};
 
 /**
  * @internal

package/src/programmers/internal/application_v30_schema.ts

@@ -21,141 +21,200 @@ import { application_v30_tuple } from "./application_v30_tuple";
 /**
  * @internal
  */
-export const application_v30_schema =
-  <BlockNever extends boolean>(blockNever: BlockNever) =>
-  (components: OpenApiV3.IComponents) =>
-  (attribute: OpenApiV3.IJsonSchema.__IAttribute) =>
-  (
-    meta: Metadata,
-  ): BlockNever extends true
-    ? OpenApiV3.IJsonSchema | null
-    : OpenApiV3.IJsonSchema => {
-    // VULNERABLE CASE
-    if (meta.any === true)
-      return {
-        ...attribute,
-        type: undefined,
-      };
-    else if (meta.nullable && meta.empty())
-      return { type: "null", ...attribute };
-
-    //----
-    // GATHER UNION SCHEMAS
-    //----
-    const union: OpenApiV3.IJsonSchema[] = [];
-    const insert = meta.nullable
-      ? (schema: OpenApiV3.IJsonSchema) =>
-          union.push({
-            ...schema,
-            nullable: (schema as OpenApiV3.IJsonSchema.__ISignificant<any>).type
-              ? true
-              : undefined,
-          } as OpenApiV3.IJsonSchema)
-      : (schema: OpenApiV3.IJsonSchema) => union.push(schema);
-
-    // toJSON() METHOD
-    if (meta.escaped !== null)
-      application_escaped<"3.0">(application_v30_schema(false)(components)({}))(
-        meta.escaped,
-      ).forEach(insert);
+export const application_v30_schema = <BlockNever extends boolean>(props: {
+  blockNever: BlockNever;
+  components: OpenApiV3.IComponents;
+  attribute: OpenApiV3.IJsonSchema.__IAttribute;
+  metadata: Metadata;
+}): BlockNever extends true
+  ? OpenApiV3.IJsonSchema | null
+  : OpenApiV3.IJsonSchema => {
+  // VULNERABLE CASE
+  if (props.metadata.any === true)
+    return {
+      ...props.attribute,
+      type: undefined,
+    };
+  else if (props.metadata.nullable && props.metadata.empty())
+    return { type: "null", ...props.attribute };
 
-    // ATOMIC TYPES
-    if (meta.templates.length && AtomicPredicator.template(meta))
-      application_templates(meta).map(insert);
-    for (const constant of meta.constants)
-      if (AtomicPredicator.constant(meta)(constant.type) === false) continue;
-      else insert(application_v30_constant(constant));
-    for (const a of meta.atomics)
-      if (a.type === "boolean") application_boolean(a).forEach(insert);
-      else if (a.type === "bigint") application_bigint(a).forEach(insert);
-      else if (a.type === "number") application_number(a).forEach(insert);
-      else if (a.type === "string") application_string(a).forEach(insert);
+  //----
+  // GATHER UNION SCHEMAS
+  //----
+  const union: OpenApiV3.IJsonSchema[] = [];
+  const insert = props.metadata.nullable
+    ? (schema: OpenApiV3.IJsonSchema) =>
+        union.push({
+          ...schema,
+          nullable: (schema as OpenApiV3.IJsonSchema.__ISignificant<any>).type
+            ? true
+            : undefined,
+        } as OpenApiV3.IJsonSchema)
+    : (schema: OpenApiV3.IJsonSchema) => union.push(schema);
 
-    // ARRAY
-    for (const array of meta.arrays)
-      application_array<"3.0">(application_v30_schema(false)(components)({}))(
-        components,
-      )(array).forEach(insert);
+  // toJSON() METHOD
+  if (props.metadata.escaped !== null)
+    application_escaped<"3.0">({
+      generator: (metadata) =>
+        application_v30_schema({
+          blockNever: false,
+          components: props.components,
+          attribute: {},
+          metadata,
+        }),
+      escaped: props.metadata.escaped,
+    }).forEach(insert);
 
-    // TUPLE
-    for (const tuple of meta.tuples)
-      insert(application_v30_tuple(components)(tuple)(attribute));
+  // ATOMIC TYPES
+  if (
+    props.metadata.templates.length &&
+    AtomicPredicator.template(props.metadata)
+  )
+    application_templates(props.metadata).map(insert);
+  for (const constant of props.metadata.constants)
+    if (
+      AtomicPredicator.constant({
+        metadata: props.metadata,
+        name: constant.type,
+      }) === false
+    )
+      continue;
+    else insert(application_v30_constant(constant));
+  for (const a of props.metadata.atomics)
+    if (a.type === "boolean") application_boolean(a).forEach(insert);
+    else if (a.type === "bigint") application_bigint(a).forEach(insert);
+    else if (a.type === "number") application_number(a).forEach(insert);
+    else if (a.type === "string") application_string(a).forEach(insert);
 
-    // NATIVES
-    for (const native of meta.natives)
-      if (AtomicPredicator.native(native)) {
-        const type: string = native.toLowerCase();
-        if (meta.atomics.some((a) => a.type === type)) continue;
-        else if (type === "boolean")
-          insert(
-            application_boolean(
-              MetadataAtomic.create({
-                type: "boolean",
-                tags: [],
-              }),
-            )[0]!,
-          );
-        else if (type === "bigint")
-          insert(
-            application_bigint(
-              MetadataAtomic.create({
-                type: "bigint",
-                tags: [],
-              }),
-            )[0]! as any,
-          );
-        else if (type === "number")
-          insert(
-            application_number(
-              MetadataAtomic.create({
-                type: "number",
-                tags: [],
-              }),
-            )[0]!,
-          );
-        else if (type === "string")
-          insert(
-            application_string(
-              MetadataAtomic.create({
-                type: "string",
-                tags: [],
-              }),
-            )[0]!,
-          );
-      } else insert(application_v30_native(components)(native)(meta.nullable));
-    if (meta.sets.length)
-      insert(application_v30_native(components)(`Set`)(meta.nullable));
-    if (meta.maps.length)
-      insert(application_v30_native(components)(`Map`)(meta.nullable));
+  // ARRAY
+  for (const array of props.metadata.arrays)
+    application_array<"3.0">({
+      generator: (metadata) =>
+        application_v30_schema({
+          blockNever: false,
+          components: props.components,
+          attribute: {},
+          metadata,
+        }),
+      components: props.components,
+      array,
+    }).forEach(insert);
 
-    // OBJECT
-    for (const obj of meta.objects)
-      insert(application_v30_object(components)(obj)(meta.nullable));
+  // TUPLE
+  for (const tuple of props.metadata.tuples)
+    insert(
+      application_v30_tuple({
+        tuple,
+        components: props.components,
+        attribute: props.attribute,
+      }),
+    );
 
-    // ALIASES
-    for (const alias of meta.aliases)
+  // NATIVES
+  for (const native of props.metadata.natives)
+    if (AtomicPredicator.native(native)) {
+      const type: string = native.toLowerCase();
+      if (props.metadata.atomics.some((a) => a.type === type)) continue;
+      else if (type === "boolean")
+        insert(
+          application_boolean(
+            MetadataAtomic.create({
+              type: "boolean",
+              tags: [],
+            }),
+          )[0]!,
+        );
+      else if (type === "bigint")
+        insert(
+          application_bigint(
+            MetadataAtomic.create({
+              type: "bigint",
+              tags: [],
+            }),
+          )[0]! as any,
+        );
+      else if (type === "number")
+        insert(
+          application_number(
+            MetadataAtomic.create({
+              type: "number",
+              tags: [],
+            }),
+          )[0]!,
+        );
+      else if (type === "string")
+        insert(
+          application_string(
+            MetadataAtomic.create({
+              type: "string",
+              tags: [],
+            }),
+          )[0]!,
+        );
+    } else
       insert(
-        application_v30_alias(blockNever)(components)(alias)(meta.nullable),
+        application_v30_native({
+          name: native,
+          components: props.components,
+          nullable: props.metadata.nullable,
+        }),
       );
+  if (props.metadata.sets.length)
+    insert(
+      application_v30_native({
+        name: "Set",
+        components: props.components,
+        nullable: props.metadata.nullable,
+      }),
+    );
+  if (props.metadata.maps.length)
+    insert(
+      application_v30_native({
+        name: "Map",
+        components: props.components,
+        nullable: props.metadata.nullable,
+      }),
+    );
 
-    //----
-    // RETURNS
-    //----
-    if (union.length === 0 && blockNever === true) return null!;
-    const schema: OpenApiV3.IJsonSchema =
-      union.length === 0
-        ? { type: undefined }
-        : union.length === 1
-          ? union[0]!
-          : {
-              oneOf: union,
-              discriminator: application_union_discriminator(meta),
-            };
-    return {
-      ...schema,
-      ...attribute,
-      title: attribute.title ?? schema.title,
-      description: attribute.description ?? schema.description,
-      deprecated: attribute.deprecated ?? schema.deprecated,
-    };
+  // OBJECT
+  for (const object of props.metadata.objects)
+    insert(
+      application_v30_object({
+        object,
+        components: props.components,
+        nullable: props.metadata.nullable,
+      }),
+    );
+
+  // ALIASES
+  for (const alias of props.metadata.aliases)
+    insert(
+      application_v30_alias({
+        alias,
+        blockNever: props.blockNever,
+        components: props.components,
+        nullable: props.metadata.nullable,
+      }),
+    );
+
+  //----
+  // RETURNS
+  //----
+  if (union.length === 0 && props.blockNever === true) return null!;
+  const schema: OpenApiV3.IJsonSchema =
+    union.length === 0
+      ? { type: undefined }
+      : union.length === 1
+        ? union[0]!
+        : {
+            oneOf: union,
+            discriminator: application_union_discriminator(props.metadata),
+          };
+  return {
+    ...schema,
+    ...props.attribute,
+    title: props.attribute.title ?? schema.title,
+    description: props.attribute.description ?? schema.description,
+    deprecated: props.attribute.deprecated ?? schema.deprecated,
   };
+};

package/src/programmers/internal/application_v30_tuple.ts

@@ -8,26 +8,26 @@ import { application_v30_schema } from "./application_v30_schema";
 /**
  * @internal
  */
-export const application_v30_tuple =
-  (components: OpenApiV3.IComponents) =>
-  (tuple: MetadataTuple) =>
-  (
-    attribute: OpenApiV3.IJsonSchema.__IAttribute,
-  ): OpenApiV3.IJsonSchema.IArray => ({
-    ...attribute,
-    type: "array",
-    items: application_v30_schema(false)(components)(
-      tuple.type.recursive ? {} : attribute,
-    )(
-      tuple.type.elements.reduce(
-        (x, y) => Metadata.merge(x.rest ?? x, y.rest ?? y),
-        Metadata.initialize(),
-      ),
+export const application_v30_tuple = (props: {
+  components: OpenApiV3.IComponents;
+  tuple: MetadataTuple;
+  attribute: OpenApiV3.IJsonSchema.__IAttribute;
+}): OpenApiV3.IJsonSchema.IArray => ({
+  ...props.attribute,
+  type: "array",
+  items: application_v30_schema({
+    blockNever: false,
+    components: props.components,
+    attribute: props.tuple.type.recursive ? {} : props.attribute,
+    metadata: props.tuple.type.elements.reduce(
+      (x, y) => Metadata.merge(x.rest ?? x, y.rest ?? y),
+      Metadata.initialize(),
     ),
-    minItems: !!tuple.type.elements.at(-1)?.rest
-      ? tuple.type.elements.length - 1
-      : tuple.type.elements.filter((x) => !x.optional).length,
-    maxItems: !!tuple.type.elements.at(-1)?.rest
-      ? undefined!
-      : tuple.type.elements.length,
-  });
+  }),
+  minItems: !!props.tuple.type.elements.at(-1)?.rest
+    ? props.tuple.type.elements.length - 1
+    : props.tuple.type.elements.filter((x) => !x.optional).length,
+  maxItems: !!props.tuple.type.elements.at(-1)?.rest
+    ? undefined!
+    : props.tuple.type.elements.length,
+});