typia 3.4.13 → 3.4.15

package/src/schemas/IJsonSchema.ts

@@ -1,92 +1,90 @@
-import { IJsDocTagInfo } from "../metadata/IJsDocTagInfo";
-import { IMetadataTag } from "../metadata/IMetadataTag";
-
-import { Atomic } from "../typings/Atomic";
-
-export type IJsonSchema = IJsonSchema.NotUnknown | IJsonSchema.IUnknown;
-export namespace IJsonSchema {
-    export type NotUnknown =
-        | IEnumeration<"boolean">
-        | IEnumeration<"number">
-        | IEnumeration<"bigint">
-        | IEnumeration<"string">
-        | IBoolean
-        | INumber
-        | IBigInt
-        | IString
-        | IArray
-        | ITuple
-        | IOneOf
-        | IReference
-        | IRecursiveReference
-        | INullOnly;
-
-    /* -----------------------------------------------------------
-        ATOMICS
-    ----------------------------------------------------------- */
-    export interface IEnumeration<Literal extends Atomic.Literal>
-        extends IAtomic<Literal> {
-        enum: Array<Atomic.Mapper[Literal]>;
-    }
-    export interface IAtomic<Literal extends Atomic.Literal>
-        extends ISignificant<Literal> {
-        default?: Atomic.Mapper[Literal];
-    }
-    export interface IString extends IAtomic<"string"> {
-        minLength?: number;
-        maxLength?: number;
-        pattern?: string;
-        format?: string;
-    }
-    export interface INumber extends IAtomic<"number" | "integer"> {
-        minimum?: number;
-        maximum?: number;
-        exclusiveMinimum?: number;
-        exclusiveMaximum?: number;
-        multipleOf?: number;
-    }
-    export interface IBoolean extends IAtomic<"boolean"> {}
-    export interface IBigInt extends IAtomic<"bigint"> {}
-
-    /* -----------------------------------------------------------
-        OBJECTS
-    ----------------------------------------------------------- */
-    export interface IArray extends ISignificant<"array"> {
-        items: IJsonSchema;
-        minItems?: number;
-        maxItems?: number;
-    }
-    export interface ITuple extends ISignificant<"array"> {
-        items: IJsonSchema[];
-    }
-    export interface IReference extends IAttribute {
-        $ref: string;
-    }
-    export interface IRecursiveReference extends IAttribute {
-        $recursiveRef: string;
-    }
-    export interface INullOnly extends IAttribute {
-        type: "null";
-    }
-
-    /* -----------------------------------------------------------
-        MISCELLANEOUS
-    ----------------------------------------------------------- */
-    export interface IOneOf extends IAttribute {
-        oneOf: IJsonSchema[];
-    }
-    export interface IUnknown {}
-
-    export interface ISignificant<Literal extends string> extends IAttribute {
-        type: Literal;
-        nullable: boolean;
-    }
-    export interface IAttribute {
-        deprecated?: boolean;
-        title?: string;
-        description?: string;
-        "x-typia-metaTags"?: IMetadataTag[];
-        "x-typia-jsDocTags"?: IJsDocTagInfo[];
-        "x-typia-required"?: boolean;
-    }
-}
+import { IJsDocTagInfo } from "../metadata/IJsDocTagInfo";
+import { IMetadataTag } from "../metadata/IMetadataTag";
+
+import { Atomic } from "../typings/Atomic";
+
+export type IJsonSchema = IJsonSchema.NotUnknown | IJsonSchema.IUnknown;
+export namespace IJsonSchema {
+    export type NotUnknown =
+        | IEnumeration<"boolean">
+        | IEnumeration<"number">
+        | IEnumeration<"string">
+        | IBoolean
+        | INumber
+        | IString
+        | IArray
+        | ITuple
+        | IOneOf
+        | IReference
+        | IRecursiveReference
+        | INullOnly;
+
+    /* -----------------------------------------------------------
+        ATOMICS
+    ----------------------------------------------------------- */
+    export interface IEnumeration<
+        Literal extends Exclude<Atomic.Literal, "bigint">,
+    > extends IAtomic<Literal> {
+        enum: Array<Atomic.Mapper[Literal]>;
+    }
+    export interface IAtomic<Literal extends Exclude<Atomic.Literal, "bigint">>
+        extends ISignificant<Literal> {
+        default?: Atomic.Mapper[Literal];
+    }
+    export interface IString extends IAtomic<"string"> {
+        minLength?: number;
+        maxLength?: number;
+        pattern?: string;
+        format?: string;
+    }
+    export interface INumber extends IAtomic<"number" | "integer"> {
+        minimum?: number;
+        maximum?: number;
+        exclusiveMinimum?: number;
+        exclusiveMaximum?: number;
+        multipleOf?: number;
+    }
+    export interface IBoolean extends IAtomic<"boolean"> {}
+
+    /* -----------------------------------------------------------
+        OBJECTS
+    ----------------------------------------------------------- */
+    export interface IArray extends ISignificant<"array"> {
+        items: IJsonSchema;
+        minItems?: number;
+        maxItems?: number;
+    }
+    export interface ITuple extends ISignificant<"array"> {
+        items: IJsonSchema[];
+    }
+    export interface IReference extends IAttribute {
+        $ref: string;
+    }
+    export interface IRecursiveReference extends IAttribute {
+        $recursiveRef: string;
+    }
+    export interface INullOnly extends IAttribute {
+        type: "null";
+    }
+
+    /* -----------------------------------------------------------
+        MISCELLANEOUS
+    ----------------------------------------------------------- */
+    export interface IOneOf extends IAttribute {
+        oneOf: IJsonSchema[];
+    }
+    export interface IUnknown {}
+
+    export interface ISignificant<Literal extends string> extends IAttribute {
+        type: Literal;
+        nullable: boolean;
+    }
+    export interface IAttribute {
+        deprecated?: boolean;
+        title?: string;
+        description?: string;
+        "x-typia-metaTags"?: IMetadataTag[];
+        "x-typia-jsDocTags"?: IJsDocTagInfo[];
+        "x-typia-required"?: boolean;
+    }
+}

