feat: Now using function parameters

Author: Seluj78

docs/source/api.rst

@@ -52,7 +52,6 @@ Private API
 ----------------------
 
 .. autofunction:: flask_utils.decorators._is_optional
-.. autofunction:: flask_utils.decorators._make_optional
 .. autofunction:: flask_utils.decorators._is_allow_empty
 .. autofunction:: flask_utils.decorators._check_type
 

flask_utils/__init__.py

@@ -1,5 +1,5 @@
 # Increment versions here according to SemVer
-__version__ = "0.7.0"
+__version__ = "1.0.0"
 
 from flask_utils.utils import is_it_true
 from flask_utils.errors import GoneError

flask_utils/decorators.py

@@ -1,5 +1,6 @@
+import inspect
+import warnings
 from typing import Any
-from typing import Dict
 from typing import Type
 from typing import Union
 from typing import Callable
@@ -18,6 +19,7 @@
 
 from flask_utils.errors import BadRequestError
 
+# TODO: Allow to set this value from the config/env
 VALIDATE_PARAMS_MAX_DEPTH = 4
 
 
@@ -58,35 +60,11 @@ def _is_optional(type_hint: Type) -> bool:  # type: ignore
     return get_origin(type_hint) is Union and type(None) in get_args(type_hint)
 
 
-def _make_optional(type_hint: Type) -> Type:  # type: ignore
-    """Wrap type hint with :data:`~typing.Optional` if it's not already.
-
-    :param type_hint: Type hint to wrap.
-    :return: Type hint wrapped with :data:`~typing.Optional`.
-
-    :Example:
-
-    .. code-block:: python
-
-            from typing import Optional
-            from flask_utils.decorators import _make_optional
-
-            _make_optional(str)  # Optional[str]
-            _make_optional(Optional[str])  # Optional[str]
-
-    .. versionadded:: 0.2.0
-    """
-    if not _is_optional(type_hint):
-        return Optional[type_hint]  # type: ignore
-    return type_hint
-
-
-def _is_allow_empty(value: Any, type_hint: Type, allow_empty: bool) -> bool:  # type: ignore
+def _is_allow_empty(value: Any, type_hint: Type) -> bool:  # type: ignore
     """Determine if the value is considered empty and whether it's allowed.
 
     :param value: Value to check.
     :param type_hint: Type hint to check against.
-    :param allow_empty: Whether to allow empty values.
 
     :return: True if the value is empty and allowed, False otherwise.
 
@@ -107,19 +85,19 @@ def _is_allow_empty(value: Any, type_hint: Type, allow_empty: bool) -> bool:  #
 
     .. versionadded:: 0.2.0
     """
-    if value in [None, "", [], {}]:
+    if not value:
+        # TODO: Find a test for this
         # Check if type is explicitly Optional or allow_empty is True
-        if _is_optional(type_hint) or allow_empty:
+        if _is_optional(type_hint):
             return True
     return False
 
 
-def _check_type(value: Any, expected_type: Type, allow_empty: bool = False, curr_depth: int = 0) -> bool:  # type: ignore
+def _check_type(value: Any, expected_type: Type, curr_depth: int = 0) -> bool:  # type: ignore
     """Check if the value matches the expected type, recursively if necessary.
 
     :param value: Value to check.
     :param expected_type: Expected type.
-    :param allow_empty: Whether to allow empty values.
     :param curr_depth: Current depth of the recursive check.
 
     :return: True if the value matches the expected type, False otherwise.
@@ -156,8 +134,9 @@ def _check_type(value: Any, expected_type: Type, allow_empty: bool = False, curr
     """
 
     if curr_depth >= VALIDATE_PARAMS_MAX_DEPTH:
+        warnings.warn(f"Maximum depth of {VALIDATE_PARAMS_MAX_DEPTH} reached.", SyntaxWarning, stacklevel=2)
         return True
-    if expected_type is Any or _is_allow_empty(value, expected_type, allow_empty):  # type: ignore
+    if expected_type is Any or _is_allow_empty(value, expected_type):  # type: ignore
         return True
 
     if isinstance(value, bool):
