A support of bool options is added [generic, restart_after_crash]

Tests are added, too.

Author: d.kovalenko

src/core/option/handlers/prepare_get_value/option_handler_to_prepare_get_value__std__bool.py

@@ -0,0 +1,31 @@
+# //////////////////////////////////////////////////////////////////////////////
+# Postgres Pro. PostgreSQL Configuration Python Library.
+
+from __future__ import annotations
+
+from ....handlers import OptionHandlerToPrepareGetValue
+from ....handlers import OptionHandlerCtxToPrepareGetValue
+from ....handlers import ConfigurationDataHandler
+
+# //////////////////////////////////////////////////////////////////////////////
+# OptionHandlerToPrepareGetValue__Std__Bool
+
+
+class OptionHandlerToPrepareGetValue__Std__Bool(OptionHandlerToPrepareGetValue):
+    def __init__(self):
+        super().__init__()
+
+    # interface ----------------------------------------------------------
+    def PrepareGetValue(self, ctx: OptionHandlerCtxToPrepareGetValue) -> any:
+        assert type(ctx) == OptionHandlerCtxToPrepareGetValue
+        assert isinstance(ctx.DataHandler, ConfigurationDataHandler)
+        assert type(ctx.OptionName) == str
+        assert ctx.OptionValue is not None
+
+        # [2025-04-13] Research
+        assert type(ctx.OptionValue) == bool
+
+        return bool(ctx.OptionValue)
+
+
+# //////////////////////////////////////////////////////////////////////////////

src/core/option/handlers/prepare_get_value/option_handler_to_prepare_get_value__std__generic.py

@@ -30,6 +30,8 @@ def PrepareGetValue(self, ctx: OptionHandlerCtxToPrepareGetValue) -> any:
             pass  # OK
         elif typeOfOptionValue == str:
             pass  # OK
+        elif typeOfOptionValue == bool:
+            pass  # OK
         else:
             BugCheckError.UnknownOptionValueType(ctx.OptionName, typeOfOptionValue)
 

src/core/option/handlers/prepare_set_value/option_handler_to_prepare_set_value__std__bool.py

@@ -0,0 +1,113 @@
+# //////////////////////////////////////////////////////////////////////////////
+# Postgres Pro. PostgreSQL Configuration Python Library.
+
+from __future__ import annotations
+
+from ....raise_error import RaiseError
+
+from ....handlers import OptionHandlerToPrepareSetValue
+from ....handlers import OptionHandlerCtxToPrepareSetValue
+from ....handlers import ConfigurationDataHandler
+
+# //////////////////////////////////////////////////////////////////////////////
+# OptionHandlerToPrepareSetValue__Std__Bool
+
+
+class OptionHandlerToPrepareSetValue__Std__Bool(OptionHandlerToPrepareSetValue):
+    def __init__(self):
+        super().__init__()
+
+        # check
+        assert not any(set(__class__.sm_Str_True).intersection(__class__.sm_Str_False))
+
+        # prefixes are checked
+        assert not any(
+            [
+                x1
+                for x1 in __class__.sm_Str_True
+                if any([x2 for x2 in __class__.sm_Str_False if x2.startswith(x1)])
+            ]
+        )
+        assert not any(
+            [
+                x1
+                for x1 in __class__.sm_Str_False
+                if any([x2 for x2 in __class__.sm_Str_True if x2.startswith(x1)])
+            ]
+        )
+
+    # interface ----------------------------------------------------------
+    def PrepareSetValue(self, ctx: OptionHandlerCtxToPrepareSetValue) -> any:
+        assert type(ctx) == OptionHandlerCtxToPrepareSetValue
+        assert isinstance(ctx.DataHandler, ConfigurationDataHandler)
+        assert type(ctx.OptionName) == str
+        assert ctx.OptionValue is not None
+
+        optionValue = ctx.OptionValue
+        optionValueType = type(optionValue)
+
+        if optionValueType == bool:
+            return optionValue
+
+        if optionValueType == int:
+            assert type(optionValue) == int
+
+            if optionValue == 0:
+                return False
+
+            if optionValue == 1:
+                return True
+
+            RaiseError.CantConvertOptionValue(ctx.OptionName, optionValueType, bool)
+
+        if optionValueType == str:
+            assert type(optionValue) == str
+
+            if len(optionValue) < __class__.C_MIN_STR_VALUE_LENGTH:
+                pass
+            elif len(optionValue) > __class__.C_MAX_STR_VALUE_LENGTH:
+                pass
+            else:
+                optionValue_lower = optionValue.lower()
+
+                if optionValue_lower in __class__.sm_Str_False:
+                    return False
+
+                if optionValue_lower in __class__.sm_Str_True:
+                    return True
+
+            RaiseError.CantConvertOptionValue(ctx.OptionName, optionValueType, bool)
+
+        RaiseError.BadOptionValueType(ctx.OptionName, optionValueType, bool)
+
+    # Private data -------------------------------------------------------
+    C_MIN_STR_VALUE_LENGTH = 1
+    C_MAX_STR_VALUE_LENGTH = 5
+
+    sm_Str_False: list[str] = [
+        "of",
+        "off",
+        "f",
+        "fa",
+        "fal",
+        "fals",
+        "false",
+        "n",
+        "no",
+        "0",
+    ]
+
+    sm_Str_True: list[str] = [
+        "on",
+        "t",
+        "tr",
+        "tru",
+        "true",
+        "y",
+        "ye",
+        "yes",
+        "1",
+    ]
+
+
+# //////////////////////////////////////////////////////////////////////////////

