typia 5.1.0-dev.20230923 → 5.1.0-dev.20230924

package/src/programmers/http/HttpIsQueryProgrammer.ts

@@ -0,0 +1,87 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+import { TypeFactory } from "../../factories/TypeFactory";
+
+import { IProject } from "../../transformers/IProject";
+
+import { IsProgrammer } from "../IsProgrammer";
+import { HttpQueryProgrammer } from "./HttpQueryProgrammer";
+
+export namespace HttpIsQueryProgrammer {
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string): ts.ArrowFunction =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        ts.factory.createTypeReferenceNode(
+                            HttpQueryProgrammer.INPUT_TYPE,
+                        ),
+                    ),
+                ],
+                ts.factory.createUnionTypeNode([
+                    ts.factory.createTypeReferenceNode(
+                        `typia.Resolved<${
+                            name ??
+                            TypeFactory.getFullName(project.checker)(type)
+                        }>`,
+                    ),
+                    ts.factory.createLiteralTypeNode(ts.factory.createNull()),
+                ]),
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "is",
+                        IsProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: false,
+                            },
+                        })(modulo)(false)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "query",
+                        HttpQueryProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: false,
+                            },
+                        })(modulo)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "output",
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("query"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createIfStatement(
+                        ts.factory.createPrefixUnaryExpression(
+                            ts.SyntaxKind.ExclamationToken,
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("is"),
+                                undefined,
+                                [ts.factory.createIdentifier("output")],
+                            ),
+                        ),
+                        ts.factory.createReturnStatement(
+                            ts.factory.createNull(),
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(
+                        ts.factory.createIdentifier("output"),
+                    ),
+                ]),
+            );
+}

package/src/programmers/http/HttpParameterProgrammer.ts

@@ -0,0 +1,168 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { MetadataCollection } from "../../factories/MetadataCollection";
+import { MetadataFactory } from "../../factories/MetadataFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+import { TypeFactory } from "../../factories/TypeFactory";
+
+import { Metadata } from "../../schemas/metadata/Metadata";
+
+import { IProject } from "../../transformers/IProject";
+import { TransformerError } from "../../transformers/TransformerError";
+
+import { AssertProgrammer } from "../AssertProgrammer";
+import { HttpMetadataUtil } from "../helpers/HttpMetadataUtil";
+
+export namespace HttpParameterProgrammer {
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string): ts.ArrowFunction => {
+            const result = MetadataFactory.analyze(project.checker)({
+                escape: false,
+                constant: true,
+                absorb: true,
+                validate,
+            })(new MetadataCollection())(type);
+            if (result.success === false)
+                throw TransformerError.from(modulo.getText())(result.errors);
+            const atomic = [...HttpMetadataUtil.atomics(result.data)][0]!;
+
+            const caster = CASTERS[atomic]!;
+            const assert = AssertProgrammer.write({
+                ...project,
+                options: {
+                    numeric: true,
+                },
+            })(modulo)(false)(type, name);
+
+            return ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        ts.factory.createTypeReferenceNode("string"),
+                    ),
+                ],
+                ts.factory.createTypeReferenceNode(
+                    name ?? TypeFactory.getFullName(project.checker)(type),
+                ),
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "value",
+                        ts.factory.createCallExpression(
+                            caster(result.data.nullable),
+                            undefined,
+                            [],
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(
+                        ts.factory.createCallExpression(assert, undefined, [
+                            ts.factory.createIdentifier("value"),
+                        ]),
+                    ),
+                ]),
+            );
+        };
+
+    const validate = (meta: Metadata): string[] => {
+        const errors: string[] = [];
+        const insert = (msg: string) => errors.push(msg);
+
+        if (meta.any) insert("do not allow any type");
+        if (meta.isRequired() === false)
+            insert("do not allow undefindable type");
+
+        const atomics = HttpMetadataUtil.atomics(meta);
+        const expected: number =
+            meta.atomics.length +
+            meta.templates.length +
+            meta.constants
+                .map((c) => c.values.length)
+                .reduce((a, b) => a + b, 0);
+        if (meta.size() !== expected || atomics.size === 0)
+            insert("only atomic or constant types are allowed");
+        if (atomics.size > 1) insert("do not allow union type");
+
+        return errors;
+    };
+}
+
+const CASTERS = {
+    boolean: (nullable: boolean) =>
+        createArrow(nullable)(
+            ts.factory.createConditionalExpression(
+                ts.factory.createLogicalOr(
+                    ts.factory.createStrictEquality(
+                        ts.factory.createStringLiteral("false"),
+                        ts.factory.createIdentifier("input"),
+                    ),
+                    ts.factory.createStrictEquality(
+                        ts.factory.createStringLiteral("0"),
+                        ts.factory.createIdentifier("input"),
+                    ),
+                ),
+                undefined,
+                ts.factory.createFalse(),
+                undefined,
+                ts.factory.createConditionalExpression(
+                    ts.factory.createLogicalOr(
+                        ts.factory.createStrictEquality(
+                            ts.factory.createStringLiteral("true"),
+                            ts.factory.createIdentifier("input"),
+                        ),
+                        ts.factory.createStrictEquality(
+                            ts.factory.createStringLiteral("1"),
+                            ts.factory.createIdentifier("input"),
+                        ),
+                    ),
+                    undefined,
+                    ts.factory.createTrue(),
+                    undefined,
+                    ts.factory.createIdentifier("input"),
+                ),
+            ),
+        ),
+    number: (nullable: boolean) =>
+        createArrow(nullable)(
+            ts.factory.createCallExpression(
+                ts.factory.createIdentifier("Number"),
+                undefined,
+                [ts.factory.createIdentifier("input")],
+            ),
+        ),
+    bigint: (nullable: boolean) =>
+        createArrow(nullable)(
+            ts.factory.createCallExpression(
+                ts.factory.createIdentifier("BigInt"),
+                undefined,
+                [ts.factory.createIdentifier("input")],
+            ),
+        ),
+    string: (nullable: boolean) =>
+        createArrow(nullable)(ts.factory.createIdentifier("input")),
+};
+
+const createArrow = (nullable: boolean) => (expr: ts.Expression) =>
+    ts.factory.createArrowFunction(
+        undefined,
+        undefined,
+        [IdentifierFactory.parameter("input")],
+        undefined,
+        undefined,
+        nullable
+            ? ts.factory.createConditionalExpression(
+                  ts.factory.createStrictEquality(
+                      ts.factory.createStringLiteral("null"),
+                      ts.factory.createIdentifier("input"),
+                  ),
+                  undefined,
+                  ts.factory.createNull(),
+                  undefined,
+                  expr,
+              )
+            : expr,
+    );

