# Copyright (C) 2008-2025 Free Software Foundation, Inc.

# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

# Reduced copy of /usr/share/gcc-15/python/libstdcxx/v6/printers.py.

import gdb
import gdb.printing
import gdb.types


class FilteringTypePrinter(object):

    def __init__(self, template, name, targ1=None):
        self._template = template
        self.name = name
        self._targ1 = targ1
        self.enabled = True

    class _recognizer(object):
        def __init__(self, template, name, targ1):
            self._template = template
            self.name = name
            self._targ1 = targ1
            self._type_obj = None

        def recognize(self, type_obj):
            if type_obj.tag is None:
                return None

            if self._type_obj is None:
                if self._targ1 is not None:
                    s = "{}<{}".format(self._template, self._targ1)
                    if not type_obj.tag.startswith(s):
                        return None
                elif not type_obj.tag.startswith(self._template):
                    return None

                try:
                    self._type_obj = gdb.lookup_type(self.name).strip_typedefs()
                except:
                    pass

            if self._type_obj is None:
                return None

            t1 = gdb.types.get_basic_type(self._type_obj)
            t2 = gdb.types.get_basic_type(type_obj)
            if t1 == t2:
                return self.name

            if self._template.split("::")[-1] == "basic_string":
                s1 = self._type_obj.tag.replace("__cxx11::", "")
                s2 = type_obj.tag.replace("__cxx11::", "")
                if s1 == s2:
                    return self.name

            return None

    def instantiate(self):
        return self._recognizer(self._template, self.name, self._targ1)


def add_one_type_printer(obj, template, name, targ1=None):
    printer = FilteringTypePrinter("std::" + template, "std::" + name, targ1)
    gdb.types.register_type_printer(obj, printer)


def register_type_printers(obj):
    for ch in (("", "char"),):
        add_one_type_printer(obj, "__cxx11::basic_string", ch[0] + "string", ch[1])