typia 4.2.3 → 4.3.0-dev.20230821

package/src/programmers/internal/check_number.ts

@@ -1,177 +1,258 @@
-import ts from "typescript";
-
-import { IJsDocTagInfo } from "../../metadata/IJsDocTagInfo";
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-import { IProject } from "../../transformers/IProject";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { ICheckEntry } from "../helpers/ICheckEntry";
-import { OptionPredicator } from "../helpers/OptionPredicator";
-import { check_custom } from "./check_custom";
-
-/**
- * @internal
- */
-export const check_number =
-    (project: IProject, numeric: boolean) =>
-    (importer: FunctionImporter) =>
-    (metaTags: IMetadataTag[]) =>
-    (jsDocTag: IJsDocTagInfo[]) =>
-    (input: ts.Expression): ICheckEntry => {
-        const entries: [IMetadataTag, ts.Expression][] = [];
-        for (const tag of metaTags)
-            if (tag.kind === "type") {
-                entries.push([
-                    tag,
-                    ts.factory.createStrictEquality(
-                        ts.factory.createCallExpression(
-                            ts.factory.createIdentifier("parseInt"),
-                            undefined,
-                            [input],
-                        ),
-                        input,
-                    ),
-                ]);
-                if (tag.value === "uint")
-                    entries.push([
-                        tag,
-                        ts.factory.createLessThanEquals(
-                            ts.factory.createNumericLiteral(0),
-                            input,
-                        ),
-                    ]);
-            } else if (tag.kind === "multipleOf")
-                entries.push([
-                    tag,
-                    ts.factory.createStrictEquality(
-                        ts.factory.createNumericLiteral(0),
-                        ts.factory.createModulo(
-                            input,
-                            ts.factory.createNumericLiteral(tag.value),
-                        ),
-                    ),
-                ]);
-            else if (tag.kind === "step") {
-                const modulo = ts.factory.createModulo(
-                    input,
-                    ts.factory.createNumericLiteral(tag.value),
-                );
-                const minimum =
-                    (metaTags.find(
-                        (tag) =>
-                            tag.kind === "minimum" ||
-                            tag.kind === "exclusiveMinimum",
-                    )?.value as number | undefined) ?? undefined;
-                entries.push([
-                    tag,
-                    ts.factory.createStrictEquality(
-                        ts.factory.createNumericLiteral(0),
-                        minimum !== undefined
-                            ? ts.factory.createSubtract(
-                                  modulo,
-                                  ts.factory.createNumericLiteral(minimum),
-                              )
-                            : modulo,
-                    ),
-                ]);
-            } else if (tag.kind === "minimum")
-                entries.push([
-                    tag,
-                    ts.factory.createLessThanEquals(
-                        ts.factory.createNumericLiteral(tag.value),
-                        input,
-                    ),
-                ]);
-            else if (tag.kind === "maximum")
-                entries.push([
-                    tag,
-                    ts.factory.createGreaterThanEquals(
-                        ts.factory.createNumericLiteral(tag.value),
-                        input,
-                    ),
-                ]);
-            else if (tag.kind === "exclusiveMinimum")
-                entries.push([
-                    tag,
-                    ts.factory.createLessThan(
-                        ts.factory.createNumericLiteral(tag.value),
-                        input,
-                    ),
-                ]);
-            else if (tag.kind === "exclusiveMaximum")
-                entries.push([
-                    tag,
-                    ts.factory.createGreaterThan(
-                        ts.factory.createNumericLiteral(tag.value),
-                        input,
-                    ),
-                ]);
-
-        return {
-            expression: is_number(project, numeric)(metaTags)(input),
-            tags: [
-                ...entries.map(([tag, expression]) => ({
-                    expected: `number (@${tag.kind} ${tag.value})`,
-                    expression,
-                })),
-                ...check_custom("number")(importer)(jsDocTag)(input),
-            ],
-        };
-    };
-
-/**
- * @internal
- */
-const is_number =
-    ({ options }: IProject, numeric: boolean) =>
-    (metaTags: IMetadataTag[]) =>
-    (input: ts.Expression) => {
-        // TYPEOF STATEMENT
-        const conditions: ts.Expression[] = [
-            ts.factory.createStrictEquality(
-                ts.factory.createStringLiteral("number"),
-                ts.factory.createTypeOfExpression(input),
-            ),
-        ];
-
-        // CHECK FINITE AND NAN
-        const finite: boolean =
-            (!!metaTags.find(
-                (tag) =>
-                    tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
-            ) &&
-                !!metaTags.find(
-                    (tag) =>
-                        tag.kind === "maximum" ||
-                        tag.kind === "exclusiveMaximum",
-                )) ||
-            !!metaTags.find(
-                (tag) => tag.kind === "step" || tag.kind === "multipleOf",
-            );
-
-        if (numeric === true && finite === false)
-            if (OptionPredicator.finite(options))
-                conditions.push(
-                    ts.factory.createCallExpression(
-                        ts.factory.createIdentifier("Number.isFinite"),
-                        undefined,
-                        [input],
-                    ),
-                );
-            else if (OptionPredicator.numeric(options))
-                conditions.push(
-                    ts.factory.createLogicalNot(
-                        ts.factory.createCallExpression(
-                            ts.factory.createIdentifier("Number.isNaN"),
-                            undefined,
-                            [input],
-                        ),
-                    ),
-                );
-
-        // COMBINATE
-        return conditions.length === 1
-            ? conditions[0]!
-            : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
-    };
+import ts from "typescript";
+
+import { IJsDocTagInfo } from "../../metadata/IJsDocTagInfo";
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+import { IProject } from "../../transformers/IProject";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { ICheckEntry } from "../helpers/ICheckEntry";
+import { OptionPredicator } from "../helpers/OptionPredicator";
+import { check_custom } from "./check_custom";
+
+/**
+ * @internal
+ */
+export const check_number =
+    (project: IProject, numeric: boolean) =>
+    (importer: FunctionImporter) =>
+    (metaTags: IMetadataTag[]) =>
+    (jsDocTag: IJsDocTagInfo[]) =>
+    (input: ts.Expression): ICheckEntry => {
+        const entries: [IMetadataTag, ts.Expression][] = [];
+        for (const tag of metaTags)
+            if (tag.kind === "type") {
+                // MUST BE INTEGER
+                if (
+                    tag.value === "int" ||
+                    tag.value === "uint" ||
+                    tag.value === "int32" ||
+                    tag.value === "uint32" ||
+                    tag.value === "int64" ||
+                    tag.value === "uint64"
+                )
+                    entries.push([
+                        tag,
+                        ts.factory.createStrictEquality(
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("Math.floor"),
+                                undefined,
+                                [input],
+                            ),
+                            input,
+                        ),
+                    ]);
+                // GREATER THAN OR EQUAL TO ZERO
+                if (
+                    tag.value === "uint" ||
+                    tag.value === "uint32" ||
+                    tag.value === "uint64"
+                )
+                    entries.push([
+                        tag,
+                        ts.factory.createLessThanEquals(
+                            ts.factory.createNumericLiteral(0),
+                            input,
+                        ),
+                    ]);
+                // RANGE LIMIT
+                if (tag.value === "uint32")
+                    entries.push([
+                        tag,
+                        ts.factory.createLessThanEquals(
+                            input,
+                            ts.factory.createNumericLiteral(4294967295),
+                        ),
+                    ]);
+                else if (tag.value === "uint64")
+                    entries.push([
+                        tag,
+                        ts.factory.createLessThanEquals(
+                            input,
+                            ts.factory.createNumericLiteral(
+                                18446744073709551615,
+                            ),
+                        ),
+                    ]);
+                else if (tag.value === "int64")
+                    entries.push([
+                        tag,
+                        ts.factory.createLogicalAnd(
+                            ts.factory.createLessThanEquals(
+                                ts.factory.createNumericLiteral(
+                                    -9223372036854775808,
+                                ),
+                                input,
+                            ),
+                            ts.factory.createLessThanEquals(
+                                input,
+                                ts.factory.createNumericLiteral(
+                                    9223372036854775807,
+                                ),
+                            ),
+                        ),
+                    ]);
+                else if (tag.value === "int32")
+                    entries.push([
+                        tag,
+                        ts.factory.createLogicalAnd(
+                            ts.factory.createLessThanEquals(
+                                ts.factory.createNumericLiteral(-2147483648),
+                                input,
+                            ),
+                            ts.factory.createLessThanEquals(
+                                input,
+                                ts.factory.createNumericLiteral(2147483647),
+                            ),
+                        ),
+                    ]);
+                else if (tag.value === "float")
+                    entries.push([
+                        tag,
+                        ts.factory.createLogicalAnd(
+                            ts.factory.createLessThanEquals(
+                                ts.factory.createNumericLiteral(
+                                    -1.175494351e38,
+                                ),
+                                input,
+                            ),
+                            ts.factory.createLessThanEquals(
+                                input,
+                                ts.factory.createNumericLiteral(3.4028235e38),
+                            ),
+                        ),
+                    ]);
+            } else if (tag.kind === "multipleOf")
+                entries.push([
+                    tag,
+                    ts.factory.createStrictEquality(
+                        ts.factory.createNumericLiteral(0),
+                        ts.factory.createModulo(
+                            input,
+                            ts.factory.createNumericLiteral(tag.value),
+                        ),
+                    ),
+                ]);
+            else if (tag.kind === "step") {
+                const modulo = ts.factory.createModulo(
+                    input,
+                    ts.factory.createNumericLiteral(tag.value),
+                );
+                const minimum =
+                    (metaTags.find(
+                        (tag) =>
+                            tag.kind === "minimum" ||
+                            tag.kind === "exclusiveMinimum",
+                    )?.value as number | undefined) ?? undefined;
+                entries.push([
+                    tag,
+                    ts.factory.createStrictEquality(
+                        ts.factory.createNumericLiteral(0),
+                        minimum !== undefined
+                            ? ts.factory.createSubtract(
+                                  modulo,
+                                  ts.factory.createNumericLiteral(minimum),
+                              )
+                            : modulo,
+                    ),
+                ]);
+            } else if (tag.kind === "minimum")
+                entries.push([
+                    tag,
+                    ts.factory.createLessThanEquals(
+                        ts.factory.createNumericLiteral(tag.value),
+                        input,
+                    ),
+                ]);
+            else if (tag.kind === "maximum")
+                entries.push([
+                    tag,
+                    ts.factory.createGreaterThanEquals(
+                        ts.factory.createNumericLiteral(tag.value),
+                        input,
+                    ),
+                ]);
+            else if (tag.kind === "exclusiveMinimum")
+                entries.push([
+                    tag,
+                    ts.factory.createLessThan(
+                        ts.factory.createNumericLiteral(tag.value),
+                        input,
+                    ),
+                ]);
+            else if (tag.kind === "exclusiveMaximum")
+                entries.push([
+                    tag,
+                    ts.factory.createGreaterThan(
+                        ts.factory.createNumericLiteral(tag.value),
+                        input,
+                    ),
+                ]);
+
+        return {
+            expression: is_number(project, numeric)(metaTags)(input),
+            tags: [
+                ...entries.map(([tag, expression]) => ({
+                    expected: `number (@${tag.kind} ${tag.value})`,
+                    expression,
+                })),
+                ...check_custom("number")(importer)(jsDocTag)(input),
+            ],
+        };
+    };
+
+/**
+ * @internal
+ */
+const is_number =
+    ({ options }: IProject, numeric: boolean) =>
+    (metaTags: IMetadataTag[]) =>
+    (input: ts.Expression) => {
+        // TYPEOF STATEMENT
+        const conditions: ts.Expression[] = [
+            ts.factory.createStrictEquality(
+                ts.factory.createStringLiteral("number"),
+                ts.factory.createTypeOfExpression(input),
+            ),
+        ];
+
+        // CHECK FINITE AND NAN
+        const finite: boolean =
+            (!!metaTags.find(
+                (tag) =>
+                    tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
+            ) &&
+                !!metaTags.find(
+                    (tag) =>
+                        tag.kind === "maximum" ||
+                        tag.kind === "exclusiveMaximum",
+                )) ||
+            !!metaTags.find(
+                (tag) => tag.kind === "step" || tag.kind === "multipleOf",
+            );
+
+        if (numeric === true && finite === false)
+            if (OptionPredicator.finite(options))
+                conditions.push(
+                    ts.factory.createCallExpression(
+                        ts.factory.createIdentifier("Number.isFinite"),
+                        undefined,
+                        [input],
+                    ),
+                );
+            else if (OptionPredicator.numeric(options))
+                conditions.push(
+                    ts.factory.createLogicalNot(
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("Number.isNaN"),
+                            undefined,
+                            [input],
+                        ),
+                    ),
+                );
+
+        // COMBINATE
+        return conditions.length === 1
+            ? conditions[0]!
+            : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+    };