package/src/programmers/http/HttpQueryProgrammer.ts

@@ -0,0 +1,267 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { MetadataCollection } from "../../factories/MetadataCollection";
+import { MetadataFactory } from "../../factories/MetadataFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+import { TypeFactory } from "../../factories/TypeFactory";
+
+import { Metadata } from "../../schemas/metadata/Metadata";
+import { MetadataArray } from "../../schemas/metadata/MetadataArray";
+import { MetadataObject } from "../../schemas/metadata/MetadataObject";
+import { MetadataProperty } from "../../schemas/metadata/MetadataProperty";
+
+import { IProject } from "../../transformers/IProject";
+import { TransformerError } from "../../transformers/TransformerError";
+
+import { Atomic } from "../../typings/Atomic";
+
+import { Escaper } from "../../utils/Escaper";
+
+import { FunctionImporter } from "../helpers/FunctionImporeter";
+import { HttpMetadataUtil } from "../helpers/HttpMetadataUtil";
+
+export namespace HttpQueryProgrammer {
+    export const INPUT_TYPE = "string | URLSearchParams";
+
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string): ts.ArrowFunction => {
+            // GET OBJECT TYPE
+            const importer: FunctionImporter = new FunctionImporter(
+                modulo.getText(),
+            );
+            const collection: MetadataCollection = new MetadataCollection();
+            const result = MetadataFactory.analyze(project.checker)({
+                escape: false,
+                constant: true,
+                absorb: true,
+                validate,
+            })(collection)(type);
+            if (result.success === false)
+                throw TransformerError.from(`typia.http.${importer.method}`)(
+                    result.errors,
+                );
+
+            // DO TRANSFORM
+            const object: MetadataObject = result.data.objects[0]!;
+            const statements: ts.Statement[] = decode_object(importer)(object);
+            return ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        ts.factory.createTypeReferenceNode(INPUT_TYPE),
+                    ),
+                ],
+                ts.factory.createTypeReferenceNode(
+                    `typia.Resolved<${
+                        name ?? TypeFactory.getFullName(project.checker)(type)
+                    }>`,
+                ),
+                undefined,
+                ts.factory.createBlock(
+                    [...importer.declare(modulo), ...statements],
+                    true,
+                ),
+            );
+        };
+
+    const validate = (
+        meta: Metadata,
+        explore: MetadataFactory.IExplore,
+    ): string[] => {
+        const errors: string[] = [];
+        const insert = (msg: string) => errors.push(msg);
+
+        if (explore.top === true) {
+            // TOP MUST BE ONLY OBJECT
+            if (meta.objects.length !== 1 || meta.bucket() !== 1)
+                insert("only one object type is allowed.");
+            if (meta.nullable === true)
+                insert("query parameters cannot be null.");
+            if (meta.isRequired() === false)
+                insert("query parameters cannot be undefined.");
+        } else if (
+            explore.nested !== null &&
+            explore.nested instanceof MetadataArray
+        ) {
+            const atomics = HttpMetadataUtil.atomics(meta);
+            const expected: number =
+                meta.atomics.length +
+                meta.templates.length +
+                meta.constants
+                    .map((c) => c.values.length)
+                    .reduce((a, b) => a + b, 0);
+            if (atomics.size > 1) insert("union type is not allowed in array.");
+            if (meta.nullable) insert("nullable type is not allowed in array.");
+            if (meta.isRequired() === false)
+                insert("optional type is not allowed in array.");
+            if (meta.size() !== expected)
+                insert("only atomic or constant types are allowed in array.");
+        } else if (explore.object && explore.property !== null) {
+            //----
+            // COMMON
+            //----
+            // PROPERTY MUST BE SOLE
+            if (typeof explore.property === "object")
+                insert("dynamic property is not allowed.");
+            // DO NOT ALLOW TUPLE TYPE
+            if (meta.tuples.length) insert("tuple type is not allowed.");
+            // DO NOT ALLOW UNION TYPE
+            if (HttpMetadataUtil.isUnion(meta))
+                insert("union type is not allowed.");
+            // DO NOT ALLOW NESTED OBJECT
+            if (
+                meta.objects.length ||
+                meta.sets.length ||
+                meta.maps.length ||
+                meta.natives.length
+            )
+                insert("nested object type is not allowed.");
+
+            //----
+            // ARRAY CASES
+            //----
+            const isArray: boolean =
+                meta.arrays.length > 1 || meta.tuples.length > 1;
+            // ARRAY TYPE MUST BE REQUIRED
+            if (isArray && meta.isRequired() === false)
+                insert("optional type is not allowed when array.");
+            // SET-COOKIE MUST BE ARRAY
+            if (explore.property === "set-cookie" && !isArray)
+                insert("set-cookie property must be array.");
+        }
+        return errors;
+    };
+
+    const decode_object =
+        (importer: FunctionImporter) =>
+        (object: MetadataObject): ts.Statement[] => {
+            const input: ts.Identifier = ts.factory.createIdentifier("input");
+            const output: ts.Identifier = ts.factory.createIdentifier("output");
+            const optionals: string[] = [];
+            return [
+                ts.factory.createExpressionStatement(
+                    ts.factory.createCallExpression(
+                        importer.use("params"),
+                        undefined,
+                        [input],
+                    ),
+                ),
+                StatementFactory.constant(
+                    "output",
+                    ts.factory.createObjectLiteralExpression(
+                        object.properties.map((prop) => {
+                            if (
+                                !prop.value.isRequired() &&
+                                prop.value.arrays.length +
+                                    prop.value.tuples.length >
+                                    0
+                            )
+                                optionals.push(
+                                    prop.key.constants[0]!.values[0] as string,
+                                );
+                            return decode_regular_property(importer)(prop);
+                        }),
+                        true,
+                    ),
+                ),
+                ...optionals.map((key) => {
+                    const access = IdentifierFactory.access(output)(key);
+                    return ts.factory.createIfStatement(
+                        ts.factory.createStrictEquality(
+                            ts.factory.createNumericLiteral(0),
+                            IdentifierFactory.access(access)("length"),
+                        ),
+                        ts.factory.createExpressionStatement(
+                            ts.factory.createDeleteExpression(access),
+                        ),
+                    );
+                }),
+                ts.factory.createReturnStatement(output),
+            ];
+        };
+
+    const decode_regular_property =
+        (importer: FunctionImporter) =>
+        (property: MetadataProperty): ts.PropertyAssignment => {
+            const key: string = property.key.constants[0]!.values[0] as string;
+            const value: Metadata = property.value;
+
+            const [type, isArray]: [Atomic.Literal, boolean] = value.atomics
+                .length
+                ? [value.atomics[0]!.type, false]
+                : value.constants.length
+                ? [value.constants[0]!.type, false]
+                : (() => {
+                      const meta =
+                          value.arrays[0]?.type.value ??
+                          value.tuples[0]!.type.elements[0]!;
+                      return meta.atomics.length
+                          ? [meta.atomics[0]!.type, true]
+                          : [meta.constants[0]!.type, true];
+                  })();
+            return ts.factory.createPropertyAssignment(
+                Escaper.variable(key)
+                    ? key
+                    : ts.factory.createStringLiteral(key),
+                isArray
+                    ? ts.factory.createCallExpression(
+                          IdentifierFactory.access(
+                              ts.factory.createCallExpression(
+                                  ts.factory.createIdentifier("input.getAll"),
+                                  undefined,
+                                  [ts.factory.createStringLiteral(key)],
+                              ),
+                          )("map"),
+                          undefined,
+                          [
+                              ts.factory.createArrowFunction(
+                                  undefined,
+                                  undefined,
+                                  [IdentifierFactory.parameter("elem")],
+                                  undefined,
+                                  undefined,
+                                  decode_value(importer)(type)(false)(
+                                      ts.factory.createIdentifier("elem"),
+                                  ),
+                              ),
+                          ],
+                      )
+                    : decode_value(importer)(type)(
+                          value.nullable === false &&
+                              value.isRequired() === false,
+                      )(
+                          ts.factory.createCallExpression(
+                              ts.factory.createIdentifier("input.get"),
+                              undefined,
+                              [ts.factory.createStringLiteral(key)],
+                          ),
+                      ),
+            );
+        };
+
+    const decode_value =
+        (importer: FunctionImporter) =>
+        (type: Atomic.Literal) =>
+        (onlyUndefindable: boolean) =>
+        (value: ts.Expression) => {
+            const call = ts.factory.createCallExpression(
+                importer.use(type),
+                undefined,
+                [value],
+            );
+            return onlyUndefindable
+                ? ts.factory.createBinaryExpression(
+                      call,
+                      ts.factory.createToken(
+                          ts.SyntaxKind.QuestionQuestionToken,
+                      ),
+                      ts.factory.createIdentifier("undefined"),
+                  )
+                : call;
+        };
+}

