typia 7.0.0-dev.20240930 → 7.0.0-dev.20241001

package/src/programmers/internal/check_dynamic_key.ts

@@ -11,152 +11,181 @@ import { check_number } from "./check_number";
 import { check_string } from "./check_string";
 import { check_template } from "./check_template";
 
-export const check_dynamic_key =
-  (project: ITypiaContext) =>
-  (importer: FunctionImporter) =>
-  (input: ts.Expression, metadata: Metadata): ts.Expression => {
-    // IF PURE STRING EXISTS, THEN SKIP VALIDATION
-    if (
-      (metadata.atomics.length !== 0 &&
-        metadata.atomics.some(
-          (a) =>
-            a.type === "string" &&
-            a.tags.filter((row) => row.every((t) => t.validate !== undefined))
-              .length === 0,
-        )) ||
-      (metadata.natives.length !== 0 &&
-        metadata.natives.some((type) => type === "String"))
-    )
-      return ts.factory.createTrue();
+/**
+ * @internal
+ */
+export const check_dynamic_key = (props: {
+  context: ITypiaContext;
+  importer: FunctionImporter;
+  metadata: Metadata;
+  input: ts.Expression;
+}): ts.Expression => {
+  // IF PURE STRING EXISTS, THEN SKIP VALIDATION
+  if (
+    (props.metadata.atomics.length !== 0 &&
+      props.metadata.atomics.some(
+        (a) =>
+          a.type === "string" &&
+          a.tags.filter((row) => row.every((t) => t.validate !== undefined))
+            .length === 0,
+      )) ||
+    (props.metadata.natives.length !== 0 &&
+      props.metadata.natives.some((type) => type === "String"))
+  )
+    return ts.factory.createTrue();
 
-    const conditions: ts.Expression[] = [];
+  const conditions: ts.Expression[] = [];
 
-    // NULLISH COALESCING
-    if (metadata.nullable === true)
+  // NULLISH COALESCING
+  if (props.metadata.nullable === true)
+    conditions.push(
+      ts.factory.createStrictEquality(
+        ts.factory.createStringLiteral("null"),
+        props.input,
+      ),
+    );
+  if (props.metadata.isRequired() === false)
+    conditions.push(
+      ts.factory.createStrictEquality(
+        ts.factory.createStringLiteral("undefined"),
+        props.input,
+      ),
+    );
+
+  // ATOMICS
+  for (const atom of props.metadata.atomics)
+    if (atom.type === "boolean")
       conditions.push(
-        ts.factory.createStrictEquality(
-          ts.factory.createStringLiteral("null"),
-          input,
+        ts.factory.createLogicalOr(
+          ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("false"),
+            props.input,
+          ),
+          ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("true"),
+            props.input,
+          ),
         ),
       );
-    if (metadata.isRequired() === false)
+    else if (atom.type === "bigint")
       conditions.push(
-        ts.factory.createStrictEquality(
-          ts.factory.createStringLiteral("undefined"),
-          input,
-        ),
-      );
-
-    // ATOMICS
-    for (const atom of metadata.atomics)
-      if (atom.type === "boolean")
-        conditions.push(
-          ts.factory.createLogicalOr(
-            ts.factory.createStrictEquality(
-              ts.factory.createStringLiteral("false"),
-              input,
-            ),
-            ts.factory.createStrictEquality(
-              ts.factory.createStringLiteral("true"),
-              input,
-            ),
-          ),
-        );
-      else if (atom.type === "bigint")
-        conditions.push(
-          ts.factory.createLogicalAnd(
-            ts.factory.createCallExpression(
-              importer.use("is_bigint_string"),
-              undefined,
-              [input],
-            ),
-            atomist(
-              check_bigint(project)(atom)(
-                ts.factory.createCallExpression(
-                  ts.factory.createIdentifier("BigInt"),
-                  undefined,
-                  [input],
-                ),
-              ),
-            ),
+        ts.factory.createLogicalAnd(
+          ts.factory.createCallExpression(
+            props.importer.use("is_bigint_string"),
+            undefined,
+            [props.input],
           ),
-        );
-      else if (atom.type === "number")
-        conditions.push(
           atomist(
-            check_number(project, true)(atom)(
-              ts.factory.createCallExpression(
-                ts.factory.createIdentifier("Number"),
+            check_bigint({
+              context: props.context,
+              atomic: atom,
+              input: ts.factory.createCallExpression(
+                ts.factory.createIdentifier("BigInt"),
                 undefined,
-                [input],
+                [props.input],
               ),
-            ),
+            }),
           ),
-        );
-      else conditions.push(atomist(check_string(project)(atom)(input)));
+        ),
+      );
+    else if (atom.type === "number")
+      conditions.push(
+        atomist(
+          check_number({
+            context: props.context,
+            numeric: true,
+            atomic: atom,
+            input: ts.factory.createCallExpression(
+              ts.factory.createIdentifier("Number"),
+              undefined,
+              [props.input],
+            ),
+          }),
+        ),
+      );
+    else
+      conditions.push(
+        atomist(
+          check_string({
+            context: props.context,
+            atomic: atom,
+            input: props.input,
+          }),
+        ),
+      );
 
-    // CONSTANTS
-    for (const constant of metadata.constants)
-      for (const { value } of constant.values)
-        conditions.push(
-          ts.factory.createStrictEquality(
-            ts.factory.createStringLiteral(String(value)),
-            input,
-          ),
-        );
+  // CONSTANTS
+  for (const constant of props.metadata.constants)
+    for (const { value } of constant.values)
+      conditions.push(
+        ts.factory.createStrictEquality(
+          ts.factory.createStringLiteral(String(value)),
+          props.input,
+        ),
+      );
 
-    // TEMPLATES
-    if (!!metadata.templates.length)
-      conditions.push(atomist(check_template(metadata.templates)(input)));
+  // TEMPLATES
+  if (!!props.metadata.templates.length)
+    conditions.push(
+      atomist(
+        check_template({
+          templates: props.metadata.templates,
+          input: props.input,
+        }),
+      ),
+    );
 
-    // NATIVES
-    for (const native of metadata.natives)
-      if (native === "Boolean")
-        conditions.push(
-          ts.factory.createLogicalOr(
-            ts.factory.createStrictEquality(
-              ts.factory.createStringLiteral("false"),
-              input,
-            ),
-            ts.factory.createStrictEquality(
-              ts.factory.createStringLiteral("true"),
-              input,
-            ),
+  // NATIVES
+  for (const native of props.metadata.natives)
+    if (native === "Boolean")
+      conditions.push(
+        ts.factory.createLogicalOr(
+          ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("false"),
+            props.input,
           ),
-        );
-      else if (native === "BigInt")
-        conditions.push(
+          ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("true"),
+            props.input,
+          ),
+        ),
+      );
+    else if (native === "BigInt")
+      conditions.push(
+        ts.factory.createCallExpression(
+          props.importer.use("is_bigint_string"),
+          undefined,
+          [props.input],
+        ),
+      );
+    else if (native === "Number")
+      conditions.push(
+        ts.factory.createStrictEquality(
+          ts.factory.createFalse(),
           ts.factory.createCallExpression(
-            importer.use("is_bigint_string"),
+            ts.factory.createIdentifier("Number.isNaN"),
             undefined,
-            [input],
-          ),
-        );
-      else if (native === "Number")
-        conditions.push(
-          ts.factory.createStrictEquality(
-            ts.factory.createFalse(),
-            ts.factory.createCallExpression(
-              ts.factory.createIdentifier("Number.isNaN"),
-              undefined,
-              [
-                ts.factory.createCallExpression(
-                  ts.factory.createIdentifier("Number"),
-                  undefined,
-                  [input],
-                ),
-              ],
-            ),
+            [
+              ts.factory.createCallExpression(
+                ts.factory.createIdentifier("Number"),
+                undefined,
+                [props.input],
+              ),
+            ],
           ),
-        );
+        ),
+      );
 
-    return conditions.length === 0
-      ? ts.factory.createTrue()
-      : conditions.length === 1
-        ? conditions[0]!
-        : conditions.reduce(ts.factory.createLogicalOr);
-  };
+  return conditions.length === 0
+    ? ts.factory.createTrue()
+    : conditions.length === 1
+      ? conditions[0]!
+      : conditions.reduce(ts.factory.createLogicalOr);
+};
 