package/src/programmers/internal/check_object.ts

@@ -1,55 +1,55 @@
-import ts from "typescript";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { IExpressionEntry } from "../helpers/IExpressionEntry";
-import { check_dynamic_properties } from "./check_dynamic_properties";
-import { check_everything } from "./check_everything";
-
-/**
- * @internal
- */
-export const check_object =
-    (props: check_object.IProps) =>
-    (importer: FunctionImporter) =>
-    (input: ts.Expression, entries: IExpressionEntry<ts.Expression>[]) => {
-        // PREPARE ASSETS
-        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
-        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
-        const flags: ts.Expression[] = regular.map((entry) => entry.expression);
-
-        // REGULAR WITHOUT DYNAMIC PROPERTIES
-        if (props.equals === false && dynamic.length === 0)
-            return regular.length === 0 ? props.positive : reduce(props)(flags);
-
-        // CHECK DYNAMIC PROPERTIES
-        flags.push(
-            check_dynamic_properties(props)(importer)(input, regular, dynamic),
-        );
-        return reduce(props)(flags);
-    };
-
-/**
- * @internal
- */
-export namespace check_object {
-    export interface IProps {
-        equals: boolean;
-        assert: boolean;
-        undefined: boolean;
-        halt?: (exp: ts.Expression) => ts.Expression;
-        reduce: (a: ts.Expression, b: ts.Expression) => ts.Expression;
-        positive: ts.Expression;
-        superfluous: (value: ts.Expression) => ts.Expression;
-        entries?: ts.Identifier;
-    }
-}
-
-/**
- * @internal
- */
-const reduce = (props: check_object.IProps) => (expressions: ts.Expression[]) =>
-    props.assert
-        ? expressions.reduce(props.reduce)
-        : check_everything(
-              ts.factory.createArrayLiteralExpression(expressions),
-          );
+import ts from "typescript";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { IExpressionEntry } from "../helpers/IExpressionEntry";
+import { check_dynamic_properties } from "./check_dynamic_properties";
+import { check_everything } from "./check_everything";
+
+/**
+ * @internal
+ */
+export const check_object =
+    (props: check_object.IProps) =>
+    (importer: FunctionImporter) =>
+    (input: ts.Expression, entries: IExpressionEntry<ts.Expression>[]) => {
+        // PREPARE ASSETS
+        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
+        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
+        const flags: ts.Expression[] = regular.map((entry) => entry.expression);
+
+        // REGULAR WITHOUT DYNAMIC PROPERTIES
+        if (props.equals === false && dynamic.length === 0)
+            return regular.length === 0 ? props.positive : reduce(props)(flags);
+
+        // CHECK DYNAMIC PROPERTIES
+        flags.push(
+            check_dynamic_properties(props)(importer)(input, regular, dynamic),
+        );
+        return reduce(props)(flags);
+    };
+
+/**
+ * @internal
+ */
+export namespace check_object {
+    export interface IProps {
+        equals: boolean;
+        assert: boolean;
+        undefined: boolean;
+        halt?: (exp: ts.Expression) => ts.Expression;
+        reduce: (a: ts.Expression, b: ts.Expression) => ts.Expression;
+        positive: ts.Expression;
+        superfluous: (value: ts.Expression) => ts.Expression;
+        entries?: ts.Identifier;
+    }
+}
+
+/**
+ * @internal
+ */
+const reduce = (props: check_object.IProps) => (expressions: ts.Expression[]) =>
+    props.assert
+        ? expressions.reduce(props.reduce)
+        : check_everything(
+              ts.factory.createArrayLiteralExpression(expressions),
+          );

