bump product version to 5.0.4.1
[LibreOffice.git] / solenv / gdb / boost / optional.py
blob08297254efc019b5b9bfadadd35f0a256bae7724
1 # -*- tab-width: 4; indent-tabs-mode: nil; py-indent-offset: 4 -*-
2 # GDB pretty printers for Boost.Optional.
4 # Copyright (C) 2012 Red Hat, Inc., David Tardon <dtardon@redhat.com>
6 # This file is part of boost-gdb-printers.
8 # This program is free software; you can redistribute it and/or modify
9 # it under the terms of the GNU General Public License as published by
10 # the Free Software Foundation; either version 3 of the License, or
11 # (at your option) any later version.
13 # This program is distributed in the hope that it will be useful,
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 # GNU General Public License for more details.
18 # You should have received a copy of the GNU General Public License
19 # along with this program. If not, see <http://www.gnu.org/licenses/>.
21 import gdb
23 import boost.util.printing as printing
25 class OptionalPrinter:
27 def __init__(self, typename, value):
28 self.typename = typename
29 self.value = value
31 def to_string(self):
32 if self.value['m_initialized']:
33 data = self.value['m_storage']['dummy_']['data']
34 ptr_type = self.value.type.template_argument(0).pointer()
35 return "%s %s" % (self.typename, data.cast(ptr_type).dereference())
36 else:
37 return "empty " + self.typename
39 printer = None
41 def build_pretty_printers():
42 global printer
44 if printer != None:
45 return
47 printer = printing.Printer("boost.optional")
49 printer.add('boost::optional', OptionalPrinter)
51 def register_pretty_printers(obj):
52 printing.register_pretty_printer(printer, obj)
54 build_pretty_printers()
56 # vim:set filetype=python shiftwidth=4 softtabstop=4 expandtab: