typia 3.5.0-dev.20221219 → 3.5.0-dev.20221222

package/src/programmers/internal/check_dynamic_properties.ts

@@ -1,146 +1,146 @@
-import ts from "typescript";
-
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-import { StatementFactory } from "../../factories/StatementFactory";
-
-import { IExpressionEntry } from "../helpers/IExpressionEntry";
-import { check_everything } from "./check_everything";
-import { check_object } from "./check_object";
-import { metadata_to_pattern } from "./metadata_to_pattern";
-
-/**
- * @internal
- */
-export const check_dynamic_properties =
-    (props: check_object.IProps) =>
-    (
-        regular: IExpressionEntry[],
-        dynamic: IExpressionEntry[],
-    ): ts.Expression => {
-        const criteria = props.entries
-            ? ts.factory.createCallExpression(props.entries, undefined, [
-                  ts.factory.createCallExpression(
-                      ts.factory.createIdentifier("Object.keys"),
-                      undefined,
-                      [ts.factory.createIdentifier("input")],
-                  ),
-                  check_dynamic_property(props)(regular, dynamic),
-              ])
-            : ts.factory.createCallExpression(
-                  IdentifierFactory.join(
-                      ts.factory.createCallExpression(
-                          ts.factory.createIdentifier("Object.keys"),
-                          undefined,
-                          [ts.factory.createIdentifier("input")],
-                      ),
-                      props.assert ? "every" : "map",
-                  ),
-                  undefined,
-                  [check_dynamic_property(props)(regular, dynamic)],
-              );
-        return (props.halt || ((elem) => elem))(
-            props.assert ? criteria : check_everything(criteria),
-        );
-    };
-
-const check_dynamic_property =
-    (props: check_object.IProps) =>
-    (regular: IExpressionEntry[], dynamic: IExpressionEntry[]) => {
-        //----
-        // IF CONDITIONS
-        //----
-        // PREPARE ASSETS
-        const key = ts.factory.createIdentifier("key");
-        const value = ts.factory.createIdentifier("value");
-
-        const statements: ts.Statement[] = [];
-        const add = (exp: ts.Expression, output: ts.Expression) =>
-            statements.push(
-                ts.factory.createIfStatement(
-                    exp,
-                    ts.factory.createReturnStatement(output),
-                ),
-            );
-
-        // GATHER CONDITIONS
-        if (props.equals === true && regular.length)
-            add(is_regular_property(regular), props.positive);
-        statements.push(
-            StatementFactory.constant(
-                "value",
-                ts.factory.createIdentifier("input[key]"),
-            ),
-        );
-        add(
-            ts.factory.createStrictEquality(
-                ts.factory.createIdentifier("undefined"),
-                value,
-            ),
-            props.positive,
-        );
-        for (const entry of dynamic)
-            add(
-                ts.factory.createCallExpression(
-                    ts.factory.createIdentifier(
-                        `RegExp(/${metadata_to_pattern(true)(
-                            entry.key,
-                        )}/).test`,
-                    ),
-                    undefined,
-                    [key],
-                ),
-                entry.expression,
-            );
-
-        //----
-        // FUNCTION BODY
-        //----
-        // CLOSURE BLOCK
-        const block: ts.Block = ts.factory.createBlock(
-            [
-                ...statements,
-                ts.factory.createReturnStatement(
-                    props.equals === true
-                        ? props.superfluous(value)
-                        : props.positive,
-                ),
-            ],
-            true,
-        );
-
-        // RETURNS
-        return ts.factory.createArrowFunction(
-            undefined,
-            undefined,
-            [IdentifierFactory.parameter("key")],
-            undefined,
-            undefined,
-            block,
-        );
-    };
-
-const is_regular_property = (regular: IExpressionEntry[]) =>
-    ts.factory.createCallExpression(
-        IdentifierFactory.join(
-            ts.factory.createArrayLiteralExpression(
-                regular.map((entry) =>
-                    ts.factory.createStringLiteral(entry.key.getSoleLiteral()!),
-                ),
-            ),
-            "some",
-        ),
-        undefined,
-        [
-            ts.factory.createArrowFunction(
-                undefined,
-                undefined,
-                [IdentifierFactory.parameter("prop")],
-                undefined,
-                undefined,
-                ts.factory.createStrictEquality(
-                    ts.factory.createIdentifier("key"),
-                    ts.factory.createIdentifier("prop"),
-                ),
-            ),
-        ],
-    );
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+
+import { IExpressionEntry } from "../helpers/IExpressionEntry";
+import { check_everything } from "./check_everything";
+import { check_object } from "./check_object";
+import { metadata_to_pattern } from "./metadata_to_pattern";
+
+/**
+ * @internal
+ */
+export const check_dynamic_properties =
+    (props: check_object.IProps) =>
+    (
+        regular: IExpressionEntry[],
+        dynamic: IExpressionEntry[],
+    ): ts.Expression => {
+        const criteria = props.entries
+            ? ts.factory.createCallExpression(props.entries, undefined, [
+                  ts.factory.createCallExpression(
+                      ts.factory.createIdentifier("Object.keys"),
+                      undefined,
+                      [ts.factory.createIdentifier("input")],
+                  ),
+                  check_dynamic_property(props)(regular, dynamic),
+              ])
+            : ts.factory.createCallExpression(
+                  IdentifierFactory.join(
+                      ts.factory.createCallExpression(
+                          ts.factory.createIdentifier("Object.keys"),
+                          undefined,
+                          [ts.factory.createIdentifier("input")],
+                      ),
+                      props.assert ? "every" : "map",
+                  ),
+                  undefined,
+                  [check_dynamic_property(props)(regular, dynamic)],
+              );
+        return (props.halt || ((elem) => elem))(
+            props.assert ? criteria : check_everything(criteria),
+        );
+    };
+
+const check_dynamic_property =
+    (props: check_object.IProps) =>
+    (regular: IExpressionEntry[], dynamic: IExpressionEntry[]) => {
+        //----
+        // IF CONDITIONS
+        //----
+        // PREPARE ASSETS
+        const key = ts.factory.createIdentifier("key");
+        const value = ts.factory.createIdentifier("value");
+
+        const statements: ts.Statement[] = [];
+        const add = (exp: ts.Expression, output: ts.Expression) =>
+            statements.push(
+                ts.factory.createIfStatement(
+                    exp,
+                    ts.factory.createReturnStatement(output),
+                ),
+            );
+
+        // GATHER CONDITIONS
+        if (props.equals === true && regular.length)
+            add(is_regular_property(regular), props.positive);
+        statements.push(
+            StatementFactory.constant(
+                "value",
+                ts.factory.createIdentifier("input[key]"),
+            ),
+        );
+        add(
+            ts.factory.createStrictEquality(
+                ts.factory.createIdentifier("undefined"),
+                value,
+            ),
+            props.positive,
+        );
+        for (const entry of dynamic)
+            add(
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier(
+                        `RegExp(/${metadata_to_pattern(true)(
+                            entry.key,
+                        )}/).test`,
+                    ),
+                    undefined,
+                    [key],
+                ),
+                entry.expression,
+            );
+
+        //----
+        // FUNCTION BODY
+        //----
+        // CLOSURE BLOCK
+        const block: ts.Block = ts.factory.createBlock(
+            [
+                ...statements,
+                ts.factory.createReturnStatement(
+                    props.equals === true
+                        ? props.superfluous(value)
+                        : props.positive,
+                ),
+            ],
+            true,
+        );
+
+        // RETURNS
+        return ts.factory.createArrowFunction(
+            undefined,
+            undefined,
+            [IdentifierFactory.parameter("key")],
+            undefined,
+            undefined,
+            block,
+        );
+    };
+
+const is_regular_property = (regular: IExpressionEntry[]) =>
+    ts.factory.createCallExpression(
+        IdentifierFactory.join(
+            ts.factory.createArrayLiteralExpression(
+                regular.map((entry) =>
+                    ts.factory.createStringLiteral(entry.key.getSoleLiteral()!),
+                ),
+            ),
+            "some",
+        ),
+        undefined,
+        [
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [IdentifierFactory.parameter("prop")],
+                undefined,
+                undefined,
+                ts.factory.createStrictEquality(
+                    ts.factory.createIdentifier("key"),
+                    ts.factory.createIdentifier("prop"),
+                ),
+            ),
+        ],
+    );

