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 # cache upper-cased versions
315 self._ucase_symbol_prefixes = [p.upper() for p in self.symbol_prefixes]
316 self._names = odict() # Maps from GIName -> node
317 self._aliases = {} # Maps from GIName -> GIName
318 self._type_names = {} # Maps from GTName -> node
319 self._ctypes = {} # Maps from CType -> node
320 self._symbols = {} # Maps from function symbols -> Function
331 def type_names(self):
332 return self._type_names
338 def type_from_name(self, name, ctype=None):
339 """Backwards compatibility method for older .gir files, which
340 only use the 'name' attribute. If name refers to a fundamental type,
341 create a Type object referncing it. If name is already a
342 fully-qualified GIName like 'Foo.Bar', returns a Type targeting it .
343 Otherwise a Type targeting name qualififed with the namespace name is
345 if name in type_names:
346 return Type(target_fundamental=name, ctype=ctype)
350 target = '%s.%s' % (self.name, name)
351 return Type(target_giname=target, ctype=ctype)
353 def append(self, node, replace=False):
354 previous = self._names.get(node.name)
355 if previous is not None:
357 raise ValueError("Namespace conflict: %r" % (node, ))
358 self.remove(previous)
359 # A layering violation...but oh well.
360 from .glibast import GLibBoxed
361 if isinstance(node, Alias):
362 self._aliases[node.name] = node
363 elif isinstance(node, (GLibBoxed, Interface, Class)):
364 self._type_names[node.type_name] = node
365 elif isinstance(node, Function):
366 self._symbols[node.symbol] = node
367 assert isinstance(node, Node)
368 assert node.namespace is None
369 node.namespace = self
370 self._names[node.name] = node
371 if hasattr(node, 'ctype'):
372 self._ctypes[node.ctype] = node
373 if hasattr(node, 'symbol'):
374 self._ctypes[node.symbol] = node
376 def remove(self, node):
377 from .glibast import GLibBoxed
378 if isinstance(node, Alias):
379 del self._aliases[node.name]
380 elif isinstance(node, (GLibBoxed, Interface, Class)):
381 del self._type_names[node.type_name]
382 del self._names[node.name]
383 node.namespace = None
384 if hasattr(node, 'ctype'):
385 del self._ctypes[node.ctype]
386 if isinstance(node, Function):
387 del self._symbols[node.symbol]
389 def float(self, node):
390 """Like remove(), but doesn't unset the node's namespace
391 back-reference, and it's still possible to look up
392 functions via get_by_symbol()."""
393 if isinstance(node, Function):
396 self._symbols[symbol] = node
397 node.namespace = self
400 return iter(self._names)
403 return self._names.iteritems()
405 def itervalues(self):
406 return self._names.itervalues()
409 return self._names.get(name)
411 def get_by_ctype(self, ctype):
412 return self._ctypes.get(ctype)
414 def get_by_symbol(self, symbol):
415 return self._symbols.get(symbol)
417 def walk(self, callback):
418 for node in self.itervalues():
419 node.walk(callback, [])
421 class Include(object):
423 def __init__(self, name, version):
425 self.version = version
428 def from_string(cls, string):
429 return cls(*string.split('-', 1))
431 def __cmp__(self, other):
432 namecmp = cmp(self.name, other.name)
435 return cmp(self.version, other.version)
438 return hash(str(self))
441 return '%s-%s' % (self.name, self.version)
443 class Annotated(object):
444 """An object which has a few generic metadata
449 self.introspectable = True
450 self.attributes = [] # (key, value)*
451 self.deprecated = None
452 self.deprecated_version = None
455 class Node(Annotated):
456 """A node is a type of object which is uniquely identified by its
457 (namespace, name) pair. When combined with a ., this is called a
458 GIName. It's possible for nodes to contain or point to other nodes."""
460 c_name = property(lambda self: self.namespace.name + self.name)
461 gi_name = property(lambda self: '%s.%s' % (self.namespace.name, self.name))
463 def __init__(self, name=None):
464 Annotated.__init__(self)
465 self.namespace = None # Should be set later by Namespace.append()
468 self.file_positions = set()
470 def create_type(self):
471 """Create a Type object referencing this node."""
472 assert self.namespace is not None
473 return Type(target_giname=('%s.%s' % (self.namespace.name, self.name)))
475 def __cmp__(self, other):
476 nscmp = cmp(self.namespace, other.namespace)
479 return cmp(self.name, other.name)
482 return '%s(%r)' % (self.__class__.__name__, self.name)
484 def inherit_file_positions(self, node):
485 self.file_positions.update(node.file_positions)
487 def add_file_position(self, filename, line, column):
488 self.file_positions.add((filename, line, column))
490 def add_symbol_reference(self, symbol):
491 if symbol.source_filename:
492 self.add_file_position(symbol.source_filename, symbol.line, -1)
494 def walk(self, callback, chain):
495 res = callback(self, chain)
496 assert res in (True, False), "Walk function must return boolean, not %r" % (res, )
500 self._walk(callback, chain)
503 def _walk(self, callback, chain):
506 class Callable(Node):
508 def __init__(self, name, retval, parameters, throws):
509 Node.__init__(self, name)
511 self.parameters = parameters
512 self.throws = not not throws
514 def get_parameter_index(self, name):
515 for i, parameter in enumerate(self.parameters):
516 if parameter.argname == name:
518 raise ValueError("Unknown argument %s" % (name, ))
520 def get_parameter(self, name):
521 for parameter in self.parameters:
522 if parameter.argname == name:
524 raise ValueError("Unknown argument %s" % (name, ))
527 class Function(Callable):
529 def __init__(self, name, retval, parameters, throws, symbol):
530 Callable.__init__(self, name, retval, parameters, throws)
532 self.is_method = False
533 self.is_constructor = False
534 self.shadowed_by = None # C symbol string
535 self.shadows = None # C symbol string
538 class VFunction(Callable):
540 def __init__(self, name, retval, parameters, throws):
541 Callable.__init__(self, name, retval, parameters, throws)
545 def from_callback(cls, cb):
546 obj = cls(cb.name, cb.retval, cb.parameters[1:],
555 Type.__init__(self, '<varargs>', target_fundamental='<varargs>')
560 GLIB_ARRAY = 'GLib.Array'
561 GLIB_BYTEARRAY = 'GLib.ByteArray'
562 GLIB_PTRARRAY = 'GLib.PtrArray'
564 def __init__(self, array_type, element_type, **kwargs):
565 Type.__init__(self, target_fundamental='<array>',
567 if (array_type is None or array_type == self.C):
568 self.array_type = self.C
570 assert array_type in (self.GLIB_ARRAY,
573 self.array_type = array_type
574 assert isinstance(element_type, Type)
575 self.element_type = element_type
576 self.zeroterminated = True
577 self.length_param_name = None
581 arr = Array(self.array_type, self.element_type)
582 arr.element_type = self.element_type
583 arr.zeroterminated = self.zeroterminated
584 arr.length_param_name = self.length_param_name
590 def __init__(self, name, element_type, **kwargs):
591 Type.__init__(self, target_fundamental='<list>',
594 assert isinstance(element_type, Type)
595 self.element_type = element_type
598 l = List(self.name, self.element_type)
599 l.element_type = self.element_type
600 l.zeroterminated = self.zeroterminated
601 l.length_param_name = self.length_param_name
607 def __init__(self, key_type, value_type, **kwargs):
608 Type.__init__(self, target_fundamental='<map>', **kwargs)
609 assert isinstance(key_type, Type)
610 self.key_type = key_type
611 assert isinstance(value_type, Type)
612 self.value_type = value_type
615 m = Map(self.key_type, self.value_type)
620 def __init__(self, name, target, ctype=None):
621 Node.__init__(self, name)
626 class TypeContainer(Annotated):
627 """A fundamental base class for Return and Parameter."""
629 def __init__(self, typenode, transfer):
630 Annotated.__init__(self)
632 if transfer is not None:
633 self.transfer = transfer
634 elif typenode.is_const:
635 self.transfer = PARAM_TRANSFER_NONE
640 class Parameter(TypeContainer):
641 """An argument to a function."""
643 def __init__(self, argname, typenode, direction=None,
644 transfer=None, allow_none=False, scope=None,
645 caller_allocates=False):
646 TypeContainer.__init__(self, typenode, transfer)
647 self.argname = argname
648 self.direction = direction
649 self.allow_none = allow_none
651 self.caller_allocates = caller_allocates
652 self.closure_name = None
653 self.destroy_name = None
656 class Return(TypeContainer):
657 """A return value from a function."""
659 def __init__(self, rtype, transfer=None):
660 TypeContainer.__init__(self, rtype, transfer)
661 self.direction = PARAM_DIRECTION_OUT
666 def __init__(self, name, symbol, members):
667 Node.__init__(self, name)
669 self.members = members
672 class Bitfield(Node):
674 def __init__(self, name, symbol, members):
675 Node.__init__(self, name)
677 self.members = members
680 class Member(Annotated):
682 def __init__(self, name, value, symbol):
683 Annotated.__init__(self)
688 def __cmp__(self, other):
689 return cmp(self.name, other.name)
694 def __init__(self, name, symbol, disguised=False):
695 Node.__init__(self, name)
697 self.constructors = []
699 self.disguised = disguised
701 self.static_methods = []
703 def _walk(self, callback, chain):
704 for ctor in self.constructors:
705 ctor.walk(callback, chain)
706 for func in self.methods:
707 func.walk(callback, chain)
708 for func in self.static_methods:
709 func.walk(callback, chain)
710 for field in self.fields:
711 if field.anonymous_node is not None:
712 field.anonymous_node.walk(callback, chain)
715 class Field(Annotated):
717 def __init__(self, name, typenode, readable, writable, bits=None,
718 anonymous_node=None):
719 Annotated.__init__(self)
720 assert (typenode or anonymous_node)
723 self.readable = readable
724 self.writable = writable
726 self.anonymous_node = anonymous_node
728 def __cmp__(self, other):
729 return cmp(self.name, other.name)
734 def __init__(self, name, parent, is_abstract):
735 Node.__init__(self, name)
737 self.c_symbol_prefix = None
739 # When we're in the scanner, we keep around a list
740 # of parents so that we can transparently fall back
741 # if there are 'hidden' parents
742 self.parent_chain = []
743 self.glib_type_struct = None
744 self.is_abstract = is_abstract
746 self.virtual_methods = []
747 self.static_methods = []
749 self.constructors = []
753 def _walk(self, callback, chain):
754 for meth in self.methods:
755 meth.walk(callback, chain)
756 for meth in self.virtual_methods:
757 meth.walk(callback, chain)
758 for meth in self.static_methods:
759 meth.walk(callback, chain)
760 for ctor in self.constructors:
761 ctor.walk(callback, chain)
762 for field in self.fields:
763 if field.anonymous_node:
764 field.anonymous_node.walk(callback, chain)
766 class Interface(Node):
768 def __init__(self, name, parent):
769 Node.__init__(self, name)
770 self.c_symbol_prefix = None
772 self.parent_chain = []
774 self.static_methods = []
775 self.virtual_methods = []
776 self.glib_type_struct = None
779 self.prerequisites = []
781 def _walk(self, callback, chain):
782 for meth in self.methods:
783 meth.walk(callback, chain)
784 for meth in self.static_methods:
785 meth.walk(callback, chain)
786 for meth in self.virtual_methods:
787 meth.walk(callback, chain)
788 for field in self.fields:
789 if field.anonymous_node:
790 field.anonymous_node.walk(callback, chain)
792 class Constant(Node):
794 def __init__(self, name, value_type, value):
795 Node.__init__(self, name)
796 self.value_type = value_type
800 class Property(Node):
802 def __init__(self, name, typeobj, readable, writable,
803 construct, construct_only, transfer=None):
804 Node.__init__(self, name)
806 self.readable = readable
807 self.writable = writable
808 self.construct = construct
809 self.construct_only = construct_only
810 self.transfer = PARAM_TRANSFER_NONE
813 class Callback(Callable):
815 def __init__(self, name, retval, parameters, throws, ctype=None):
816 Callable.__init__(self, name, retval, parameters, throws)
822 def __init__(self, name, symbol):
823 Node.__init__(self, name)
825 self.constructors = []
827 self.static_methods = []
830 def _walk(self, callback, chain):
831 for ctor in self.constructors:
832 ctor.walk(callback, chain)
833 for meth in self.methods:
834 meth.walk(callback, chain)
835 for meth in self.static_methods:
836 meth.walk(callback, chain)
837 for field in self.fields:
838 if field.anonymous_node:
839 field.anonymous_node.walk(callback, chain)