typia 3.8.4 → 3.8.5-dev.20230510

package/src/programmers/IsProgrammer.ts

@@ -12,6 +12,7 @@ import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FunctionImporter } from "./helpers/FunctionImporeter";
 import { IExpressionEntry } from "./helpers/IExpressionEntry";
 import { OptionPredicator } from "./helpers/OptionPredicator";
+import { disable_function_importer_declare } from "./helpers/disable_function_importer_declare";
 import { check_object } from "./internal/check_object";
 import { feature_object_entries } from "./internal/feature_object_entries";
 
@@ -103,9 +104,12 @@ export namespace IsProgrammer {
 
     export const write =
         (project: IProject) =>
-        (modulo: ts.LeftHandSideExpression) =>
+        (modulo: ts.LeftHandSideExpression, disable?: boolean) =>
         (equals: boolean) => {
-            const importer: FunctionImporter = new FunctionImporter();
+            const importer: FunctionImporter =
+                disable === true
+                    ? disable_function_importer_declare(new FunctionImporter())
+                    : new FunctionImporter();
 
             // CONFIGURATION
             const config: CheckerProgrammer.IConfig = {

package/src/programmers/ValidateProgrammer.ts

@@ -87,7 +87,7 @@ export namespace ValidateProgrammer {
                     [
                         StatementFactory.constant(
                             "__is",
-                            IsProgrammer.write(project)(modulo)(equals)(
+                            IsProgrammer.write(project)(modulo, true)(equals)(
                                 type,
                                 name ??
                                     TypeFactory.getFullName(project.checker)(

package/src/programmers/helpers/disable_function_importer_declare.ts

@@ -0,0 +1,21 @@
+import ts from "typescript";
+
+import { FunctionImporter } from "./FunctionImporeter";
+
+export const disable_function_importer_declare = (
+    importer: FunctionImporter,
+): FunctionImporter => disable(importer) as FunctionImporter;
+
+const disable = (importer: FunctionImporter): MethodOnly<FunctionImporter> => ({
+    empty: (): boolean => importer.empty(),
+    use: (name: string): ts.Identifier => importer.use(name),
+    useLocal: (name: string): string => importer.useLocal(name),
+    hasLocal: (name: string): boolean => importer.hasLocal(name),
+    declare: (_modulo: ts.LeftHandSideExpression): ts.Statement[] => [],
+    increment: (): number => importer.increment(),
+    trace: (): void => importer.trace(),
+});
+
+type MethodOnly<T> = {
+    [P in keyof T]: T[P] extends Function ? T[P] : never;
+};

package/src/programmers/internal/application_object.ts

@@ -1,155 +1,155 @@
-import { CommentFactory } from "../../factories/CommentFactory";
-
-import { IJsDocTagInfo } from "../../metadata/IJsDocTagInfo";
-import { Metadata } from "../../metadata/Metadata";
-import { MetadataObject } from "../../metadata/MetadataObject";
-import { IJsonComponents } from "../../schemas/IJsonComponents";
-
-import { PatternUtil } from "../../utils/PatternUtil";
-
-import { IJsonSchema } from "../../module";
-import { ApplicationProgrammer } from "../ApplicationProgrammer";
-import { application_schema } from "./application_schema";
-import { metadata_to_pattern } from "./metadata_to_pattern";
-
-/**
- * @internal
- */
-export const application_object =
-    (options: ApplicationProgrammer.IOptions) =>
-    (components: IJsonComponents) =>
-    (obj: MetadataObject) =>
-    (props: { key: string; nullable: boolean }): void => {
-        // TEMPORARY ASSIGNMENT
-        if (components.schemas[props.key] !== undefined) return;
-        components.schemas[props.key] = {} as any;
-
-        // ITERATE PROPERTIES
-        const properties: Record<string, any> = {};
-        const extraMeta: ISuperfluous = {
-            patternProperties: {},
-            additionalProperties: undefined,
-        };
-        const required: string[] = [];
-
-        for (const property of obj.properties) {
-            if (
-                property.value.functional === true &&
-                property.value.nullable === false &&
-                property.value.required === true &&
-                property.value.size() === 0
-            )
-                continue;
-
-            const key: string | null = property.key.getSoleLiteral();
-            const schema: IJsonSchema | null = application_schema(options)(
-                true,
-            )(components)(property.value)({
-                deprecated:
-                    !!property.jsDocTags.find(
-                        (tag) => tag.name === "deprecated",
-                    ) || undefined,
-                title: (() => {
-                    const info: IJsDocTagInfo | undefined =
-                        property.jsDocTags.find((tag) => tag.name === "title");
-                    return info?.text?.length
-                        ? CommentFactory.string(info.text)
-                        : undefined;
-                })(),
-                description: property.description,
-                "x-typia-metaTags": property.tags.length
-                    ? property.tags
-                    : undefined,
-                "x-typia-jsDocTags": property.jsDocTags.length
-                    ? property.jsDocTags
-                    : undefined,
-                "x-typia-required": property.value.required,
-                "x-typia-optional": property.value.optional,
-            });
-
-            if (schema === null) continue;
-            else if (key !== null) {
-                properties[key] = schema;
-                if (property.value.required === true) required.push(key);
-            } else {
-                const pattern: string = metadata_to_pattern(true)(property.key);
-                if (pattern === PatternUtil.STRING)
-                    extraMeta.additionalProperties = [property.value, schema];
-                else
-                    extraMeta.patternProperties[pattern] = [
-                        property.value,
-                        schema,
-                    ];
-            }
-        }
-
-        const extraProps = {
-            additionalProperties: extraMeta.additionalProperties?.[1],
-            patternProperties: (() => {
-                if (Object.keys(extraMeta.patternProperties).length === 0)
-                    return undefined;
-                const output: Record<string, IJsonSchema> = {};
-                for (const [key, value] of Object.entries(
-                    extraMeta.patternProperties,
-                ))
-                    output[key] = value[1];
-                return output;
-            })(),
-        };
-        const schema: IJsonComponents.IObject = {
-            $id:
-                options.purpose === "ajv"
-                    ? options.prefix + "/" + props.key
-                    : undefined,
-            $recursiveAnchor:
-                (options.purpose === "ajv" && obj.recursive) || undefined,
-            type: "object",
-            properties,
-            nullable: props.nullable,
-            required: required.length ? required : undefined,
-            description: obj.description,
-            "x-typia-jsDocTags": obj.jsDocTags,
-            ...(options.purpose === "ajv"
-                ? extraProps
-                : {
-                      // swagger can't express patternProperties
-                      "x-typia-additionalProperties":
-                          extraProps.additionalProperties,
-                      "x-typia-patternProperties": extraProps.patternProperties,
-                      additionalProperties:
-                          join(options)(components)(extraMeta),
-                  }),
-        };
-        components.schemas[props.key] = schema;
-    };
-
-const join =
-    (options: ApplicationProgrammer.IOptions) =>
-    (components: IJsonComponents) =>
-    (extra: ISuperfluous): IJsonSchema | undefined => {
-        // LIST UP METADATA
-        const elements: [Metadata, IJsonSchema][] = Object.values(
-            extra.patternProperties || {},
-        );
-        if (extra.additionalProperties)
-            elements.push(extra.additionalProperties);
-
-        // SHORT RETURN
-        if (elements.length === 0) return undefined;
-        else if (elements.length === 1) return elements[0]![1]!;
-
-        // MERGE METADATA AND GENERATE VULNERABLE SCHEMA
-        const meta: Metadata = elements
-            .map((tuple) => tuple[0])
-            .reduce((x, y) => Metadata.merge(x, y));
-        return (
-            application_schema(options)(true)(components)(meta)({
-                "x-typia-required": false,
-            }) ?? undefined
-        );
-    };
-
-interface ISuperfluous {
-    additionalProperties?: [Metadata, IJsonSchema];
-    patternProperties: Record<string, [Metadata, IJsonSchema]>;
-}
+import { CommentFactory } from "../../factories/CommentFactory";
+
+import { IJsDocTagInfo } from "../../metadata/IJsDocTagInfo";
+import { Metadata } from "../../metadata/Metadata";
+import { MetadataObject } from "../../metadata/MetadataObject";
+import { IJsonComponents } from "../../schemas/IJsonComponents";
+
+import { PatternUtil } from "../../utils/PatternUtil";
+
+import { IJsonSchema } from "../../module";
+import { ApplicationProgrammer } from "../ApplicationProgrammer";
+import { application_schema } from "./application_schema";
+import { metadata_to_pattern } from "./metadata_to_pattern";
+
+/**
+ * @internal
+ */
+export const application_object =
+    (options: ApplicationProgrammer.IOptions) =>
+    (components: IJsonComponents) =>
+    (obj: MetadataObject) =>
+    (props: { key: string; nullable: boolean }): void => {
+        // TEMPORARY ASSIGNMENT
+        if (components.schemas[props.key] !== undefined) return;
+        components.schemas[props.key] = {} as any;
+
+        // ITERATE PROPERTIES
+        const properties: Record<string, any> = {};
+        const extraMeta: ISuperfluous = {
+            patternProperties: {},
+            additionalProperties: undefined,
+        };
+        const required: string[] = [];
+
+        for (const property of obj.properties) {
+            if (
+                property.value.functional === true &&
+                property.value.nullable === false &&
+                property.value.required === true &&
+                property.value.size() === 0
+            )
+                continue;
+
+            const key: string | null = property.key.getSoleLiteral();
+            const schema: IJsonSchema | null = application_schema(options)(
+                true,
+            )(components)(property.value)({
+                deprecated:
+                    !!property.jsDocTags.find(
+                        (tag) => tag.name === "deprecated",
+                    ) || undefined,
+                title: (() => {
+                    const info: IJsDocTagInfo | undefined =
+                        property.jsDocTags.find((tag) => tag.name === "title");
+                    return info?.text?.length
+                        ? CommentFactory.string(info.text)
+                        : undefined;
+                })(),
+                description: property.description,
+                "x-typia-metaTags": property.tags.length
+                    ? property.tags
+                    : undefined,
+                "x-typia-jsDocTags": property.jsDocTags.length
+                    ? property.jsDocTags
+                    : undefined,
+                "x-typia-required": property.value.required,
+                "x-typia-optional": property.value.optional,
+            });
+
+            if (schema === null) continue;
+            else if (key !== null) {
+                properties[key] = schema;
+                if (property.value.required === true) required.push(key);
+            } else {
+                const pattern: string = metadata_to_pattern(true)(property.key);
+                if (pattern === PatternUtil.STRING)
+                    extraMeta.additionalProperties = [property.value, schema];
+                else
+                    extraMeta.patternProperties[pattern] = [
+                        property.value,
+                        schema,
+                    ];
+            }
+        }
+
+        const extraProps = {
+            additionalProperties: extraMeta.additionalProperties?.[1],
+            patternProperties: (() => {
+                if (Object.keys(extraMeta.patternProperties).length === 0)
+                    return undefined;
+                const output: Record<string, IJsonSchema> = {};
+                for (const [key, value] of Object.entries(
+                    extraMeta.patternProperties,
+                ))
+                    output[key] = value[1];
+                return output;
+            })(),
+        };
+        const schema: IJsonComponents.IObject = {
+            $id:
+                options.purpose === "ajv"
+                    ? options.prefix + "/" + props.key
+                    : undefined,
+            $recursiveAnchor:
+                (options.purpose === "ajv" && obj.recursive) || undefined,
+            type: "object",
+            properties,
+            nullable: props.nullable,
+            required: required.length ? required : undefined,
+            description: obj.description,
+            "x-typia-jsDocTags": obj.jsDocTags,
+            ...(options.purpose === "ajv"
+                ? extraProps
+                : {
+                      // swagger can't express patternProperties
+                      "x-typia-additionalProperties":
+                          extraProps.additionalProperties,
+                      "x-typia-patternProperties": extraProps.patternProperties,
+                      additionalProperties:
+                          join(options)(components)(extraMeta),
+                  }),
+        };
+        components.schemas[props.key] = schema;
+    };
+
+const join =
+    (options: ApplicationProgrammer.IOptions) =>
+    (components: IJsonComponents) =>
+    (extra: ISuperfluous): IJsonSchema | undefined => {
+        // LIST UP METADATA
+        const elements: [Metadata, IJsonSchema][] = Object.values(
+            extra.patternProperties || {},
+        );
+        if (extra.additionalProperties)
+            elements.push(extra.additionalProperties);
+
+        // SHORT RETURN
+        if (elements.length === 0) return undefined;
+        else if (elements.length === 1) return elements[0]![1]!;
+
+        // MERGE METADATA AND GENERATE VULNERABLE SCHEMA
+        const meta: Metadata = elements
+            .map((tuple) => tuple[0])
+            .reduce((x, y) => Metadata.merge(x, y));
+        return (
+            application_schema(options)(true)(components)(meta)({
+                "x-typia-required": false,
+            }) ?? undefined
+        );
+    };
+
+interface ISuperfluous {
+    additionalProperties?: [Metadata, IJsonSchema];
+    patternProperties: Record<string, [Metadata, IJsonSchema]>;
+}

package/src/programmers/internal/application_tuple.ts

@@ -1,31 +1,31 @@
-import { Metadata } from "../../metadata/Metadata";
-import { IJsonComponents } from "../../schemas/IJsonComponents";
-import { IJsonSchema } from "../../schemas/IJsonSchema";
-
-import { ApplicationProgrammer } from "../ApplicationProgrammer";
-import { application_schema } from "./application_schema";
-
-/**
- * @internal
- */
-export const application_tuple =
-    (options: ApplicationProgrammer.IOptions) =>
-    (components: IJsonComponents) =>
-    (items: Array<Metadata>) =>
-    (props: {
-        nullable: boolean;
-        attribute: IJsonSchema.IAttribute;
-    }): IJsonSchema.ITuple => ({
-        type: "array",
-        items: items.map((meta, i) =>
-            application_schema(options)(false)(components)(meta.rest ?? meta)({
-                ...props.attribute,
-                "x-typia-rest":
-                    i === items.length - 1 ? meta.rest !== null : undefined,
-                "x-typia-required": meta.required,
-                "x-typia-optional": meta.optional,
-            }),
-        ),
-        nullable: props.nullable,
-        ...props.attribute,
-    });
+import { Metadata } from "../../metadata/Metadata";
+import { IJsonComponents } from "../../schemas/IJsonComponents";
+import { IJsonSchema } from "../../schemas/IJsonSchema";
+
+import { ApplicationProgrammer } from "../ApplicationProgrammer";
+import { application_schema } from "./application_schema";
+
+/**
+ * @internal
+ */
+export const application_tuple =
+    (options: ApplicationProgrammer.IOptions) =>
+    (components: IJsonComponents) =>
+    (items: Array<Metadata>) =>
+    (props: {
+        nullable: boolean;
+        attribute: IJsonSchema.IAttribute;
+    }): IJsonSchema.ITuple => ({
+        type: "array",
+        items: items.map((meta, i) =>
+            application_schema(options)(false)(components)(meta.rest ?? meta)({
+                ...props.attribute,
+                "x-typia-rest":
+                    i === items.length - 1 ? meta.rest !== null : undefined,
+                "x-typia-required": meta.required,
+                "x-typia-optional": meta.optional,
+            }),
+        ),
+        nullable: props.nullable,
+        ...props.attribute,
+    });