typia 5.0.0-dev.20230827 → 5.0.0-dev.20230829

package/lib/transformers/internal/GenericTransformer.js

@@ -21,6 +21,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.GenericTransformer = void 0;
 var typescript_1 = __importDefault(require("typescript"));
+var TransformerError_1 = require("../TransformerError");
 var GenericTransformer;
 (function (GenericTransformer) {
     GenericTransformer.scalar = function (method) {
@@ -29,7 +30,10 @@ var GenericTransformer;
                 return function (modulo) {
                     return function (expression) {
                         if (expression.arguments.length !== 1)
-                            throw new Error("Error on typia.".concat(method, "(): no input value."));
+                            throw new TransformerError_1.TransformerError({
+                                code: "typia.".concat(method),
+                                message: "no input value.",
+                            });
                         var _a = __read(expression.typeArguments && expression.typeArguments[0]
                             ? [
                                 project.checker.getTypeFromTypeNode(expression.typeArguments[0]),
@@ -42,7 +46,10 @@ var GenericTransformer;
                                 false,
                             ], 3), type = _a[0], node = _a[1], generic = _a[2];
                         if (type.isTypeParameter())
-                            throw new Error("Error on typia.".concat(method, "(): non-specified generic argument."));
+                            throw new TransformerError_1.TransformerError({
+                                code: "typia.".concat(method),
+                                message: "non-specified generic argument.",
+                            });
                         return typescript_1.default.factory.createCallExpression(programmer(project)(modulo)(type, generic
                             ? node.getFullText().trim()
                             : name(project.checker)(type)(node)), undefined, [expression.arguments[0]]);
@@ -58,11 +65,17 @@ var GenericTransformer;
                     return function (expression) {
                         var _a;
                         if (!((_a = expression.typeArguments) === null || _a === void 0 ? void 0 : _a[0]))
-                            throw new Error("Error on typia.".concat(method, "(): generic argument is not specified."));
+                            throw new TransformerError_1.TransformerError({
+                                code: "typia.".concat(method),
+                                message: "generic argument is not specified.",
+                            });
                         var node = expression.typeArguments[0];
                         var type = project.checker.getTypeFromTypeNode(node);
                         if (type.isTypeParameter())
-                            throw new Error("Error on typia.".concat(method, "(): non-specified generic argument."));
+                            throw new TransformerError_1.TransformerError({
+                                code: "typia.".concat(method),
+                                message: "non-specified generic argument.",
+                            });
                         return programmer(project)(modulo)(type, node.getFullText().trim());
                     };
                 };

package/lib/transformers/internal/GenericTransformer.js.map

@@ -1 +1 @@
-{"version":3,"file":"GenericTransformer.js","sourceRoot":"","sources":["../../../src/transformers/internal/GenericTransformer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAI5B,IAAiB,kBAAkB,CA4FlC;AA5FD,WAAiB,kBAAkB;IAClB,yBAAM,GACf,UAAC,MAAc;QACf,OAAA,UACI,UAIsD;YAE1D,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;wBAE1B,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;4BACjC,MAAM,IAAI,KAAK,CAAC,yBAAkB,MAAM,wBAAqB,CAAC,CAAC;wBAG7D,IAAA,KAAA,OACF,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;4BACnD,CAAC,CAAC;gCACI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAC/B,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAC9B;gCACD,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gCAC3B,IAAI;6BACP;4BACH,CAAC,CAAC;gCACI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAC7B,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAC3B;gCACD,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE;gCACxB,KAAK;6BACR,IAAA,EAfJ,IAAI,QAAA,EAAE,IAAI,QAAA,EAAE,OAAO,QAef,CAAC;wBACZ,IAAI,IAAI,CAAC,eAAe,EAAE;4BACtB,MAAM,IAAI,KAAK,CACX,yBAAkB,MAAM,wCAAqC,CAChE,CAAC;wBAGN,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CACvB,IAAI,EACJ,OAAO;4BACH,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;4BAC3B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAC1C,EACD,SAAS,EACT,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAC7B,CAAC;oBACN,CAAC;gBAtCD,CAsCC;YAvCD,CAuCC;QAxCD,CAwCC;IA/CD,CA+CC,CAAC;IAEO,0BAAO,GAChB,UAAC,MAAc;QACf,OAAA,UACI,UAIsD;YAE1D,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;;wBAE1B,IAAI,CAAC,CAAA,MAAA,UAAU,CAAC,aAAa,0CAAG,CAAC,CAAC,CAAA;4BAC9B,MAAM,IAAI,KAAK,CACX,yBAAkB,MAAM,2CAAwC,CACnE,CAAC;wBAGN,IAAM,IAAI,GAAgB,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;wBACtD,IAAM,IAAI,GAAY,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;wBAEhE,IAAI,IAAI,CAAC,eAAe,EAAE;4BACtB,MAAM,IAAI,KAAK,CACX,yBAAkB,MAAM,wCAAqC,CAChE,CAAC;wBAGN,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;oBACxE,CAAC;gBAlBD,CAkBC;YAnBD,CAmBC;QApBD,CAoBC;IA3BD,CA2BC,CAAC;IAEN,IAAM,IAAI,GACN,UAAC,OAAuB;QACxB,OAAA,UAAC,IAAa;YACd,OAAA,UAAC,IAAa;gBACV,OAAA,OAAO,CAAC,YAAY,CAChB,IAAI,EACJ,IAAI,EACJ,oBAAE,CAAC,eAAe,CAAC,oBAAoB,CAC1C;YAJD,CAIC;QALL,CAKK;IANL,CAMK,CAAC;AACd,CAAC,EA5FgB,kBAAkB,kCAAlB,kBAAkB,QA4FlC"}
+{"version":3,"file":"GenericTransformer.js","sourceRoot":"","sources":["../../../src/transformers/internal/GenericTransformer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAG5B,wDAAuD;AAEvD,IAAiB,kBAAkB,CAkGlC;AAlGD,WAAiB,kBAAkB;IAClB,yBAAM,GACf,UAAC,MAAc;QACf,OAAA,UACI,UAIsD;YAE1D,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;wBAE1B,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;4BACjC,MAAM,IAAI,mCAAgB,CAAC;gCACvB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iBAAiB;6BAC7B,CAAC,CAAC;wBAGD,IAAA,KAAA,OACF,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;4BACnD,CAAC,CAAC;gCACI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAC/B,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAC9B;gCACD,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gCAC3B,IAAI;6BACP;4BACH,CAAC,CAAC;gCACI,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAC7B,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAC3B;gCACD,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE;gCACxB,KAAK;6BACR,IAAA,EAfJ,IAAI,QAAA,EAAE,IAAI,QAAA,EAAE,OAAO,QAef,CAAC;wBACZ,IAAI,IAAI,CAAC,eAAe,EAAE;4BACtB,MAAM,IAAI,mCAAgB,CAAC;gCACvB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iCAAiC;6BAC7C,CAAC,CAAC;wBAGP,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CACvB,IAAI,EACJ,OAAO;4BACH,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;4BAC3B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAC1C,EACD,SAAS,EACT,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAC7B,CAAC;oBACN,CAAC;gBA1CD,CA0CC;YA3CD,CA2CC;QA5CD,CA4CC;IAnDD,CAmDC,CAAC;IAEO,0BAAO,GAChB,UAAC,MAAc;QACf,OAAA,UACI,UAIsD;YAE1D,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;;wBAE1B,IAAI,CAAC,CAAA,MAAA,UAAU,CAAC,aAAa,0CAAG,CAAC,CAAC,CAAA;4BAC9B,MAAM,IAAI,mCAAgB,CAAC;gCACvB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,oCAAoC;6BAChD,CAAC,CAAC;wBAGP,IAAM,IAAI,GAAgB,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;wBACtD,IAAM,IAAI,GAAY,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;wBAEhE,IAAI,IAAI,CAAC,eAAe,EAAE;4BACtB,MAAM,IAAI,mCAAgB,CAAC;gCACvB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iCAAiC;6BAC7C,CAAC,CAAC;wBAGP,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;oBACxE,CAAC;gBApBD,CAoBC;YArBD,CAqBC;QAtBD,CAsBC;IA7BD,CA6BC,CAAC;IAEN,IAAM,IAAI,GACN,UAAC,OAAuB;QACxB,OAAA,UAAC,IAAa;YACd,OAAA,UAAC,IAAa;gBACV,OAAA,OAAO,CAAC,YAAY,CAChB,IAAI,EACJ,IAAI,EACJ,oBAAE,CAAC,eAAe,CAAC,oBAAoB,CAC1C;YAJD,CAIC;QALL,CAKK;IANL,CAMK,CAAC;AACd,CAAC,EAlGgB,kBAAkB,kCAAlB,kBAAkB,QAkGlC"}

package/lib/typings/ValidationPipe.d.ts

@@ -0,0 +1,7 @@
+export type ValidationPipe<T, E> = {
+    success: true;
+    data: T;
+} | {
+    success: false;
+    errors: E[];
+};

package/lib/typings/ValidationPipe.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=ValidationPipe.js.map

package/lib/typings/ValidationPipe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidationPipe.js","sourceRoot":"","sources":["../../src/typings/ValidationPipe.ts"],"names":[],"mappings":""}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "5.0.0-dev.20230827",
+  "version": "5.0.0-dev.20230829",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -16,7 +16,9 @@
     "build": "rimraf lib && tsc --removeComments --declaration false && tsc --emitDeclarationOnly",
     "build:test": "rimraf bin && tsc -p test/tsconfig.json",
     "build:test:actions": "rimraf bin && tsc -p test/tsconfig.actions.json",
+    "build:test:issues": "rimraf bin && tsc -p test/tsconfig.issue.json",
     "build:benchmark": "rimraf measure && tsc -p benchmark/tsconfig.json",
+    "build:test:errors": "rimraf errors/bin && tsc -p errors/tsconfig.json",
     "build:test:prettier": "npm run build:test && prettier --write ./bin/**/*.js",
     "dev": "rimraf lib && tsc --watch",
     "dev:test": "rimraf bin && tsc -p test/tsconfig.json --watch",
@@ -27,6 +29,7 @@
     "issue": "node test/issue",
     "issue:generate": "ts-node src/executable/typia generate --input test/issues/generate/input --output test/issues/generate --project test/tsconfig.json",
     "test": "node bin/test",
+    "test:errors": "node errors",
     "test:manual": "node test/manual",
     "------------------------------------------------": "",
     "package:latest": "ts-node build/publish.ts latest",
@@ -94,6 +97,7 @@
     "@types/nested-error-stacks": "^2.1.0",
     "@types/node": "^18.15.12",
     "@types/physical-cpu-count": "^2.0.0",
+    "@types/ts-expose-internals": "npm:ts-expose-internals@5.1.6",
     "@types/uuid": "^8.3.4",
     "@typescript-eslint/eslint-plugin": "^5.59.11",
     "@typescript-eslint/parser": "^5.59.11",

package/src/executable/TypiaGenerateWizard.ts

@@ -64,7 +64,7 @@ export namespace TypiaGenerateWizard {
                     str.substring(str.length - 5) === ".json",
             );
             if (files.length === 0)
-                throw new Error(`Unable to find "tsconfig.json" file.`);
+                throw new URIError(`Unable to find "tsconfig.json" file.`);
             else if (files.length === 1) return files[0];
             return select("tsconfig")("TS Config File")(files);
         };

package/src/executable/TypiaSetupWizard.ts

@@ -126,7 +126,7 @@ export namespace TypiaSetupWizard {
                 );
             if (fileList.length === 0) {
                 if (process.cwd() !== pack.directory)
-                    throw new Error(`Unable to find "tsconfig.json" file.`);
+                    throw new URIError(`Unable to find "tsconfig.json" file.`);
                 return null;
             } else if (fileList.length === 1) return fileList[0];
             return select("tsconfig")("TS Config File")(fileList);

package/src/executable/setup/PackageManager.ts

@@ -15,7 +15,7 @@ export class PackageManager {
             "package.json",
         )(process.cwd());
         if (location === null)
-            throw new Error(`Unable to find "package.json" file`);
+            throw new URIError(`Unable to find "package.json" file`);
 
         return new PackageManager(
             location,

package/src/executable/setup/PluginConfigurator.ts

@@ -15,7 +15,7 @@ export namespace PluginConfigurator {
             | comments.CommentObject
             | undefined;
         if (compilerOptions === undefined)
-            throw new Error(
+            throw new ReferenceError(
                 `${args.project} file does not have "compilerOptions" property.`,
             );
 
@@ -27,7 +27,7 @@ export namespace PluginConfigurator {
             if (plugins === undefined)
                 return (compilerOptions.plugins = [] as any);
             else if (!Array.isArray(plugins))
-                throw new Error(
+                throw new TypeError(
                     `"plugins" property of ${args.project} must be array type.`,
                 );
             return plugins;

package/src/factories/ExpressionFactory.ts

@@ -137,11 +137,11 @@ export namespace ExpressionFactory {
             );
             const statement: ts.Statement | undefined = file.statements[0];
             if (statement === undefined)
-                throw new Error(
+                throw new ReferenceError(
                     "Error on ExpressionFactory.transpile(): no statement exists.",
                 );
             else if (!ts.isExpressionStatement(statement))
-                throw new Error(
+                throw new TypeError(
                     "Error on ExpressionFactory.transpile(): statement is not an expression statement.",
                 );
 

package/src/factories/JsonMetadataFactory.ts

@@ -0,0 +1,43 @@
+import ts from "typescript";
+
+import { Metadata } from "../schemas/metadata/Metadata";
+
+import { TransformerError } from "../transformers/TransformerError";
+
+import { MetadataCollection } from "./MetadataCollection";
+import { MetadataFactory } from "./MetadataFactory";
+
+export namespace JsonMetadataFactory {
+    export const analyze =
+        (method: string) =>
+        (checker: ts.TypeChecker) =>
+        (type: ts.Type): [MetadataCollection, Metadata] => {
+            const collection = new MetadataCollection();
+            const result = MetadataFactory.analyze(checker)({
+                escape: true,
+                constant: true,
+                absorb: true,
+                validate,
+            })(collection)(type);
+            if (result.success === false)
+                throw TransformerError.from(method)(result.errors);
+            return [collection, result.data];
+        };
+
+    export const validate = (meta: Metadata) => {
+        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.");
+        return output;
+    };
+}

package/src/factories/LiteralFactory.ts

@@ -13,8 +13,9 @@ export namespace LiteralFactory {
         else if (typeof input === "boolean") return generate_value(input);
         else if (typeof input === "number") return generate_value(input);
         else if (typeof input === "bigint") return generate_bigint(input);
+        // unreachable code
         else
-            throw new Error(
+            throw new TypeError(
                 "Error on LiteralFactory.generate(): unknown type.",
             );
     };

package/src/factories/MetadataCollection.ts

@@ -26,11 +26,6 @@ export class MetadataCollection {
     private recursive_array_index_: number;
     private recursive_tuple_index_: number;
 
-    /**
-     * @internal
-     */
-    public readonly entire_: Set<Metadata> = new Set();
-
     public constructor(
         private readonly options?: Partial<MetadataCollection.IOptions>,
     ) {