git.roojs.org Git - gnome.gobject-introspection/blob - giscanner/transformer.py

   1 # -*- Mode: Python -*-
   2 # GObject-Introspection - a framework for introspecting GObject libraries
   3 # Copyright (C) 2008  Johan Dahlin
   4 #
   5 # This library is free software; you can redistribute it and/or
   6 # modify it under the terms of the GNU Lesser General Public
   7 # License as published by the Free Software Foundation; either
   8 # version 2 of the License, or (at your option) any later version.
   9 #
  10 # This library is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13 # Lesser General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU Lesser General Public
  16 # License along with this library; if not, write to the
  17 # Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  18 # Boston, MA 02111-1307, USA.
  19 #
  20
  21 import os
  22 import sys
  23
  24 from .ast import (Bitfield, Callback, Enum, Function, Namespace, Member,
  25                   Parameter, Return, Struct, Field,
  26                   Type, Array, Alias, Interface, Class, Node, Union,
  27                   Varargs, Constant, type_name_from_ctype,
  28                   type_names, TYPE_STRING, BASIC_GIR_TYPES)
  29 from .config import DATADIR, GIR_DIR, GIR_SUFFIX
  30 from .glibast import GLibBoxed
  31 from .girparser import GIRParser
  32 from .odict import odict
  33 from .sourcescanner import (
  34     SourceSymbol, ctype_name, CTYPE_POINTER,
  35     CTYPE_BASIC_TYPE, CTYPE_UNION, CTYPE_ARRAY, CTYPE_TYPEDEF,
  36     CTYPE_VOID, CTYPE_ENUM, CTYPE_FUNCTION, CTYPE_STRUCT,
  37     CSYMBOL_TYPE_FUNCTION, CSYMBOL_TYPE_TYPEDEF, CSYMBOL_TYPE_STRUCT,
  38     CSYMBOL_TYPE_ENUM, CSYMBOL_TYPE_UNION, CSYMBOL_TYPE_OBJECT,
  39     CSYMBOL_TYPE_MEMBER, CSYMBOL_TYPE_ELLIPSIS, CSYMBOL_TYPE_CONST,
  40     TYPE_QUALIFIER_CONST)
  41 from .utils import to_underscores
  42
  43 _xdg_data_dirs = [x for x in os.environ.get('XDG_DATA_DIRS', '').split(':') \
  44                       + [DATADIR, '/usr/share'] if x]
  45
  46
  47 class SkipError(Exception):
  48     pass
  49
  50 class VaListSkipError(SkipError):
  51     pass
  52
  53 class Names(object):
  54     names = property(lambda self: self._names)
  55     aliases = property(lambda self: self._aliases)
  56     type_names = property(lambda self: self._type_names)
  57     ctypes = property(lambda self: self._ctypes)
  58
  59     def __init__(self):
  60         super(Names, self).__init__()
  61         self._names = odict() # Maps from GIName -> (namespace, node)
  62         self._aliases = {} # Maps from GIName -> GIName
  63         self._type_names = {} # Maps from GTName -> (namespace, node)
  64         self._ctypes = {} # Maps from CType -> (namespace, node)
  65
  66
  67 class Transformer(object):
  68
  69     def __init__(self, cachestore, namespace_name, namespace_version):
  70         self._cachestore = cachestore
  71         self.generator = None
  72         self._namespace = Namespace(namespace_name, namespace_version)
  73         self._names = Names()
  74         self._pkg_config_packages = set()
  75         self._typedefs_ns = {}
  76         self._strip_prefix = ''
  77         self._includes = set()
  78         self._includepaths = []
  79
  80     def get_names(self):
  81         return self._names
  82
  83     def get_includes(self):
  84         return self._includes
  85
  86     def set_strip_suffix(self, strip_suffix):
  87         self._strip_suffix = strip_suffix
  88
  89     def set_strip_prefix(self, strip_prefix):
  90         self._strip_prefix = strip_prefix
  91
  92     def get_strip_prefix(self):
  93         return self._strip_prefix
  94
  95     def get_pkgconfig_packages(self):
  96         return self._pkg_config_packages
  97
  98     def set_source_ast(self, src_ast):
  99         self.generator = src_ast
 100
 101     def parse(self):
 102         nodes = []
 103         for symbol in self.generator.get_symbols():
 104             try:
 105                 node = self._traverse_one(symbol)
 106             except SkipError:
 107                 continue
 108             self._add_node(node)
 109         return self._namespace
 110
 111     def set_include_paths(self, paths):
 112         self._includepaths = list(paths)
 113
 114     def register_include(self, include):
 115         if include in self._includes:
 116             return
 117         filename = self._find_include(include)
 118         self._parse_include(filename)
 119         self._includes.add(include)
 120
 121     # Private
 122
 123     def _find_include(self, include):
 124         searchdirs = self._includepaths[:]
 125         for path in _xdg_data_dirs:
 126             searchdirs.append(os.path.join(path, GIR_SUFFIX))
 127         searchdirs.append(GIR_DIR)
 128
 129         girname = '%s-%s.gir' % (include.name, include.version)
 130         for d in searchdirs:
 131             path = os.path.join(d, girname)
 132             if os.path.exists(path):
 133                 return path
 134         sys.stderr.write("Couldn't find include %r (search path: %r)\n"\
 135                          % (girname, searchdirs))
 136         sys.exit(1)
 137
 138     def _parse_include(self, filename):
 139         parser = self._cachestore.load(filename)
 140         if parser is None:
 141             parser = GIRParser()
 142             parser.set_include_parsing(True)
 143             parser.parse(filename)
 144             self._cachestore.store(filename, parser)
 145
 146         for include in parser.get_includes():
 147             self.register_include(include)
 148
 149         for pkg in parser.get_pkgconfig_packages():
 150             self._pkg_config_packages.add(pkg)
 151         namespace = parser.get_namespace()
 152         nsname = namespace.name
 153         for node in namespace.nodes:
 154             if isinstance(node, Alias):
 155                 self._names.aliases[node.name] = (nsname, node)
 156             elif isinstance(node, (GLibBoxed, Interface, Class)):
 157                 self._names.type_names[node.type_name] = (nsname, node)
 158             giname = '%s.%s' % (nsname, node.name)
 159             self._names.names[giname] = (nsname, node)
 160             if hasattr(node, 'ctype'):
 161                 self._names.ctypes[node.ctype] = (nsname, node)
 162             elif hasattr(node, 'symbol'):
 163                 self._names.ctypes[node.symbol] = (nsname, node)
 164
 165     def _add_node(self, node):
 166         if node is None:
 167             return
 168         if node.name.startswith('_'):
 169             return
 170         self._namespace.nodes.append(node)
 171         self._names.names[node.name] = (None, node)
 172
 173     def _strip_namespace_func(self, name):
 174         prefix = self._namespace.name.lower() + '_'
 175         if name.lower().startswith(prefix):
 176             name = name[len(prefix):]
 177         else:
 178             prefix = to_underscores(self._namespace.name).lower() + '_'
 179             if name.lower().startswith(prefix):
 180                 name = name[len(prefix):]
 181         return self.remove_prefix(name, isfunction=True)
 182
 183     def remove_prefix(self, name, isfunction=False):
 184         # when --strip-prefix=g:
 185         #   GHashTable -> HashTable
 186         #   g_hash_table_new -> hash_table_new
 187         stripped = False
 188         prefix = self._strip_prefix.lower()
 189
 190         if isfunction and '_' in name:
 191             prefix += '_'
 192         if len(name) > len(prefix) and name.lower().startswith(prefix):
 193             name = name[len(prefix):]
 194             stripped = True
 195
 196         while name.startswith('_'):
 197             name = name[1:]
 198
 199         if (stripped and self._strip_suffix and
 200             len(name) > len(self._strip_suffix) and
 201             name.endswith(self._strip_suffix)
 202             name = name[:-1*len(self._strip_suffix)]
 203
 204         return name
 205
 206     def _traverse_one(self, symbol, stype=None):
 207         assert isinstance(symbol, SourceSymbol), symbol
 208
 209         if stype is None:
 210             stype = symbol.type
 211         if stype == CSYMBOL_TYPE_FUNCTION:
 212             return self._create_function(symbol)
 213         elif stype == CSYMBOL_TYPE_TYPEDEF:
 214             return self._create_typedef(symbol)
 215         elif stype == CSYMBOL_TYPE_STRUCT:
 216             return self._create_struct(symbol)
 217         elif stype == CSYMBOL_TYPE_ENUM:
 218             return self._create_enum(symbol)
 219         elif stype == CSYMBOL_TYPE_OBJECT:
 220             return self._create_object(symbol)
 221         elif stype == CSYMBOL_TYPE_MEMBER:
 222             return self._create_member(symbol)
 223         elif stype == CSYMBOL_TYPE_UNION:
 224             return self._create_union(symbol)
 225         elif stype == CSYMBOL_TYPE_CONST:
 226             return self._create_const(symbol)
 227         else:
 228             raise NotImplementedError(
 229                 'Transformer: unhandled symbol: %r' % (symbol, ))
 230
 231     def _enum_common_prefix(self, symbol):
 232         def common_prefix(a, b):
 233             commonparts = []
 234             for aword, bword in zip(a.split('_'), b.split('_')):
 235                 if aword != bword:
 236                     return '_'.join(commonparts) + '_'
 237                 commonparts.append(aword)
 238             return min(a, b)
 239
 240         # Nothing less than 2 has a common prefix
 241         if len(list(symbol.base_type.child_list)) < 2:
 242             return None
 243         prefix = None
 244         for child in symbol.base_type.child_list:
 245             if prefix is None:
 246                 prefix = child.ident
 247             else:
 248                 prefix = common_prefix(prefix, child.ident)
 249                 if prefix == '':
 250                     return None
 251         return prefix
 252
 253     def _create_enum(self, symbol):
 254         prefix = self._enum_common_prefix(symbol)
 255         if prefix:
 256             prefixlen = len(prefix)
 257         else:
 258             prefixlen = 0
 259         members = []
 260         for child in symbol.base_type.child_list:
 261             if prefixlen > 0:
 262                 name = child.ident[prefixlen:]
 263             else:
 264                 # Ok, the enum members don't have a consistent prefix
 265                 # among them, so let's just remove the global namespace
 266                 # prefix.
 267                 name = self.remove_prefix(child.ident)
 268             members.append(Member(name.lower(),
 269                                   child.const_int,
 270                                   child.ident))
 271
 272         enum_name = self.remove_prefix(symbol.ident)
 273         if symbol.base_type.is_bitfield:
 274             klass = Bitfield
 275         else:
 276             klass = Enum
 277         node = klass(enum_name, symbol.ident, members)
 278         self._names.type_names[symbol.ident] = (None, node)
 279         return node
 280
 281     def _create_object(self, symbol):
 282         return Member(symbol.ident, symbol.base_type.name,
 283                       symbol.ident)
 284
 285     def _type_is_callback(self, type):
 286         if isinstance(type, Callback):
 287             return True
 288         node = self._names.names.get(type.name)
 289         if node and isinstance(node[1], Callback):
 290             return True
 291         return False
 292
 293     def _handle_closure(self, param, closure_idx, closure_param):
 294         if (closure_param.type.name == 'any' and
 295             closure_param.name.endswith('data')):
 296             param.closure_name = closure_param.name
 297             param.closure_index = closure_idx
 298             return True
 299         return False
 300
 301     def _handle_destroy(self, param, destroy_idx, destroy_param):
 302         if (destroy_param.type.name == 'GLib.DestroyNotify' or
 303             destroy_param.type.ctype == 'GDestroyNotify'):
 304             param.destroy_name = destroy_param.name
 305             param.destroy_index = destroy_idx
 306             return True
 307         return False
 308
 309     def _augment_callback_params(self, params):
 310         for i, param in enumerate(params):
 311             if not self._type_is_callback(param.type):
 312                 continue
 313
 314             # set a default scope
 315             if param.scope is None:
 316                 param.scope = 'call'
 317
 318             # j is the index where we look for closure/destroy to
 319             # group with the callback param
 320             j = i + 1
 321             if j == len(params):
 322                 continue # no more args -> nothing to group
 323             # look at the param directly following for either a
 324             # closure or a destroy; only one of these will fire
 325             had_closure = self._handle_closure(param, j, params[j])
 326             had_destroy = self._handle_destroy(param, j, params[j])
 327             j += 1
 328             # are we out of params, or did we find neither?
 329             if j == len(params) or (not had_closure and not had_destroy):
 330                 continue
 331             # we found either a closure or a destroy; check the
 332             # parameter following for the other
 333             if not had_closure:
 334                 self._handle_closure(param, j, params[j])
 335             if not had_destroy:
 336                 self._handle_destroy(param, j, params[j])
 337
 338     def _create_function(self, symbol):
 339         parameters = list(self._create_parameters(symbol.base_type))
 340         return_ = self._create_return(symbol.base_type.base_type)
 341         self._augment_callback_params(parameters)
 342         name = self._strip_namespace_func(symbol.ident)
 343         func = Function(name, return_, parameters, symbol.ident)
 344         return func
 345
 346     def _create_source_type(self, source_type):
 347         if source_type is None:
 348             return 'None'
 349         if source_type.type == CTYPE_VOID:
 350             value = 'void'
 351         elif source_type.type == CTYPE_BASIC_TYPE:
 352             value = source_type.name
 353         elif source_type.type == CTYPE_TYPEDEF:
 354             value = source_type.name
 355         elif source_type.type == CTYPE_ARRAY:
 356             return self._create_source_type(source_type.base_type)
 357         elif source_type.type == CTYPE_POINTER:
 358             value = self._create_source_type(source_type.base_type) + '*'
 359         else:
 360             value = 'any'
 361         return value
 362
 363     def _create_parameters(self, base_type):
 364
 365         # warn if we see annotations for unknown parameters
 366         param_names = set(child.ident for child in base_type.child_list)
 367         for child in base_type.child_list:
 368             yield self._create_parameter(child)
 369
 370     def _create_member(self, symbol):
 371         source_type = symbol.base_type
 372         if (source_type.type == CTYPE_POINTER and
 373             symbol.base_type.base_type.type == CTYPE_FUNCTION):
 374             try:
 375                 node = self._create_callback(symbol)
 376             except VaListSkipError:
 377                 #this handles va_list members, and converts them
 378                 #to unwritable, unreadable void*
 379                 ftype = Type("any", "void*")
 380                 ftype = self.resolve_param_type(ftype)
 381                 node = Field(symbol.ident, ftype, ftype.name,
 382                          readable=False, writable=False, bits=symbol.const_int)
 383
 384
 385         elif source_type.type == CTYPE_STRUCT and source_type.name is None:
 386             node = self._create_struct(symbol, anonymous=True)
 387         elif source_type.type == CTYPE_UNION and source_type.name is None:
 388             node = self._create_union(symbol, anonymous=True)
 389         else:
 390             # Special handling for fields; we don't have annotations on them
 391             # to apply later, yet.
 392             if source_type.type == CTYPE_ARRAY:
 393                 ctype = self._create_source_type(source_type)
 394                 canonical_ctype = self._canonicalize_ctype(ctype)
 395                 if canonical_ctype[-1] == '*':
 396                     derefed_name = canonical_ctype[:-1]
 397                 else:
 398                     derefed_name = canonical_ctype
 399                 derefed_name = self.resolve_param_type(derefed_name)
 400                 ftype = Array(ctype, self.parse_ctype(derefed_name))
 401                 child_list = list(symbol.base_type.child_list)
 402                 ftype.zeroterminated = False
 403                 if child_list:
 404                     ftype.size = '%d' % (child_list[0].const_int, )
 405             else:
 406                 ftype = self._create_type(symbol.base_type,
 407                                           is_param=False, is_retval=False)
 408             ftype = self.resolve_param_type(ftype)
 409             # Fields are assumed to be read-write
 410             # (except for Objects, see also glibtransformer.py)
 411             node = Field(symbol.ident, ftype, ftype.name,
 412                          readable=True, writable=True, bits=symbol.const_int)
 413         return node
 414
 415     def _create_typedef(self, symbol):
 416         ctype = symbol.base_type.type
 417         if (ctype == CTYPE_POINTER and
 418             symbol.base_type.base_type.type == CTYPE_FUNCTION):
 419             node = self._create_typedef_callback(symbol)
 420         if (ctype ==  CTYPE_FUNCTION):
 421             node = self._create_typedef_callback(symbol)
 422         elif (ctype == CTYPE_POINTER and
 423             symbol.base_type.base_type.type == CTYPE_STRUCT):
 424             node = self._create_typedef_struct(symbol, disguised=True)
 425         elif ctype == CTYPE_STRUCT:
 426             node = self._create_typedef_struct(symbol)
 427         elif ctype == CTYPE_UNION:
 428             node = self._create_typedef_union(symbol)
 429         elif ctype == CTYPE_ENUM:
 430             return self._create_enum(symbol)
 431         elif ctype in (CTYPE_TYPEDEF,
 432                        CTYPE_POINTER,
 433                        CTYPE_BASIC_TYPE,
 434                        CTYPE_VOID):
 435             name = self.remove_prefix(symbol.ident)
 436             if symbol.base_type.name:
 437                 target = self.remove_prefix(symbol.base_type.name)
 438             elif (ctype == CTYPE_POINTER and
 439                 symbol.base_type.base_type.name):
 440                 target = self.remove_prefix(
 441                     symbol.base_type.base_type.name) + '*'
 442             elif (ctype == CTYPE_POINTER and
 443                 symbol.base_type.base_type.type == CTYPE_VOID):
 444                 target = 'any'
 445             else:
 446                 target = 'none'
 447             if name in type_names:
 448                 return None
 449             return Alias(name, target, ctype=symbol.ident)
 450         else:
 451             raise NotImplementedError(
 452                 "symbol %r of type %s" % (symbol.ident, ctype_name(ctype)))
 453         return node
 454
 455     def _canonicalize_ctype(self, ctype):
 456         # First look up the ctype including any pointers;
 457         # a few type names like 'char*' have their own aliases
 458         # and we need pointer information for those.
 459         firstpass = type_name_from_ctype(ctype)
 460
 461         # If we have a particular alias for this, skip deep
 462         # canonicalization to prevent changing
 463         # e.g. char* -> int8*
 464         if firstpass != ctype:
 465             return firstpass
 466
 467         # We're also done if the type is already a fundamental
 468         # known type, or there are no pointers.
 469         if ctype in type_names or not firstpass.endswith('*'):
 470             return firstpass
 471
 472         # We have a pointer type.
 473         # Strip the end pointer, canonicalize our base type
 474         base = firstpass[:-1]
 475         canonical_base = self._canonicalize_ctype(base)
 476
 477         # Append the pointer again
 478         canonical = canonical_base + '*'
 479
 480         return canonical
 481
 482     def parse_ctype(self, ctype, is_member=False):
 483         canonical = self._canonicalize_ctype(ctype)
 484
 485         # Remove all pointers - we require standard calling
 486         # conventions.  For example, an 'int' is always passed by
 487         # value (unless it's out or inout).
 488         derefed_typename = canonical.replace('*', '')
 489
 490         # Preserve "pointerness" of struct/union members
 491         if (is_member and canonical.endswith('*') and
 492             derefed_typename in BASIC_GIR_TYPES):
 493             return 'any'
 494         else:
 495             return derefed_typename
 496
 497     def _create_type(self, source_type, is_param, is_retval):
 498         ctype = self._create_source_type(source_type)
 499         if ctype.startswith('va_list'):
 500             raise VaListSkipError()
 501         # FIXME: FILE* should not be skipped, it should be handled
 502         #        properly instead
 503         elif ctype == 'FILE*':
 504             raise SkipError
 505
 506         is_member = not (is_param or is_retval)
 507         # Here we handle basic type parsing; most of the heavy lifting
 508         # and inference comes in annotationparser.py when we merge
 509         # in annotation data.
 510         derefed_name = self.parse_ctype(ctype, is_member)
 511         rettype = Type(derefed_name, ctype)
 512         rettype.canonical = self._canonicalize_ctype(ctype)
 513         derefed_ctype = ctype.replace('*', '')
 514         rettype.derefed_canonical = self._canonicalize_ctype(derefed_ctype)
 515
 516         canontype = type_name_from_ctype(ctype)
 517         # Is it a const char * or a const gpointer?
 518         if ((canontype == TYPE_STRING or source_type.type == CTYPE_POINTER) and
 519             (source_type.base_type.type_qualifier & TYPE_QUALIFIER_CONST)):
 520             rettype.is_const = True
 521         return rettype
 522
 523     def _create_parameter(self, symbol):
 524         if symbol.type == CSYMBOL_TYPE_ELLIPSIS:
 525             ptype = Varargs()
 526         else:
 527             ptype = self._create_type(symbol.base_type,
 528                                       is_param=True, is_retval=False)
 529             ptype = self.resolve_param_type(ptype)
 530         return Parameter(symbol.ident, ptype)
 531
 532     def _create_return(self, source_type):
 533         rtype = self._create_type(source_type,
 534                                   is_param=False, is_retval=True)
 535         rtype = self.resolve_param_type(rtype)
 536         return_ = Return(rtype)
 537         return return_
 538
 539     def _create_const(self, symbol):
 540         # Don't create constants for non-public things
 541         # http://bugzilla.gnome.org/show_bug.cgi?id=572790
 542         if (symbol.source_filename is None or
 543             not symbol.source_filename.endswith('.h')):
 544             return None
 545         name = self.remove_prefix(symbol.ident)
 546         if symbol.const_string is not None:
 547             type_name = 'utf8'
 548             value = symbol.const_string
 549         elif symbol.const_int is not None:
 550             type_name = 'int'
 551             value = symbol.const_int
 552         elif symbol.const_double is not None:
 553             type_name = 'double'
 554             value = symbol.const_double
 555         else:
 556             raise AssertionError()
 557
 558         const = Constant(name, type_name, value)
 559         return const
 560
 561     def _create_typedef_struct(self, symbol, disguised=False):
 562         name = self.remove_prefix(symbol.ident)
 563         struct = Struct(name, symbol.ident, disguised)
 564         self._typedefs_ns[symbol.ident] = struct
 565         self._create_struct(symbol)
 566         return struct
 567
 568     def _create_typedef_union(self, symbol):
 569         name = self.remove_prefix(symbol.ident)
 570         union = Union(name, symbol.ident)
 571         self._typedefs_ns[symbol.ident] = union
 572         self._create_union(symbol)
 573         return union
 574
 575     def _create_typedef_callback(self, symbol):
 576         callback = self._create_callback(symbol)
 577         self._typedefs_ns[callback.name] = callback
 578         return callback
 579
 580     def _create_compound(self, klass, symbol, anonymous):
 581         if symbol.ident is None:
 582             # the compound is an anonymous member of another union or a struct
 583             assert anonymous
 584             compound = klass(None, None)
 585         else:
 586             compound = self._typedefs_ns.get(symbol.ident, None)
 587
 588         if compound is None:
 589             # This is a bit of a hack; really we should try
 590             # to resolve through the typedefs to find the real
 591             # name
 592             if symbol.ident.startswith('_'):
 593                 name = symbol.ident[1:]
 594                 compound = self._typedefs_ns.get(name, None)
 595             else:
 596                 name = symbol.ident
 597             if compound is None:
 598                 name = self.remove_prefix(name)
 599                 compound = klass(name, symbol.ident)
 600
 601         for child in symbol.base_type.child_list:
 602             field = self._traverse_one(child)
 603             if field:
 604                 compound.fields.append(field)
 605
 606         return compound
 607
 608     def _create_struct(self, symbol, anonymous=False):
 609         return self._create_compound(Struct, symbol, anonymous)
 610
 611     def _create_union(self, symbol, anonymous=False):
 612         return self._create_compound(Union, symbol, anonymous)
 613
 614     def _create_callback(self, symbol):
 615         parameters = list(self._create_parameters(symbol.base_type.base_type))
 616         retval = self._create_return(symbol.base_type.base_type.base_type)
 617
 618         # Mark the 'user_data' arguments
 619         for i, param in enumerate(parameters):
 620             if (param.type.name == 'any' and
 621                 param.name == 'user_data'):
 622                 param.closure_index = i
 623
 624         if symbol.ident.find('_') > 0:
 625             name = self.remove_prefix(symbol.ident, True)
 626         else:
 627             name = self.remove_prefix(symbol.ident)
 628         callback = Callback(name, retval, parameters, symbol.ident)
 629
 630         return callback
 631
 632     def _typepair_to_str(self, item):
 633         nsname, item = item
 634         if nsname is None:
 635             return item.name
 636         return '%s.%s' % (nsname, item.name)
 637
 638     def _resolve_type_name_1(self, type_name, ctype, names):
 639         # First look using the built-in names
 640         if ctype:
 641             try:
 642                 return type_names[ctype]
 643             except KeyError, e:
 644                 pass
 645         try:
 646             return type_names[type_name]
 647         except KeyError, e:
 648             pass
 649
 650         if ctype:
 651             ctype = ctype.replace('*', '')
 652             resolved = names.ctypes.get(ctype)
 653             if resolved:
 654                 return self._typepair_to_str(resolved)
 655         type_name = self.remove_prefix(type_name)
 656         resolved = names.aliases.get(type_name)
 657         if resolved:
 658             return self._typepair_to_str(resolved)
 659         resolved = names.names.get(type_name)
 660         if resolved:
 661             return self._typepair_to_str(resolved)
 662         resolved = names.type_names.get(type_name)
 663         if resolved:
 664             return self._typepair_to_str(resolved)
 665         raise KeyError("failed to find %r" % (type_name, ))
 666
 667     def resolve_type_name_full(self, type_name, ctype,
 668                                names, allow_invalid=True):
 669         try:
 670             return self._resolve_type_name_1(type_name, ctype, names)
 671         except KeyError, e:
 672             try:
 673                 return self._resolve_type_name_1(type_name, ctype, self._names)
 674             except KeyError, e:
 675                 if not allow_invalid:
 676                     raise
 677                 return type_name
 678
 679     def resolve_type_name(self, type_name, ctype=None):
 680         try:
 681             return self.resolve_type_name_full(type_name, ctype, self._names)
 682         except KeyError, e:
 683             return type_name
 684
 685     def gtypename_to_giname(self, gtname, names):
 686         resolved = names.type_names.get(gtname)
 687         if resolved:
 688             return self._typepair_to_str(resolved)
 689         resolved = self._names.type_names.get(gtname)
 690         if resolved:
 691             return self._typepair_to_str(resolved)
 692         raise KeyError("Failed to resolve GType name: %r" % (gtname, ))
 693
 694     def ctype_of(self, obj):
 695         if hasattr(obj, 'ctype'):
 696             return obj.ctype
 697         elif hasattr(obj, 'symbol'):
 698             return obj.symbol
 699         else:
 700             return None
 701
 702     def resolve_param_type_full(self, ptype, names, **kwargs):
 703         if isinstance(ptype, Node):
 704             ptype.name = self.resolve_type_name_full(ptype.name,
 705                                                      self.ctype_of(ptype),
 706                                                      names, **kwargs)
 707         elif isinstance(ptype, basestring):
 708             return self.resolve_type_name_full(ptype, ptype, names, **kwargs)
 709         else:
 710             raise AssertionError("Unhandled param: %r" % (ptype, ))
 711         return ptype
 712
 713     def resolve_param_type(self, ptype):
 714         try:
 715             return self.resolve_param_type_full(ptype, self._names)
 716         except KeyError, e:
 717             return ptype
 718
 719     def follow_aliases(self, type_name, names):
 720         while True:
 721             resolved = names.aliases.get(type_name)
 722             if resolved:
 723                 (ns, alias) = resolved
 724                 type_name = alias.target
 725             else:
 726                 break
 727         return type_name
 728
 729     def iter_enums(self):
 730         for node in self._namespace.nodes:
 731             if isinstance(node, Enum):
 732                 yield node