package/src/programmers/http/HttpValidateHeadersProgrammer.ts

@@ -0,0 +1,77 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+import { TypeFactory } from "../../factories/TypeFactory";
+
+import { IProject } from "../../transformers/IProject";
+
+import { ValidateProgrammer } from "../ValidateProgrammer";
+import { HttpHeadersProgrammer } from "./HttpHeadersProgrammer";
+
+export namespace HttpValidateHeadersProgrammer {
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string): ts.ArrowFunction =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        ts.factory.createTypeReferenceNode(
+                            HttpHeadersProgrammer.INPUT_TYPE,
+                        ),
+                    ),
+                ],
+                ts.factory.createTypeReferenceNode(
+                    `typia.IValidation<typia.Resolved<${
+                        name ?? TypeFactory.getFullName(project.checker)(type)
+                    }>>`,
+                ),
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "validate",
+                        ValidateProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: true,
+                            },
+                        })(modulo)(false)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "headers",
+                        HttpHeadersProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: false,
+                            },
+                        })(modulo)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "output",
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("headers"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(
+                        ts.factory.createAsExpression(
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("validate"),
+                                undefined,
+                                [ts.factory.createIdentifier("output")],
+                            ),
+                            ts.factory.createTypeReferenceNode("any"),
+                        ),
+                    ),
+                ]),
+            );
+}