package/src/programmers/internal/check_everything.ts

@@ -1,25 +1,25 @@
-import ts from "typescript";
-
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-
-/**
- * @internal
- */
-export const check_everything = (array: ts.Expression) =>
-    ts.factory.createCallExpression(
-        IdentifierFactory.join(array, "every"),
-        undefined,
-        [
-            ts.factory.createArrowFunction(
-                undefined,
-                undefined,
-                [IdentifierFactory.parameter("flag")],
-                undefined,
-                undefined,
-                ts.factory.createStrictEquality(
-                    ts.factory.createTrue(),
-                    ts.factory.createIdentifier("flag"),
-                ),
-            ),
-        ],
-    );
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+
+/**
+ * @internal
+ */
+export const check_everything = (array: ts.Expression) =>
+    ts.factory.createCallExpression(
+        IdentifierFactory.join(array, "every"),
+        undefined,
+        [
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [IdentifierFactory.parameter("flag")],
+                undefined,
+                undefined,
+                ts.factory.createStrictEquality(
+                    ts.factory.createTrue(),
+                    ts.factory.createIdentifier("flag"),
+                ),
+            ),
+        ],
+    );

package/src/programmers/internal/check_length.ts

@@ -1,46 +1,46 @@
-import ts from "typescript";
-
-import { IMetadataTag } from "../../metadata/IMetadataTag";
-
-/**
- * @internal
- */
-export function check_length(
-    conditions: ts.Expression[],
-    length: ts.Expression,
-    tag: Omit<IMetadataTag.ILength, "kind">,
-) {
-    if (
-        tag.minimum !== undefined &&
-        tag.maximum !== undefined &&
-        tag.minimum.value === tag.maximum.value &&
-        tag.minimum.include === true &&
-        tag.maximum.include === true
-    ) {
-        conditions.push(
-            ts.factory.createStrictEquality(
-                ts.factory.createNumericLiteral(tag.minimum.value),
-                length,
-            ),
-        );
-    } else {
-        if (tag.minimum !== undefined)
-            conditions.push(
-                (tag.minimum.include
-                    ? ts.factory.createLessThanEquals
-                    : ts.factory.createLessThan)(
-                    ts.factory.createNumericLiteral(tag.minimum.value),
-                    length,
-                ),
-            );
-        if (tag.maximum !== undefined)
-            conditions.push(
-                (tag.maximum.include
-                    ? ts.factory.createGreaterThanEquals
-                    : ts.factory.createGreaterThan)(
-                    ts.factory.createNumericLiteral(tag.maximum.value),
-                    length,
-                ),
-            );
-    }
-}
+import ts from "typescript";
+
+import { IMetadataTag } from "../../metadata/IMetadataTag";
+
+/**
+ * @internal
+ */
+export function check_length(
+    conditions: ts.Expression[],
+    length: ts.Expression,
+    tag: Omit<IMetadataTag.ILength, "kind">,
+) {
+    if (
+        tag.minimum !== undefined &&
+        tag.maximum !== undefined &&
+        tag.minimum.value === tag.maximum.value &&
+        tag.minimum.include === true &&
+        tag.maximum.include === true
+    ) {
+        conditions.push(
+            ts.factory.createStrictEquality(
+                ts.factory.createNumericLiteral(tag.minimum.value),
+                length,
+            ),
+        );
+    } else {
+        if (tag.minimum !== undefined)
+            conditions.push(
+                (tag.minimum.include
+                    ? ts.factory.createLessThanEquals
+                    : ts.factory.createLessThan)(
+                    ts.factory.createNumericLiteral(tag.minimum.value),
+                    length,
+                ),
+            );
+        if (tag.maximum !== undefined)
+            conditions.push(
+                (tag.maximum.include
+                    ? ts.factory.createGreaterThanEquals
+                    : ts.factory.createGreaterThan)(
+                    ts.factory.createNumericLiteral(tag.maximum.value),
+                    length,
+                ),
+            );
+    }
+}

