# -*- Mode: Python -*- # GObject-Introspection - a framework for introspecting GObject libraries # Copyright (C) 2008 Johan Dahlin # # This library is free software; you can redistribute it and/or # modify it under the terms of the GNU Lesser General Public # License as published by the Free Software Foundation; either # version 2 of the License, or (at your option) any later version. # # This library 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 # Lesser General Public License for more details. # # You should have received a copy of the GNU Lesser General Public # License along with this library; if not, write to the # Free Software Foundation, Inc., 59 Temple Place - Suite 330, # Boston, MA 02111-1307, USA. # import os from xml.etree.cElementTree import parse from . import ast from .girwriter import COMPATIBLE_GIR_VERSION CORE_NS = "http://www.gtk.org/introspection/core/1.0" C_NS = "http://www.gtk.org/introspection/c/1.0" GLIB_NS = "http://www.gtk.org/introspection/glib/1.0" def _corens(tag): return '{%s}%s' % (CORE_NS, tag) def _glibns(tag): return '{%s}%s' % (GLIB_NS, tag) def _cns(tag): return '{%s}%s' % (C_NS, tag) class GIRParser(object): def __init__(self): self._shared_libraries = [] self._includes = set() self._pkgconfig_packages = set() self._namespace = None self._filename_stack = [] # Public API def parse(self, filename): filename = os.path.abspath(filename) self._filename_stack.append(filename) tree = parse(filename) self.parse_tree(tree) self._filename_stack.pop() def parse_tree(self, tree): self._includes.clear() self._namespace = None self._shared_libraries = [] self._pkgconfig_packages = set() self._c_includes = set() self._c_prefix = None self._parse_api(tree.getroot()) def get_namespace(self): return self._namespace def get_shared_libraries(self): return self._shared_libraries def get_includes(self): return self._includes def get_c_includes(self): return self._c_includes def get_c_prefix(self): return self._c_prefix def get_pkgconfig_packages(self): if not hasattr(self, '_pkgconfig_packages'): self._pkgconfig_packages = [] return self._pkgconfig_packages def get_doc(self): return parse(self._filename) # Private def _find_first_child(self, node, name): for child in node.getchildren(): if child.tag == name: return child return None def _find_children(self, node, name): return [child for child in node.getchildren() if child.tag == name] def _get_current_file(self): if not self._filename_stack: return None cwd = os.getcwd() + os.sep curfile = self._filename_stack[-1] if curfile.startswith(cwd): return curfile[len(cwd):] return curfile def _parse_api(self, root): assert root.tag == _corens('repository') version = root.attrib['version'] if version != COMPATIBLE_GIR_VERSION: raise SystemExit("%s: Incompatible version %s (supported: %s)" \ % (self._get_current_file(), version, COMPATIBLE_GIR_VERSION)) for node in root.getchildren(): if node.tag == _corens('include'): self._parse_include(node) elif node.tag == _corens('package'): self._parse_pkgconfig_package(node) elif node.tag == _cns('include'): self._parse_c_include(node) ns = root.find(_corens('namespace')) assert ns is not None identifier_prefixes = ns.attrib.get(_cns('identifier-prefixes')) if identifier_prefixes: identifier_prefixes = identifier_prefixes.split(',') symbol_prefixes = ns.attrib.get(_cns('symbol-prefixes')) if symbol_prefixes: symbol_prefixes = symbol_prefixes.split(',') self._namespace = ast.Namespace(ns.attrib['name'], ns.attrib['version'], identifier_prefixes=identifier_prefixes, symbol_prefixes=symbol_prefixes) if 'shared-library' in ns.attrib: self._shared_libraries.extend( ns.attrib['shared-library'].split(',')) parser_methods = { _corens('alias'): self._parse_alias, _corens('bitfield'): self._parse_enumeration_bitfield, _corens('callback'): self._parse_callback, _corens('class'): self._parse_object_interface, _corens('constant'): self._parse_constant, _corens('function'): self._parse_function, _corens('enumeration'): self._parse_enumeration_bitfield, _corens('interface'): self._parse_object_interface, _corens('record'): self._parse_record, _corens('union'): self._parse_union, _glibns('boxed'): self._parse_boxed, } for node in ns.getchildren(): method = parser_methods.get(node.tag) if method is not None: method(node) def _parse_include(self, node): include = ast.Include(node.attrib['name'], node.attrib['version']) self._includes.add(include) def _parse_pkgconfig_package(self, node): self._pkgconfig_packages.add(node.attrib['name']) def _parse_c_include(self, node): self._c_includes.add(node.attrib['name']) def _parse_alias(self, node): typeval = self._parse_type(node) alias = ast.Alias(node.attrib['name'], typeval, node.attrib.get(_cns('type'))) self._namespace.append(alias) def _parse_generic_attribs(self, node, obj): assert isinstance(obj, ast.Annotated) doc = node.find(_corens('doc')) if doc is not None: obj.doc = doc.text version = node.attrib.get('version') if version: obj.version = version deprecated = node.attrib.get('deprecated') if deprecated: obj.deprecated = deprecated introspectable = node.attrib.get('introspectable') if introspectable: obj.introspectable = int(introspectable) > 0 def _parse_object_interface(self, node): parent = node.attrib.get('parent') if parent: parent_type = self._namespace.type_from_name(parent) else: parent_type = None ctor_args = [node.attrib['name'], parent_type] ctor_kwargs = {'gtype_name': node.attrib[_glibns('type-name')], 'get_type': node.attrib[_glibns('get-type')], 'c_symbol_prefix': node.attrib.get(_cns('symbol-prefix')), 'ctype': node.attrib.get(_cns('type'))} if node.tag == _corens('interface'): klass = ast.Interface elif node.tag == _corens('class'): klass = ast.Class is_abstract = node.attrib.get('abstract') is_abstract = is_abstract and is_abstract != '0' ctor_kwargs['is_abstract'] = is_abstract else: raise AssertionError(node) obj = klass(*ctor_args, **ctor_kwargs) self._parse_generic_attribs(node, obj) type_struct = node.attrib.get(_glibns('type-struct')) if type_struct: obj.glib_type_struct = self._namespace.type_from_name(type_struct) self._namespace.append(obj) ctor_args.append(node.attrib.get(_cns('type'))) for iface in self._find_children(node, _corens('implements')): obj.interfaces.append(self._namespace.type_from_name(iface.attrib['name'])) for iface in self._find_children(node, _corens('prerequisite')): obj.prerequisites.append(self._namespace.type_from_name(iface.attrib['name'])) for func_node in self._find_children(node, _corens('function')): func = self._parse_function_common(func_node, ast.Function) obj.static_methods.append(func) for method in self._find_children(node, _corens('method')): func = self._parse_function_common(method, ast.Function) func.is_method = True obj.methods.append(func) for method in self._find_children(node, _corens('virtual-method')): func = self._parse_function_common(method, ast.VFunction) self._parse_generic_attribs(method, func) func.is_method = True func.invoker = method.get('invoker') obj.virtual_methods.append(func) for ctor in self._find_children(node, _corens('constructor')): func = self._parse_function_common(ctor, ast.Function) func.is_constructor = True obj.constructors.append(func) obj.fields.extend(self._parse_fields(node)) for prop in self._find_children(node, _corens('property')): obj.properties.append(self._parse_property(prop)) for signal in self._find_children(node, _glibns('signal')): obj.signals.append(self._parse_function_common(signal, ast.Function)) def _parse_callback(self, node): callback = self._parse_function_common(node, ast.Callback) self._namespace.append(callback) def _parse_function(self, node): function = self._parse_function_common(node, ast.Function) function.shadows = node.attrib.get('shadows', None) function.shadowed_by = node.attrib.get('shadowed-by', None) self._namespace.append(function) def _parse_function_common(self, node, klass): name = node.attrib['name'] returnnode = node.find(_corens('return-value')) if not returnnode: raise ValueError('node %r has no return-value' % (name, )) transfer = returnnode.attrib.get('transfer-ownership') retval = ast.Return(self._parse_type(returnnode), transfer) self._parse_generic_attribs(returnnode, retval) parameters = [] throws = (node.attrib.get('throws') == '1') if klass is ast.Callback: func = klass(name, retval, parameters, throws, node.attrib.get(_cns('type'))) elif klass is ast.Function: identifier = node.attrib.get(_cns('identifier')) func = klass(name, retval, parameters, throws, identifier) elif klass is ast.VFunction: func = klass(name, retval, parameters, throws) else: assert False parameters_node = node.find(_corens('parameters')) if (parameters_node is not None): for paramnode in self._find_children(parameters_node, _corens('parameter')): typeval = self._parse_type(paramnode) param = ast.Parameter(paramnode.attrib.get('name'), typeval, paramnode.attrib.get('direction') or ast.PARAM_DIRECTION_IN, paramnode.attrib.get('transfer-ownership'), paramnode.attrib.get('allow-none') == '1', paramnode.attrib.get('scope'), paramnode.attrib.get('caller-allocates') == '1') self._parse_generic_attribs(paramnode, param) parameters.append(param) for i, paramnode in enumerate(self._find_children(parameters_node, _corens('parameter'))): param = parameters[i] self._parse_type_second_pass(func, paramnode, param.type) closure = paramnode.attrib.get('closure') if closure: idx = int(closure) assert idx < len(parameters), "%d >= %d" % (idx, len(parameters)) param.closure_name = parameters[idx].argname destroy = paramnode.attrib.get('destroy') if destroy: idx = int(destroy) assert idx < len(parameters), "%d >= %d" % (idx, len(parameters)) param.destroy_name = parameters[idx].argname self._parse_type_second_pass(func, returnnode, retval.type) self._parse_generic_attribs(node, func) return func def _parse_fields(self, node): res = [] names = (_corens('field'), _corens('record'), _corens('union'), _corens('callback')) for child in node.getchildren(): if child.tag in names: fieldobj = self._parse_field(child) res.append(fieldobj) return res def _parse_record(self, node, anonymous=False): struct = ast.Record(node.attrib.get('name'), node.attrib.get(_cns('type')), disguised=node.attrib.get('disguised') == '1', gtype_name=node.attrib.get(_glibns('type-name')), get_type=node.attrib.get(_glibns('get-type')), c_symbol_prefix=node.attrib.get(_cns('symbol-prefix'))) is_gtype_struct_for = node.attrib.get(_glibns('is-gtype-struct-for')) if is_gtype_struct_for is not None: struct.is_gtype_struct_for = self._namespace.type_from_name(is_gtype_struct_for) if node.attrib.get('foreign') == '1': struct.foreign = True self._parse_generic_attribs(node, struct) if not anonymous: self._namespace.append(struct) struct.fields.extend(self._parse_fields(node)) for method in self._find_children(node, _corens('method')): struct.methods.append( self._parse_function_common(method, ast.Function)) for func in self._find_children(node, _corens('function')): struct.static_methods.append( self._parse_function_common(func, ast.Function)) for ctor in self._find_children(node, _corens('constructor')): struct.constructors.append( self._parse_function_common(ctor, ast.Function)) return struct def _parse_union(self, node, anonymous=False): union = ast.Union(node.attrib.get('name'), node.attrib.get(_cns('type')), gtype_name=node.attrib.get(_glibns('type-name')), get_type=node.attrib.get(_glibns('get-type')), c_symbol_prefix=node.attrib.get(_cns('symbol-prefix'))) if not anonymous: self._namespace.append(union) for callback in self._find_children(node, _corens('callback')): union.fields.append( self._parse_function_common(callback, ast.Callback)) union.fields.extend(self._parse_fields(node)) for method in self._find_children(node, _corens('method')): union.methods.append( self._parse_function_common(method, ast.Function)) for func in self._find_children(node, _corens('function')): union.static_methods.append( self._parse_function_common(func, ast.Function)) for ctor in self._find_children(node, _corens('constructor')): union.constructors.append( self._parse_function_common(ctor, ast.Function)) return union def _parse_type_simple(self, typenode): # ast.Fields can contain inline callbacks if typenode.tag == _corens('callback'): typeval = self._namespace.type_from_name(typenode.attrib['name']) typeval.ctype = typenode.attrib.get(_cns('type')) return typeval # ast.Arrays have their own toplevel XML elif typenode.tag == _corens('array'): array_type = typenode.attrib.get('name') element_type = self._parse_type(typenode) array_ctype = typenode.attrib.get(_cns('type')) ret = ast.Array(array_type, element_type, ctype=array_ctype) # zero-terminated defaults to true... zero = typenode.attrib.get('zero-terminated') if zero and zero == '0': ret.zeroterminated = False fixed_size = typenode.attrib.get('fixed-size') if fixed_size: ret.size = int(fixed_size) return ret elif typenode.tag == _corens('varargs'): return ast.Varargs() elif typenode.tag == _corens('type'): name = typenode.attrib.get('name') ctype = typenode.attrib.get(_cns('type')) if name is None: if ctype is None: return ast.TypeUnknown() return ast.Type(ctype=ctype) elif name in ['GLib.List', 'GLib.SList']: subchild = self._find_first_child(typenode, _corens('type')) if subchild is not None: element_type = self._parse_type(typenode) else: element_type = ast.TYPE_ANY return ast.List(name, element_type, ctype=ctype) elif name == 'GLib.HashTable': subchildren = self._find_children(typenode, _corens('type')) subchildren_types = map(self._parse_type_simple, subchildren) while len(subchildren_types) < 2: subchildren_types.append(ast.TYPE_ANY) return ast.Map(subchildren_types[0], subchildren_types[1], ctype=ctype) else: return self._namespace.type_from_name(name, ctype) else: assert False, "Failed to parse inner type" def _parse_type(self, node): for name in map(_corens, ('callback', 'array', 'varargs', 'type')): typenode = node.find(name) if typenode is not None: return self._parse_type_simple(typenode) assert False, "Failed to parse toplevel type" def _parse_type_second_pass(self, parent, node, typeval): """A hack necessary to handle the integer parameter indexes on array types.""" typenode = node.find(_corens('array')) if typenode is None: return lenidx = typenode.attrib.get('length') if lenidx is not None: idx = int(lenidx) assert idx < len(parent.parameters), "%r %d >= %d" \ % (parent, idx, len(parent.parameters)) typeval.length_param_name = parent.parameters[idx].argname def _parse_boxed(self, node): obj = ast.Boxed(node.attrib[_glibns('name')], gtype_name=node.attrib[_glibns('type-name')], get_type=node.attrib[_glibns('get-type')], c_symbol_prefix=node.attrib.get(_cns('symbol-prefix'))) self._parse_generic_attribs(node, obj) self._namespace.append(obj) for method in self._find_children(node, _corens('method')): func = self._parse_function_common(method, ast.Function) func.is_method = True obj.methods.append(func) for ctor in self._find_children(node, _corens('constructor')): obj.constructors.append( self._parse_function_common(ctor, ast.Function)) for callback in self._find_children(node, _corens('callback')): obj.fields.append( self._parse_function_common(callback, ast.Callback)) def _parse_field(self, node): type_node = None anonymous_node = None if node.tag in map(_corens, ('record', 'union')): anonymous_elt = node else: anonymous_elt = self._find_first_child(node, _corens('callback')) if anonymous_elt is not None: if anonymous_elt.tag == _corens('callback'): anonymous_node = self._parse_function_common(anonymous_elt, ast.Callback) elif anonymous_elt.tag == _corens('record'): anonymous_node = self._parse_record(anonymous_elt, anonymous=True) elif anonymous_elt.tag == _corens('union'): anonymous_node = self._parse_union(anonymous_elt, anonymous=True) else: assert False, anonymous_elt.tag else: assert node.tag == _corens('field'), node.tag type_node = self._parse_type(node) field = ast.Field(node.attrib.get('name'), type_node, node.attrib.get('readable') != '0', node.attrib.get('writable') == '1', node.attrib.get('bits'), anonymous_node=anonymous_node) self._parse_generic_attribs(node, field) return field def _parse_property(self, node): prop = ast.Property(node.attrib['name'], self._parse_type(node), node.attrib.get('readable') != '0', node.attrib.get('writable') == '1', node.attrib.get('construct') == '1', node.attrib.get('construct-only') == '1') self._parse_generic_attribs(node, prop) return prop def _parse_member(self, node): member = ast.Member(node.attrib['name'], node.attrib['value'], node.attrib.get(_cns('identifier')), node.attrib.get(_glibns('nick'))) self._parse_generic_attribs(node, member) return member def _parse_constant(self, node): type_node = self._parse_type(node) constant = ast.Constant(node.attrib['name'], type_node, node.attrib['value']) self._parse_generic_attribs(node, constant) self._namespace.append(constant) def _parse_enumeration_bitfield(self, node): name = node.attrib.get('name') ctype = node.attrib.get(_cns('type')) get_type = node.attrib.get(_glibns('get-type')) type_name = node.attrib.get(_glibns('type-name')) glib_error_quark = node.attrib.get(_glibns('error-quark')) if node.tag == _corens('bitfield'): klass = ast.Bitfield else: klass = ast.Enum members = [] obj = klass(name, ctype, members=members, gtype_name=type_name, get_type=get_type) obj.error_quark = glib_error_quark obj.ctype = ctype self._parse_generic_attribs(node, obj) self._namespace.append(obj) for member in self._find_children(node, _corens('member')): members.append(self._parse_member(member))