import gdb
from teachos import format_size


class KapiBootModulesBootModuleRegistryPrinter(gdb.ValuePrinter):
    def __init__(self, val: gdb.Value):
        self.__val = val
        self.__modules = val["m_modules"]
        self.__size = int(self.__modules["m_size"])
        self.__element_type = gdb.lookup_type("kapi::boot_modules::boot_module")

    def to_string(self):
        return f"boot module registry of size {self.__size}"

    def children(self):
        yield ("[size]", self.__size)
        yield ("m_modules", self.__modules)

    def display_hint(self):
        return None