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/>.
23 import boost
.util
.printing
as printing
25 class OptionalPrinter
:
27 def __init__(self
, typename
, value
):
28 self
.typename
= typename
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())
37 return "empty " + self
.typename
41 def build_pretty_printers():
44 if printer
is not None:
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: