typia 7.0.0-dev.20241003 → 7.0.0-dev.20241005

package/src/schemas/metadata/MetadataConstantValue.ts

@@ -1,62 +1,62 @@
-import { ClassProperties } from "../../typings/ClassProperties";
-
-import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataConstantValue } from "./IMetadataConstantValue";
-import { IMetadataTypeTag } from "./IMetadataTypeTag";
-
-export class MetadataConstantValue {
-  public readonly value: boolean | bigint | number | string;
-  public tags: IMetadataTypeTag[][] | undefined;
-  public readonly description?: string | null;
-  public readonly jsDocTags?: IJsDocTagInfo[];
-  private name_?: string;
-
-  private constructor(props: ClassProperties<MetadataConstantValue>) {
-    this.value = props.value;
-    this.tags = props.tags;
-    this.description = props.description;
-    this.jsDocTags = props.jsDocTags;
-  }
-
-  public static create(
-    props: ClassProperties<MetadataConstantValue>,
-  ): MetadataConstantValue {
-    return new MetadataConstantValue(props);
-  }
-
-  public static from(json: IMetadataConstantValue<any>): MetadataConstantValue {
-    return MetadataConstantValue.create({
-      value: typeof json.value === "bigint" ? BigInt(json.value) : json.value,
-      tags: json.tags,
-      description: json.description,
-      jsDocTags: json.jsDocTags,
-    });
-  }
-
-  public getName(): string {
-    return (this.name_ ??= getName(this));
-  }
-
-  public toJSON(): IMetadataConstantValue<any> {
-    return {
-      value:
-        typeof this.value === "bigint" ? this.value.toString() : this.value,
-      tags: this.tags,
-      description: this.description,
-      jsDocTags: this.jsDocTags,
-    };
-  }
-}
-
-const getName = (obj: MetadataConstantValue): string => {
-  const base: string =
-    typeof obj.value === "string"
-      ? JSON.stringify(obj.value)
-      : obj.value.toString();
-  if (!obj.tags?.length) return base;
-  const rows: string[] = obj.tags.map((row) => {
-    const str: string = row.map((t) => t.name).join(" & ");
-    return row.length === 1 ? str : `(${str})`;
-  });
-  return `(${base} & (${rows.join(" | ")}))`;
-};
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataConstantValue } from "./IMetadataConstantValue";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+
+export class MetadataConstantValue {
+  public readonly value: boolean | bigint | number | string;
+  public tags: IMetadataTypeTag[][] | undefined;
+  public readonly description?: string | null;
+  public readonly jsDocTags?: IJsDocTagInfo[];
+  private name_?: string;
+
+  private constructor(props: ClassProperties<MetadataConstantValue>) {
+    this.value = props.value;
+    this.tags = props.tags;
+    this.description = props.description;
+    this.jsDocTags = props.jsDocTags;
+  }
+
+  public static create(
+    props: ClassProperties<MetadataConstantValue>,
+  ): MetadataConstantValue {
+    return new MetadataConstantValue(props);
+  }
+
+  public static from(json: IMetadataConstantValue<any>): MetadataConstantValue {
+    return MetadataConstantValue.create({
+      value: typeof json.value === "bigint" ? BigInt(json.value) : json.value,
+      tags: json.tags,
+      description: json.description,
+      jsDocTags: json.jsDocTags,
+    });
+  }
+
+  public getName(): string {
+    return (this.name_ ??= getName(this));
+  }
+
+  public toJSON(): IMetadataConstantValue<any> {
+    return {
+      value:
+        typeof this.value === "bigint" ? this.value.toString() : this.value,
+      tags: this.tags,
+      description: this.description,
+      jsDocTags: this.jsDocTags,
+    };
+  }
+}
+
+const getName = (obj: MetadataConstantValue): string => {
+  const base: string =
+    typeof obj.value === "string"
+      ? JSON.stringify(obj.value)
+      : obj.value.toString();
+  if (!obj.tags?.length) return base;
+  const rows: string[] = obj.tags.map((row) => {
+    const str: string = row.map((t) => t.name).join(" & ");
+    return row.length === 1 ? str : `(${str})`;
+  });
+  return `(${base} & (${rows.join(" | ")}))`;
+};

