security updates

Author: AWeirdDev

python/exacting/core.py

@@ -1,4 +1,4 @@
-from typing import TYPE_CHECKING, Callable, Type, TypeVar
+from typing import TYPE_CHECKING, Callable, List, Type, TypeVar
 
 import dataclasses
 from dataclasses import asdict, dataclass, is_dataclass
@@ -8,41 +8,78 @@
 T = TypeVar("T", bound=Type)
 
 
+def get_exact_error_message(errors: List[str]) -> str:
+    text = "\n"
+    indents = 0
+    for error in errors:
+        if error == "indent":
+            indents += 2
+            text += " " * indents
+            continue
+        elif error == "unindent":
+            indents -= 2
+            text += " " * indents
+            continue
+
+        text += f"{error}\n{' ' * indents}"
+
+    return text.rstrip()
+
+
 def get_exact_init(dc: Type) -> Callable:
     etypes = get_etypes_for_dc(dc)
 
     def init(self, *args, **kwargs):
+        covered = len(args) + len(kwargs)
+
+        if covered != len(etypes):
+            raise ValueError(
+                f"(dataclass {dc.__name__!r}) Expected to cover {len(etypes)} parameters, but got {covered}"
+            )
+
         if args:
             keys_map = list(etypes)  # keys
+
             for idx, value in enumerate(args):
                 k = keys_map[idx]
-                try:
-                    v = etypes[keys_map[idx]].validate(value)
-                except TypeError as err:
+                res = etypes[keys_map[idx]].validate(value)
+                if res.has_error():
                     raise TypeError(
-                        f"\nDuring validation of dataclass {dc.__name__}, a type error occurred: - {err.args[0]}\n"
-                        f"...at attribute {k!r}"
+                        get_exact_error_message(
+                            [
+                                f"During validation of dataclass {dc.__name__!r} at attribute {k!r}, a type error occurred:",
+                                *res.errors,
+                            ]
+                        )
                     )
-                setattr(self, k, v)
+                setattr(self, k, res.ok)
 
             for key, value in kwargs.items():
-                try:
-                    setattr(self, key, etypes[key].validate(value))
-                except TypeError as err:
+                res = etypes[key].validate(value)
+                if res.has_error():
                     raise TypeError(
-                        f"\nDuring validation of dataclass {dc.__name__}, a type error occurred: - {err.args[0]}\n"
-                        f"...at attribute {key!r}"
+                        get_exact_error_message(
+                            [
+                                f"During validation of dataclass {dc.__name__!r} at attribute {key!r}, a type error occurred:",
+                                *res.errors,
+                            ]
+                        )
                     )
+                setattr(self, key, res.ok)
 
         else:
             for key, value in kwargs.items():
-                try:
-                    setattr(self, key, etypes[key].validate(value))
-                except TypeError as err:
+                res = etypes[key].validate(value)
+                if res.has_error():
                     raise TypeError(
-                        f"\nDuring validation of dataclass {dc.__name__}, a type error occurred: - {err.args[0]}\n"
-                        f"...at attribute {key!r}"
+                        get_exact_error_message(
+                            [
+                                f"During validation of dataclass {dc.__name__!r} at attribute {key!r}, a type error occurred:",
+                                *res.errors,
+                            ]
+                        )
                     )
+                setattr(self, key, res.ok)
 
         return None  # required!