src/core/option/handlers/prepare_set_value/option_handler_to_prepare_set_value__std__generic.py

@@ -30,6 +30,8 @@ def PrepareSetValue(self, ctx: OptionHandlerCtxToPrepareSetValue) -> any:
             pass  # OK
         elif typeOfOptionValue == str:
             pass  # OK
+        elif typeOfOptionValue == bool:
+            pass  # OK
         else:
             BugCheckError.UnknownOptionValueType(ctx.OptionName, typeOfOptionValue)
 

src/core/option/handlers/write/option_handler_to_write__std__bool.py

@@ -0,0 +1,42 @@
+# //////////////////////////////////////////////////////////////////////////////
+# Postgres Pro. PostgreSQL Configuration Python Library.
+
+from __future__ import annotations
+
+from ....handlers import OptionHandlerToWrite
+from ....handlers import OptionHandlerCtxToWrite
+
+from ....raise_error import RaiseError
+
+# //////////////////////////////////////////////////////////////////////////////
+# OptionHandlerToWrite__Std__Bool
+
+
+class OptionHandlerToWrite__Std__Bool(OptionHandlerToWrite):
+    def __init__(self):
+        super().__init__()
+
+    # interface ----------------------------------------------------------
+    def OptionValueToString(self, ctx: OptionHandlerCtxToWrite) -> str:
+        assert type(ctx) == OptionHandlerCtxToWrite
+        assert type(ctx.OptionName) == str
+        assert ctx.OptionValue is not None
+
+        typeOfValue = type(ctx.OptionValue)
+
+        if typeOfValue == bool:
+            typedValue = bool(ctx.OptionValue)
+        else:
+            RaiseError.BadOptionValueItemType(ctx.OptionName, typeOfValue, bool)
+
+        assert type(typedValue) == bool
+
+        if typedValue:
+            result = "on"
+        else:
+            result = "off"
+
+        return result
+
+
+# //////////////////////////////////////////////////////////////////////////////

src/core/option/handlers/write/option_handler_to_write__std__generic.py

@@ -5,6 +5,7 @@
 
 from .option_handler_to_write__std__int import OptionHandlerToWrite__Std__Int
 from .option_handler_to_write__std__str import OptionHandlerToWrite__Std__Str
+from .option_handler_to_write__std__bool import OptionHandlerToWrite__Std__Bool
 
 from ....handlers import OptionHandlerToWrite
 from ....handlers import OptionHandlerCtxToWrite
@@ -20,6 +21,8 @@ class OptionHandlerToWrite__Std__Generic(OptionHandlerToWrite):
     sm_Handler_For_Int = OptionHandlerToWrite__Std__Int()
 
     sm_Handler_For_Str = OptionHandlerToWrite__Std__Str()
+
+    sm_Handler_For_Bool = OptionHandlerToWrite__Std__Bool()
     # fmt on
 
     # --------------------------------------------------------------------
@@ -39,6 +42,9 @@ def OptionValueToString(self, ctx: OptionHandlerCtxToWrite) -> str:
         if typeOfOptionValue == str:
             return __class__.sm_Handler_For_Str.OptionValueToString(ctx)
 
+        if typeOfOptionValue == bool:
+            return __class__.sm_Handler_For_Bool.OptionValueToString(ctx)
+
         BugCheckError.UnknownOptionValueType(ctx.OptionName, typeOfOptionValue)
 
 

src/implementation/v00/configuration_std.py

@@ -24,6 +24,9 @@
 from ...core.option.handlers.prepare_set_value.option_handler_to_prepare_set_value__std__str \
     import OptionHandlerToPrepareSetValue__Std__Str
 
