Access to "default GDB printer" from Python pretty printers?

[ppluzhnikov at google dot com (Paul Pluzhnikov)]

Greetings,

Consider writing a pretty-printer for e.g. sockaddr.
It may look something like this:

def Print_sockaddr(val):
  AF_UNIX = 1
  AF_INET = 2
  AF_INET6 = 10
  af = val['sa_family']
  if af == AF_UNIX:
    return Print_sockaddr_un(val)
  elif af == AF_INET:
    return Print_sockaddr_in(val)
  elif af == AF_INET6:
    return Print_sockaddr_in6(val)
  else:
    # Don't know how to print this kind of sockaddr.
    # Just do whatever GDB would have done without Python.
    return gdb.print_value(val)

Reasonable?

--
Paul Pluzhnikov