typia 5.3.11 → 5.3.12-dev.20240119

package/src/tags/ExclusiveMaximum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "exclusiveMaximum";
-  value: Value;
-  validate: `$input < ${Numeric<Value>}`;
-  exclusive: ["exclusiveMaximum", "maximum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "exclusiveMaximum";
+  value: Value;
+  validate: `$input < ${Numeric<Value>}`;
+  exclusive: ["exclusiveMaximum", "maximum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/ExclusiveMinimum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "exclusiveMinimum";
-  value: Value;
-  validate: `${Numeric<Value>} < $input`;
-  exclusive: ["exclusiveMinimum", "minimum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "exclusiveMinimum";
+  value: Value;
+  validate: `${Numeric<Value>} < $input`;
+  exclusive: ["exclusiveMinimum", "minimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/Format.ts

@@ -1,30 +1,30 @@
-import { TagBase } from "./TagBase";
-
-export type Format<
-  Value extends
-    | "email"
-    | "uuid"
-    | "ipv4"
-    | "ipv6"
-    | "url"
-    | "date"
-    | "date-time",
-> = TagBase<{
-  target: "string";
-  kind: "format";
-  value: Value;
-  validate: Value extends "email"
-    ? `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i.test($input)`
-    : Value extends "uuid"
-    ? `/^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i.test($input)`
-    : Value extends "ipv4"
-    ? `/^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/.test($input)`
-    : Value extends "ipv6"
-    ? `/^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/.test($input)`
-    : Value extends "url"
-    ? `/^[a-zA-Z0-9]+:\\/\\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/.test($input)`
-    : Value extends "date"
-    ? `/^(\\d{4})-(\\d{2})-(\\d{2})$/.test($input)`
-    : `!isNaN(new Date($input).getTime())`;
-  exclusive: ["format", "pattern"];
-}>;
+import { TagBase } from "./TagBase";
+
+export type Format<
+  Value extends
+    | "email"
+    | "uuid"
+    | "ipv4"
+    | "ipv6"
+    | "url"
+    | "date"
+    | "date-time",
+> = TagBase<{
+  target: "string";
+  kind: "format";
+  value: Value;
+  validate: Value extends "email"
+    ? `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i.test($input)`
+    : Value extends "uuid"
+    ? `/^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i.test($input)`
+    : Value extends "ipv4"
+    ? `/^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/.test($input)`
+    : Value extends "ipv6"
+    ? `/^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/.test($input)`
+    : Value extends "url"
+    ? `/^[a-zA-Z0-9]+:\\/\\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/.test($input)`
+    : Value extends "date"
+    ? `/^(\\d{4})-(\\d{2})-(\\d{2})$/.test($input)`
+    : `!isNaN(new Date($input).getTime())`;
+  exclusive: ["format", "pattern"];
+}>;

package/src/tags/MaxItems.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxItems<Value extends number> = TagBase<{
-  target: "array";
-  kind: "maxItems";
-  value: Value;
-  validate: `$input.length <= ${Value}`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MaxItems<Value extends number> = TagBase<{
+  target: "array";
+  kind: "maxItems";
+  value: Value;
+  validate: `$input.length <= ${Value}`;
+  exclusive: true;
+}>;

package/src/tags/MaxLength.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxLength<Value extends number> = TagBase<{
-  target: "string";
-  kind: "maxLength";
-  value: Value;
-  validate: `$input.length <= ${Value}`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MaxLength<Value extends number> = TagBase<{
+  target: "string";
+  kind: "maxLength";
+  value: Value;
+  validate: `$input.length <= ${Value}`;
+  exclusive: true;
+}>;

package/src/tags/Maximum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type Maximum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "maximum";
-  value: Value;
-  validate: `$input <= ${Numeric<Value>}`;
-  exclusive: ["maximum", "exclusiveMaximum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type Maximum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "maximum";
+  value: Value;
+  validate: `$input <= ${Numeric<Value>}`;
+  exclusive: ["maximum", "exclusiveMaximum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/MinItems.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinItems<Value extends number> = TagBase<{
-  target: "array";
-  kind: "minItems";
-  value: Value;
-  validate: `${Value} <= $input.length`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MinItems<Value extends number> = TagBase<{
+  target: "array";
+  kind: "minItems";
+  value: Value;
+  validate: `${Value} <= $input.length`;
+  exclusive: true;
+}>;

package/src/tags/MinLength.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinLength<Value extends number> = TagBase<{
-  target: "string";
-  kind: "minLength";
-  value: Value;
-  validate: `${Value} <= $input.length`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type MinLength<Value extends number> = TagBase<{
+  target: "string";
+  kind: "minLength";
+  value: Value;
+  validate: `${Value} <= $input.length`;
+  exclusive: true;
+}>;

package/src/tags/Minimum.ts

@@ -1,13 +1,13 @@
-import { TagBase } from "./TagBase";
-
-export type Minimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
-  kind: "minimum";
-  value: Value;
-  validate: `${Numeric<Value>} <= $input`;
-  exclusive: ["minimum", "exclusiveMinimum"];
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+export type Minimum<Value extends number | bigint> = TagBase<{
+  target: Value extends number ? "number" : "bigint";
+  kind: "minimum";
+  value: Value;
+  validate: `${Numeric<Value>} <= $input`;
+  exclusive: ["minimum", "exclusiveMinimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/MultipleOf.ts

@@ -1,15 +1,15 @@
-import { TagBase } from "./TagBase";
-
-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>
-    : 0}`;
-  exclusive: true;
-}>;
-
-type Numeric<Value extends number | bigint> = Value extends number
-  ? Value
-  : `BigInt(${Value})`;
+import { TagBase } from "./TagBase";
+
+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>
+    : 0}`;
+  exclusive: true;
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+  ? Value
+  : `BigInt(${Value})`;

package/src/tags/Pattern.ts

@@ -1,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type Pattern<Value extends string> = TagBase<{
-  target: "string";
-  kind: "pattern";
-  value: Value;
-  validate: `/${Value}/.test($input)`;
-  exclusive: ["format", "pattern"];
-}>;
+import { TagBase } from "./TagBase";
+
+export type Pattern<Value extends string> = TagBase<{
+  target: "string";
+  kind: "pattern";
+  value: Value;
+  validate: `/${Value}/.test($input)`;
+  exclusive: ["format", "pattern"];
+}>;

package/src/tags/TagBase.ts

@@ -1,68 +1,68 @@
-export type TagBase<Props extends TagBase.IProps<any, any, any, any, any>> = {
-  /**
-   * This is a dummy property for compilation.
-   *
-   * It does not mean anything in runtime.
-   */
-  "typia.tag"?: Props;
-};
-export namespace TagBase {
-  export interface IProps<
-    Target extends "boolean" | "bigint" | "number" | "string" | "array",
-    Kind extends string,
-    Value extends boolean | bigint | number | string | undefined,
-    Validate extends
-      | string
-      | {
-          [key in Target]?: string;
-        },
-    Exclusive extends boolean | string[],
-  > {
-    /**
-     * Target type.
-     *
-     * If user tries to adapt this tag to a different type, it would be a compile
-     * error.
-     *
-     * For example, you've configured target type as `string`, but user adapted it
-     * onto a `number` type (`number & YourCustomTag<Value>`), then it would be
-     * blocked by TypeScript compiler.
-     */
-    target: Target;
-
-    /**
-     * What kind of tag is this?
-     */
-    kind: Kind;
-
-    /**
-     * Value to be configured by user.
-     */
-    value: Value;
-
-    /**
-     * Validation script.
-     *
-     * This script would be inserted into the generated validation function.
-     * In here script, target variable name must be `$input`. The variable name
-     * `$input` would be transformed to the suitable when compilation.
-     *
-     * Also, If you've take a mistake on this script, compile error would be
-     * occured. So, define it with confidence. Compiler will block all your
-     * mistakes.
-     */
-    validate?: Validate;
-
-    /**
-     * Exclusive option.
-     *
-     * If this property configured as `true`, same {@link kind} tag cannot be
-     * duplicated in the target type. Otherwise, if you've configured this
-     * property as string array, all of the {@link kind} value assigned
-     * tags cannot be compatible in the target type.
-     *
-     * @default false
-     */
-    exclusive?: Exclusive | string[];
-  }
-}
+export type TagBase<Props extends TagBase.IProps<any, any, any, any, any>> = {
+  /**
+   * This is a dummy property for compilation.
+   *
+   * It does not mean anything in runtime.
+   */
+  "typia.tag"?: Props;
+};
+export namespace TagBase {
+  export interface IProps<
+    Target extends "boolean" | "bigint" | "number" | "string" | "array",
+    Kind extends string,
+    Value extends boolean | bigint | number | string | undefined,
+    Validate extends
+      | string
+      | {
+          [key in Target]?: string;
+        },
+    Exclusive extends boolean | string[],
+  > {
+    /**
+     * Target type.
+     *
+     * If user tries to adapt this tag to a different type, it would be a compile
+     * error.
+     *
+     * For example, you've configured target type as `string`, but user adapted it
+     * onto a `number` type (`number & YourCustomTag<Value>`), then it would be
+     * blocked by TypeScript compiler.
+     */
+    target: Target;
+
+    /**
+     * What kind of tag is this?
+     */
+    kind: Kind;
+
+    /**
+     * Value to be configured by user.
+     */
+    value: Value;
+
+    /**
+     * Validation script.
+     *
+     * This script would be inserted into the generated validation function.
+     * In here script, target variable name must be `$input`. The variable name
+     * `$input` would be transformed to the suitable when compilation.
+     *
+     * Also, If you've take a mistake on this script, compile error would be
+     * occured. So, define it with confidence. Compiler will block all your
+     * mistakes.
+     */
+    validate?: Validate;
+
+    /**
+     * Exclusive option.
+     *
+     * If this property configured as `true`, same {@link kind} tag cannot be
+     * duplicated in the target type. Otherwise, if you've configured this
+     * property as string array, all of the {@link kind} value assigned
+     * tags cannot be compatible in the target type.
+     *
+     * @default false
+     */
+    exclusive?: Exclusive | string[];
+  }
+}

package/src/tags/Type.ts

@@ -1,27 +1,27 @@
-import { TagBase } from "./TagBase";
-
-export type Type<
-  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
-> = TagBase<{
-  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
-  kind: "type";
-  value: Value;
-  validate: Value extends "int32"
-    ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
-    : Value extends "uint32"
-    ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
-    : Value extends "int64"
-    ? {
-        number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
-        bigint: `true`;
-      }
-    : Value extends "uint64"
-    ? {
-        number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
-        bigint: `BigInt(0) <= $input`;
-      }
-    : Value extends "float"
-    ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
-    : `true`;
-  exclusive: true;
-}>;
+import { TagBase } from "./TagBase";
+
+export type Type<
+  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
+> = TagBase<{
+  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
+  kind: "type";
+  value: Value;
+  validate: Value extends "int32"
+    ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
+    : Value extends "uint32"
+    ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
+    : Value extends "int64"
+    ? {
+        number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
+        bigint: `true`;
+      }
+    : Value extends "uint64"
+    ? {
+        number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
+        bigint: `BigInt(0) <= $input`;
+      }
+    : Value extends "float"
+    ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
+    : `true`;
+  exclusive: true;
+}>;

package/src/tags/index.ts

@@ -1,14 +1,14 @@
-export * from "./Default";
-export * from "./ExclusiveMaximum";
-export * from "./ExclusiveMinimum";
-export * from "./Format";
-export * from "./Maximum";
-export * from "./MaxItems";
-export * from "./MaxLength";
-export * from "./Minimum";
-export * from "./MinItems";
-export * from "./MinLength";
-export * from "./MultipleOf";
-export * from "./Pattern";
-export * from "./TagBase";
-export * from "./Type";
+export * from "./Default";
+export * from "./ExclusiveMaximum";
+export * from "./ExclusiveMinimum";
+export * from "./Format";
+export * from "./Maximum";
+export * from "./MaxItems";
+export * from "./MaxLength";
+export * from "./Minimum";
+export * from "./MinItems";
+export * from "./MinLength";
+export * from "./MultipleOf";
+export * from "./Pattern";
+export * from "./TagBase";
+export * from "./Type";

package/src/transform.ts

@@ -1,35 +1,35 @@
-import ts from "typescript";
-
-import { FileTransformer } from "./transformers/FileTransformer";
-import { IProject } from "./transformers/IProject";
-import { ITransformOptions } from "./transformers/ITransformOptions";
-
-export const transform = (
-  program: ts.Program,
-  options: ITransformOptions | undefined,
-  extras: IProject["extras"],
-): ts.TransformerFactory<ts.SourceFile> => {
-  const compilerOptions: ts.CompilerOptions = program.getCompilerOptions();
-  const strict: boolean =
-    compilerOptions.strictNullChecks !== undefined
-      ? !!compilerOptions.strictNullChecks
-      : !!compilerOptions.strict;
-  if (strict === false)
-    extras.addDiagnostic({
-      category: ts.DiagnosticCategory.Error,
-      code: "(typia)" as any,
-      file: undefined,
-      start: undefined,
-      length: undefined,
-      messageText: "strict mode is required.",
-    });
-  return FileTransformer.transform({
-    program,
-    compilerOptions,
-    checker: program.getTypeChecker(),
-    printer: ts.createPrinter(),
-    options: options ?? {},
-    extras,
-  });
-};
-export default transform;
+import ts from "typescript";
+
+import { FileTransformer } from "./transformers/FileTransformer";
+import { IProject } from "./transformers/IProject";
+import { ITransformOptions } from "./transformers/ITransformOptions";
+
+export const transform = (
+  program: ts.Program,
+  options: ITransformOptions | undefined,
+  extras: IProject["extras"],
+): ts.TransformerFactory<ts.SourceFile> => {
+  const compilerOptions: ts.CompilerOptions = program.getCompilerOptions();
+  const strict: boolean =
+    compilerOptions.strictNullChecks !== undefined
+      ? !!compilerOptions.strictNullChecks
+      : !!compilerOptions.strict;
+  if (strict === false)
+    extras.addDiagnostic({
+      category: ts.DiagnosticCategory.Error,
+      code: "(typia)" as any,
+      file: undefined,
+      start: undefined,
+      length: undefined,
+      messageText: "strict mode is required.",
+    });
+  return FileTransformer.transform({
+    program,
+    compilerOptions,
+    checker: program.getTypeChecker(),
+    printer: ts.createPrinter(),
+    options: options ?? {},
+    extras,
+  });
+};
+export default transform;