package/src/transform.ts

@@ -1,20 +1,20 @@
-import ts from "typescript";
-
-import { FileTransformer } from "./transformers/FileTransformer";
-import { IProject } from "./transformers/IProject";
-import { ITransformOptions } from "./transformers/ITransformOptions";
-
-export default function transform(
-    program: ts.Program,
-    options?: ITransformOptions,
-): ts.TransformerFactory<ts.SourceFile> {
-    const project: IProject = {
-        program,
-        compilerOptions: program.getCompilerOptions(),
-        checker: program.getTypeChecker(),
-        printer: ts.createPrinter(),
-        options: options || {},
-    };
-    return (context) => (file) =>
-        FileTransformer.transform(project, context, file);
-}
+import ts from "typescript";
+
+import { FileTransformer } from "./transformers/FileTransformer";
+import { IProject } from "./transformers/IProject";
+import { ITransformOptions } from "./transformers/ITransformOptions";
+
+export default function transform(
+    program: ts.Program,
+    options?: ITransformOptions,
+): ts.TransformerFactory<ts.SourceFile> {
+    const project: IProject = {
+        program,
+        compilerOptions: program.getCompilerOptions(),
+        checker: program.getTypeChecker(),
+        printer: ts.createPrinter(),
+        options: options || {},
+    };
+    return (context) => (file) =>
+        FileTransformer.transform(project, context, file);
+}

package/src/transformers/CallExpressionTransformer.ts