@@ -171,39 +150,30 @@ def _check_type(value: Any, expected_type: Type, allow_empty: bool = False, curr
     args = get_args(expected_type)
 
     if origin is Union:
-        return any(_check_type(value, arg, allow_empty, (curr_depth + 1)) for arg in args)
+        return any(_check_type(value, arg, (curr_depth + 1)) for arg in args)
     elif origin is list:
-        return isinstance(value, list) and all(
-            _check_type(item, args[0], allow_empty, (curr_depth + 1)) for item in value
-        )
+        return isinstance(value, list) and all(_check_type(item, args[0], (curr_depth + 1)) for item in value)
     elif origin is dict:
         key_type, val_type = args
         if not isinstance(value, dict):
             return False
         for k, v in value.items():
             if not isinstance(k, key_type):
                 return False
-            if not _check_type(v, val_type, allow_empty, (curr_depth + 1)):
+            if not _check_type(v, val_type, (curr_depth + 1)):
                 return False
         return True
     else:
         return isinstance(value, expected_type)
 
 
-def validate_params(
-    parameters: Dict[Any, Any],
-    allow_empty: bool = False,
-) -> Callable:  # type: ignore
+def validate_params() -> Callable:  # type: ignore
     """
     Decorator to validate request JSON body parameters.
 
     This decorator ensures that the JSON body of a request matches the specified
     parameter types and includes all required parameters.
 
-    :param parameters: Dictionary of parameters to validate. The keys are parameter names
-                       and the values are the expected types.
-    :param allow_empty: Allow empty values for parameters. Defaults to False.
-
     :raises BadRequestError: If the JSON body is malformed,
         the Content-Type header is missing or incorrect, required parameters are missing,
         or parameters are of the wrong type.
@@ -215,21 +185,13 @@ def validate_params(
         from flask import Flask, request
         from typing import List, Dict
         from flask_utils.decorators import validate_params
-        from flask_utils.errors.badrequest import BadRequestError
+        from flask_utils.errors import BadRequestError
 
         app = Flask(__name__)
 
         @app.route("/example", methods=["POST"])
-        @validate_params(
-            {
-                "name": str,
-                "age": int,
-                "is_student": bool,
-                "courses": List[str],
-                "grades": Dict[str, int],
-            }
-        )
-        def example():
+        @validate_params()
+        def example(name: str, age: int, is_student: bool, courses: List[str], grades: Dict[str, int]):
             \"""
             This route expects a JSON body with the following:
                 - name: str
@@ -238,8 +200,8 @@ def example():
                 - courses: list of str
                 - grades: dict with str keys and int values
             \"""
-            data = request.get_json()
-            return data
+            # Use the data in your route
+            ...
 
     .. tip::
         You can use any of the following types:
@@ -253,6 +215,10 @@ def example():
             * Optional
             * Union
 
+    .. versionchanged:: 1.0.0
+        The decorator doesn't take any parameters anymore,
+        it loads the types and parameters from the function signature as well as the Flask route's slug parameters.
+
     .. versionchanged:: 0.7.0
         The decorator will now use the custom error handlers if ``register_error_handlers`` has been set to ``True``
         when initializing the :class:`~flask_utils.extension.FlaskUtils` extension.
@@ -279,33 +245,67 @@ def wrapper(*args, **kwargs):  # type: ignore
                     "or the JSON body is missing.",
                     original_exception=e,
                 )
-
-            if not data:
-                return _handle_bad_request(use_error_handlers, "Missing json body.")
-
             if not isinstance(data, dict):
-                return _handle_bad_request(use_error_handlers, "JSON body must be a dict")
+                return _handle_bad_request(
+                    use_error_handlers,
+                    "JSON body must be a dict",
+                    original_exception=BadRequestError("JSON body must be a dict"),
+                )
+
+            signature = inspect.signature(fn)
+            parameters = signature.parameters
+            # Extract the parameter names and annotations
+            expected_params = {}
+            for name, param in parameters.items():
+                if param.annotation != inspect.Parameter.empty:
+                    expected_params[name] = param.annotation
+                else:
+                    warnings.warn(f"Parameter {name} has no type annotation.", SyntaxWarning, stacklevel=2)
+                    expected_params[name] = Any
+
+            request_data = request.view_args  # Flask route parameters
+            for key in data:
+                if key in request_data:
+                    warnings.warn(
+                        f"Parameter {key} is defined in both the route and the JSON body. "
+                        f"The JSON body will override the route parameter.",
+                        SyntaxWarning,
+                        stacklevel=2,
+                    )
+            request_data.update(data or {})
 
-            for key, type_hint in parameters.items():
-                if not _is_optional(type_hint) and key not in data:
+            for key, type_hint in expected_params.items():
+                # TODO: Handle deeply nested types
+                if key not in request_data and not _is_optional(type_hint):
                     return _handle_bad_request(
-                        use_error_handlers, f"Missing key: {key}", f"Expected keys are: {list(parameters.keys())}"
+                        use_error_handlers, f"Missing key: {key}", f"Expected keys are: {list(expected_params.keys())}"
                     )
 
-            for key in data:
-                if key not in parameters:
+            for key in request_data:
+                if key not in expected_params:
                     return _handle_bad_request(
-                        use_error_handlers, f"Unexpected key: {key}.", f"Expected keys are: {list(parameters.keys())}"
+                        use_error_handlers,
+                        f"Unexpected key: {key}.",
+                        f"Expected keys are: {list(expected_params.keys())}",
                     )
 
-            for key in data:
-                if key in parameters and not _check_type(data[key], parameters[key], allow_empty):
+            for key, value in request_data.items():
+                if key in expected_params and not _check_type(value, expected_params[key]):
                     return _handle_bad_request(
                         use_error_handlers,
                         f"Wrong type for key {key}.",
-                        f"It should be {getattr(parameters[key], '__name__', str(parameters[key]))}",
+                        f"It should be {getattr(expected_params[key], '__name__', str(expected_params[key]))}",
                     )
 
+            provided_values = {}
+            for key in expected_params:
+                if not _is_optional(expected_params[key]):
+                    provided_values[key] = request_data[key]
+                else:
+                    provided_values[key] = request_data.get(key, None)
+
+            kwargs.update(provided_values)
+
             return fn(*args, **kwargs)
 
         return wrapper