@typia/core 12.0.0-dev.20260225

package/src/factories/ExpressionFactory.ts

@@ -0,0 +1,233 @@
+import ts from "typescript";
+
+import { ImportProgrammer } from "../programmers/ImportProgrammer";
+
+/**
+ * Factory for creating TypeScript expression nodes.
+ *
+ * Creates numeric literals, type checks, instanceof expressions, and more. Also
+ * provides {@link transpile} for converting string code to AST with `$input`
+ * placeholder substitution and import handling.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace ExpressionFactory {
+  export const number = (value: number) =>
+    value < 0
+      ? ts.factory.createPrefixUnaryExpression(
+          ts.SyntaxKind.MinusToken,
+          ts.factory.createNumericLiteral(Math.abs(value)),
+        )
+      : ts.factory.createNumericLiteral(value);
+
+  export const bigint = (value: number | bigint) =>
+    ts.factory.createCallExpression(
+      ts.factory.createIdentifier("BigInt"),
+      undefined,
+      [ts.factory.createIdentifier(value.toString())],
+    );
+
+  export const isRequired = (input: ts.Expression): ts.Expression =>
+    ts.factory.createStrictInequality(
+      ts.factory.createIdentifier("undefined"),
+      input,
+    );
+
+  export const isArray = (input: ts.Expression): ts.Expression =>
+    ts.factory.createCallExpression(
+      ts.factory.createIdentifier("Array.isArray"),
+      undefined,
+      [input],
+    );
+
+  export const isObject = (props: {
+    checkNull: boolean;
+    checkArray: boolean;
+    input: ts.Expression;
+  }): ts.Expression => {
+    const conditions: ts.Expression[] = [
+      ts.factory.createStrictEquality(
+        ts.factory.createStringLiteral("object"),
+        ts.factory.createTypeOfExpression(props.input),
+      ),
+    ];
+    if (props.checkNull === true)
+      conditions.push(
+        ts.factory.createStrictInequality(ts.factory.createNull(), props.input),
+      );
+    if (props.checkArray === true)
+      conditions.push(
+        ts.factory.createStrictEquality(
+          ts.factory.createFalse(),
+          ts.factory.createCallExpression(
+            ts.factory.createIdentifier("Array.isArray"),
+            undefined,
+            [props.input],
+          ),
+        ),
+      );
+
+    return conditions.length === 1
+      ? conditions[0]!
+      : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+  };
+
+  export const isInstanceOf = (
+    type: string,
+    input: ts.Expression,
+  ): ts.Expression => {
+    return ts.factory.createBinaryExpression(
+      input,
+      ts.factory.createToken(ts.SyntaxKind.InstanceOfKeyword),
+      ts.factory.createIdentifier(type),
+    );
+  };
+
+  export const coalesce = (x: ts.Expression, y: ts.Expression): ts.Expression =>
+    ts.factory.createBinaryExpression(
+      x,
+      ts.factory.createToken(ts.SyntaxKind.QuestionQuestionToken),
+      y,
+    );
+
+  export const currying = (props: {
+    function: ts.Expression;
+    arguments: ts.Expression[];
+  }): ts.CallExpression => {
+    if (props.arguments.length === 0)
+      return ts.factory.createCallExpression(
+        props.function,
+        undefined,
+        undefined,
+      );
+    let prev: ts.CallExpression = ts.factory.createCallExpression(
+      props.function,
+      undefined,
+      [props.arguments[0]!],
+    );
+    for (const param of props.arguments.slice(1))
+      prev = ts.factory.createCallExpression(prev, undefined, [param]);
+    return prev;
+  };
+
+  export const selfCall = (
+    body: ts.ConciseBody,
+    type?: ts.TypeNode | undefined,
+  ) =>
+    ts.isCallExpression(body)
+      ? body
+      : ts.factory.createCallExpression(
+          ts.factory.createParenthesizedExpression(
+            ts.factory.createArrowFunction(
+              undefined,
+              undefined,
+              [],
+              type,
+              undefined,
+              body,
+            ),
+          ),
+          undefined,
+          undefined,
+        );
+
+  export const getEscapedText = (props: {
+    printer: ts.Printer;
+    input: ts.Expression;
+  }): string =>
+    props.printer.printNode(
+      ts.EmitHint.Expression,
+      props.input,
+      props.input.getSourceFile(),
+    );
+
+  export const transpile = (props: {
+    transformer?: ts.TransformationContext;
+    importer?: ImportProgrammer;
+    script: string;
+  }) => {
+    const file: ts.SourceFile = ts.createSourceFile(
+      `${_randomFormatUuid()}.ts`,
+      props.script,
+      ts.ScriptTarget.ESNext,
+      true,
+      ts.ScriptKind.TS,
+    );
+    const statement: ts.Statement | undefined = file.statements[0];
+    if (statement === undefined)
+      throw new ReferenceError(
+        "Error on ExpressionFactory.transpile(): no statement exists.",
+      );
+    else if (!ts.isExpressionStatement(statement))
+      throw new TypeError(
+        "Error on ExpressionFactory.transpile(): statement is not an expression statement.",
+      );
+    return (input: ts.Expression): ts.Expression => {
+      const visitor = (node: ts.Node): ts.Node => {
+        if (ts.isIdentifier(node) && node.text === "$input") return input;
+        else if (props.importer !== undefined && ts.isCallExpression(node))
+          if (
+            node.expression.getText() === "$importInternal" &&
+            node.arguments.length === 1 &&
+            ts.isStringLiteralLike(node.arguments[0]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            return props.importer.internal(name);
+          } else if (
+            node.expression.getText() === "$importInstance" &&
+            node.arguments.length === 2 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.instance({
+              file,
+              name,
+              alias: null,
+            });
+          } else if (
+            node.expression.getText() === "$importNamespace" &&
+            node.arguments.length === 2 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.namespace({
+              file,
+              name,
+            });
+          } else if (
+            node.expression.getText() === "$importDefault" &&
+            node.arguments.length === 3 &&
+            ts.isStringLiteralLike(node.arguments[0]!) &&
+            ts.isStringLiteralLike(node.arguments[1]!)
+          ) {
+            const name: string = node.arguments[0]!.text;
+            const file: string = node.arguments[1]!.text;
+            return props.importer.default({
+              file,
+              name,
+              type: false,
+            });
+          }
+        return ts.visitEachChild(
+          ts.factory.cloneNode(node),
+          visitor,
+          props.transformer,
+        );
+      };
+      return visitor(
+        ts.factory.cloneNode(statement.expression),
+      ) as ts.Expression;
+    };
+  };
+}
+
+const _randomFormatUuid = (): string =>
+  "xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx".replace(/[xy]/g, (c) => {
+    const r = (Math.random() * 16) | 0;
+    const v = c === "x" ? r : (r & 0x3) | 0x8;
+    return v.toString(16);
+  });

package/src/factories/FormatCheatSheet.ts

@@ -0,0 +1,71 @@
+const RegexCall = <Text extends string>(text: Text) =>
+  `${text}.test($input)` as const;
+
+/** @reference https://github.dev/ajv-validator/ajv-formats/blob/master/src/formats.ts */
+export const FormatCheatSheet = {
+  // SPECIAL CHARACTERS
+  byte: RegexCall(
+    `/^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/gm`,
+  ),
+  password: `true`,
+  regex: `(() => { try { new RegExp($input); return true; } catch { return false; } })()`,
+  uuid: RegexCall(
+    `/^(?:urn:uuid:)?[0-9a-f]{8}-(?:[0-9a-f]{4}-){3}[0-9a-f]{12}$/i`,
+  ),
+
+  // ADDRESSES
+  email: RegexCall(
+    `/^[a-z0-9!#$%&'*+/=?^_\`{|}~-]+(?:\\.[a-z0-9!#$%&'*+/=?^_\`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?$/i`,
+  ),
+  hostname: RegexCall(
+    `/^(?=.{1,253}\\.?$)[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?(?:\\.[a-z0-9](?:[-0-9a-z]{0,61}[0-9a-z])?)*\\.?$/i`,
+  ),
+  "idn-email": RegexCall(
+    `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i`,
+  ),
+  "idn-hostname": RegexCall(
+    `/^([a-z0-9\\u00a1-\\uffff0-9]+(-[a-z0-9\\u00a1-\\uffff0-9]+)*\\.)+[a-z\\u00a1-\\uffff]{2,}$/i`,
+  ),
+  iri: RegexCall(
+    `/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020"<>\\\\^\`{|}]*$/u`,
+  ),
+  "iri-reference": RegexCall(
+    `/^[A-Za-z][\\d+-.A-Za-z]*:[^\\u0000-\\u0020"<>\\\\^\`{|}]*$/u`,
+  ),
+  ipv4: RegexCall(
+    `/^(?:(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)\\.){3}(?:25[0-5]|2[0-4]\\d|1\\d\\d|[1-9]?\\d)$/`,
+  ),
+  ipv6: RegexCall(
+    `/^((([0-9a-f]{1,4}:){7}([0-9a-f]{1,4}|:))|(([0-9a-f]{1,4}:){6}(:[0-9a-f]{1,4}|((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){5}(((:[0-9a-f]{1,4}){1,2})|:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){4}(((:[0-9a-f]{1,4}){1,3})|((:[0-9a-f]{1,4})?:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){3}(((:[0-9a-f]{1,4}){1,4})|((:[0-9a-f]{1,4}){0,2}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){2}(((:[0-9a-f]{1,4}){1,5})|((:[0-9a-f]{1,4}){0,3}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){1}(((:[0-9a-f]{1,4}){1,6})|((:[0-9a-f]{1,4}){0,4}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(:(((:[0-9a-f]{1,4}){1,7})|((:[0-9a-f]{1,4}){0,5}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:)))$/i`,
+  ),
+  uri: `${RegexCall(`/\\/|:/`)} && ${RegexCall(
+    `/^(?:[a-z][a-z0-9+\\-.]*:)(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)(?:\\?(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i`,
+  )}`,
+  "uri-reference": RegexCall(
+    `/^(?:[a-z][a-z0-9+\\-.]*:)?(?:\\/?\\/(?:(?:[a-z0-9\\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\\.[a-z0-9\\-._~!$&'()*+,;=:]+)\\]|(?:(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)\\.){3}(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)|(?:[a-z0-9\\-._~!$&'"()*+,;=]|%[0-9a-f]{2})*)(?::\\d*)?(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*|\\/(?:(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\\/(?:[a-z0-9\\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?(?:\\?(?:[a-z0-9\\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i`,
+  ),
+  "uri-template": RegexCall(
+    `/^(?:(?:[^\\x00-\\x20"'<>%\\\\^\`{|}]|%[0-9a-f]{2})|\\{[+#./;?&=,!@|]?(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?(?:,(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\\*)?)*\\})*$/i`,
+  ),
+  url: RegexCall(
+    `/^(?:https?|ftp):\\/\\/(?:\\S+(?::\\S*)?@)?(?:(?!(?:10|127)(?:\\.\\d{1,3}){3})(?!(?:169\\.254|192\\.168)(?:\\.\\d{1,3}){2})(?!172\\.(?:1[6-9]|2\\d|3[0-1])(?:\\.\\d{1,3}){2})(?:[1-9]\\d?|1\\d\\d|2[01]\\d|22[0-3])(?:\\.(?:1?\\d{1,2}|2[0-4]\\d|25[0-5])){2}(?:\\.(?:[1-9]\\d?|1\\d\\d|2[0-4]\\d|25[0-4]))|(?:(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)(?:\\.(?:[a-z0-9\\u{00a1}-\\u{ffff}]+-)*[a-z0-9\\u{00a1}-\\u{ffff}]+)*(?:\\.(?:[a-z\\u{00a1}-\\u{ffff}]{2,})))(?::\\d{2,5})?(?:\\/[^\\s]*)?$/iu`,
+  ),
+
+  // TIMESTAMPS
+  "date-time": RegexCall(
+    `/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])(T|\\s)([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i`,
+  ),
+  date: RegexCall(`/^[0-9]{4}-(0[1-9]|1[0-2])-(0[1-9]|[12][0-9]|3[01])$/`),
+  time: RegexCall(
+    `/^([01][0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](?:\\.[0-9]{1,9})?(Z|[+-]([01][0-9]|2[0-3]):[0-5][0-9])$/i`,
+  ),
+  duration: RegexCall(
+    `/^P(?!$)((\\d+Y)?(\\d+M)?(\\d+D)?(T(?=\\d)(\\d+H)?(\\d+M)?(\\d+S)?)?|(\\d+W)?)$/`,
+  ),
+
+  // POINTERS
+  "json-pointer": RegexCall(`/^(?:\\/(?:[^~/]|~0|~1)*)*$/`),
+  "relative-json-pointer": RegexCall(
+    `/^(?:0|[1-9][0-9]*)(?:#|(?:\\/(?:[^~/]|~0|~1)*)*)$/`,
+  ),
+} as const;

package/src/factories/IdentifierFactory.ts

@@ -0,0 +1,97 @@
+import { NamingConvention } from "@typia/utils";
+import ts from "typescript";
+
+import { TypeFactory } from "./TypeFactory";
+
+/**
+ * Factory for creating TypeScript identifier and property access nodes.
+ *
+ * Creates identifiers, property access expressions, and parameter declarations.
+ * Handles both valid JavaScript identifiers and string literals for property
+ * names that contain special characters.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export namespace IdentifierFactory {
+  export const identifier = (name: string) =>
+    NamingConvention.variable(name)
+      ? ts.factory.createIdentifier(name)
+      : ts.factory.createStringLiteral(name);
+
+  export const access = (
+    input: ts.Expression,
+    key: string,
+    chain?: boolean,
+  ) => {
+    const postfix = identifier(key);
+    return ts.isStringLiteral(postfix)
+      ? chain === true
+        ? ts.factory.createElementAccessChain(
+            input,
+            ts.factory.createToken(ts.SyntaxKind.QuestionDotToken),
+            postfix,
+          )
+        : ts.factory.createElementAccessExpression(input, postfix)
+      : chain === true
+        ? ts.factory.createPropertyAccessChain(
+            input,
+            ts.factory.createToken(ts.SyntaxKind.QuestionDotToken),
+            postfix,
+          )
+        : ts.factory.createPropertyAccessExpression(input, postfix);
+  };
+
+  export const getName = (input: ts.Expression): string => {
+    const value: any = (input as any).escapedText?.toString();
+    if (typeof value === "string") return value;
+
+    if (ts.isPropertyAccessExpression(input))
+      return `${getName(
+        input.expression,
+      )}.${input.name.escapedText.toString()}`;
+    else if (ts.isElementAccessExpression(input))
+      return `${getName(input.expression)}[${getName(
+        input.argumentExpression,
+      )}]`;
+    return "unknown";
+  };
+
+  export const postfix = (str: string): string =>
+    NamingConvention.variable(str)
+      ? `".${str}"`
+      : `"[${JSON.stringify(str).split('"').join('\\"')}]"`;
+
+  export const parameter = (
+    name: string | ts.BindingName,
+    type?: ts.TypeNode | undefined,
+    init?:
+      | ts.Expression
+      | ts.PunctuationToken<ts.SyntaxKind.QuestionToken>
+      | undefined,
+  ): ts.ParameterDeclaration => {
+    // instead of ts.version >= "4.8"
+    if (ts.getDecorators !== undefined)
+      return ts.factory.createParameterDeclaration(
+        undefined,
+        undefined,
+        name,
+        init?.kind === ts.SyntaxKind.QuestionToken
+          ? ts.factory.createToken(ts.SyntaxKind.QuestionToken)
+          : undefined,
+        type ?? TypeFactory.keyword("any"),
+        init && init.kind !== ts.SyntaxKind.QuestionToken ? init : undefined,
+      );
+    // eslint-disable-next-line
+    return (ts.factory.createParameterDeclaration as any)(
+      undefined,
+      undefined,
+      undefined,
+      name,
+      init?.kind === ts.SyntaxKind.QuestionToken
+        ? ts.factory.createToken(ts.SyntaxKind.QuestionToken)
+        : undefined,
+      type,
+      init && init.kind !== ts.SyntaxKind.QuestionToken ? init : undefined,
+    );
+  };
+}

package/src/factories/JsonMetadataFactory.ts

@@ -0,0 +1,79 @@
+import { ValidationPipe } from "@typia/interface";
+import ts from "typescript";
+
+import { TransformerError } from "../context/TransformerError";
+import { AtomicPredicator } from "../programmers/helpers/AtomicPredicator";
+import { MetadataSchema } from "../schemas/metadata/MetadataSchema";
+import { MetadataStorage } from "../schemas/metadata/MetadataStorage";
+import { MetadataFactory } from "./MetadataFactory";
+
+export namespace JsonMetadataFactory {
+  export interface IProps {
+    method: string;
+    checker: ts.TypeChecker;
+    transformer?: ts.TransformationContext;
+    type: ts.Type;
+    validate?: MetadataFactory.Validator;
+  }
+  export interface IOutput {
+    collection: MetadataStorage;
+    metadata: MetadataSchema;
+  }
+
+  export const analyze = (props: IProps): IOutput => {
+    const collection: MetadataStorage = new MetadataStorage();
+    const result: ValidationPipe<MetadataSchema, MetadataFactory.IError> =
+      MetadataFactory.analyze({
+        checker: props.checker,
+        transformer: props.transformer,
+        options: {
+          absorb: true,
+          escape: true,
+          constant: true,
+          validate: props.validate
+            ? (meta, explore) => {
+                const errors: string[] = validate(meta);
+                errors.push(...props.validate!(meta, explore));
+                return errors;
+              }
+            : validate,
+        },
+        components: collection,
+        type: props.type,
+      });
+    if (result.success === false)
+      throw TransformerError.from({
+        code: props.method,
+        errors: result.errors,
+      });
+    return {
+      collection,
+      metadata: result.data,
+    };
+  };
+
+  export const validate = (meta: MetadataSchema) => {
+    const output: string[] = [];
+    if (
+      meta.atomics.some((a) => a.type === "bigint") ||
+      meta.constants.some((c) => c.type === "bigint")
+    )
+      output.push("JSON does not support bigint type.");
+    if (
+      meta.tuples.some((t) =>
+        t.type.elements.some((e) => e.isRequired() === false),
+      ) ||
+      meta.arrays.some((a) => a.type.value.isRequired() === false)
+    )
+      output.push("JSON does not support undefined type in array.");
+    if (meta.maps.length) output.push("JSON does not support Map type.");
+    if (meta.sets.length) output.push("JSON does not support Set type.");
+    for (const native of meta.natives)
+      if (
+        AtomicPredicator.native(native.name) === false &&
+        native.name !== "Date"
+      )
+        output.push(`JSON does not support ${native.name} type.`);
+    return output;
+  };
+}

package/src/factories/LiteralFactory.ts

@@ -0,0 +1,52 @@
+import ts from "typescript";
+
+import { ExpressionFactory } from "./ExpressionFactory";
+import { IdentifierFactory } from "./IdentifierFactory";
+
+export namespace LiteralFactory {
+  export const write = (input: any): ts.Expression => {
+    if (input === null) return ts.factory.createNull();
+    else if (ts.isArrowFunction(input)) return input;
+    else if (ts.isCallExpression(input)) return input;
+    else if (ts.isIdentifier(input)) return input;
+    else if (input instanceof Array) return writeArray(input);
+    else if (typeof input === "object") return writeObject(input);
+    else if (typeof input === "boolean") return writeBoolean(input);
+    else if (typeof input === "bigint") return writeBigint(input);
+    else if (typeof input === "number") return writeNumber(input);
+    else if (typeof input === "string") return writeStrinng(input);
+    // unreachable code
+    else if (typeof input === "function")
+      return ts.factory.createIdentifier("undefined");
+    else
+      throw new TypeError("Error on LiteralFactory.generate(): unknown type.");
+  };
+
+  const writeObject = (obj: object): ts.ObjectLiteralExpression =>
+    ts.factory.createObjectLiteralExpression(
+      Object.entries(obj)
+        .filter((tuple) => tuple[1] !== undefined)
+        .map(([key, value]) =>
+          ts.factory.createPropertyAssignment(
+            IdentifierFactory.identifier(key),
+            write(value),
+          ),
+        ),
+      true,
+    );
+
+  const writeArray = (array: any[]): ts.ArrayLiteralExpression =>
+    ts.factory.createArrayLiteralExpression(array.map(write), true);
+
+  const writeBoolean = (value: boolean): ts.Expression =>
+    value ? ts.factory.createTrue() : ts.factory.createFalse();
+
+  const writeNumber = (value: number): ts.Expression =>
+    ExpressionFactory.number(value);
+
+  const writeBigint = (value: bigint): ts.Expression =>
+    ExpressionFactory.bigint(value);
+
+  const writeStrinng = (value: string): ts.StringLiteral =>
+    ts.factory.createStringLiteral(value);
+}