@@ -1,124 +1,124 @@
-import path from "path";
-import ts from "typescript";
-
-import { IProject } from "./IProject";
-import { ApplicationTransformer } from "./features/miscellaneous/ApplicationTransformer";
-import { MetadataTransformer } from "./features/miscellaneous/MetadataTransformer";
-import { AssertParseTransformer } from "./features/parsers/AssertParseTransformer";
-import { CreateAssertParseTransformer } from "./features/parsers/CreateAssertParseTransformer";
-import { CreateIsParseTransformer } from "./features/parsers/CreateIsParseTransformer";
-import { CreateValidateParseTransformer } from "./features/parsers/CreateValidateParseTransformer";
-import { IsParseTransformer } from "./features/parsers/IsParseTransformer";
-import { ValidateParseTransformer } from "./features/parsers/ValidateParseTransformer";
-import { AssertStringifyTransformer } from "./features/stringifiers/AssertStringifyTransformer";
-import { CreateAssertStringifyTransformer } from "./features/stringifiers/CreateAssertStringifyTransformer";
-import { CreateIsStringifyTransformer } from "./features/stringifiers/CreateIsStringifyTransformer";
-import { CreateStringifyTransformer } from "./features/stringifiers/CreateStringifyTransformer";
-import { CreateValidateStringifyTransformer } from "./features/stringifiers/CreateValidateStringifyProgrammer";
-import { IsStringifyTransformer } from "./features/stringifiers/IsStringifyTransformer";
-import { StringifyTransformer } from "./features/stringifiers/StringifyTransformer";
-import { ValidateStringifyTransformer } from "./features/stringifiers/ValidateStringifyTransformer";
-import { AssertTransformer } from "./features/validators/AssertTransformer";
-import { CreateAssertTransformer } from "./features/validators/CreateAssertTransformer";
-import { CreateIsTransformer } from "./features/validators/CreateIsTransformer";
-import { CreateValidateTransformer } from "./features/validators/CreateValidateTransformer";
-import { IsTransformer } from "./features/validators/IsTransformer";
-import { ValidateTransformer } from "./features/validators/ValidateTransformer";
-
-export namespace CallExpressionTransformer {
-    export function transform(
-        project: IProject,
-        expression: ts.CallExpression,
-    ): ts.Expression {
-        //----
-        // VALIDATIONS
-        //----
-        // SIGNATURE DECLARATION
-        const declaration: ts.Declaration | undefined =
-            project.checker.getResolvedSignature(expression)?.declaration;
-        if (!declaration) return expression;
-
-        // FILE PATH
-        const file: string = path.resolve(declaration.getSourceFile().fileName);
-        if (file.indexOf(LIB_PATH) === -1 && file !== SRC_PATH)
-            return expression;
-
-        //----
-        // TRANSFORMATION
-        //----
-        // FUNCTION NAME
-        const { name } = project.checker.getTypeAtLocation(declaration).symbol;
-
-        // FIND TRANSFORMER
-        const functor: (() => Task) | undefined = FUNCTORS[name];
-        if (functor === undefined) return expression;
-
-        // RETURNS WITH TRANSFORMATION
-        return functor()(project, expression.expression, expression);
-    }
-}
-
-type Task = (
-    project: IProject,
-    modulo: ts.LeftHandSideExpression,
-    expression: ts.CallExpression,
-) => ts.Expression;
-
-const LIB_PATH = path.join("node_modules", "typia", "lib", "module.d.ts");
-const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
-
-const FUNCTORS: Record<string, () => Task> = {
-    //----
-    // SINGLE FUNCTIONS
-    //----
-    // BASIC VALIDATORS
-    assert: () => AssertTransformer.transform(false),
-    assertType: () => AssertTransformer.transform(false),
-    is: () => IsTransformer.transform(false),
-    validate: () => ValidateTransformer.transform(false),
-
-    // STRICT VALIDATORS
-    assertEquals: () => AssertTransformer.transform(true),
-    equals: () => IsTransformer.transform(true),
-    validateEquals: () => ValidateTransformer.transform(true),
-
-    // PARSE FUNCTIONS
-    isParse: () => IsParseTransformer.transform,
-    assertParse: () => AssertParseTransformer.transform,
-    validateParse: () => ValidateParseTransformer.transform,
-
-    // STRINGIFY FUNCTIONS
-    stringify: () => StringifyTransformer.transform,
-    assertStringify: () => AssertStringifyTransformer.transform,
-    isStringify: () => IsStringifyTransformer.transform,
-    validateStringify: () => ValidateStringifyTransformer.transform,
-
-    // MISC
-    application: () => ApplicationTransformer.transform,
-    metadata: () => MetadataTransformer.transform,
-
-    //----
-    // FACTORY FUNCTIONS
-    //----
-    // BASIC VALIDATORS
-    createAssert: () => CreateAssertTransformer.transform(false),
-    createAssertType: () => CreateAssertTransformer.transform(false),
-    createIs: () => CreateIsTransformer.transform(false),
-    createValidate: () => CreateValidateTransformer.transform(false),
-
-    // STRICT VALIDATORS
-    createAssertEquals: () => CreateAssertTransformer.transform(true),
-    createEquals: () => CreateIsTransformer.transform(true),
-    createValidateEquals: () => CreateValidateTransformer.transform(true),
-
-    // PARSE FUNCTIONS
-    createIsParse: () => CreateIsParseTransformer.transform,
-    createAssertParse: () => CreateAssertParseTransformer.transform,
-    createValidateParse: () => CreateValidateParseTransformer.transform,
-
-    // STRINGIFY FUNCTIONS
-    createStringify: () => CreateStringifyTransformer.transform,
-    createAssertStringify: () => CreateAssertStringifyTransformer.transform,
-    createIsStringify: () => CreateIsStringifyTransformer.transform,
-    createValidateStringify: () => CreateValidateStringifyTransformer.transform,
-};
+import path from "path";
+import ts from "typescript";
+
+import { IProject } from "./IProject";
+import { ApplicationTransformer } from "./features/miscellaneous/ApplicationTransformer";
+import { MetadataTransformer } from "./features/miscellaneous/MetadataTransformer";
+import { AssertParseTransformer } from "./features/parsers/AssertParseTransformer";
+import { CreateAssertParseTransformer } from "./features/parsers/CreateAssertParseTransformer";
+import { CreateIsParseTransformer } from "./features/parsers/CreateIsParseTransformer";
+import { CreateValidateParseTransformer } from "./features/parsers/CreateValidateParseTransformer";
+import { IsParseTransformer } from "./features/parsers/IsParseTransformer";
+import { ValidateParseTransformer } from "./features/parsers/ValidateParseTransformer";
+import { AssertStringifyTransformer } from "./features/stringifiers/AssertStringifyTransformer";
+import { CreateAssertStringifyTransformer } from "./features/stringifiers/CreateAssertStringifyTransformer";
+import { CreateIsStringifyTransformer } from "./features/stringifiers/CreateIsStringifyTransformer";
+import { CreateStringifyTransformer } from "./features/stringifiers/CreateStringifyTransformer";
+import { CreateValidateStringifyTransformer } from "./features/stringifiers/CreateValidateStringifyProgrammer";
+import { IsStringifyTransformer } from "./features/stringifiers/IsStringifyTransformer";
+import { StringifyTransformer } from "./features/stringifiers/StringifyTransformer";
+import { ValidateStringifyTransformer } from "./features/stringifiers/ValidateStringifyTransformer";
+import { AssertTransformer } from "./features/validators/AssertTransformer";
+import { CreateAssertTransformer } from "./features/validators/CreateAssertTransformer";
+import { CreateIsTransformer } from "./features/validators/CreateIsTransformer";
+import { CreateValidateTransformer } from "./features/validators/CreateValidateTransformer";
+import { IsTransformer } from "./features/validators/IsTransformer";
+import { ValidateTransformer } from "./features/validators/ValidateTransformer";
+
+export namespace CallExpressionTransformer {
+    export function transform(
+        project: IProject,
+        expression: ts.CallExpression,
+    ): ts.Expression {
+        //----
+        // VALIDATIONS
+        //----
+        // SIGNATURE DECLARATION
+        const declaration: ts.Declaration | undefined =
+            project.checker.getResolvedSignature(expression)?.declaration;
+        if (!declaration) return expression;
+
+        // FILE PATH
+        const file: string = path.resolve(declaration.getSourceFile().fileName);
+        if (file.indexOf(LIB_PATH) === -1 && file !== SRC_PATH)
+            return expression;
+
+        //----
+        // TRANSFORMATION
+        //----
+        // FUNCTION NAME
+        const { name } = project.checker.getTypeAtLocation(declaration).symbol;
+
+        // FIND TRANSFORMER
+        const functor: (() => Task) | undefined = FUNCTORS[name];
+        if (functor === undefined) return expression;
+
+        // RETURNS WITH TRANSFORMATION
+        return functor()(project, expression.expression, expression);
+    }
+}
+
+type Task = (
+    project: IProject,
+    modulo: ts.LeftHandSideExpression,
+    expression: ts.CallExpression,
+) => ts.Expression;
+
+const LIB_PATH = path.join("node_modules", "typia", "lib", "module.d.ts");
+const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
+
+const FUNCTORS: Record<string, () => Task> = {
+    //----
+    // SINGLE FUNCTIONS
+    //----
+    // BASIC VALIDATORS
+    assert: () => AssertTransformer.transform(false),
+    assertType: () => AssertTransformer.transform(false),
+    is: () => IsTransformer.transform(false),
+    validate: () => ValidateTransformer.transform(false),
+
+    // STRICT VALIDATORS
+    assertEquals: () => AssertTransformer.transform(true),
+    equals: () => IsTransformer.transform(true),
+    validateEquals: () => ValidateTransformer.transform(true),
+
+    // PARSE FUNCTIONS
+    isParse: () => IsParseTransformer.transform,
+    assertParse: () => AssertParseTransformer.transform,
+    validateParse: () => ValidateParseTransformer.transform,
+
+    // STRINGIFY FUNCTIONS
+    stringify: () => StringifyTransformer.transform,
+    assertStringify: () => AssertStringifyTransformer.transform,
+    isStringify: () => IsStringifyTransformer.transform,
+    validateStringify: () => ValidateStringifyTransformer.transform,
+
+    // MISC
+    application: () => ApplicationTransformer.transform,
+    metadata: () => MetadataTransformer.transform,
+
+    //----
+    // FACTORY FUNCTIONS
+    //----
+    // BASIC VALIDATORS
+    createAssert: () => CreateAssertTransformer.transform(false),
+    createAssertType: () => CreateAssertTransformer.transform(false),
+    createIs: () => CreateIsTransformer.transform(false),
+    createValidate: () => CreateValidateTransformer.transform(false),
+
+    // STRICT VALIDATORS
+    createAssertEquals: () => CreateAssertTransformer.transform(true),
+    createEquals: () => CreateIsTransformer.transform(true),
+    createValidateEquals: () => CreateValidateTransformer.transform(true),
+
+    // PARSE FUNCTIONS
+    createIsParse: () => CreateIsParseTransformer.transform,
+    createAssertParse: () => CreateAssertParseTransformer.transform,
+    createValidateParse: () => CreateValidateParseTransformer.transform,
+
+    // STRINGIFY FUNCTIONS
+    createStringify: () => CreateStringifyTransformer.transform,
+    createAssertStringify: () => CreateAssertStringifyTransformer.transform,
+    createIsStringify: () => CreateIsStringifyTransformer.transform,
+    createValidateStringify: () => CreateValidateStringifyTransformer.transform,
+};