+from ...core.option.handlers.prepare_set_value.option_handler_to_prepare_set_value__std__bool \
+    import OptionHandlerToPrepareSetValue__Std__Bool
+
 from ...core.option.handlers.prepare_set_value.option_handler_to_prepare_set_value__std__unique_str_list \
     import OptionHandlerToPrepareSetValue__Std__UniqueStrList
 
@@ -41,6 +44,9 @@
 from ...core.option.handlers.prepare_get_value.option_handler_to_prepare_get_value__std__str \
     import OptionHandlerToPrepareGetValue__Std__Str
 
+from ...core.option.handlers.prepare_get_value.option_handler_to_prepare_get_value__std__bool \
+    import OptionHandlerToPrepareGetValue__Std__Bool
+
 # -------------
 from ...core.option.handlers.prepare_get_value.option_handler_to_prepare_get_value__std__unique_str_list \
     import OptionHandlerToPrepareGetValue__Std__UniqueStrList
@@ -74,6 +80,9 @@
 from ...core.option.handlers.write.option_handler_to_write__std__str \
     import OptionHandlerToWrite__Std__Str
 
+from ...core.option.handlers.write.option_handler_to_write__std__bool \
+    import OptionHandlerToWrite__Std__Bool
+
 from ...core.option.handlers.write.option_handler_to_write__std__unique_str_list \
     import OptionHandlerToWrite__Std__UniqueStrList
 # fmt: on
@@ -99,6 +108,9 @@ class PostgresConfiguration_Std(PostgresConfiguration_Base):
     sm_SingleInstance__OptionHandlerToPrepareSetValue__Std__Str = \
         OptionHandlerToPrepareSetValue__Std__Str()
 
+    sm_SingleInstance__OptionHandlerToPrepareSetValue__Std__Bool = \
+        OptionHandlerToPrepareSetValue__Std__Bool()
+
     sm_SingleInstance__OptionHandlerToPrepareSetValue__Std__UniqueStrList = \
         OptionHandlerToPrepareSetValue__Std__UniqueStrList()
 
@@ -116,6 +128,9 @@ class PostgresConfiguration_Std(PostgresConfiguration_Base):
     sm_SingleInstance__OptionHandlerToPrepareGetValue__Std__Str = \
         OptionHandlerToPrepareGetValue__Std__Str()
 
+    sm_SingleInstance__OptionHandlerToPrepareGetValue__Std__Bool = \
+        OptionHandlerToPrepareGetValue__Std__Bool()
+
     sm_SingleInstance__OptionHandlerToPrepareGetValue__Std__UniqueStrList = \
         OptionHandlerToPrepareGetValue__Std__UniqueStrList()
 
@@ -148,6 +163,9 @@ class PostgresConfiguration_Std(PostgresConfiguration_Base):
     sm_SingleInstance__OptionHandlerToWrite__Std__Str = \
         OptionHandlerToWrite__Std__Str()
 
+    sm_SingleInstance__OptionHandlerToWrite__Std__Bool = \
+        OptionHandlerToWrite__Std__Bool()
+
     sm_SingleInstance__OptionHandlerToWrite__Std__UniqueStrList = \
         OptionHandlerToWrite__Std__UniqueStrList()
     # fmt: on
@@ -245,6 +263,18 @@ def __init__(
             sm_SingleInstance__OptionHandlerToWrite__Std__Str,
         )
 
+    sm_OptionHandlers__Std__Bool = \
+        tagOptionHandlers(
+            sm_SingleInstance__OptionHandlerToPrepareSetValue__Std__Bool,
+            sm_SingleInstance__OptionHandlerToPrepareGetValue__Std__Bool,
+            None,
+            sm_SingleInstance__OptionHandlerToSetValue__Std__Simple,
+            sm_SingleInstance__OptionHandlerToGetValue__Std__Simple,
+            sm_SingleInstance__OptionHandlerToAddOption__Std,
+            None,
+            sm_SingleInstance__OptionHandlerToWrite__Std__Bool,
+        )
+
     sm_OptionHandlers__Std__UniqueStrList = \
         tagOptionHandlers(
             sm_SingleInstance__OptionHandlerToPrepareSetValue__Std__UniqueStrList,
@@ -265,6 +295,7 @@ def __init__(
         "port": sm_OptionHandlers__Std__Int,
         "listen_addresses": sm_OptionHandlers__Std__Str,
         "shared_preload_libraries": sm_OptionHandlers__Std__UniqueStrList,
+        "restart_after_crash": sm_OptionHandlers__Std__Bool,
 
         # PROXIMA --------------------------------------------------------
         "proxima.port": sm_OptionHandlers__Std__Int,