package/src/programmers/http/HttpValidateQueryProgrammer.ts

@@ -0,0 +1,77 @@
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+import { StatementFactory } from "../../factories/StatementFactory";
+import { TypeFactory } from "../../factories/TypeFactory";
+
+import { IProject } from "../../transformers/IProject";
+
+import { ValidateProgrammer } from "../ValidateProgrammer";
+import { HttpQueryProgrammer } from "./HttpQueryProgrammer";
+
+export namespace HttpValidateQueryProgrammer {
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string): ts.ArrowFunction =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        ts.factory.createTypeReferenceNode(
+                            HttpQueryProgrammer.INPUT_TYPE,
+                        ),
+                    ),
+                ],
+                ts.factory.createTypeReferenceNode(
+                    `typia.IValidation<typia.Resolved<${
+                        name ?? TypeFactory.getFullName(project.checker)(type)
+                    }>>`,
+                ),
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "validate",
+                        ValidateProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: true,
+                            },
+                        })(modulo)(false)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "query",
+                        HttpQueryProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: false,
+                            },
+                        })(modulo)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "output",
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("query"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(
+                        ts.factory.createAsExpression(
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("validate"),
+                                undefined,
+                                [ts.factory.createIdentifier("output")],
+                            ),
+                            ts.factory.createTypeReferenceNode("any"),
+                        ),
+                    ),
+                ]),
+            );
+}