Merge pull request #761 from samchon/features/validate

Exact validation of `MetadataFactory`.
samchon · Aug 14, 2023 · ef88a0b · ef88a0b
2 parents 5489d2e + d931343
commit ef88a0b
Show file tree

Hide file tree

Showing 12 changed files with 55 additions and 40 deletions.
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "4.2.2",
+  "version": "4.2.3",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

diff --git a/packages/typescript-json/package.json b/packages/typescript-json/package.json
@@ -1,6 +1,6 @@
 {
   "name": "typescript-json",
-  "version": "4.2.2",
+  "version": "4.2.3",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -68,7 +68,7 @@
   },
   "homepage": "https://typia.io",
   "dependencies": {
-    "typia": "4.2.2"
+    "typia": "4.2.3"
   },
   "peerDependencies": {
     "typescript": ">= 4.7.4"

diff --git a/src/factories/MetadataCollection.ts b/src/factories/MetadataCollection.ts
@@ -26,6 +26,11 @@ 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>,
     ) {

diff --git a/src/factories/MetadataFactory.ts b/src/factories/MetadataFactory.ts
@@ -25,6 +25,10 @@ export namespace MetadataFactory {
             )(type, false);
             iterate_metadata_collection(collection);
             iterate_metadata_sort(collection)(meta);
+
+            if (options.validate)
+                for (const elem of collection.entire_) options.validate(elem);
+            collection.entire_.clear();
             return meta;
         };
 }
diff --git a/src/factories/internal/metadata/explore_metadata.ts b/src/factories/internal/metadata/explore_metadata.ts
@@ -18,11 +18,9 @@ export const explore_metadata =
     ): Metadata => {
         // CONSTRUCT METADATA
         const meta: Metadata = Metadata.initialize(parentResolved);
-        const out = (meta: Metadata) => {
-            if (options.validate) options.validate(meta);
-            return meta;
-        };
-        if (type === null) return out(meta);
+        collection.entire_.add(meta);
+
+        if (type === null) return meta;
 
         // ITERATE TYPESCRIPT TYPES
         iterate_metadata(checker)(options)(collection)(
@@ -36,5 +34,5 @@ export const explore_metadata =
             emend_metadata_atomics(meta.resolved.original);
             emend_metadata_atomics(meta.resolved.returns);
         }
-        return out(meta);
+        return meta;
     };
diff --git a/src/factories/internal/metadata/iterate_metadata_intersection.ts b/src/factories/internal/metadata/iterate_metadata_intersection.ts
@@ -74,6 +74,7 @@ export const iterate_metadata_intersection =
             throw new Error(message(children));
         });
         Object.assign(meta, Metadata.merge(meta, least));
+        collection.entire_.add(least);
         return true;
     };
 

diff --git a/src/programmers/CheckerProgrammer.ts b/src/programmers/CheckerProgrammer.ts
@@ -218,15 +218,6 @@ export namespace CheckerProgrammer {
                         resolve: false,
                         constant: true,
                         absorb: true,
-                        validate: (meta) => {
-                            if (
-                                meta.arrays.length > 1 &&
-                                meta.arrays.some((a) => a.recursive)
-                            )
-                                throw new Error(
-                                    `Repeated union array types are not supported yet.`,
-                                );
-                        },
                     })(collection)(type);
                     return [collection, meta];
                 },

diff --git a/src/programmers/StringifyProgrammer.ts b/src/programmers/StringifyProgrammer.ts
@@ -937,6 +937,12 @@ export namespace StringifyProgrammer {
                 validate: (meta) => {
                     if (meta.atomics.find((str) => str === "bigint"))
                         throw new Error(NO_BIGINT);
+                    else if (
+                        meta.arrays.some(
+                            (array) => array.value.isRequired() === false,
+                        )
+                    )
+                        throw new Error(NO_UNDEFINED_IN_ARRAY);
                 },
             })(collection)(type);
             return [collection, meta];
@@ -976,3 +982,5 @@ interface IUnion {
 }
 
 const NO_BIGINT = "Error on typia.stringify(): does not allow bigint type.";
+const NO_UNDEFINED_IN_ARRAY =
+    "Error on typia.stringify(): does not allow undefined type in array.";
diff --git a/src/transformers/features/miscellaneous/ApplicationTransformer.ts b/src/transformers/features/miscellaneous/ApplicationTransformer.ts
@@ -58,6 +58,12 @@ export namespace ApplicationTransformer {
                     validate: (meta) => {
                         if (meta.atomics.find((str) => str === "bigint"))
                             throw new Error(NO_BIGIT);
+                        else if (
+                            meta.arrays.some(
+                                (array) => array.value.isRequired() === false,
+                            )
+                        )
+                            throw new Error(NO_UNDEFINED_IN_ARRAY);
                     },
                 })(collection)(type),
             );
@@ -102,3 +108,5 @@ const NO_GENERIC_ARGUMENT =
 const GENERIC_ARGUMENT =
     "Error on typia.application(): non-specified generic argument(s).";
 const NO_BIGIT = "Error on typia.application(): does not allow bigint type.";
+const NO_UNDEFINED_IN_ARRAY =
+    "Error on typia.application(): does not allow undefined type in array.";
diff --git a/website/package-lock.json b/website/package-lock.json
diff --git a/website/package.json b/website/package.json
@@ -31,7 +31,7 @@
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
     "typescript": "5.1.6",
-    "typia": "^4.2.2"
+    "typia": "^4.2.3"
   },
   "devDependencies": {
     "@trivago/prettier-plugin-sort-imports": "^4.1.1",

diff --git a/website/public/sitemap-0.xml b/website/public/sitemap-0.xml
@@ -1,20 +1,20 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:news="http://www.google.com/schemas/sitemap-news/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:mobile="http://www.google.com/schemas/sitemap-mobile/1.0" xmlns:image="http://www.google.com/schemas/sitemap-image/1.1" xmlns:video="http://www.google.com/schemas/sitemap-video/1.1">
-<url><loc>https://typia.io/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/parse/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/schema/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/json/stringify/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/miscellaneous/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/pure/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/random/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/setup/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/nestjs/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/prisma/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/utilization/trpc/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/assert/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/comment-tags/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/is/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/docs/validators/validate/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
-<url><loc>https://typia.io/playground/</loc><lastmod>2023-08-13T13:56:54.868Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/parse/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/schema/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/json/stringify/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/miscellaneous/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/pure/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/random/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/setup/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/nestjs/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/prisma/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/utilization/trpc/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/assert/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/comment-tags/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/is/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/docs/validators/validate/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
+<url><loc>https://typia.io/playground/</loc><lastmod>2023-08-14T18:33:23.863Z</lastmod><changefreq>daily</changefreq><priority>0.7</priority></url>
 </urlset>