From f55eb0c9b438beed1bae87d19d961bb2de88855e Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Sun, 27 Jul 2025 13:26:38 +0200 Subject: [PATCH] Add type annotations --- src/serena/config/serena_config.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/serena/config/serena_config.py b/src/serena/config/serena_config.py index 839f2f40..41ef6433 100644 --- a/src/serena/config/serena_config.py +++ b/src/serena/config/serena_config.py @@ -47,13 +47,13 @@ class SerenaPaths: Provides paths to various Serena-related directories and files. """ - def __init__(self): + def __init__(self) -> None: self.user_config_dir: str = SERENA_MANAGED_DIR_IN_HOME """ the path to the user's Serena configuration directory, which is typically ~/.serena """ - def get_next_log_file_path(self, prefix: str): + def get_next_log_file_path(self, prefix: str) -> str: """ :param prefix: the filename prefix indicating the type of the log file :return: the full path to the log file to use