package/src/programmers/internal/check_string.ts

@@ -1,25 +1,25 @@
-import ts from "typescript";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-import { FunctionImporter } from "../helpers/FunctionImporeter";
-import { check_custom } from "./check_custom";
-import { check_string_tags } from "./check_string_tags";
-
-/**
- * @internal
- */
-export const check_string =
-    (importer: FunctionImporter) =>
-    (metaTags: IMetadataTag[]) =>
-    (jsDocTags: ts.JSDocTagInfo[]) =>
-    (input: ts.Expression) => ({
-        expression: ts.factory.createStrictEquality(
-            ts.factory.createStringLiteral("string"),
-            ts.factory.createTypeOfExpression(input),
-        ),
-        tags: [
-            ...check_string_tags(importer)(metaTags)(input),
-            ...check_custom("string")(importer)(jsDocTags)(input),
-        ],
-    });
+import ts from "typescript";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { check_custom } from "./check_custom";
+import { check_string_tags } from "./check_string_tags";
+
+/**
+ * @internal
+ */
+export const check_string =
+    (importer: FunctionImporter) =>
+    (metaTags: IMetadataTag[]) =>
+    (jsDocTags: ts.JSDocTagInfo[]) =>
+    (input: ts.Expression) => ({
+        expression: ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("string"),
+            ts.factory.createTypeOfExpression(input),
+        ),
+        tags: [
+            ...check_string_tags(importer)(metaTags)(input),
+            ...check_custom("string")(importer)(jsDocTags)(input),
+        ],
+    });