typia 6.7.3-dev.20240808 → 6.8.0-dev.20240811

package/src/tags/MultipleOf.ts

@@ -4,17 +4,18 @@ export type MultipleOf<Value extends number | bigint> = TagBase<{
   target: Value extends bigint ? "bigint" : "number";
   kind: "multipleOf";
   value: Value;
-  validate: `$input % ${Numeric<Value>} === ${Value extends bigint
-    ? Numeric<0n>
+  validate: `$input % ${Cast<Value>} === ${Value extends bigint
+    ? Cast<0n>
     : 0}`;
   exclusive: true;
-  schema: Value extends number
-    ? {
-        multipleOf: Value;
-      }
-    : undefined;
+  schema: Value extends bigint
+    ? { multipleOf: Numeric<Value> }
+    : { multipleOf: Value };
 }>;
 
-type Numeric<Value extends number | bigint> = Value extends number
+type Cast<Value extends number | bigint> = Value extends number
   ? Value
   : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}`
+  ? N
+  : never;

package/src/transformers/FileTransformer.ts

@@ -1,91 +1,91 @@
-import ts from "typescript";
-
-import { Singleton } from "../utils/Singleton";
-
-import { IProject } from "./IProject";
-import { NodeTransformer } from "./NodeTransformer";
-import { TransformerError } from "./TransformerError";
-
-export namespace FileTransformer {
-  export const transform =
-    (environments: Omit<IProject, "context">) =>
-    (context: ts.TransformationContext) =>
-    (file: ts.SourceFile): ts.SourceFile => {
-      if (file.isDeclarationFile) return file;
-
-      const project: IProject = {
-        ...environments,
-        context,
-      };
-      checkJsDocParsingMode.get(project, file);
-
-      return ts.visitEachChild(
-        file,
-        (node) => iterate_node(project)(node),
-        context,
-      );
-    };
-
-  const iterate_node =
-    (project: IProject) =>
-    (node: ts.Node): ts.Node =>
-      ts.visitEachChild(
-        try_transform_node(project)(node) ?? node,
-        (child) => iterate_node(project)(child),
-        project.context,
-      );
-
-  const try_transform_node =
-    (project: IProject) =>
-    (node: ts.Node): ts.Node | null => {
-      try {
-        return NodeTransformer.transform(project)(node);
-      } catch (exp) {
-        // ONLY ACCEPT TRANSFORMER-ERROR
-        if (!isTransformerError(exp)) throw exp;
-
-        // REPORT DIAGNOSTIC
-        const diagnostic = ts.createDiagnosticForNode(node, {
-          key: exp.code,
-          category: ts.DiagnosticCategory.Error,
-          message: exp.message,
-          code: `(${exp.code})` as any,
-        });
-        project.extras.addDiagnostic(diagnostic);
-        return null;
-      }
-    };
-}
-
-const isTransformerError = (error: any): error is TransformerError =>
-  typeof error === "object" &&
-  error !== null &&
-  error.constructor.name === "TransformerError" &&
-  typeof error.code === "string" &&
-  typeof error.message === "string";
-
-const checkJsDocParsingMode = new Singleton(
-  (project: IProject, file: ts.SourceFile) => {
-    if (
-      typeof file.jsDocParsingMode === "number" &&
-      file.jsDocParsingMode !== 0
-    ) {
-      project.extras.addDiagnostic(
-        ts.createDiagnosticForNode(file, {
-          code: `(typia setup)` as any,
-          key: "jsDocParsingMode",
-          category: ts.DiagnosticCategory.Warning,
-          message: [
-            `Run "npx typia setup" or "npx typia patch" command again.`,
-            ``,
-            `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments. Therefore, "typia" also cannot utilize those JSDoc comments too, and it damages on some features of "typia" like "comment tags" or "JSON schema" generator.`,
-            ``,
-            `To solve this problem, run "npx typia setup" or "npx typia patch" command to hack the TypeScript compiler to revive the JSDoc parsing feature.`,
-            ``,
-            `  - reference: https://github.com/microsoft/TypeScript/pull/55739`,
-          ].join("\n"),
-        }),
-      );
-    }
-  },
-);
+import ts from "typescript";
+
+import { Singleton } from "../utils/Singleton";
+
+import { IProject } from "./IProject";
+import { NodeTransformer } from "./NodeTransformer";
+import { TransformerError } from "./TransformerError";
+
+export namespace FileTransformer {
+  export const transform =
+    (environments: Omit<IProject, "context">) =>
+    (context: ts.TransformationContext) =>
+    (file: ts.SourceFile): ts.SourceFile => {
+      if (file.isDeclarationFile) return file;
+
+      const project: IProject = {
+        ...environments,
+        context,
+      };
+      checkJsDocParsingMode.get(project, file);
+
+      return ts.visitEachChild(
+        file,
+        (node) => iterate_node(project)(node),
+        context,
+      );
+    };
+
+  const iterate_node =
+    (project: IProject) =>
+    (node: ts.Node): ts.Node =>
+      ts.visitEachChild(
+        try_transform_node(project)(node) ?? node,
+        (child) => iterate_node(project)(child),
+        project.context,
+      );
+
+  const try_transform_node =
+    (project: IProject) =>
+    (node: ts.Node): ts.Node | null => {
+      try {
+        return NodeTransformer.transform(project)(node);
+      } catch (exp) {
+        // ONLY ACCEPT TRANSFORMER-ERROR
+        if (!isTransformerError(exp)) throw exp;
+
+        // REPORT DIAGNOSTIC
+        const diagnostic = ts.createDiagnosticForNode(node, {
+          key: exp.code,
+          category: ts.DiagnosticCategory.Error,
+          message: exp.message,
+          code: `(${exp.code})` as any,
+        });
+        project.extras.addDiagnostic(diagnostic);
+        return null;
+      }
+    };
+}
+
+const isTransformerError = (error: any): error is TransformerError =>
+  typeof error === "object" &&
+  error !== null &&
+  error.constructor.name === "TransformerError" &&
+  typeof error.code === "string" &&
+  typeof error.message === "string";
+
+const checkJsDocParsingMode = new Singleton(
+  (project: IProject, file: ts.SourceFile) => {
+    if (
+      typeof file.jsDocParsingMode === "number" &&
+      file.jsDocParsingMode !== 0
+    ) {
+      project.extras.addDiagnostic(
+        ts.createDiagnosticForNode(file, {
+          code: `(typia setup)` as any,
+          key: "jsDocParsingMode",
+          category: ts.DiagnosticCategory.Warning,
+          message: [
+            `Run "npx typia setup" or "npx typia patch" command again.`,
+            ``,
+            `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments. Therefore, "typia" also cannot utilize those JSDoc comments too, and it damages on some features of "typia" like "comment tags" or "JSON schema" generator.`,
+            ``,
+            `To solve this problem, run "npx typia setup" or "npx typia patch" command to hack the TypeScript compiler to revive the JSDoc parsing feature.`,
+            ``,
+            `  - reference: https://github.com/microsoft/TypeScript/pull/55739`,
+          ].join("\n"),
+        }),
+      );
+    }
+  },
+);

package/src/transformers/features/CreateRandomTransformer.ts

@@ -1,42 +1,40 @@
-import ts from "typescript";
-
-import { RandomProgrammer } from "../../programmers/RandomProgrammer";
-
-import { TypePredicator } from "../../utils/TypePredicator";
-
-import { IProject } from "../IProject";
-import { TransformerError } from "../TransformerError";
-
-export namespace CreateRandomTransformer {
-  export const transform =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (expression: ts.CallExpression): ts.Expression => {
-      // CHECK GENERIC ARGUMENT EXISTENCE
-      if (!expression.typeArguments?.[0])
-        throw new TransformerError({
-          code: "typia.createRandom",
-          message: "generic argument is not specified.",
-        });
-
-      // GET TYPE INFO
-      const node: ts.TypeNode = expression.typeArguments[0];
-      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
-
-      if (TypePredicator.isTypeParameter(type))
-        throw new TransformerError({
-          code: "typia.createRandom",
-          message: "non-specified generic argument.",
-        });
-
-      // DO TRANSFORM
-      return RandomProgrammer.write({
-        ...project,
-        options: {
-          ...project.options,
-          functional: false,
-          numeric: false,
-        },
-      })(modulo)(expression.arguments?.[0])(type, node.getFullText().trim());
-    };
-}
+import ts from "typescript";
+
+import { RandomProgrammer } from "../../programmers/RandomProgrammer";
+
+import { IProject } from "../IProject";
+import { TransformerError } from "../TransformerError";
+
+export namespace CreateRandomTransformer {
+  export const transform =
+    (project: IProject) =>
+    (modulo: ts.LeftHandSideExpression) =>
+    (expression: ts.CallExpression): ts.Expression => {
+      // CHECK GENERIC ARGUMENT EXISTENCE
+      if (!expression.typeArguments?.[0])
+        throw new TransformerError({
+          code: "typia.createRandom",
+          message: "generic argument is not specified.",
+        });
+
+      // GET TYPE INFO
+      const node: ts.TypeNode = expression.typeArguments[0];
+      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
+
+      if (type.isTypeParameter())
+        throw new TransformerError({
+          code: "typia.createRandom",
+          message: "non-specified generic argument.",
+        });
+
+      // DO TRANSFORM
+      return RandomProgrammer.write({
+        ...project,
+        options: {
+          ...project.options,
+          functional: false,
+          numeric: false,
+        },
+      })(modulo)(expression.arguments?.[0])(type, node.getFullText().trim());
+    };
+}

package/src/transformers/features/RandomTransformer.ts

@@ -1,46 +1,44 @@
-import ts from "typescript";
-
-import { RandomProgrammer } from "../../programmers/RandomProgrammer";
-
-import { TypePredicator } from "../../utils/TypePredicator";
-
-import { IProject } from "../IProject";
-import { TransformerError } from "../TransformerError";
-
-export namespace RandomTransformer {
-  export const transform =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (expression: ts.CallExpression): ts.Expression => {
-      // CHECK GENERIC ARGUMENT EXISTENCE
-      if (!expression.typeArguments?.[0])
-        throw new TransformerError({
-          code: `typia.${modulo.getText()}`,
-          message: "generic argument is not specified.",
-        });
-
-      // GET TYPE INFO
-      const node: ts.TypeNode = expression.typeArguments[0];
-      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
-
-      if (TypePredicator.isTypeParameter(type))
-        throw new TransformerError({
-          code: `typia.${modulo.getText()}`,
-          message: "non-specified generic argument.",
-        });
-
-      // DO TRANSFORM
-      return ts.factory.createCallExpression(
-        RandomProgrammer.write({
-          ...project,
-          options: {
-            ...project.options,
-            functional: false,
-            numeric: false,
-          },
-        })(modulo)()(type, node.getFullText().trim()),
-        undefined,
-        expression.arguments.length ? [expression.arguments[0]!] : undefined,
-      );
-    };
-}
+import ts from "typescript";
+
+import { RandomProgrammer } from "../../programmers/RandomProgrammer";
+
+import { IProject } from "../IProject";
+import { TransformerError } from "../TransformerError";
+
+export namespace RandomTransformer {
+  export const transform =
+    (project: IProject) =>
+    (modulo: ts.LeftHandSideExpression) =>
+    (expression: ts.CallExpression): ts.Expression => {
+      // CHECK GENERIC ARGUMENT EXISTENCE
+      if (!expression.typeArguments?.[0])
+        throw new TransformerError({
+          code: `typia.${modulo.getText()}`,
+          message: "generic argument is not specified.",
+        });
+
+      // GET TYPE INFO
+      const node: ts.TypeNode = expression.typeArguments[0];
+      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
+
+      if (type.isTypeParameter())
+        throw new TransformerError({
+          code: `typia.${modulo.getText()}`,
+          message: "non-specified generic argument.",
+        });
+
+      // DO TRANSFORM
+      return ts.factory.createCallExpression(
+        RandomProgrammer.write({
+          ...project,
+          options: {
+            ...project.options,
+            functional: false,
+            numeric: false,
+          },
+        })(modulo)()(type, node.getFullText().trim()),
+        undefined,
+        expression.arguments.length ? [expression.arguments[0]!] : undefined,
+      );
+    };
+}

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

@@ -1,126 +1,124 @@
-import ts from "typescript";
-
-import { LiteralFactory } from "../../../factories/LiteralFactory";
-import { MetadataCollection } from "../../../factories/MetadataCollection";
-import { MetadataFactory } from "../../../factories/MetadataFactory";
-
-import { IJsonApplication } from "../../../schemas/json/IJsonApplication";
-import { Metadata } from "../../../schemas/metadata/Metadata";
-
-import { JsonApplicationProgrammer } from "../../../programmers/json/JsonApplicationProgrammer";
-
-import { ValidationPipe } from "../../../typings/ValidationPipe";
-
-import { TypePredicator } from "../../../utils/TypePredicator";
-
-import { IProject } from "../../IProject";
-import { TransformerError } from "../../TransformerError";
-
-export namespace JsonApplicationTransformer {
-  export const transform =
-    (project: IProject) =>
-    (expression: ts.CallExpression): ts.Expression => {
-      if (!expression.typeArguments?.length)
-        throw new TransformerError({
-          code: "typia.json.application",
-          message: "no generic argument.",
-        });
-
-      //----
-      // GET ARGUMENTS
-      //----
-      // VALIDATE TUPLE ARGUMENTS
-      const top: ts.Node = expression.typeArguments[0]!;
-      if (!ts.isTupleTypeNode(top)) return expression;
-      else if (top.elements.some((child) => !ts.isTypeNode(child)))
-        return expression;
-
-      // GET TYPES
-      const types: ts.Type[] = top.elements.map((child) =>
-        project.checker.getTypeFromTypeNode(child as ts.TypeNode),
-      );
-      if (types.some(TypePredicator.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: project.checker,
-        name: "Version",
-        is: (str) => str === "3.0" || str === "3.1",
-        cast: (str) => str as "3.0" | "3.1",
-        default: () => "3.1",
-      })(expression.typeArguments[1]);
-
-      //----
-      // GENERATORS
-      //----
-      // METADATA
-      const collection: MetadataCollection = new MetadataCollection({
-        replace: MetadataCollection.replace,
-      });
-      const results: ValidationPipe<Metadata, MetadataFactory.IError>[] =
-        types.map((type) =>
-          MetadataFactory.analyze(
-            project.checker,
-            project.context,
-          )({
-            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)
-        throw TransformerError.from("typia.json.application")(errors);
-
-      // APPLICATION
-      const app: IJsonApplication<any> =
-        JsonApplicationProgrammer.write(version)(metadatas);
-      return LiteralFactory.generate(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 (
-        !TypePredicator.isLiteral(type) &&
-        (type.flags & 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 = TypePredicator.isLiteral(type)
-        ? 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);
-    };
-}
+import ts from "typescript";
+
+import { LiteralFactory } from "../../../factories/LiteralFactory";
+import { MetadataCollection } from "../../../factories/MetadataCollection";
+import { MetadataFactory } from "../../../factories/MetadataFactory";
+
+import { IJsonApplication } from "../../../schemas/json/IJsonApplication";
+import { Metadata } from "../../../schemas/metadata/Metadata";
+
+import { JsonApplicationProgrammer } from "../../../programmers/json/JsonApplicationProgrammer";
+
+import { ValidationPipe } from "../../../typings/ValidationPipe";
+
+import { IProject } from "../../IProject";
+import { TransformerError } from "../../TransformerError";
+
+export namespace JsonApplicationTransformer {
+  export const transform =
+    (project: IProject) =>
+    (expression: ts.CallExpression): ts.Expression => {
+      if (!expression.typeArguments?.length)
+        throw new TransformerError({
+          code: "typia.json.application",
+          message: "no generic argument.",
+        });
+
+      //----
+      // GET ARGUMENTS
+      //----
+      // VALIDATE TUPLE ARGUMENTS
+      const top: ts.Node = expression.typeArguments[0]!;
+      if (!ts.isTupleTypeNode(top)) return expression;
+      else if (top.elements.some((child) => !ts.isTypeNode(child)))
+        return expression;
+
+      // GET TYPES
+      const types: ts.Type[] = top.elements.map((child) =>
+        project.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: project.checker,
+        name: "Version",
+        is: (str) => str === "3.0" || str === "3.1",
+        cast: (str) => str as "3.0" | "3.1",
+        default: () => "3.1",
+      })(expression.typeArguments[1]);
+
+      //----
+      // GENERATORS
+      //----
+      // METADATA
+      const collection: MetadataCollection = new MetadataCollection({
+        replace: MetadataCollection.replace,
+      });
+      const results: ValidationPipe<Metadata, MetadataFactory.IError>[] =
+        types.map((type) =>
+          MetadataFactory.analyze(
+            project.checker,
+            project.context,
+          )({
+            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)
+        throw TransformerError.from("typia.json.application")(errors);
+
+      // APPLICATION
+      const app: IJsonApplication<any> =
+        JsonApplicationProgrammer.write(version)(metadatas);
+      return LiteralFactory.generate(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);
+    };
+}