+/**
+ * @internal
+ */
 const atomist = (entry: ICheckEntry) =>
   [
     ...(entry.expression ? [entry.expression] : []),

package/src/programmers/internal/check_dynamic_properties.ts

@@ -15,176 +15,174 @@ import { check_object } from "./check_object";
 /**
  * @internal
  */
-export const check_dynamic_properties =
-  (props: check_object.IProps) =>
-  (project: ITypiaContext) =>
-  (importer: FunctionImporter) =>
-  (
-    input: ts.Expression,
-    regular: IExpressionEntry<ts.Expression>[],
-    dynamic: IExpressionEntry<ts.Expression>[],
-  ): ts.Expression => {
-    const length = IdentifierFactory.access(
-      ts.factory.createCallExpression(
-        ts.factory.createIdentifier("Object.keys"),
-        undefined,
-        [input],
-      ),
-    )("length");
-    const left: ts.Expression | null =
-      props.equals === true && dynamic.length === 0
-        ? props.undefined === true || regular.every((r) => r.meta.isRequired())
-          ? ts.factory.createStrictEquality(
+export const check_dynamic_properties = (props: {
+  config: check_object.IConfig;
+  context: ITypiaContext;
+  importer: FunctionImporter;
+  regular: IExpressionEntry<ts.Expression>[];
+  dynamic: IExpressionEntry<ts.Expression>[];
+  input: ts.Expression;
+}): ts.Expression => {
+  const length = IdentifierFactory.access(
+    ts.factory.createCallExpression(
+      ts.factory.createIdentifier("Object.keys"),
+      undefined,
+      [props.input],
+    ),
+  )("length");
+  const left: ts.Expression | null =
+    props.config.equals === true && props.dynamic.length === 0
+      ? props.config.undefined === true ||
+        props.regular.every((r) => r.meta.isRequired())
+        ? ts.factory.createStrictEquality(
+            ExpressionFactory.number(
+              props.regular.filter((r) => r.meta.isRequired()).length,
+            ),
+            length,
+          )
+        : ts.factory.createCallExpression(
+            props.importer.use("is_between"),
+            [],
+            [
+              length,
               ExpressionFactory.number(
-                regular.filter((r) => r.meta.isRequired()).length,
+                props.regular.filter((r) => r.meta.isRequired()).length,
               ),
-              length,
-            )
-          : ts.factory.createCallExpression(
-              importer.use("is_between"),
-              [],
-              [
-                length,
-                ExpressionFactory.number(
-                  regular.filter((r) => r.meta.isRequired()).length,
-                ),
-                ExpressionFactory.number(regular.length),
-              ],
-            )
-        : null;
-    if (
-      props.undefined === false &&
-      left !== null &&
-      regular.every((r) => r.meta.isRequired())
-    )
-      return left;
+              ExpressionFactory.number(props.regular.length),
+            ],
+          )
+      : null;
+  if (
+    left !== null &&
+    props.config.undefined === false &&
+    props.regular.every((r) => r.meta.isRequired())
+  )
+    return left;
 
-    const criteria = props.entries
-      ? ts.factory.createCallExpression(props.entries, undefined, [
+  const criteria: ts.CallExpression = props.config.entries
+    ? ts.factory.createCallExpression(props.config.entries, undefined, [
+        ts.factory.createCallExpression(
+          ts.factory.createIdentifier("Object.keys"),
+          undefined,
+          [props.input],
+        ),
+        check_dynamic_property(props),
+      ])
+    : ts.factory.createCallExpression(
+        IdentifierFactory.access(
           ts.factory.createCallExpression(
             ts.factory.createIdentifier("Object.keys"),
             undefined,
-            [input],
-          ),
-          check_dynamic_property(props)(project)(importer)(
-            input,
-            regular,
-            dynamic,
+            [props.input],
           ),
-        ])
-      : ts.factory.createCallExpression(
-          IdentifierFactory.access(
-            ts.factory.createCallExpression(
-              ts.factory.createIdentifier("Object.keys"),
-              undefined,
-              [input],
-            ),
-          )(props.assert ? "every" : "map"),
-          undefined,
-          [
-            check_dynamic_property(props)(project)(importer)(
-              input,
-              regular,
-              dynamic,
-            ),
-          ],
-        );
-    const right: ts.Expression = (props.halt || ((elem) => elem))(
-      props.assert ? criteria : check_everything(criteria),
-    );
-    return left
-      ? (props.undefined
-          ? ts.factory.createLogicalOr
-          : ts.factory.createLogicalAnd)(left, right)
-      : right;
-  };
-
-const check_dynamic_property =
-  (props: check_object.IProps) =>
-  (project: ITypiaContext) =>
-  (importer: FunctionImporter) =>
-  (
-    input: ts.Expression,
-    regular: IExpressionEntry<ts.Expression>[],
-    dynamic: IExpressionEntry<ts.Expression>[],
-  ) => {
-    //----
-    // 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),
-        ),
+        )(props.config.assert ? "every" : "map"),
+        undefined,
+        [check_dynamic_property(props)],
       );
-    const broken = { value: false };
+  const right: ts.Expression = (props.config.halt || ((elem) => elem))(
+    props.config.assert ? criteria : check_everything(criteria),
+  );
+  return left
+    ? (props.config.undefined
+        ? ts.factory.createLogicalOr
+        : ts.factory.createLogicalAnd)(left, right)
+    : right;
+};
+
+/**
+ * @internal
+ */
+const check_dynamic_property = (props: {
+  config: check_object.IConfig;
+  context: ITypiaContext;
+  importer: FunctionImporter;
+  regular: IExpressionEntry<ts.Expression>[];
+  dynamic: IExpressionEntry<ts.Expression>[];
+  input: ts.Expression;
+}) => {
+  //----
+  // IF CONDITIONS
+  //----
+  // PREPARE ASSETS
+  const key = ts.factory.createIdentifier("key");
+  const value = ts.factory.createIdentifier("value");
 
-    // GATHER CONDITIONS
-    if (regular.length) add(is_regular_property(regular), props.positive);
+  const statements: ts.Statement[] = [];
+  const add = (expression: ts.Expression, output: ts.Expression) =>
     statements.push(
-      StatementFactory.constant(
-        "value",
-        ts.factory.createElementAccessExpression(input, key),
+      ts.factory.createIfStatement(
+        expression,
+        ts.factory.createReturnStatement(output),
       ),
     );
-    if (props.undefined === true)
-      add(
-        ts.factory.createStrictEquality(
-          ts.factory.createIdentifier("undefined"),
-          value,
-        ),
-        props.positive,
-      );
+  const broken = { value: false };
 
-    for (const entry of dynamic) {
-      const condition: ts.Expression = check_dynamic_key(project)(importer)(
-        key,
-        entry.key,
-      );
-      if (condition.kind === ts.SyntaxKind.TrueKeyword) {
-        statements.push(ts.factory.createReturnStatement(entry.expression));
-        broken.value = true;
-        break;
-      } else add(condition, entry.expression);
-    }
-
-    //----
-    // FUNCTION BODY
-    //----
-    // CLOSURE BLOCK
-    const block: ts.Block = ts.factory.createBlock(
-      [
-        ...statements,
-        ...(broken.value
-          ? []
-          : [
-              ts.factory.createReturnStatement(
-                props.equals === true
-                  ? props.superfluous(value)
-                  : props.positive,
-              ),
-            ]),
-      ],
-      true,
+  // GATHER CONDITIONS
+  if (props.regular.length)
+    add(is_regular_property(props.regular), props.config.positive);
+  statements.push(
+    StatementFactory.constant(
+      "value",
+      ts.factory.createElementAccessExpression(props.input, key),
+    ),
+  );
+  if (props.config.undefined === true)
+    add(
+      ts.factory.createStrictEquality(
+        ts.factory.createIdentifier("undefined"),
+        value,
+      ),
+      props.config.positive,
     );
 
-    // RETURNS
-    return ts.factory.createArrowFunction(
-      undefined,
-      undefined,
-      [IdentifierFactory.parameter("key")],
-      undefined,
-      undefined,
-      block,
-    );
-  };
+  for (const entry of props.dynamic) {
+    const condition: ts.Expression = check_dynamic_key({
+      context: props.context,
+      importer: props.importer,
+      metadata: entry.key,
+      input: key,
+    });
+    if (condition.kind === ts.SyntaxKind.TrueKeyword) {
+      statements.push(ts.factory.createReturnStatement(entry.expression));
+      broken.value = true;
+      break;
+    } else add(condition, entry.expression);
+  }
+
+  //----
+  // FUNCTION BODY
+  //----
+  // CLOSURE BLOCK
+  const block: ts.Block = ts.factory.createBlock(
+    [
+      ...statements,
+      ...(broken.value
+        ? []
+        : [
+            ts.factory.createReturnStatement(
+              props.config.equals === true
+                ? props.config.superfluous(value)
+                : props.config.positive,
+            ),
+          ]),
+    ],
+    true,
+  );
+
+  // RETURNS
+  return ts.factory.createArrowFunction(
+    undefined,
+    undefined,
+    [IdentifierFactory.parameter("key")],
+    undefined,
+    undefined,
+    block,
+  );
+};
 
+/**
+ * @internal
+ */
 const is_regular_property = (regular: IExpressionEntry[]) =>
   ts.factory.createCallExpression(
     IdentifierFactory.access(

package/src/programmers/internal/check_native.ts

@@ -5,17 +5,23 @@ import { ExpressionFactory } from "../../factories/ExpressionFactory";
 /**
  * @internal
  */
-export const check_native = (type: string) => (input: ts.Expression) => {
-  const instanceOf = ExpressionFactory.isInstanceOf(type)(input);
-  return ATOMIC_LIKE.has(type)
+export const check_native = (props: {
+  type: string;
+  input: ts.Expression;
+}): ts.Expression => {
+  const instanceOf = ExpressionFactory.isInstanceOf(props.type)(props.input);
+  return ATOMIC_LIKE.has(props.type)
     ? ts.factory.createLogicalOr(
         ts.factory.createStrictEquality(
-          ts.factory.createStringLiteral(type.toLowerCase()),
-          ts.factory.createTypeOfExpression(input),
+          ts.factory.createStringLiteral(props.type.toLowerCase()),
+          ts.factory.createTypeOfExpression(props.input),
         ),
         instanceOf,
       )
     : instanceOf;
 };
 
+/**
+ * @internal
+ */
 const ATOMIC_LIKE = new Set(["Boolean", "Number", "String"]);