2 # GObject-Introspection - a framework for introspecting GObject libraries
3 # Copyright (C) 2008 Johan Dahlin
4 # Copyright (C) 2008, 2009 Red Hat, Inc.
6 # This library is free software; you can redistribute it and/or
7 # modify it under the terms of the GNU Lesser General Public
8 # License as published by the Free Software Foundation; either
9 # version 2 of the License, or (at your option) any later version.
11 # This library is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 # Lesser General Public License for more details.
16 # You should have received a copy of the GNU Lesser General Public
17 # License along with this library; if not, write to the
18 # Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 # Boston, MA 02111-1307, USA.
22 from .odict import odict
23 from .utils import to_underscores
26 """A Type can be either:
27 * A reference to a node (target_giname)
28 * A reference to a "fundamental" type like 'utf8'
29 * A "foreign" type - this can be any string."
30 If none are specified, then it's in an "unresolved" state. An
31 unresolved type can have two data sources; a "ctype" which comes
32 from a C type string, or a gtype_name (from g_type_name()).
38 target_fundamental=None,
41 _target_unknown=False,
45 self.gtype_name = gtype_name
46 self.origin_symbol = origin_symbol
48 assert isinstance(self, TypeUnknown)
49 elif target_fundamental:
50 assert target_giname is None
51 assert target_foreign is None
53 assert '.' in target_giname
54 assert target_fundamental is None
55 assert target_foreign is None
57 assert ctype is not None
58 assert target_giname is None
59 assert target_fundamental is None
61 assert (ctype is not None) or (gtype_name is not None)
62 self.target_fundamental = target_fundamental
63 self.target_giname = target_giname
64 self.target_foreign = target_foreign
65 self.is_const = is_const
69 return (self.target_fundamental or
74 def unresolved_string(self):
78 return self.gtype_name
83 def create_from_gtype_name(cls, gtype_name):
84 """Parse a GType name (as from g_type_name()), and return a
85 Type instance. Note that this function performs namespace lookup,
86 in contrast to the other create_type() functions."""
87 # First, is it a fundamental?
88 fundamental = type_names.get(gtype_name)
89 if fundamental is not None:
90 return cls(target_fundamental=fundamental.target_fundamental)
91 return cls(gtype_name=gtype_name)
94 assert self.target_giname is not None
95 return self.target_giname.split('.')[1]
97 def __cmp__(self, other):
98 if self.target_fundamental:
99 return cmp(self.target_fundamental, other.target_fundamental)
100 if self.target_giname:
101 return cmp(self.target_giname, other.target_giname)
102 if self.target_foreign:
103 return cmp(self.target_foreign, other.target_foreign)
104 return cmp(self.ctype, other.ctype)
106 def is_equiv(self, typeval):
107 """Return True if the specified types are compatible at
108 an introspection level, disregarding their C types.
109 A sequence may be given for typeval, in which case
110 this function returns True if the type is compatible with
112 if isinstance(typeval, (list, tuple)):
114 if self.is_equiv(val):
117 return self == typeval
120 return Type(target_fundamental=self.target_fundamental,
121 target_giname=self.target_giname,
122 target_foreign=self.target_foreign,
124 is_const=self.is_const)
127 if self.target_fundamental:
128 return self.target_fundamental
129 elif self.target_giname:
130 return self.target_giname
131 elif self.target_foreign:
132 return self.target_foreign
135 if self.target_fundamental:
136 data = 'target_fundamental=%s, ' % (self.target_fundamental, )
137 elif self.target_giname:
138 data = 'target_giname=%s, ' % (self.target_giname, )
139 elif self.target_foreign:
140 data = 'target_foreign=%s, ' % (self.target_foreign, )
143 return '%s(%sctype=%s)' % (self.__class__.__name__, data, self.ctype)
145 class TypeUnknown(Type):
147 Type.__init__(self, _target_unknown=True)
153 TYPE_NONE = Type(target_fundamental='none', ctype='void')
154 TYPE_ANY = Type(target_fundamental='gpointer', ctype='gpointer')
156 TYPE_BOOLEAN = Type(target_fundamental='gboolean', ctype='gboolean')
157 TYPE_INT8 = Type(target_fundamental='gint8', ctype='gint8')
158 TYPE_UINT8 = Type(target_fundamental='guint8', ctype='guint8')
159 TYPE_INT16 = Type(target_fundamental='gint16', ctype='gint16')
160 TYPE_UINT16 = Type(target_fundamental='guint16', ctype='guint16')
161 TYPE_INT32 = Type(target_fundamental='gint32', ctype='gint32')
162 TYPE_UINT32 = Type(target_fundamental='guint32', ctype='guint32')
163 TYPE_INT64 = Type(target_fundamental='gint64', ctype='gint64')
164 TYPE_UINT64 = Type(target_fundamental='guint64', ctype='guint64')
165 TYPE_CHAR = Type(target_fundamental='gchar', ctype='gchar')
166 TYPE_SHORT = Type(target_fundamental='gshort', ctype='gshort')
167 TYPE_USHORT = Type(target_fundamental='gushort', ctype='gushort')
168 TYPE_INT = Type(target_fundamental='gint', ctype='gint')
169 TYPE_UINT = Type(target_fundamental='guint', ctype='guint')
170 TYPE_LONG = Type(target_fundamental='glong', ctype='glong')
171 TYPE_ULONG = Type(target_fundamental='gulong', ctype='gulong')
173 TYPE_LONG_LONG = Type(target_fundamental='long long', ctype='long long')
174 TYPE_LONG_ULONG = Type(target_fundamental='unsigned long long',
175 ctype='unsigned long long')
176 TYPE_FLOAT = Type(target_fundamental='gfloat', ctype='gfloat')
177 TYPE_DOUBLE = Type(target_fundamental='gdouble', ctype='gdouble')
179 TYPE_LONG_DOUBLE = Type(target_fundamental='long double',
181 TYPE_UNICHAR = Type(target_fundamental='gunichar', ctype='gunichar')
183 # C types with semantics overlaid
184 TYPE_GTYPE = Type(target_fundamental='GType', ctype='GType')
185 TYPE_STRING = Type(target_fundamental='utf8', ctype='gchar*')
186 TYPE_FILENAME = Type(target_fundamental='filename', ctype='gchar*')
188 TYPE_VALIST = Type(target_fundamental='va_list', ctype='va_list')
190 BASIC_GIR_TYPES = [TYPE_BOOLEAN, TYPE_INT8, TYPE_UINT8, TYPE_INT16,
191 TYPE_UINT16, TYPE_INT32, TYPE_UINT32, TYPE_INT64,
192 TYPE_UINT64, TYPE_CHAR, TYPE_SHORT, TYPE_USHORT, TYPE_INT,
193 TYPE_UINT, TYPE_LONG, TYPE_ULONG, TYPE_LONG_LONG,
194 TYPE_LONG_ULONG, TYPE_FLOAT, TYPE_DOUBLE,
195 TYPE_LONG_DOUBLE, TYPE_UNICHAR, TYPE_GTYPE]
196 GIR_TYPES = [TYPE_NONE, TYPE_ANY]
197 GIR_TYPES.extend(BASIC_GIR_TYPES)
198 GIR_TYPES.extend([TYPE_STRING, TYPE_FILENAME, TYPE_VALIST])
200 INTROSPECTABLE_BASIC = list(GIR_TYPES)
201 for v in [TYPE_NONE, TYPE_ANY,
202 TYPE_LONG_LONG, TYPE_LONG_ULONG,
203 TYPE_LONG_DOUBLE, TYPE_VALIST]:
204 INTROSPECTABLE_BASIC.remove(v)
207 for typeval in GIR_TYPES:
208 type_names[typeval.target_fundamental] = typeval
209 basic_type_names = {}
210 for typeval in BASIC_GIR_TYPES:
211 basic_type_names[typeval.target_fundamental] = typeval
214 type_names['char'] = TYPE_CHAR
215 type_names['signed char'] = TYPE_INT8
216 type_names['unsigned char'] = TYPE_UINT8
217 type_names['short'] = TYPE_SHORT
218 type_names['signed short'] = TYPE_SHORT
219 type_names['unsigned short'] = TYPE_USHORT
220 type_names['int'] = TYPE_INT
221 type_names['signed int'] = TYPE_INT
222 type_names['unsigned short int'] = TYPE_USHORT
223 type_names['signed'] = TYPE_INT
224 type_names['unsigned int'] = TYPE_UINT
225 type_names['unsigned'] = TYPE_UINT
226 type_names['long'] = TYPE_LONG
227 type_names['signed long'] = TYPE_LONG
228 type_names['unsigned long'] = TYPE_ULONG
229 type_names['unsigned long int'] = TYPE_ULONG
230 type_names['float'] = TYPE_FLOAT
231 type_names['double'] = TYPE_DOUBLE
232 type_names['char*'] = TYPE_STRING
233 type_names['void*'] = TYPE_ANY
234 type_names['void'] = TYPE_NONE
235 # Also alias the signed one here
236 type_names['signed long long'] = TYPE_LONG_LONG
238 # A few additional GLib type aliases
239 type_names['guchar'] = TYPE_UINT8
240 type_names['gchararray'] = TYPE_STRING
241 type_names['gchar*'] = TYPE_STRING
242 type_names['goffset'] = TYPE_INT64
243 type_names['gunichar2'] = TYPE_UINT16
244 type_names['gsize'] = TYPE_ULONG
245 type_names['gssize'] = TYPE_LONG
246 type_names['gconstpointer'] = TYPE_ANY
248 # We used to support these; continue to do so
249 type_names['any'] = TYPE_ANY
250 type_names['boolean'] = TYPE_BOOLEAN
251 type_names['uint'] = TYPE_UINT
252 type_names['ulong'] = TYPE_ULONG
254 # C stdio, used in GLib public headers; squash this for now here
255 # until we move scanning into GLib and can (skip)
256 type_names['FILE*'] = TYPE_ANY
258 # One off C unix type definitions; note some of these may be GNU Libc
259 # specific. If someone is actually bitten by this, feel free to do
260 # the required configure goop to determine their size and replace
263 # We don't want to encourage people to use these in their APIs because
264 # they compromise the platform-independence that GLib gives you.
265 # These are here mostly to avoid blowing when random platform-specific
266 # methods are added under #ifdefs inside GLib itself. We could just (skip)
267 # the relevant methods, but on the other hand, since these types are just
268 # integers it's easy enough to expand them.
269 type_names['size_t'] = type_names['gsize']
270 type_names['time_t'] = TYPE_LONG
271 type_names['off_t'] = type_names['gsize']
272 type_names['pid_t'] = TYPE_INT
273 type_names['uid_t'] = TYPE_UINT
274 type_names['gid_t'] = TYPE_UINT
275 type_names['dev_t'] = TYPE_INT
276 type_names['socklen_t'] = TYPE_INT32
277 type_names['size_t'] = TYPE_ULONG
278 type_names['ssize_t'] = TYPE_LONG
281 type_names['id'] = TYPE_ANY
287 PARAM_DIRECTION_IN = 'in'
288 PARAM_DIRECTION_OUT = 'out'
289 PARAM_DIRECTION_INOUT = 'inout'
291 PARAM_SCOPE_CALL = 'call'
292 PARAM_SCOPE_ASYNC = 'async'
293 PARAM_SCOPE_NOTIFIED = 'notified'
295 PARAM_TRANSFER_NONE = 'none'
296 PARAM_TRANSFER_CONTAINER = 'container'
297 PARAM_TRANSFER_FULL = 'full'
299 class Namespace(object):
300 def __init__(self, name, version,
301 identifier_prefixes=None,
302 symbol_prefixes=None):
304 self.version = version
305 if identifier_prefixes is not None:
306 self.identifier_prefixes = identifier_prefixes
308 self.identifier_prefixes = [name]
309 if symbol_prefixes is not None:
310 self.symbol_prefixes = symbol_prefixes
312 ps = self.identifier_prefixes
313 self.symbol_prefixes = [to_underscores(p).lower() for p in ps]
314 self._names = odict() # Maps from GIName -> node
315 self._aliases = {} # Maps from GIName -> GIName
316 self._type_names = {} # Maps from GTName -> node
317 self._ctypes = {} # Maps from CType -> node
318 self._symbols = {} # Maps from function symbols -> Function
329 def type_names(self):
330 return self._type_names
336 def type_from_name(self, name, ctype=None):
337 """Backwards compatibility method for older .gir files, which
338 only use the 'name' attribute. If name refers to a fundamental type,
339 create a Type object referncing it. If name is already a
340 fully-qualified GIName like 'Foo.Bar', returns a Type targeting it .
341 Otherwise a Type targeting name qualififed with the namespace name is
343 if name in type_names:
344 return Type(target_fundamental=name, ctype=ctype)
348 target = '%s.%s' % (self.name, name)
349 return Type(target_giname=target, ctype=ctype)
351 def append(self, node, replace=False):
352 previous = self._names.get(node.name)
353 if previous is not None:
355 raise ValueError("Namespace conflict: %r" % (node, ))
356 self.remove(previous)
357 # A layering violation...but oh well.
358 from .glibast import GLibBoxed
359 if isinstance(node, Alias):
360 self._aliases[node.name] = node
361 elif isinstance(node, (GLibBoxed, Interface, Class)):
362 self._type_names[node.type_name] = node
363 elif isinstance(node, Function):
364 self._symbols[node.symbol] = node
365 assert isinstance(node, Node)
366 assert node.namespace is None
367 node.namespace = self
368 self._names[node.name] = node
369 if hasattr(node, 'ctype'):
370 self._ctypes[node.ctype] = node
371 if hasattr(node, 'symbol'):
372 self._ctypes[node.symbol] = node
374 def remove(self, node):
375 from .glibast import GLibBoxed
376 if isinstance(node, Alias):
377 del self._aliases[node.name]
378 elif isinstance(node, (GLibBoxed, Interface, Class)):
379 del self._type_names[node.type_name]
380 del self._names[node.name]
381 node.namespace = None
382 if hasattr(node, 'ctype'):
383 del self._ctypes[node.ctype]
384 if isinstance(node, Function):
385 del self._symbols[node.symbol]
387 def float(self, node):
388 """Like remove(), but doesn't unset the node's namespace
389 back-reference, and it's still possible to look up
390 functions via get_by_symbol()."""
391 if isinstance(node, Function):
394 self._symbols[symbol] = node
395 node.namespace = self
398 return iter(self._names)
401 return self._names.iteritems()
403 def itervalues(self):
404 return self._names.itervalues()
407 return self._names.get(name)
409 def get_by_ctype(self, ctype):
410 return self._ctypes.get(ctype)
412 def get_by_symbol(self, symbol):
413 return self._symbols.get(symbol)
415 def walk(self, callback):
416 for node in self.itervalues():
417 node.walk(callback, [])
419 class Include(object):
421 def __init__(self, name, version):
423 self.version = version
426 def from_string(cls, string):
427 return cls(*string.split('-', 1))
429 def __cmp__(self, other):
430 namecmp = cmp(self.name, other.name)
433 return cmp(self.version, other.version)
436 return hash(str(self))
439 return '%s-%s' % (self.name, self.version)
441 class Annotated(object):
442 """An object which has a few generic metadata
447 self.introspectable = True
448 self.attributes = [] # (key, value)*
449 self.deprecated = None
450 self.deprecated_version = None
453 class Node(Annotated):
454 """A node is a type of object which is uniquely identified by its
455 (namespace, name) pair. When combined with a ., this is called a
456 GIName. It's possible for nodes to contain or point to other nodes."""
458 c_name = property(lambda self: self.namespace.name + self.name)
459 gi_name = property(lambda self: '%s.%s' % (self.namespace.name, self.name))
461 def __init__(self, name=None):
462 Annotated.__init__(self)
463 self.namespace = None # Should be set later by Namespace.append()
466 self.file_positions = set()
468 def create_type(self):
469 """Create a Type object referencing this node."""
470 assert self.namespace is not None
471 return Type(target_giname=('%s.%s' % (self.namespace.name, self.name)))
473 def __cmp__(self, other):
474 nscmp = cmp(self.namespace, other.namespace)
477 return cmp(self.name, other.name)
480 return '%s(%r)' % (self.__class__.__name__, self.name)
482 def inherit_file_positions(self, node):
483 self.file_positions.update(node.file_positions)
485 def add_file_position(self, filename, line, column):
486 self.file_positions.add((filename, line, column))
488 def add_symbol_reference(self, symbol):
489 if symbol.source_filename:
490 self.add_file_position(symbol.source_filename, symbol.line, -1)
492 def walk(self, callback, chain):
493 res = callback(self, chain)
494 assert res in (True, False), "Walk function must return boolean, not %r" % (res, )
498 self._walk(callback, chain)
501 def _walk(self, callback, chain):
504 class Callable(Node):
506 def __init__(self, name, retval, parameters, throws):
507 Node.__init__(self, name)
509 self.parameters = parameters
510 self.throws = not not throws
512 def get_parameter_index(self, name):
513 for i, parameter in enumerate(self.parameters):
514 if parameter.argname == name:
516 raise ValueError("Unknown argument %s" % (name, ))
518 def get_parameter(self, name):
519 for parameter in self.parameters:
520 if parameter.argname == name:
522 raise ValueError("Unknown argument %s" % (name, ))
525 class Function(Callable):
527 def __init__(self, name, retval, parameters, throws, symbol):
528 Callable.__init__(self, name, retval, parameters, throws)
530 self.is_method = False
531 self.is_constructor = False
532 self.shadowed_by = None # C symbol string
533 self.shadows = None # C symbol string
536 class VFunction(Callable):
538 def __init__(self, name, retval, parameters, throws):
539 Callable.__init__(self, name, retval, parameters, throws)
543 def from_callback(cls, cb):
544 obj = cls(cb.name, cb.retval, cb.parameters[1:],
553 Type.__init__(self, '<varargs>', target_fundamental='<varargs>')
558 GLIB_ARRAY = 'GLib.Array'
559 GLIB_BYTEARRAY = 'GLib.ByteArray'
560 GLIB_PTRARRAY = 'GLib.PtrArray'
562 def __init__(self, array_type, element_type, **kwargs):
563 Type.__init__(self, target_fundamental='<array>',
565 if (array_type is None or array_type == self.C):
566 self.array_type = self.C
568 assert array_type in (self.GLIB_ARRAY,
571 self.array_type = array_type
572 assert isinstance(element_type, Type)
573 self.element_type = element_type
574 self.zeroterminated = True
575 self.length_param_name = None
579 arr = Array(self.array_type, self.element_type)
580 arr.element_type = self.element_type
581 arr.zeroterminated = self.zeroterminated
582 arr.length_param_name = self.length_param_name
588 def __init__(self, name, element_type, **kwargs):
589 Type.__init__(self, target_fundamental='<list>',
592 assert isinstance(element_type, Type)
593 self.element_type = element_type
596 l = List(self.name, self.element_type)
597 l.element_type = self.element_type
598 l.zeroterminated = self.zeroterminated
599 l.length_param_name = self.length_param_name
605 def __init__(self, key_type, value_type, **kwargs):
606 Type.__init__(self, target_fundamental='<map>', **kwargs)
607 assert isinstance(key_type, Type)
608 self.key_type = key_type
609 assert isinstance(value_type, Type)
610 self.value_type = value_type
613 m = Map(self.key_type, self.value_type)
618 def __init__(self, name, target, ctype=None):
619 Node.__init__(self, name)
624 class TypeContainer(Annotated):
625 """A fundamental base class for Return and Parameter."""
627 def __init__(self, typenode, transfer):
628 Annotated.__init__(self)
630 if transfer is not None:
631 self.transfer = transfer
632 elif typenode.is_const:
633 self.transfer = PARAM_TRANSFER_NONE
638 class Parameter(TypeContainer):
639 """An argument to a function."""
641 def __init__(self, argname, typenode, direction=None,
642 transfer=None, allow_none=False, scope=None,
643 caller_allocates=False):
644 TypeContainer.__init__(self, typenode, transfer)
645 self.argname = argname
646 self.direction = direction
647 self.allow_none = allow_none
649 self.caller_allocates = caller_allocates
650 self.closure_name = None
651 self.destroy_name = None
654 class Return(TypeContainer):
655 """A return value from a function."""
657 def __init__(self, rtype, transfer=None):
658 TypeContainer.__init__(self, rtype, transfer)
659 self.direction = PARAM_DIRECTION_OUT
664 def __init__(self, name, symbol, members):
665 Node.__init__(self, name)
667 self.members = members
670 class Bitfield(Node):
672 def __init__(self, name, symbol, members):
673 Node.__init__(self, name)
675 self.members = members
678 class Member(Annotated):
680 def __init__(self, name, value, symbol):
681 Annotated.__init__(self)
686 def __cmp__(self, other):
687 return cmp(self.name, other.name)
692 def __init__(self, name, symbol, disguised=False):
693 Node.__init__(self, name)
695 self.constructors = []
697 self.disguised = disguised
699 self.static_methods = []
701 def _walk(self, callback, chain):
702 for ctor in self.constructors:
703 ctor.walk(callback, chain)
704 for func in self.methods:
705 func.walk(callback, chain)
706 for func in self.static_methods:
707 func.walk(callback, chain)
708 for field in self.fields:
709 if field.anonymous_node is not None:
710 field.anonymous_node.walk(callback, chain)
713 class Field(Annotated):
715 def __init__(self, name, typenode, readable, writable, bits=None,
716 anonymous_node=None):
717 Annotated.__init__(self)
718 assert (typenode or anonymous_node)
721 self.readable = readable
722 self.writable = writable
724 self.anonymous_node = anonymous_node
726 def __cmp__(self, other):
727 return cmp(self.name, other.name)
732 def __init__(self, name, parent, is_abstract):
733 Node.__init__(self, name)
735 self.c_symbol_prefix = None
737 # When we're in the scanner, we keep around a list
738 # of parents so that we can transparently fall back
739 # if there are 'hidden' parents
740 self.parent_chain = []
741 self.glib_type_struct = None
742 self.is_abstract = is_abstract
744 self.virtual_methods = []
745 self.static_methods = []
747 self.constructors = []
751 def _walk(self, callback, chain):
752 for meth in self.methods:
753 meth.walk(callback, chain)
754 for meth in self.virtual_methods:
755 meth.walk(callback, chain)
756 for meth in self.static_methods:
757 meth.walk(callback, chain)
758 for ctor in self.constructors:
759 ctor.walk(callback, chain)
760 for field in self.fields:
761 if field.anonymous_node:
762 field.anonymous_node.walk(callback, chain)
764 class Interface(Node):
766 def __init__(self, name, parent):
767 Node.__init__(self, name)
768 self.c_symbol_prefix = None
770 self.parent_chain = []
772 self.static_methods = []
773 self.virtual_methods = []
774 self.glib_type_struct = None
777 self.prerequisites = []
779 def _walk(self, callback, chain):
780 for meth in self.methods:
781 meth.walk(callback, chain)
782 for meth in self.static_methods:
783 meth.walk(callback, chain)
784 for meth in self.virtual_methods:
785 meth.walk(callback, chain)
786 for field in self.fields:
787 if field.anonymous_node:
788 field.anonymous_node.walk(callback, chain)
790 class Constant(Node):
792 def __init__(self, name, value_type, value):
793 Node.__init__(self, name)
794 self.value_type = value_type
798 class Property(Node):
800 def __init__(self, name, typeobj, readable, writable,
801 construct, construct_only, transfer=None):
802 Node.__init__(self, name)
804 self.readable = readable
805 self.writable = writable
806 self.construct = construct
807 self.construct_only = construct_only
808 self.transfer = PARAM_TRANSFER_NONE
811 class Callback(Callable):
813 def __init__(self, name, retval, parameters, throws, ctype=None):
814 Callable.__init__(self, name, retval, parameters, throws)
820 def __init__(self, name, symbol):
821 Node.__init__(self, name)
823 self.constructors = []
825 self.static_methods = []
828 def _walk(self, callback, chain):
829 for ctor in self.constructors:
830 ctor.walk(callback, chain)
831 for meth in self.methods:
832 meth.walk(callback, chain)
833 for meth in self.static_methods:
834 meth.walk(callback, chain)
835 for field in self.fields:
836 if field.anonymous_node:
837 field.anonymous_node.walk(callback, chain)