package/src/programmers/internal/check_native.ts

@@ -1,9 +1,9 @@
-import ts from "typescript";
-
-import { ExpressionFactory } from "../../factories/ExpressionFactory";
-
-/**
- * @internal
- */
-export const check_native = (type: string) => (input: ts.Expression) =>
-    ExpressionFactory.isInstanceOf(input, type);
+import ts from "typescript";
+
+import { ExpressionFactory } from "../../factories/ExpressionFactory";
+
+/**
+ * @internal
+ */
+export const check_native = (type: string) => (input: ts.Expression) =>
+    ExpressionFactory.isInstanceOf(input, type);

package/src/programmers/internal/check_number.ts

@@ -9,9 +9,10 @@ import { OptionPredicator } from "../helpers/OptionPredicator";
 /**
  * @internal
  */
-export function check_number(project: IProject, numeric: boolean) {
-    return function (input: ts.Expression, tagList: IMetadataTag[]) {
-        // TYPEOF
+export const check_number =
+    ({ options }: IProject, numeric: boolean) =>
+    (input: ts.Expression, tagList: IMetadataTag[]) => {
+        // TYPEOF STATEMENT
         const conditions: ts.Expression[] = [
             ts.factory.createStrictEquality(
                 ts.factory.createStringLiteral("number"),
@@ -19,6 +20,47 @@ export function check_number(project: IProject, numeric: boolean) {
             ),
         ];
 
+        // CHECK FINITE AND NAN
+        const finite: boolean =
+            !!tagList.find(
+                (tag) =>
+                    tag.kind === "range" &&
+                    tag.minimum !== undefined &&
+                    tag.maximum !== undefined,
+            ) ||
+            (!!tagList.find(
+                (tag) =>
+                    tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
+            ) &&
+                !!tagList.find(
+                    (tag) =>
+                        tag.kind === "maximum" ||
+                        tag.kind === "exclusiveMaximum",
+                )) ||
+            !!tagList.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],
+                        ),
+                    ),
+                );
+
         // TAG (RANGE)
         for (const tag of tagList)
             if (tag.kind === "type") {
@@ -126,56 +168,8 @@ export function check_number(project: IProject, numeric: boolean) {
                     ),
                 );
 
