typia 7.0.0-dev.20241010-2 → 7.0.0-dev.20241011

package/src/transformers/CallExpressionTransformer.ts

@@ -62,6 +62,7 @@ import { JsonCreateValidateParseTransformer } from "./features/json/JsonCreateVa
 import { JsonCreateValidateStringifyTransformer } from "./features/json/JsonCreateValidateStringifyProgrammer";
 import { JsonIsParseTransformer } from "./features/json/JsonIsParseTransformer";
 import { JsonIsStringifyTransformer } from "./features/json/JsonIsStringifyTransformer";
+import { JsonSchemasTransformer } from "./features/json/JsonSchemasTransformer";
 import { JsonStringifyTransformer } from "./features/json/JsonStringifyTransformer";
 import { JsonValidateParseTransformer } from "./features/json/JsonValidateParseTransformer";
 import { JsonValidateStringifyTransformer } from "./features/json/JsonValidateStringifyTransformer";
@@ -396,8 +397,9 @@ const FUNCTORS: Record<string, Record<string, () => Task>> = {
     schema: () => LlmSchemaTransformer.transform,
   },
   json: {
-    // SCHEMA
+    // METADATA
     application: () => JsonApplicationTransformer.transform,
+    schemas: () => JsonSchemasTransformer.transform,
 
     // PARSER
     isParse: () => JsonIsParseTransformer.transform,

package/src/transformers/features/json/JsonApplicationTransformer.ts

@@ -15,35 +15,17 @@ import { ITransformProps } from "../../ITransformProps";
 import { TransformerError } from "../../TransformerError";
 
 export namespace JsonApplicationTransformer {
-  export const transform = (
-    props: Pick<ITransformProps, "context" | "expression">,
-  ): ts.Expression => {
+  export const transform = (props: ITransformProps): ts.Expression => {
+    // GET GENERIC ARGUMENT
     if (!props.expression.typeArguments?.length)
       throw new TransformerError({
         code: "typia.json.application",
         message: "no generic argument.",
       });
 
-    //----
-    // GET ARGUMENTS
-    //----
-    // VALIDATE TUPLE ARGUMENTS
     const top: ts.Node = props.expression.typeArguments[0]!;
-    if (!ts.isTupleTypeNode(top)) return props.expression;
-    else if (top.elements.some((child) => !ts.isTypeNode(child)))
-      return props.expression;
+    if (ts.isTypeNode(top) === false) return props.expression;
 
-    // GET TYPES
-    const types: ts.Type[] = top.elements.map((child) =>
-      props.context.checker.getTypeFromTypeNode(child as ts.TypeNode),
-    );
-    if (types.some((t) => t.isTypeParameter()))
-      throw new TransformerError({
-        code: "typia.json.application",
-        message: "non-specified generic argument(s).",
-      });
-
-    // ADDITIONAL PARAMETERS
     const version: "3.0" | "3.1" = get_parameter<"3.0" | "3.1">({
       checker: props.context.checker,
       name: "Version",
@@ -52,46 +34,39 @@ export namespace JsonApplicationTransformer {
       default: () => "3.1",
     })(props.expression.typeArguments[1]);
 
-    //----
-    // GENERATORS
-    //----
-    // METADATA
+    // GET TYPE
+    const type: ts.Type = props.context.checker.getTypeFromTypeNode(top);
     const collection: MetadataCollection = new MetadataCollection({
       replace: MetadataCollection.replace,
     });
-    const results: ValidationPipe<Metadata, MetadataFactory.IError>[] =
-      types.map((type) =>
-        MetadataFactory.analyze({
-          checker: props.context.checker,
-          transformer: props.context.transformer,
-          options: {
-            escape: true,
-            constant: true,
-            absorb: false,
-            validate: JsonApplicationProgrammer.validate,
-          },
-          collection,
-          type,
-        }),
-      );
-
-    // REPORT BUG IF REQUIRED
-    const metadatas: Metadata[] = [];
-    const errors: MetadataFactory.IError[] = [];
-    for (const r of results) {
-      if (r.success === false) errors.push(...r.errors);
-      else metadatas.push(r.data);
-    }
-    if (errors.length)
+    const result: ValidationPipe<Metadata, MetadataFactory.IError> =
+      MetadataFactory.analyze({
+        checker: props.context.checker,
+        transformer: props.context.transformer,
+        options: {
+          escape: true,
+          constant: true,
+          absorb: false,
+          functional: true,
+          validate: JsonApplicationProgrammer.validate,
+        },
+        collection,
+        type,
+      });
+    if (result.success === false)
       throw TransformerError.from({
         code: "typia.json.application",
-        errors,
+        errors: result.errors,
       });
 
-    // APPLICATION
-    const app: IJsonApplication<any> =
-      JsonApplicationProgrammer.write(version)(metadatas);
-    return LiteralFactory.write(app);
+    // GENERATE LLM APPLICATION
+    const app: IJsonApplication<"3.0" | "3.1"> =
+      JsonApplicationProgrammer.write({
+        version,
+        metadata: result.data,
+      });
+    const literal: ts.Expression = LiteralFactory.write(app);
+    return literal;
   };
 
   const get_parameter =

package/src/transformers/features/json/JsonSchemasTransformer.ts

@@ -0,0 +1,130 @@
+import ts from "typescript";
+
+import { LiteralFactory } from "../../../factories/LiteralFactory";
+import { MetadataCollection } from "../../../factories/MetadataCollection";
+import { MetadataFactory } from "../../../factories/MetadataFactory";
+
+import { IJsonSchemaCollection } from "../../../schemas/json/IJsonSchemaList";
+import { Metadata } from "../../../schemas/metadata/Metadata";
+
+import { JsonSchemasProgrammer } from "../../../programmers/json/JsonSchemasProgrammer";
+
+import { ValidationPipe } from "../../../typings/ValidationPipe";
+
+import { ITransformProps } from "../../ITransformProps";
+import { TransformerError } from "../../TransformerError";
+
+export namespace JsonSchemasTransformer {
+  export const transform = (
+    props: Pick<ITransformProps, "context" | "expression">,
+  ): ts.Expression => {
+    if (!props.expression.typeArguments?.length)
+      throw new TransformerError({
+        code: "typia.json.application",
+        message: "no generic argument.",
+      });
+
+    //----
+    // GET ARGUMENTS
+    //----
+    // VALIDATE TUPLE ARGUMENTS
+    const top: ts.Node = props.expression.typeArguments[0]!;
+    if (!ts.isTupleTypeNode(top)) return props.expression;
+    else if (top.elements.some((child) => !ts.isTypeNode(child)))
+      return props.expression;
+
+    // GET TYPES
+    const types: ts.Type[] = top.elements.map((child) =>
+      props.context.checker.getTypeFromTypeNode(child as ts.TypeNode),
+    );
+    if (types.some((t) => t.isTypeParameter()))
+      throw new TransformerError({
+        code: "typia.json.application",
+        message: "non-specified generic argument(s).",
+      });
+
+    // ADDITIONAL PARAMETERS
+    const version: "3.0" | "3.1" = get_parameter<"3.0" | "3.1">({
+      checker: props.context.checker,
+      name: "Version",
+      is: (str) => str === "3.0" || str === "3.1",
+      cast: (str) => str as "3.0" | "3.1",
+      default: () => "3.1",
+    })(props.expression.typeArguments[1]);
+
+    //----
+    // GENERATORS
+    //----
+    // METADATA
+    const collection: MetadataCollection = new MetadataCollection({
+      replace: MetadataCollection.replace,
+    });
+    const results: ValidationPipe<Metadata, MetadataFactory.IError>[] =
+      types.map((type) =>
+        MetadataFactory.analyze({
+          checker: props.context.checker,
+          transformer: props.context.transformer,
+          options: {
+            escape: true,
+            constant: true,
+            absorb: false,
+            validate: JsonSchemasProgrammer.validate,
+          },
+          collection,
+          type,
+        }),
+      );
+
+    // REPORT BUG IF REQUIRED
+    const metadatas: Metadata[] = [];
+    const errors: MetadataFactory.IError[] = [];
+    for (const r of results) {
+      if (r.success === false) errors.push(...r.errors);
+      else metadatas.push(r.data);
+    }
+    if (errors.length)
+      throw TransformerError.from({
+        code: "typia.json.application",
+        errors,
+      });
+
+    // APPLICATION
+    const app: IJsonSchemaCollection<any> =
+      JsonSchemasProgrammer.write(version)(metadatas);
+    return LiteralFactory.write(app);
+  };
+
+  const get_parameter =
+    <Value>(props: {
+      checker: ts.TypeChecker;
+      name: string;
+      is: (value: string) => boolean;
+      cast: (value: string) => Value;
+      default: () => Value;
+    }) =>
+    (node: ts.TypeNode | undefined): Value => {
+      if (!node) return props.default();
+
+      // CHECK LITERAL TYPE
+      const type: ts.Type = props.checker.getTypeFromTypeNode(node);
+      if (
+        !type.isLiteral() &&
+        (type.getFlags() & ts.TypeFlags.BooleanLiteral) === 0
+      )
+        throw new TransformerError({
+          code: "typia.json.application",
+          message: `generic argument "${props.name}" must be constant.`,
+        });
+
+      // GET VALUE AND VALIDATE IT
+      const value = type.isLiteral()
+        ? type.value
+        : props.checker.typeToString(type);
+      if (typeof value !== "string" || props.is(value) === false)
+        throw new TransformerError({
+          code: "typia.json.application",
+          message: `invalid value on generic argument "${props.name}".`,
+        });
+      return props.cast(value);
+    };
+}

package/src/transformers/features/llm/LlmApplicationTransformer.ts

@@ -42,7 +42,7 @@ export namespace LlmApplicationTransformer {
           constant: true,
           absorb: false,
           functional: true,
-          validate: LlmApplicationProgrammer.validate,
+          validate: LlmApplicationProgrammer.validate(),
         },
         collection,
         type,