@typia/transform 12.0.0-dev.20260225

package/src/features/reflect/ReflectNameTransformer.ts

@@ -0,0 +1,81 @@
+import {
+  ITypiaContext,
+  MetadataFactory,
+  MetadataSchema,
+  MetadataStorage,
+} from "@typia/core";
+import { ValidationPipe } from "@typia/interface";
+import ts from "typescript";
+
+import { ITransformProps } from "../../ITransformProps";
+import { TransformerError } from "../../TransformerError";
+
+export namespace ReflectNameTransformer {
+  export const transform = (
+    props: Pick<ITransformProps, "context" | "expression">,
+  ): ts.Expression => {
+    if (!props.expression.typeArguments?.length)
+      throw new TransformerError({
+        code: "typia.reflect.metadata",
+        message: "no generic argument.",
+      });
+    const top: ts.Node = props.expression.typeArguments[0]!;
+    const regular: boolean = (() => {
+      // CHECK SECOND ARGUMENT EXISTENCE
+      const second: ts.Node | undefined = props.expression.typeArguments[1]!;
+      if (second === undefined) return false;
+
+      // GET BOOLEAN VALUE
+      const value: MetadataSchema = getMetadata({
+        context: props.context,
+        node: second,
+      });
+      return value.size() === 1 &&
+        value.constants.length === 1 &&
+        value.constants[0]!.type === "boolean" &&
+        value.constants[0]!.values.length === 1
+        ? (value.constants[0]!.values[0]!.value as boolean)
+        : false;
+    })();
+
+    // RETURNS NAME
+    return ts.factory.createStringLiteral(
+      regular
+        ? getMetadata({
+            context: props.context,
+            node: top,
+          }).getName()
+        : top.getFullText(),
+    );
+  };
+}
+
+const getMetadata = (props: {
+  context: ITypiaContext;
+  node: ts.Node;
+}): MetadataSchema => {
+  const type: ts.Type = props.context.checker.getTypeFromTypeNode(
+    props.node as ts.TypeNode,
+  );
+  const collection: MetadataStorage = new MetadataStorage({
+    replace: MetadataStorage.replace,
+  });
+  const result: ValidationPipe<MetadataSchema, MetadataFactory.IError> =
+    MetadataFactory.analyze({
+      checker: props.context.checker,
+      transformer: props.context.transformer,
+      options: {
+        absorb: false,
+        constant: true,
+        escape: false,
+      },
+      components: collection,
+      type,
+    });
+  if (result.success === false)
+    throw TransformerError.from({
+      code: "typia.reflect.name",
+      errors: result.errors,
+    });
+  return result.data;
+};

package/src/index.ts

@@ -0,0 +1,7 @@
+import { transform } from "./transform";
+
+export default transform;
+
+export * from "./ImportTransformer";
+export * from "./TypiaGenerator";
+export * from "./transform";

package/src/internal/GenericTransformer.ts

@@ -0,0 +1,101 @@
+import { IProgrammerProps } from "@typia/core";
+import ts from "typescript";
+
+import { ITransformProps } from "../ITransformProps";
+import { TransformerError } from "../TransformerError";
+
+export namespace GenericTransformer {
+  export interface IProps extends ITransformProps {
+    method: string;
+    write: (props: IProgrammerProps) => ts.Expression | ts.ArrowFunction;
+  }
+
+  export const scalar = (props: IProps) => {
+    // CHECK PARAMETER
+    if (props.expression.arguments.length === 0)
+      throw new TransformerError({
+        code: `typia.${props.method}`,
+        message: `no input value.`,
+      });
+
+    // GET TYPE INFO
+    const [type, node, generic]: [ts.Type, ts.Node, boolean] =
+      props.expression.typeArguments && props.expression.typeArguments[0]
+        ? [
+            props.context.checker.getTypeFromTypeNode(
+              props.expression.typeArguments[0],
+            ),
+            props.expression.typeArguments[0],
+            true,
+          ]
+        : [
+            props.context.checker.getTypeAtLocation(
+              props.expression.arguments[0]!,
+            ),
+            props.expression.arguments[0]!,
+            false,
+          ];
+    if (type.isTypeParameter())
+      throw new TransformerError({
+        code: `typia.${props.method}`,
+        message: `non-specified generic argument.`,
+      });
+
+    // DO TRANSFORM
+    return ts.factory.createCallExpression(
+      props.write({
+        context: props.context,
+        modulo: props.modulo,
+        type,
+        name: generic
+          ? node.getFullText().trim()
+          : getTypeName({
+              checker: props.context.checker,
+              type,
+              node,
+            }),
+      }),
+      undefined,
+      props.expression.arguments,
+    );
+  };
+
+  export const factory = (props: IProps) => {
+    // CHECK GENERIC ARGUMENT EXISTENCE
+    if (!props.expression.typeArguments?.[0])
+      throw new TransformerError({
+        code: `typia.${props.method}`,
+        message: `generic argument is not specified.`,
+      });
+
+    // GET TYPE INFO
+    const node: ts.TypeNode = props.expression.typeArguments[0];
+    const type: ts.Type = props.context.checker.getTypeFromTypeNode(node);
+
+    if (type.isTypeParameter())
+      throw new TransformerError({
+        code: `typia.${props.method}`,
+        message: `non-specified generic argument.`,
+      });
+
+    // DO TRANSFORM
+    return props.write({
+      context: props.context,
+      modulo: props.modulo,
+      type,
+      name: node.getFullText().trim(),
+      init: props.expression.arguments[0],
+    });
+  };
+
+  const getTypeName = (props: {
+    checker: ts.TypeChecker;
+    type: ts.Type;
+    node: ts.Node;
+  }): string =>
+    props.checker.typeToString(
+      props.type,
+      props.node,
+      ts.TypeFormatFlags.NodeBuilderFlagsMask,
+    );
+}

package/src/transform.ts

@@ -0,0 +1,68 @@
+import { ITransformOptions, ITypiaContext } from "@typia/core";
+import ts from "typescript";
+
+import { FileTransformer } from "./FileTransformer";
+
+/**
+ * TypeScript transformer for typia runtime code generation.
+ *
+ * `transform` is the entry point for typia's compile-time transformation. It
+ * converts `typia.*<T>()` function calls (e.g., `typia.is<User>(data)`) into
+ * optimized runtime validation, serialization, or transformation code.
+ *
+ * The transformer analyzes the generic type parameter `T` at compile time and
+ * generates specialized code that performs type checking without runtime
+ * reflection. This approach provides both type safety and high performance.
+ *
+ * **Requirements:**
+ *
+ * - TypeScript's `strictNullChecks` or `strict` compiler option must be enabled
+ * - The transformer must be configured in `tsconfig.json` via ts-patch or
+ *   ttypescript
+ *
+ * **Configuration example (tsconfig.json):**
+ *
+ * ```json
+ * {
+ *   "compilerOptions": {
+ *     "strict": true,
+ *     "plugins": [{ "transform": "typia/lib/transform" }]
+ *   }
+ * }
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @param program TypeScript program instance from the compiler
+ * @param options Optional transformer configuration (finite, numeric,
+ *   functional, undefined)
+ * @param extras Diagnostic utilities for error reporting during transformation
+ * @returns Transformer factory that processes source files
+ */
+export const transform = (
+  program: ts.Program,
+  options: ITransformOptions | undefined,
+  extras: ITypiaContext["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,
+  });
+};