package/src/schemas/metadata/MetadataObject.ts

@@ -1,139 +1,139 @@
-import { ClassProperties } from "../../typings/ClassProperties";
-
-import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataObject } from "./IMetadataObject";
-import { MetadataProperty } from "./MetadataProperty";
-
-export class MetadataObject {
-  public readonly name: string;
-  public readonly properties: Array<MetadataProperty>;
-  public readonly description: string | undefined;
-  public readonly jsDocTags: IJsDocTagInfo[];
-
-  public readonly index: number;
-  public validated: boolean;
-  public recursive: boolean;
-  public nullables: boolean[] = [];
-
-  /**
-   * @internal
-   */
-  public tagged_: boolean = false;
-
-  /**
-   * @internal
-   */
-  private literal_?: boolean;
-
-  /* -----------------------------------------------------------
-        CONSTRUCTORS
-    ----------------------------------------------------------- */
-  /**
-   * @hidden
-   */
-  private constructor(props: Omit<ClassProperties<MetadataObject>, "tagged_">) {
-    this.name = props.name;
-    this.properties = props.properties;
-    this.description = props.description;
-    this.jsDocTags = props.jsDocTags;
-
-    this.index = props.index;
-    this.validated = props.validated;
-    this.recursive = props.recursive;
-    this.nullables = props.nullables.slice();
-
-    this.tagged_ = false;
-  }
-
-  /**
-   * @internal
-   */
-  public static create(
-    props: Omit<ClassProperties<MetadataObject>, "tagged_">,
-  ) {
-    return new MetadataObject(props);
-  }
-
-  /**
-   * @internal
-   */
-  public static _From_without_properties(obj: IMetadataObject): MetadataObject {
-    return MetadataObject.create({
-      name: obj.name,
-      properties: [],
-      description: obj.description,
-      jsDocTags: obj.jsDocTags,
-
-      index: obj.index,
-      validated: false,
-      recursive: obj.recursive,
-      nullables: obj.nullables.slice(),
-    });
-  }
-
-  public isPlain(level: number = 0): boolean {
-    return (
-      this.recursive === false &&
-      this.properties.length < 10 &&
-      this.properties.every(
-        (property) =>
-          property.key.isSoleLiteral() &&
-          property.value.size() === 1 &&
-          property.value.isRequired() === true &&
-          property.value.nullable === false &&
-          (property.value.atomics.length === 1 ||
-            (level < 1 &&
-              property.value.objects.length === 1 &&
-              property.value.objects[0]!.isPlain(level + 1))),
-      )
-    );
-  }
-
-  public isLiteral(): boolean {
-    return (this.literal_ ??= (() => {
-      if (this.recursive === true) return false;
-      return (
-        this.name === "__type" ||
-        this.name === "__object" ||
-        this.name.startsWith("__type.") ||
-        this.name.startsWith("__object.") ||
-        this.name.includes("readonly [")
-      );
-    })());
-  }
-
-  public toJSON(): IMetadataObject {
-    return {
-      name: this.name,
-      properties: this.properties.map((property) => property.toJSON()),
-      description: this.description,
-      jsDocTags: this.jsDocTags,
-
-      index: this.index,
-      recursive: this.recursive,
-      nullables: this.nullables.slice(),
-    };
-  }
-}
-
-/**
- * @internal
- */
-export namespace MetadataObject {
-  export const intersects = (x: MetadataObject, y: MetadataObject): boolean =>
-    x.properties.some(
-      (prop) =>
-        y.properties.find(
-          (oppo) => prop.key.getName() === oppo.key.getName(),
-        ) !== undefined,
-    );
-
-  export const covers = (x: MetadataObject, y: MetadataObject): boolean =>
-    x.properties.length >= y.properties.length &&
-    x.properties.every(
-      (prop) =>
-        y.properties.find(
-          (oppo) => prop.key.getName() === oppo.key.getName(),
-        ) !== undefined,
-    );
-}
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataObject } from "./IMetadataObject";
+import { MetadataProperty } from "./MetadataProperty";
+
+export class MetadataObject {
+  public readonly name: string;
+  public readonly properties: Array<MetadataProperty>;
+  public readonly description: string | undefined;
+  public readonly jsDocTags: IJsDocTagInfo[];
+
+  public readonly index: number;
+  public validated: boolean;
+  public recursive: boolean;
+  public nullables: boolean[] = [];
+
+  /**
+   * @internal
+   */
+  public tagged_: boolean = false;
+
+  /**
+   * @internal
+   */
+  private literal_?: boolean;
+
+  /* -----------------------------------------------------------
+        CONSTRUCTORS
+    ----------------------------------------------------------- */
+  /**
+   * @hidden
+   */
+  private constructor(props: Omit<ClassProperties<MetadataObject>, "tagged_">) {
+    this.name = props.name;
+    this.properties = props.properties;
+    this.description = props.description;
+    this.jsDocTags = props.jsDocTags;
+
+    this.index = props.index;
+    this.validated = props.validated;
+    this.recursive = props.recursive;
+    this.nullables = props.nullables.slice();
+
+    this.tagged_ = false;
+  }
+
+  /**
+   * @internal
+   */
+  public static create(
+    props: Omit<ClassProperties<MetadataObject>, "tagged_">,
+  ) {
+    return new MetadataObject(props);
+  }
+
+  /**
+   * @internal
+   */
+  public static _From_without_properties(obj: IMetadataObject): MetadataObject {
+    return MetadataObject.create({
+      name: obj.name,
+      properties: [],
+      description: obj.description,
+      jsDocTags: obj.jsDocTags,
+
+      index: obj.index,
+      validated: false,
+      recursive: obj.recursive,
+      nullables: obj.nullables.slice(),
+    });
+  }
+
+  public isPlain(level: number = 0): boolean {
+    return (
+      this.recursive === false &&
+      this.properties.length < 10 &&
+      this.properties.every(
+        (property) =>
+          property.key.isSoleLiteral() &&
+          property.value.size() === 1 &&
+          property.value.isRequired() === true &&
+          property.value.nullable === false &&
+          (property.value.atomics.length === 1 ||
+            (level < 1 &&
+              property.value.objects.length === 1 &&
+              property.value.objects[0]!.isPlain(level + 1))),
+      )
+    );
+  }
+
+  public isLiteral(): boolean {
+    return (this.literal_ ??= (() => {
+      if (this.recursive === true) return false;
+      return (
+        this.name === "__type" ||
+        this.name === "__object" ||
+        this.name.startsWith("__type.") ||
+        this.name.startsWith("__object.") ||
+        this.name.includes("readonly [")
+      );
+    })());
+  }
+
+  public toJSON(): IMetadataObject {
+    return {
+      name: this.name,
+      properties: this.properties.map((property) => property.toJSON()),
+      description: this.description,
+      jsDocTags: this.jsDocTags,
+
+      index: this.index,
+      recursive: this.recursive,
+      nullables: this.nullables.slice(),
+    };
+  }
+}
+
+/**
+ * @internal
+ */
+export namespace MetadataObject {
+  export const intersects = (x: MetadataObject, y: MetadataObject): boolean =>
+    x.properties.some(
+      (prop) =>
+        y.properties.find(
+          (oppo) => prop.key.getName() === oppo.key.getName(),
+        ) !== undefined,
+    );
+
+  export const covers = (x: MetadataObject, y: MetadataObject): boolean =>
+    x.properties.length >= y.properties.length &&
+    x.properties.every(
+      (prop) =>
+        y.properties.find(
+          (oppo) => prop.key.getName() === oppo.key.getName(),
+        ) !== undefined,
+    );
+}

