typia 6.10.0 → 7.0.0-dev.20240916

package/src/programmers/IsProgrammer.ts

@@ -5,7 +5,8 @@ import { IdentifierFactory } from "../factories/IdentifierFactory";
 import { MetadataCollection } from "../factories/MetadataCollection";
 import { ValueFactory } from "../factories/ValueFactory";
 
-import { IProject } from "../transformers/IProject";
+import { IProgrammerProps } from "../transformers/IProgrammerProps";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 
 import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FeatureProgrammer } from "./FeatureProgrammer";
@@ -17,7 +18,7 @@ import { check_object } from "./internal/check_object";
 export namespace IsProgrammer {
   export const configure =
     (options?: Partial<CONFIG.IOptions>) =>
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (importer: FunctionImporter): CheckerProgrammer.IConfig => ({
       prefix: "$i",
       equals: !!options?.object,
@@ -96,10 +97,17 @@ export namespace IsProgrammer {
   /* -----------------------------------------------------------
     WRITERS
   ----------------------------------------------------------- */
+  export interface IConfig {
+    equals: boolean;
+  }
+  export interface IProps extends IProgrammerProps {
+    config: IConfig;
+  }
+
   export const decompose = (props: {
-    project: IProject;
+    context: ITypiaContext;
     importer: FunctionImporter;
-    equals: boolean;
+    config: IConfig;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IDecomposed => {
@@ -107,16 +115,16 @@ export namespace IsProgrammer {
     const config: CheckerProgrammer.IConfig = {
       ...configure({
         object: check_object({
-          equals: props.equals,
-          undefined: OptionPredicator.undefined(props.project.options),
+          equals: props.config.equals,
+          undefined: OptionPredicator.undefined(props.context.options),
           assert: true,
           reduce: ts.factory.createLogicalAnd,
           positive: ts.factory.createTrue(),
           superfluous: () => ts.factory.createFalse(),
-        })(props.project)(props.importer),
-        numeric: OptionPredicator.numeric(props.project.options),
-      })(props.project)(props.importer),
-      trace: props.equals,
+        })(props.context)(props.importer),
+        numeric: OptionPredicator.numeric(props.context.options),
+      })(props.context)(props.importer),
+      trace: props.config.equals,
     };
 
     // COMPOSITION
@@ -138,28 +146,26 @@ export namespace IsProgrammer {
     };
   };
 
-  export const write =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (equals: boolean) =>
-    (type: ts.Type, name?: string) => {
-      const importer: FunctionImporter = new FunctionImporter(modulo.getText());
-      const result: FeatureProgrammer.IDecomposed = decompose({
-        equals,
-        project,
-        importer,
-        type,
-        name,
-      });
-      return FeatureProgrammer.writeDecomposed({
-        modulo,
-        importer,
-        result,
-      });
-    };
+  export const write = (props: IProps) => {
+    const importer: FunctionImporter = new FunctionImporter(
+      props.modulo.getText(),
+    );
+    const result: FeatureProgrammer.IDecomposed = decompose({
+      config: props.config,
+      context: props.context,
+      importer,
+      type: props.type,
+      name: props.name,
+    });
+    return FeatureProgrammer.writeDecomposed({
+      modulo: props.modulo,
+      importer,
+      result,
+    });
+  };
 
   export const write_function_statements =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (importer: FunctionImporter) =>
     (collection: MetadataCollection) => {
       const config = configure()(project)(importer);
@@ -191,11 +197,14 @@ export namespace IsProgrammer {
   /* -----------------------------------------------------------
         DECODERS
     ----------------------------------------------------------- */
-  export const decode = (project: IProject) => (importer: FunctionImporter) =>
-    CheckerProgrammer.decode(project)(configure()(project)(importer))(importer);
+  export const decode =
+    (project: ITypiaContext) => (importer: FunctionImporter) =>
+      CheckerProgrammer.decode(project)(configure()(project)(importer))(
+        importer,
+      );
 
   export const decode_object =
-    (project: IProject) => (importer: FunctionImporter) =>
+    (project: ITypiaContext) => (importer: FunctionImporter) =>
       CheckerProgrammer.decode_object(configure()(project)(importer))(importer);
 
   export const decode_to_json =

package/src/programmers/RandomProgrammer.ts

@@ -17,7 +17,7 @@ import { MetadataTemplate } from "../schemas/metadata/MetadataTemplate";
 import { MetadataTuple } from "../schemas/metadata/MetadataTuple";
 import { MetadataTupleType } from "../schemas/metadata/MetadataTupleType";
 
-import { IProject } from "../transformers/IProject";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 import { TransformerError } from "../transformers/TransformerError";
 
 import { Escaper } from "../utils/Escaper";
@@ -30,17 +30,28 @@ import { RandomRanger } from "./helpers/RandomRanger";
 import { random_custom } from "./internal/random_custom";
 
 export namespace RandomProgrammer {
-  export const decompose = (props: {
-    project: IProject;
+  export interface IProps {
+    context: ITypiaContext;
+    modulo: ts.LeftHandSideExpression;
+    type: ts.Type;
+    name: string | undefined;
+    init: ts.Expression | undefined;
+  }
+  export interface IDecomposeProps {
+    context: ITypiaContext;
     importer: FunctionImporter;
     type: ts.Type;
     name: string | undefined;
     init: ts.Expression | undefined;
-  }): FeatureProgrammer.IDecomposed => {
+  }
+
+  export const decompose = (
+    props: IDecomposeProps,
+  ): FeatureProgrammer.IDecomposed => {
     const collection: MetadataCollection = new MetadataCollection();
     const result = MetadataFactory.analyze(
-      props.project.checker,
-      props.project.context,
+      props.context.checker,
+      props.context.transformer,
     )({
       escape: false,
       constant: true,
@@ -93,7 +104,7 @@ export namespace RandomProgrammer {
         [
           ts.factory.createTypeReferenceNode(
             props.name ??
-              TypeFactory.getFullName(props.project.checker)(props.type),
+              TypeFactory.getFullName(props.context.checker)(props.type),
           ),
         ],
         false,
@@ -125,25 +136,20 @@ export namespace RandomProgrammer {
     };
   };
 
-  export const write =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (init?: ts.Expression) =>
-    (type: ts.Type, name?: string) => {
-      const importer: FunctionImporter = new FunctionImporter(modulo.getText());
-      const result: FeatureProgrammer.IDecomposed = decompose({
-        project,
-        importer,
-        type,
-        name,
-        init,
-      });
-      return FeatureProgrammer.writeDecomposed({
-        modulo,
-        importer,
-        result,
-      });
-    };
+  export const write = (props: IProps) => {
+    const importer: FunctionImporter = new FunctionImporter(
+      props.modulo.getText(),
+    );
+    const result: FeatureProgrammer.IDecomposed = decompose({
+      ...props,
+      importer,
+    });
+    return FeatureProgrammer.writeDecomposed({
+      modulo: props.modulo,
+      importer,
+      result,
+    });
+  };
 
   const write_object_functions =
     (importer: FunctionImporter) =>

package/src/programmers/TypiaProgrammer.ts

@@ -1,157 +1,157 @@
-import fs from "fs";
-import path from "path";
-import ts from "typescript";
-
-import { ImportTransformer } from "../transformers/ImportTransformer";
-
-import transform from "../transform";
-
-export namespace TypiaProgrammer {
-  export interface IProps {
-    input: string;
-    output: string;
-    project: string;
-  }
-
-  export const build = async (props: TypiaProgrammer.IProps): Promise<void> => {
-    props.input = path.resolve(props.input);
-    props.output = path.resolve(props.output);
-
-    if ((await is_directory(props.input)) === false)
-      throw new URIError(
-        "Error on TypiaGenerator.generate(): input path is not a directory.",
-      );
-    else if (fs.existsSync(props.output) === false)
-      await fs.promises.mkdir(props.output, { recursive: true });
-    else if ((await is_directory(props.output)) === false) {
-      const parent: string = path.join(props.output, "..");
-      if ((await is_directory(parent)) === false)
-        throw new URIError(
-          "Error on TypiaGenerator.generate(): output path is not a directory.",
-        );
-      await fs.promises.mkdir(props.output);
-    }
-
-    // CREATE PROGRAM
-    const { options: compilerOptions } = ts.parseJsonConfigFileContent(
-      ts.readConfigFile(props.project, ts.sys.readFile).config,
-      {
-        fileExists: ts.sys.fileExists,
-        readFile: ts.sys.readFile,
-        readDirectory: ts.sys.readDirectory,
-        useCaseSensitiveFileNames: ts.sys.useCaseSensitiveFileNames,
-      },
-      path.dirname(props.project),
-    );
-
-    const program: ts.Program = ts.createProgram(
-      await (async () => {
-        const container: string[] = [];
-        await gather(props)(container)(props.input)(props.output);
-        return container;
-      })(),
-      compilerOptions,
-    );
-
-    // DO TRANSFORM
-    const diagnostics: ts.Diagnostic[] = [];
-    const result: ts.TransformationResult<ts.SourceFile> = ts.transform(
-      program
-        .getSourceFiles()
-        .filter(
-          (file) =>
-            !file.isDeclarationFile &&
-            path.resolve(file.fileName).indexOf(props.input) !== -1,
-        ),
-      [
-        ImportTransformer.transform(props.input)(props.output),
-        transform(
-          program,
-          ((compilerOptions.plugins as any[]) ?? []).find(
-            (p: any) =>
-              p.transform === "typia/lib/transform" ||
-              p.transform === "../src/transform.ts",
-          ) ?? {},
-          {
-            addDiagnostic: (diag) => diagnostics.push(diag),
-          },
-        ),
-      ],
-      program.getCompilerOptions(),
-    );
-
-    // TRACE ERRORS
-    for (const diag of diagnostics) {
-      const file: string = diag.file
-        ? path.relative(diag.file.fileName, process.cwd())
-        : "(unknown file)";
-      const category: string =
-        diag.category === ts.DiagnosticCategory.Warning
-          ? "warning"
-          : diag.category === ts.DiagnosticCategory.Error
-            ? "error"
-            : diag.category === ts.DiagnosticCategory.Suggestion
-              ? "suggestion"
-              : diag.category === ts.DiagnosticCategory.Message
-                ? "message"
-                : "unkown";
-      const [line, pos] = diag.file
-        ? (() => {
-            const lines: string[] = diag
-              .file!.text.substring(0, diag.start)
-              .split("\n");
-            if (lines.length === 0) return [0, 0];
-            return [lines.length, lines.at(-1)!.length + 1];
-          })()
-        : [0, 0];
-      console.error(
-        `${file}:${line}:${pos} - ${category} TS${diag.code}: ${diag.messageText}`,
-      );
-    }
-    if (diagnostics.length) process.exit(-1);
-
-    // ARCHIVE TRANSFORMED FILES
-    const printer: ts.Printer = ts.createPrinter({
-      newLine: ts.NewLineKind.LineFeed,
-    });
-    for (const file of result.transformed) {
-      const to: string = path
-        .resolve(file.fileName)
-        .replace(props.input, props.output);
-
-      const content: string = printer.printFile(file);
-      await fs.promises.writeFile(to, content, "utf8");
-    }
-  };
-
-  const is_directory = async (current: string): Promise<boolean> => {
-    const stat: fs.Stats = await fs.promises.stat(current);
-    return stat.isDirectory();
-  };
-
-  const gather =
-    (props: IProps) =>
-    (container: string[]) =>
-    (from: string) =>
-    async (to: string) => {
-      if (from === props.output) return;
-      else if (fs.existsSync(to) === false) await fs.promises.mkdir(to);
-
-      for (const file of await fs.promises.readdir(from)) {
-        const next: string = path.join(from, file);
-        const stat: fs.Stats = await fs.promises.stat(next);
-
-        if (stat.isDirectory()) {
-          await gather(props)(container)(next)(path.join(to, file));
-          continue;
-        } else if (is_supported_extension(file)) container.push(next);
-      }
-    };
-
-  const is_supported_extension = (filename: string): boolean => {
-    return (
-      (filename.endsWith(".ts") && !filename.endsWith(".d.ts")) ||
-      (filename.endsWith(".tsx") && !filename.endsWith(".d.tsx"))
-    );
-  };
-}
+import fs from "fs";
+import path from "path";
+import ts from "typescript";
+
+import { ImportTransformer } from "../transformers/ImportTransformer";
+
+import transform from "../transform";
+
+export namespace TypiaProgrammer {
+  export interface IProps {
+    input: string;
+    output: string;
+    project: string;
+  }
+
+  export const build = async (props: TypiaProgrammer.IProps): Promise<void> => {
+    props.input = path.resolve(props.input);
+    props.output = path.resolve(props.output);
+
+    if ((await is_directory(props.input)) === false)
+      throw new URIError(
+        "Error on TypiaGenerator.generate(): input path is not a directory.",
+      );
+    else if (fs.existsSync(props.output) === false)
+      await fs.promises.mkdir(props.output, { recursive: true });
+    else if ((await is_directory(props.output)) === false) {
+      const parent: string = path.join(props.output, "..");
+      if ((await is_directory(parent)) === false)
+        throw new URIError(
+          "Error on TypiaGenerator.generate(): output path is not a directory.",
+        );
+      await fs.promises.mkdir(props.output);
+    }
+
+    // CREATE PROGRAM
+    const { options: compilerOptions } = ts.parseJsonConfigFileContent(
+      ts.readConfigFile(props.project, ts.sys.readFile).config,
+      {
+        fileExists: ts.sys.fileExists,
+        readFile: ts.sys.readFile,
+        readDirectory: ts.sys.readDirectory,
+        useCaseSensitiveFileNames: ts.sys.useCaseSensitiveFileNames,
+      },
+      path.dirname(props.project),
+    );
+
+    const program: ts.Program = ts.createProgram(
+      await (async () => {
+        const container: string[] = [];
+        await gather(props)(container)(props.input)(props.output);
+        return container;
+      })(),
+      compilerOptions,
+    );
+
+    // DO TRANSFORM
+    const diagnostics: ts.Diagnostic[] = [];
+    const result: ts.TransformationResult<ts.SourceFile> = ts.transform(
+      program
+        .getSourceFiles()
+        .filter(
+          (file) =>
+            !file.isDeclarationFile &&
+            path.resolve(file.fileName).indexOf(props.input) !== -1,
+        ),
+      [
+        ImportTransformer.transform(props.input)(props.output),
+        transform(
+          program,
+          ((compilerOptions.plugins as any[]) ?? []).find(
+            (p: any) =>
+              p.transform === "typia/lib/transform" ||
+              p.transform === "../src/transform.ts",
+          ) ?? {},
+          {
+            addDiagnostic: (diag) => diagnostics.push(diag),
+          },
+        ),
+      ],
+      program.getCompilerOptions(),
+    );
+
+    // TRACE ERRORS
+    for (const diag of diagnostics) {
+      const file: string = diag.file
+        ? path.relative(diag.file.fileName, process.cwd())
+        : "(unknown file)";
+      const category: string =
+        diag.category === ts.DiagnosticCategory.Warning
+          ? "warning"
+          : diag.category === ts.DiagnosticCategory.Error
+            ? "error"
+            : diag.category === ts.DiagnosticCategory.Suggestion
+              ? "suggestion"
+              : diag.category === ts.DiagnosticCategory.Message
+                ? "message"
+                : "unkown";
+      const [line, pos] = diag.file
+        ? (() => {
+            const lines: string[] = diag
+              .file!.text.substring(0, diag.start)
+              .split("\n");
+            if (lines.length === 0) return [0, 0];
+            return [lines.length, lines.at(-1)!.length + 1];
+          })()
+        : [0, 0];
+      console.error(
+        `${file}:${line}:${pos} - ${category} TS${diag.code}: ${diag.messageText}`,
+      );
+    }
+    if (diagnostics.length) process.exit(-1);
+
+    // ARCHIVE TRANSFORMED FILES
+    const printer: ts.Printer = ts.createPrinter({
+      newLine: ts.NewLineKind.LineFeed,
+    });
+    for (const file of result.transformed) {
+      const to: string = path
+        .resolve(file.fileName)
+        .replace(props.input, props.output);
+
+      const content: string = printer.printFile(file);
+      await fs.promises.writeFile(to, content, "utf8");
+    }
+  };
+
+  const is_directory = async (current: string): Promise<boolean> => {
+    const stat: fs.Stats = await fs.promises.stat(current);
+    return stat.isDirectory();
+  };
+
+  const gather =
+    (props: IProps) =>
+    (container: string[]) =>
+    (from: string) =>
+    async (to: string) => {
+      if (from === props.output) return;
+      else if (fs.existsSync(to) === false) await fs.promises.mkdir(to);
+
+      for (const file of await fs.promises.readdir(from)) {
+        const next: string = path.join(from, file);
+        const stat: fs.Stats = await fs.promises.stat(next);
+
+        if (stat.isDirectory()) {
+          await gather(props)(container)(next)(path.join(to, file));
+          continue;
+        } else if (is_supported_extension(file)) container.push(next);
+      }
+    };
+
+  const is_supported_extension = (filename: string): boolean => {
+    return (
+      (filename.endsWith(".ts") && !filename.endsWith(".d.ts")) ||
+      (filename.endsWith(".tsx") && !filename.endsWith(".d.tsx"))
+    );
+  };
+}

package/src/programmers/ValidateProgrammer.ts

@@ -5,7 +5,8 @@ import { IdentifierFactory } from "../factories/IdentifierFactory";
 import { StatementFactory } from "../factories/StatementFactory";
 import { TypeFactory } from "../factories/TypeFactory";
 
-import { IProject } from "../transformers/IProject";
+import { IProgrammerProps } from "../transformers/IProgrammerProps";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 
 import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FeatureProgrammer } from "./FeatureProgrammer";
@@ -16,11 +17,18 @@ import { check_everything } from "./internal/check_everything";
 import { check_object } from "./internal/check_object";
 
 export namespace ValidateProgrammer {
+  export interface IConfig {
+    equals: boolean;
+  }
+  export interface IProps extends IProgrammerProps {
+    config: IConfig;
+  }
+
   export const decompose = (props: {
-    project: IProject;
+    context: ITypiaContext;
     modulo: ts.LeftHandSideExpression;
     importer: FunctionImporter;
-    equals: boolean;
+    config: IConfig;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IDecomposed => {
@@ -31,8 +39,8 @@ export namespace ValidateProgrammer {
         prefix: "$v",
         path: true,
         trace: true,
-        numeric: OptionPredicator.numeric(props.project.options),
-        equals: props.equals,
+        numeric: OptionPredicator.numeric(props.context.options),
+        equals: props.config.equals,
         atomist: (explore) => (entry) => (input) =>
           [
             ...(entry.expression ? [entry.expression] : []),
@@ -84,8 +92,8 @@ export namespace ValidateProgrammer {
                     ),
                   ]),
           ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
-        combiner: combine(props.equals)(props.project)(props.importer),
-        joiner: joiner(props.equals)(props.project)(props.importer),
+        combiner: combine(props.config.equals)(props.context)(props.importer),
+        joiner: joiner(props.config.equals)(props.context)(props.importer),
         success: ts.factory.createTrue(),
       },
     });
@@ -96,7 +104,7 @@ export namespace ValidateProgrammer {
       ts.factory.createTypeReferenceNode(
         `typia.IValidation<${
           props.name ??
-          TypeFactory.getFullName(props.project.checker)(props.type)
+          TypeFactory.getFullName(props.context.checker)(props.type)
         }>`,
       ),
       undefined,
@@ -214,31 +222,29 @@ export namespace ValidateProgrammer {
     };
   };
 
-  export const write =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (equals: boolean) =>
-    (type: ts.Type, name?: string) => {
-      const importer: FunctionImporter = new FunctionImporter(modulo.getText());
-      const result: FeatureProgrammer.IDecomposed = decompose({
-        equals,
-        project,
-        modulo,
-        importer,
-        type,
-        name,
-      });
-      return FeatureProgrammer.writeDecomposed({
-        modulo,
-        importer,
-        result,
-      });
-    };
+  export const write = (props: IProps) => {
+    const importer: FunctionImporter = new FunctionImporter(
+      props.modulo.getText(),
+    );
+    const result: FeatureProgrammer.IDecomposed = decompose({
+      config: props.config,
+      context: props.context,
+      modulo: props.modulo,
+      importer,
+      type: props.type,
+      name: props.name,
+    });
+    return FeatureProgrammer.writeDecomposed({
+      modulo: props.modulo,
+      importer,
+      result,
+    });
+  };
 }
 
 const combine =
   (equals: boolean) =>
-  (project: IProject) =>
+  (project: ITypiaContext) =>
   (importer: FunctionImporter): CheckerProgrammer.IConfig.Combiner =>
   (explore: CheckerProgrammer.IExplore) => {
     if (explore.tracable === false)
@@ -279,7 +285,9 @@ const combine =
   };
 
 const validate_object =
-  (equals: boolean) => (project: IProject) => (importer: FunctionImporter) =>
+  (equals: boolean) =>
+  (project: ITypiaContext) =>
+  (importer: FunctionImporter) =>
     check_object({
       equals,
       undefined: true,
@@ -309,7 +317,7 @@ const validate_object =
 
 const joiner =
   (equals: boolean) =>
-  (project: IProject) =>
+  (project: ITypiaContext) =>
   (importer: FunctionImporter): CheckerProgrammer.IConfig.IJoiner => ({
     object: validate_object(equals)(project)(importer),
     array: (input, arrow) =>