package/src/transformers/ExpressionWithArgumentTransformer.ts

@@ -1,66 +1,66 @@
-// import path from "path";
-// import ts from "typescript";
-// import { AssertProgrammer } from "../programmers/AssertProgrammer";
-// import { IsProgrammer } from "../programmers/IsProgrammer";
-// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
-// import { IProject } from "../structures/IProject";
-
-// export namespace ExpressionWithArgumentTransformer {
-//     export function transform(
-//         project: IProject,
-//         expression: ts.ExpressionWithTypeArguments,
-//     ): ts.Expression {
-//         //----
-//         // VALIDATIONS
-//         //----
-//         // SYMBOL DECLARATION
-//         const symbol: ts.Symbol | undefined =
-//             project.checker.getSymbolAtLocation(expression.expression);
-//         const declaration: ts.Declaration | undefined = symbol?.declarations
-//             ? symbol.declarations[0]
-//             : undefined;
-//         if (!declaration) return expression;
-
-//         // FILE PATH
-//         const file: string = path.resolve(declaration.getSourceFile().fileName);
-//         if (file !== LIB_PATH && file !== SRC_PATH) return expression;
-
-//         // ARGUMENTS
-//         if (expression.typeArguments?.length !== 1) return expression;
-
-//         //----
-//         // TRANSFORMATION
-//         //----
-//         // GET MODULO AND TYPE
-//         const modulo: ts.LeftHandSideExpression = expression.expression;
-//         const type: ts.Type = project.checker.getTypeFromTypeNode(
-//             expression.typeArguments[0]!,
-//         );
-
-//         // FUNCTION NAME
-//         const { name } = project.checker.getTypeAtLocation(declaration).symbol;
-
-//         // FIND TRANSFORMER
-//         const functor: (() => Task) | undefined = FUNCTORS[name];
-//         if (functor === undefined) return expression;
-
-//         // RETURNS WITH TRANSFORMATION
-//         return functor()(project, modulo, type);
-//     }
-// }
-
-// type Task = (
-//     project: IProject,
-//     modulo: ts.LeftHandSideExpression,
-//     type: ts.Type,
-// ) => ts.ArrowFunction;
-
-// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
-// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
-
-// const FUNCTORS: Record<string, () => Task> = {
-//     assert: () => AssertProgrammer.generate,
-//     is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
-//     stringify: () => (project, modulo, type) =>
-//         StringifyProgrammer.generate(modulo)(project, type),
-// };
+// import path from "path";
+// import ts from "typescript";
+// import { AssertProgrammer } from "../programmers/AssertProgrammer";
+// import { IsProgrammer } from "../programmers/IsProgrammer";
+// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
+// import { IProject } from "../structures/IProject";
+
+// export namespace ExpressionWithArgumentTransformer {
+//     export function transform(
+//         project: IProject,
+//         expression: ts.ExpressionWithTypeArguments,
+//     ): ts.Expression {
+//         //----
+//         // VALIDATIONS
+//         //----
+//         // SYMBOL DECLARATION
+//         const symbol: ts.Symbol | undefined =
+//             project.checker.getSymbolAtLocation(expression.expression);
+//         const declaration: ts.Declaration | undefined = symbol?.declarations
+//             ? symbol.declarations[0]
+//             : undefined;
+//         if (!declaration) return expression;
+
+//         // FILE PATH
+//         const file: string = path.resolve(declaration.getSourceFile().fileName);
+//         if (file !== LIB_PATH && file !== SRC_PATH) return expression;
+
+//         // ARGUMENTS
+//         if (expression.typeArguments?.length !== 1) return expression;
+
+//         //----
+//         // TRANSFORMATION
+//         //----
+//         // GET MODULO AND TYPE
+//         const modulo: ts.LeftHandSideExpression = expression.expression;
+//         const type: ts.Type = project.checker.getTypeFromTypeNode(
+//             expression.typeArguments[0]!,
+//         );
+
+//         // FUNCTION NAME
+//         const { name } = project.checker.getTypeAtLocation(declaration).symbol;
+
+//         // FIND TRANSFORMER
+//         const functor: (() => Task) | undefined = FUNCTORS[name];
+//         if (functor === undefined) return expression;
+
+//         // RETURNS WITH TRANSFORMATION
+//         return functor()(project, modulo, type);
+//     }
+// }
+
+// type Task = (
+//     project: IProject,
+//     modulo: ts.LeftHandSideExpression,
+//     type: ts.Type,
+// ) => ts.ArrowFunction;
+
+// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
+// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
+
+// const FUNCTORS: Record<string, () => Task> = {
+//     assert: () => AssertProgrammer.generate,
+//     is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
+//     stringify: () => (project, modulo, type) =>
+//         StringifyProgrammer.generate(modulo)(project, type),
+// };