package/src/transformers/FileTransformer.ts

@@ -1,5 +1,7 @@
 import ts from "typescript";
 
+import { ImportProgrammer } from "../programmers/ImportProgrammer";
+
 import { Singleton } from "../utils/Singleton";
 
 import { ITypiaContext } from "./ITypiaContext";
@@ -8,18 +10,20 @@ import { TransformerError } from "./TransformerError";
 
 export namespace FileTransformer {
   export const transform =
-    (environments: Omit<ITypiaContext, "transformer">) =>
+    (environments: Omit<ITypiaContext, "transformer" | "importer">) =>
     (transformer: ts.TransformationContext) =>
     (file: ts.SourceFile): ts.SourceFile => {
       if (file.isDeclarationFile) return file;
 
+      const importer: ImportProgrammer = new ImportProgrammer();
       const context: ITypiaContext = {
         ...environments,
         transformer,
+        importer,
       };
       checkJsDocParsingMode.get(context, file);
 
-      return ts.visitEachChild(
+      file = ts.visitEachChild(
         file,
         (node) =>
           iterate_node({
@@ -28,6 +32,21 @@ export namespace FileTransformer {
           }),
         transformer,
       );
+      return ts.factory.updateSourceFile(
+        file,
+        [...importer.toStatements(), ...file.statements],
+        false,
+        file.referencedFiles,
+        file.typeReferenceDirectives,
+        file.hasNoDefaultLib,
+        file.libReferenceDirectives,
+      );
+      // return ts.factory.createSourceFile(
+      //   file.statements,
+      //   // [...importer.toStatements(), ...file.statements],
+      //   file.endOfFileToken as any,
+      //   file.flags,
+      // );
     };
 
   const iterate_node = (props: {

package/src/transformers/ITypiaContext.ts

@@ -1,5 +1,7 @@
 import ts from "typescript";
 
+import { ImportProgrammer } from "../programmers/ImportProgrammer";
+
 import { ITransformOptions } from "./ITransformOptions";
 
 export interface ITypiaContext {
@@ -9,6 +11,7 @@ export interface ITypiaContext {
   printer: ts.Printer;
   options: ITransformOptions;
   transformer: ts.TransformationContext;
+  importer: ImportProgrammer;
   extras: {
     addDiagnostic: (diag: ts.Diagnostic) => number;
   };

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

@@ -2,12 +2,10 @@ import { ILlmApplication } from "@samchon/openapi";
 import ts from "typescript";
 
 import { ExpressionFactory } from "../../../factories/ExpressionFactory";
-import { IdentifierFactory } from "../../../factories/IdentifierFactory";
 import { LiteralFactory } from "../../../factories/LiteralFactory";
 import { MetadataCollection } from "../../../factories/MetadataCollection";
 import { MetadataFactory } from "../../../factories/MetadataFactory";
 import { StatementFactory } from "../../../factories/StatementFactory";
-import { TypeFactory } from "../../../factories/TypeFactory";
 
 import { Metadata } from "../../../schemas/metadata/Metadata";
 
@@ -69,10 +67,7 @@ export namespace LlmApplicationTransformer {
           }),
           ts.factory.createExpressionStatement(
             ts.factory.createCallExpression(
-              ts.factory.createAsExpression(
-                IdentifierFactory.access(props.modulo, "finalize"),
-                TypeFactory.keyword("any"),
-              ),
+              props.context.importer.internal("$llmApplicationFinalize"),
               undefined,
               [
                 ts.factory.createIdentifier("app"),

package/src/typings/Equal.ts

@@ -1,18 +1,18 @@
-/**
- * Compare the equivalence of the two types X and Y.
- *
- * The two types X and Y refer to any type that can be expressed in the type script, such as the union type and the object type.
- *
- * @template X One of the types to compare
- * @template Y One of the types to compare
- *
- * ```ts
- * type Answer = Equal<1 | 2, 1 | 2>; // true
- * ```
- *
- * @author Kyungsu Kang - https://github.com/kakasoo
- */
-export type Equal<X, Y> =
-  (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2
-    ? true
-    : false;
+/**
+ * Compare the equivalence of the two types X and Y.
+ *
+ * The two types X and Y refer to any type that can be expressed in the type script, such as the union type and the object type.
+ *
+ * @template X One of the types to compare
+ * @template Y One of the types to compare
+ *
+ * ```ts
+ * type Answer = Equal<1 | 2, 1 | 2>; // true
+ * ```
+ *
+ * @author Kyungsu Kang - https://github.com/kakasoo
+ */
+export type Equal<X, Y> =
+  (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2
+    ? true
+    : false;

package/src/typings/IsTuple.ts

@@ -1,9 +1,9 @@
-export type IsTuple<T extends readonly any[] | { length: number }> = [
-  T,
-] extends [never]
-  ? false
-  : T extends readonly any[]
-    ? number extends T["length"]
-      ? false
-      : true
-    : false;
+export type IsTuple<T extends readonly any[] | { length: number }> = [
+  T,
+] extends [never]
+  ? false
+  : T extends readonly any[]
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;

package/src/typings/NativeClass.ts

@@ -1,23 +1,23 @@
-export type NativeClass =
-  | Date
-  | Set<any>
-  | Map<any, any>
-  | WeakSet<any>
-  | WeakMap<any, any>
-  | Uint8Array
-  | Uint8ClampedArray
-  | Uint16Array
-  | Uint32Array
-  | BigUint64Array
-  | Int8Array
-  | Int16Array
-  | Int32Array
-  | BigInt64Array
-  | Float32Array
-  | Float64Array
-  | ArrayBuffer
-  | SharedArrayBuffer
-  | DataView
-  | Blob
-  | File
-  | RegExp;
+export type NativeClass =
+  | Date
+  | Set<any>
+  | Map<any, any>
+  | WeakSet<any>
+  | WeakMap<any, any>
+  | Uint8Array
+  | Uint8ClampedArray
+  | Uint16Array
+  | Uint32Array
+  | BigUint64Array
+  | Int8Array
+  | Int16Array
+  | Int32Array
+  | BigInt64Array
+  | Float32Array
+  | Float64Array
+  | ArrayBuffer
+  | SharedArrayBuffer
+  | DataView
+  | Blob
+  | File
+  | RegExp;

package/src/typings/ValueOf.ts

@@ -1,20 +1,20 @@
-export type ValueOf<Instance> =
-  IsValueOf<Instance, Boolean> extends true
-    ? boolean
-    : IsValueOf<Instance, Number> extends true
-      ? number
-      : IsValueOf<Instance, String> extends true
-        ? string
-        : Instance;
-
-type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
-  ? Object extends IValueOf<infer Primitive>
-    ? Instance extends Primitive
-      ? false
-      : true // not Primitive, but Object
-    : false // cannot be
-  : false;
-
-interface IValueOf<T> {
-  valueOf(): T;
-}
+export type ValueOf<Instance> =
+  IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+      ? number
+      : IsValueOf<Instance, String> extends true
+        ? string
+        : Instance;
+
+type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
+  ? Object extends IValueOf<infer Primitive>
+    ? Instance extends Primitive
+      ? false
+      : true // not Primitive, but Object
+    : false // cannot be
+  : false;
+
+interface IValueOf<T> {
+  valueOf(): T;
+}

package/src/utils/MapUtil.ts

@@ -1,14 +1,14 @@
-export namespace MapUtil {
-  export const take = <Key, T>(
-    dict: Map<Key, T>,
-    key: Key,
-    generator: () => T,
-  ): T => {
-    const oldbie: T | undefined = dict.get(key);
-    if (oldbie) return oldbie;
-
-    const value: T = generator();
-    dict.set(key, value);
-    return value;
-  };
-}
+export namespace MapUtil {
+  export const take = <Key, T>(
+    dict: Map<Key, T>,
+    key: Key,
+    generator: () => T,
+  ): T => {
+    const oldbie: T | undefined = dict.get(key);
+    if (oldbie) return oldbie;
+
+    const value: T = generator();
+    dict.set(key, value);
+    return value;
+  };
+}