-        // NUMERIC VALIDATION
-        const finite: boolean =
-            !!tagList.find(
-                (tag) =>
-                    tag.kind === "range" &&
-                    tag.minimum !== undefined &&
-                    tag.maximum !== undefined,
-            ) ||
-            (!!tagList.find(
-                (tag) =>
-                    tag.kind === "minimum" || tag.kind === "exclusiveMinimum",
-            ) &&
-                !!tagList.find(
-                    (tag) =>
-                        tag.kind === "maximum" ||
-                        tag.kind === "exclusiveMaximum",
-                )) ||
-            !!tagList.find(
-                (tag) => tag.kind === "step" || tag.kind === "multipleOf",
-            );
-        const valid: boolean =
-            finite || tagList.find((tag) => tag.kind === "type") !== undefined;
-
-        if (
-            numeric &&
-            OptionPredicator.numeric(project.options, "checker") === false
-        ) {
-            if (finite === false)
-                conditions.push(
-                    ts.factory.createCallExpression(
-                        ts.factory.createIdentifier("Number.isFinite"),
-                        undefined,
-                        [input],
-                    ),
-                );
-            if (valid === false)
-                conditions.push(
-                    ts.factory.createLogicalNot(
-                        ts.factory.createCallExpression(
-                            ts.factory.createIdentifier("Number.isNaN"),
-                            undefined,
-                            [input],
-                        ),
-                    ),
-                );
-        }
-
         // COMBINATION
         return conditions.length === 1
             ? conditions[0]!
             : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
     };
-}

package/src/programmers/internal/check_object.ts

@@ -1,42 +1,42 @@
-import ts from "typescript";
-
-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) => (entries: IExpressionEntry[]) => {
-        // 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)(regular, dynamic));
-        return reduce(props)(flags);
-    };
-export namespace check_object {
-    export interface IProps {
-        equals: boolean;
-        assert: 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;
-    }
-}
-
-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 { 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) => (entries: IExpressionEntry[]) => {
+        // 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)(regular, dynamic));
+        return reduce(props)(flags);
+    };
+export namespace check_object {
+    export interface IProps {
+        equals: boolean;
+        assert: 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;
+    }
+}
+
+const reduce = (props: check_object.IProps) => (expressions: ts.Expression[]) =>
+    props.assert
+        ? expressions.reduce(props.reduce)
+        : check_everything(
+              ts.factory.createArrayLiteralExpression(expressions),
+          );