prepared deprecation of GMemChunk and GAllocator. added g_slice_*() API to
[platform/upstream/glib.git] / gobject / gtype.c
1 /* GObject - GLib Type, Object, Parameter and Signal Library
2  * Copyright (C) 1998-1999, 2000-2001 Tim Janik and Red Hat, Inc.
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  * Lesser General Public License for more details.
13  *
14  * You should have received a copy of the GNU Lesser General
15  * Public License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place, Suite 330,
17  * Boston, MA 02111-1307, USA.
18  */
19 #include        <config.h>
20 #include        "gtype.h"
21 #include        "gobjectalias.h"
22
23 /*
24  * MT safe
25  */
26
27 #include        "gtypeplugin.h"
28 #include        "gvaluecollector.h"
29 #include        "gbsearcharray.h"
30 #include        <string.h>
31
32
33 /* NOTE: some functions (some internal variants and exported ones)
34  * invalidate data portions of the TypeNodes. if external functions/callbacks
35  * are called, pointers to memory maintained by TypeNodes have to be looked up
36  * again. this affects most of the struct TypeNode fields, e.g. ->children or
37  * CLASSED_NODE_IFACES_ENTRIES() respectively IFACE_NODE_PREREQUISITES() (but
38  * not ->supers[]), as all those memory portions can get realloc()ed during
39  * callback invocation.
40  *
41  * TODO:
42  * - g_type_from_name() should do an ordered array lookup after fetching the
43  *   the quark, instead of a second hashtable lookup.
44  *
45  * LOCKING:
46  * lock handling issues when calling static functions are indicated by
47  * uppercase letter postfixes, all static functions have to have
48  * one of the below postfixes:
49  * - _I:        [Indifferent about locking]
50  *   function doesn't care about locks at all
51  * - _U:        [Unlocked invocation]
52  *   no read or write lock has to be held across function invocation
53  *   (locks may be acquired and released during invocation though)
54  * - _L:        [Locked invocation]
55  *   a write lock or more than 0 read locks have to be held across
56  *   function invocation
57  * - _W:        [Write-locked invocation]
58  *   a write lock has to be held across function invocation
59  * - _Wm:       [Write-locked invocation, mutatable]
60  *   like _W, but the write lock might be released and reacquired
61  *   during invocation, watch your pointers
62  */
63
64 static GStaticRWLock            type_rw_lock = G_STATIC_RW_LOCK_INIT;
65 #ifdef LOCK_DEBUG
66 #define G_READ_LOCK(rw_lock)    do { g_printerr (G_STRLOC ": readL++\n"); g_static_rw_lock_reader_lock (rw_lock); } while (0)
67 #define G_READ_UNLOCK(rw_lock)  do { g_printerr (G_STRLOC ": readL--\n"); g_static_rw_lock_reader_unlock (rw_lock); } while (0)
68 #define G_WRITE_LOCK(rw_lock)   do { g_printerr (G_STRLOC ": writeL++\n"); g_static_rw_lock_writer_lock (rw_lock); } while (0)
69 #define G_WRITE_UNLOCK(rw_lock) do { g_printerr (G_STRLOC ": writeL--\n"); g_static_rw_lock_writer_unlock (rw_lock); } while (0)
70 #else
71 #define G_READ_LOCK(rw_lock)    g_static_rw_lock_reader_lock (rw_lock)
72 #define G_READ_UNLOCK(rw_lock)  g_static_rw_lock_reader_unlock (rw_lock)
73 #define G_WRITE_LOCK(rw_lock)   g_static_rw_lock_writer_lock (rw_lock)
74 #define G_WRITE_UNLOCK(rw_lock) g_static_rw_lock_writer_unlock (rw_lock)
75 #endif
76 #define INVALID_RECURSION(func, arg, type_name) G_STMT_START{ \
77     static const gchar _action[] = " invalidly modified type ";  \
78     gpointer _arg = (gpointer) (arg); const gchar *_tname = (type_name), *_fname = (func); \
79     if (_arg) \
80       g_error ("%s(%p)%s`%s'", _fname, _arg, _action, _tname); \
81     else \
82       g_error ("%s()%s`%s'", _fname, _action, _tname); \
83 }G_STMT_END
84 #define g_return_val_if_uninitialized(condition, init_function, return_value) G_STMT_START{     \
85   if (!(condition))                                                                             \
86     {                                                                                           \
87       g_log (G_LOG_DOMAIN, G_LOG_LEVEL_CRITICAL,                                                \
88              "%s: initialization assertion failed, use %s() prior to this function",            \
89              G_STRLOC, G_STRINGIFY (init_function));                                            \
90       return (return_value);                                                                    \
91     }                                                                                           \
92 }G_STMT_END
93
94 #ifdef  G_ENABLE_DEBUG
95 #define DEBUG_CODE(debug_type, code_block)  G_STMT_START {    \
96     if (_g_type_debug_flags & G_TYPE_DEBUG_ ## debug_type) \
97       { code_block; }                                     \
98 } G_STMT_END
99 #else /* !G_ENABLE_DEBUG */
100 #define DEBUG_CODE(debug_type, code_block)  /* code_block */
101 #endif  /* G_ENABLE_DEBUG */
102
103 #define TYPE_FUNDAMENTAL_FLAG_MASK (G_TYPE_FLAG_CLASSED | \
104                                     G_TYPE_FLAG_INSTANTIATABLE | \
105                                     G_TYPE_FLAG_DERIVABLE | \
106                                     G_TYPE_FLAG_DEEP_DERIVABLE)
107 #define TYPE_FLAG_MASK             (G_TYPE_FLAG_ABSTRACT | G_TYPE_FLAG_VALUE_ABSTRACT)
108 #define SIZEOF_FUNDAMENTAL_INFO    ((gssize) MAX (MAX (sizeof (GTypeFundamentalInfo), \
109                                                        sizeof (gpointer)), \
110                                                   sizeof (glong)))
111
112 /* The 2*sizeof(size_t) alignment here is borrowed from
113  * GNU libc, so it should be good most everywhere.
114  * It is more conservative than is needed on some 64-bit
115  * platforms, but ia64 does require a 16-byte alignment.
116  * The SIMD extensions for x86 and ppc32 would want a
117  * larger alignment than this, but we don't need to
118  * do better than malloc.
119  */
120 #define STRUCT_ALIGNMENT (2 * sizeof (gsize))
121 #define ALIGN_STRUCT(offset) \
122       ((offset + (STRUCT_ALIGNMENT - 1)) & -STRUCT_ALIGNMENT)
123
124
125 /* --- typedefs --- */
126 typedef struct _TypeNode        TypeNode;
127 typedef struct _CommonData      CommonData;
128 typedef struct _IFaceData       IFaceData;
129 typedef struct _ClassData       ClassData;
130 typedef struct _InstanceData    InstanceData;
131 typedef union  _TypeData        TypeData;
132 typedef struct _IFaceEntry      IFaceEntry;
133 typedef struct _IFaceHolder     IFaceHolder;
134
135
136 /* --- prototypes --- */
137 static inline GTypeFundamentalInfo*     type_node_fundamental_info_I    (TypeNode               *node);
138 static        void                      type_add_flags_W                (TypeNode               *node,
139                                                                          GTypeFlags              flags);
140 static        void                      type_data_make_W                (TypeNode               *node,
141                                                                          const GTypeInfo        *info,
142                                                                          const GTypeValueTable  *value_table);
143 static inline void                      type_data_ref_Wm                (TypeNode               *node);
144 static inline void                      type_data_unref_Wm              (TypeNode               *node,
145                                                                          gboolean                uncached);
146 static void                             type_data_last_unref_Wm         (GType                   type,
147                                                                          gboolean                uncached);
148 static inline gpointer                  type_get_qdata_L                (TypeNode               *node,
149                                                                          GQuark                  quark);
150 static inline void                      type_set_qdata_W                (TypeNode               *node,
151                                                                          GQuark                  quark,
152                                                                          gpointer                data);
153 static IFaceHolder*                     type_iface_peek_holder_L        (TypeNode               *iface,
154                                                                          GType                   instance_type);
155 static gboolean                         type_iface_vtable_base_init_Wm  (TypeNode               *iface,
156                                                                          TypeNode               *node);
157 static void                             type_iface_vtable_iface_init_Wm (TypeNode               *iface,
158                                                                          TypeNode               *node);
159 static gboolean                         type_node_is_a_L                (TypeNode               *node,
160                                                                          TypeNode               *iface_node);
161
162
163 /* --- enumeration --- */
164
165 /* The InitState enumeration is used to track the progress of initializing
166  * both classes and interface vtables. Keeping the state of initialization
167  * is necessary to handle new interfaces being added while we are initializing
168  * the class or other interfaces.
169  */
170 typedef enum
171 {
172   UNINITIALIZED,
173   BASE_CLASS_INIT,
174   BASE_IFACE_INIT,
175   CLASS_INIT,
176   IFACE_INIT,
177   INITIALIZED
178 } InitState;
179
180 /* --- structures --- */
181 struct _TypeNode
182 {
183   GTypePlugin *plugin;
184   guint        n_children : 12;
185   guint        n_supers : 8;
186   guint        _prot_n_ifaces_prerequisites : 9;
187   guint        is_classed : 1;
188   guint        is_instantiatable : 1;
189   guint        mutatable_check_cache : 1;       /* combines some common path checks */
190   GType       *children;
191   TypeData * volatile data;
192   GQuark       qname;
193   GData       *global_gdata;
194   union {
195     IFaceEntry  *iface_entries;         /* for !iface types */
196     GType       *prerequisistes;
197   } _prot;
198   GType        supers[1]; /* flexible array */
199 };
200 #define SIZEOF_BASE_TYPE_NODE()                 (G_STRUCT_OFFSET (TypeNode, supers))
201 #define MAX_N_SUPERS                            (255)
202 #define MAX_N_CHILDREN                          (4095)
203 #define MAX_N_IFACES                            (511)
204 #define MAX_N_PREREQUISITES                     (MAX_N_IFACES)
205 #define NODE_TYPE(node)                         (node->supers[0])
206 #define NODE_PARENT_TYPE(node)                  (node->supers[1])
207 #define NODE_FUNDAMENTAL_TYPE(node)             (node->supers[node->n_supers])
208 #define NODE_NAME(node)                         (g_quark_to_string (node->qname))
209 #define NODE_IS_IFACE(node)                     (NODE_FUNDAMENTAL_TYPE (node) == G_TYPE_INTERFACE)
210 #define CLASSED_NODE_N_IFACES(node)             ((node)->_prot_n_ifaces_prerequisites)
211 #define CLASSED_NODE_IFACES_ENTRIES(node)       ((node)->_prot.iface_entries)
212 #define IFACE_NODE_N_PREREQUISITES(node)        ((node)->_prot_n_ifaces_prerequisites)
213 #define IFACE_NODE_PREREQUISITES(node)          ((node)->_prot.prerequisistes)
214 #define iface_node_get_holders_L(node)          ((IFaceHolder*) type_get_qdata_L ((node), static_quark_iface_holder))
215 #define iface_node_set_holders_W(node, holders) (type_set_qdata_W ((node), static_quark_iface_holder, (holders)))
216 #define iface_node_get_dependants_array_L(n)    ((GType*) type_get_qdata_L ((n), static_quark_dependants_array))
217 #define iface_node_set_dependants_array_W(n,d)  (type_set_qdata_W ((n), static_quark_dependants_array, (d)))
218 #define TYPE_ID_MASK                            ((GType) ((1 << G_TYPE_FUNDAMENTAL_SHIFT) - 1))
219
220 #define NODE_IS_ANCESTOR(ancestor, node)                                                    \
221         ((ancestor)->n_supers <= (node)->n_supers &&                                        \
222          (node)->supers[(node)->n_supers - (ancestor)->n_supers] == NODE_TYPE (ancestor))
223
224
225 struct _IFaceHolder
226 {
227   GType           instance_type;
228   GInterfaceInfo *info;
229   GTypePlugin    *plugin;
230   IFaceHolder    *next;
231 };
232 struct _IFaceEntry
233 {
234   GType           iface_type;
235   GTypeInterface *vtable;
236   InitState       init_state;
237 };
238 struct _CommonData
239 {
240   guint             ref_count;
241   GTypeValueTable  *value_table;
242 };
243 struct _IFaceData
244 {
245   CommonData         common;
246   guint16            vtable_size;
247   GBaseInitFunc      vtable_init_base;
248   GBaseFinalizeFunc  vtable_finalize_base;
249   GClassInitFunc     dflt_init;
250   GClassFinalizeFunc dflt_finalize;
251   gconstpointer      dflt_data;
252   gpointer           dflt_vtable;
253 };
254 struct _ClassData
255 {
256   CommonData         common;
257   guint16            class_size;
258   guint              init_state : 4;
259   GBaseInitFunc      class_init_base;
260   GBaseFinalizeFunc  class_finalize_base;
261   GClassInitFunc     class_init;
262   GClassFinalizeFunc class_finalize;
263   gconstpointer      class_data;
264   gpointer           class;
265 };
266 struct _InstanceData
267 {
268   CommonData         common;
269   guint16            class_size;
270   guint              init_state : 4;
271   GBaseInitFunc      class_init_base;
272   GBaseFinalizeFunc  class_finalize_base;
273   GClassInitFunc     class_init;
274   GClassFinalizeFunc class_finalize;
275   gconstpointer      class_data;
276   gpointer           class;
277   guint16            instance_size;
278   guint16            private_size;
279   guint16            n_preallocs;
280   GInstanceInitFunc  instance_init;
281 };
282 union _TypeData
283 {
284   CommonData         common;
285   IFaceData          iface;
286   ClassData          class;
287   InstanceData       instance;
288 };
289 typedef struct {
290   gpointer            cache_data;
291   GTypeClassCacheFunc cache_func;
292 } ClassCacheFunc;
293 typedef struct {
294   gpointer                check_data;
295   GTypeInterfaceCheckFunc check_func;
296 } IFaceCheckFunc;
297
298
299 /* --- variables --- */
300 static guint           static_n_class_cache_funcs = 0;
301 static ClassCacheFunc *static_class_cache_funcs = NULL;
302 static guint           static_n_iface_check_funcs = 0;
303 static IFaceCheckFunc *static_iface_check_funcs = NULL;
304 static GQuark          static_quark_type_flags = 0;
305 static GQuark          static_quark_iface_holder = 0;
306 static GQuark          static_quark_dependants_array = 0;
307 GTypeDebugFlags        _g_type_debug_flags = 0;
308
309
310 /* --- type nodes --- */
311 static GHashTable       *static_type_nodes_ht = NULL;
312 static TypeNode         *static_fundamental_type_nodes[(G_TYPE_FUNDAMENTAL_MAX >> G_TYPE_FUNDAMENTAL_SHIFT) + 1] = { NULL, };
313 static GType             static_fundamental_next = G_TYPE_RESERVED_USER_FIRST;
314
315 static inline TypeNode*
316 lookup_type_node_I (register GType utype)
317 {
318   if (utype > G_TYPE_FUNDAMENTAL_MAX)
319     return (TypeNode*) (utype & ~TYPE_ID_MASK);
320   else
321     return static_fundamental_type_nodes[utype >> G_TYPE_FUNDAMENTAL_SHIFT];
322 }
323
324 static TypeNode*
325 type_node_any_new_W (TypeNode             *pnode,
326                      GType                 ftype,
327                      const gchar          *name,
328                      GTypePlugin          *plugin,
329                      GTypeFundamentalFlags type_flags)
330 {
331   guint n_supers;
332   GType type;
333   TypeNode *node;
334   guint i, node_size = 0;
335   
336   n_supers = pnode ? pnode->n_supers + 1 : 0;
337   
338   if (!pnode)
339     node_size += SIZEOF_FUNDAMENTAL_INFO;             /* fundamental type info */
340   node_size += SIZEOF_BASE_TYPE_NODE ();              /* TypeNode structure */
341   node_size += (sizeof (GType) * (1 + n_supers + 1)); /* self + ancestors + (0) for ->supers[] */
342   node = g_malloc0 (node_size);
343   if (!pnode)                                         /* offset fundamental types */
344     {
345       node = G_STRUCT_MEMBER_P (node, SIZEOF_FUNDAMENTAL_INFO);
346       static_fundamental_type_nodes[ftype >> G_TYPE_FUNDAMENTAL_SHIFT] = node;
347       type = ftype;
348     }
349   else
350     type = (GType) node;
351   
352   g_assert ((type & TYPE_ID_MASK) == 0);
353   
354   node->n_supers = n_supers;
355   if (!pnode)
356     {
357       node->supers[0] = type;
358       node->supers[1] = 0;
359       
360       node->is_classed = (type_flags & G_TYPE_FLAG_CLASSED) != 0;
361       node->is_instantiatable = (type_flags & G_TYPE_FLAG_INSTANTIATABLE) != 0;
362       
363       if (NODE_IS_IFACE (node))
364         {
365           IFACE_NODE_N_PREREQUISITES (node) = 0;
366           IFACE_NODE_PREREQUISITES (node) = NULL;
367         }
368       else
369         {
370           CLASSED_NODE_N_IFACES (node) = 0;
371           CLASSED_NODE_IFACES_ENTRIES (node) = NULL;
372         }
373     }
374   else
375     {
376       node->supers[0] = type;
377       memcpy (node->supers + 1, pnode->supers, sizeof (GType) * (1 + pnode->n_supers + 1));
378       
379       node->is_classed = pnode->is_classed;
380       node->is_instantiatable = pnode->is_instantiatable;
381       
382       if (NODE_IS_IFACE (node))
383         {
384           IFACE_NODE_N_PREREQUISITES (node) = 0;
385           IFACE_NODE_PREREQUISITES (node) = NULL;
386         }
387       else
388         {
389           guint j;
390           
391           CLASSED_NODE_N_IFACES (node) = CLASSED_NODE_N_IFACES (pnode);
392           CLASSED_NODE_IFACES_ENTRIES (node) = g_memdup (CLASSED_NODE_IFACES_ENTRIES (pnode),
393                                                          sizeof (CLASSED_NODE_IFACES_ENTRIES (pnode)[0]) *
394                                                          CLASSED_NODE_N_IFACES (node));
395           for (j = 0; j < CLASSED_NODE_N_IFACES (node); j++)
396             {
397               CLASSED_NODE_IFACES_ENTRIES (node)[j].vtable = NULL;
398               CLASSED_NODE_IFACES_ENTRIES (node)[j].init_state = UNINITIALIZED;
399             }
400         }
401       
402       i = pnode->n_children++;
403       pnode->children = g_renew (GType, pnode->children, pnode->n_children);
404       pnode->children[i] = type;
405     }
406   
407   node->plugin = plugin;
408   node->n_children = 0;
409   node->children = NULL;
410   node->data = NULL;
411   node->qname = g_quark_from_string (name);
412   node->global_gdata = NULL;
413   
414   g_hash_table_insert (static_type_nodes_ht,
415                        GUINT_TO_POINTER (node->qname),
416                        (gpointer) type);
417   return node;
418 }
419
420 static inline GTypeFundamentalInfo*
421 type_node_fundamental_info_I (TypeNode *node)
422 {
423   GType ftype = NODE_FUNDAMENTAL_TYPE (node);
424   
425   if (ftype != NODE_TYPE (node))
426     node = lookup_type_node_I (ftype);
427   
428   return node ? G_STRUCT_MEMBER_P (node, -SIZEOF_FUNDAMENTAL_INFO) : NULL;
429 }
430
431 static TypeNode*
432 type_node_fundamental_new_W (GType                 ftype,
433                              const gchar          *name,
434                              GTypeFundamentalFlags type_flags)
435 {
436   GTypeFundamentalInfo *finfo;
437   TypeNode *node;
438   
439   g_assert ((ftype & TYPE_ID_MASK) == 0);
440   g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX);
441   
442   if (ftype >> G_TYPE_FUNDAMENTAL_SHIFT == static_fundamental_next)
443     static_fundamental_next++;
444   
445   type_flags &= TYPE_FUNDAMENTAL_FLAG_MASK;
446   
447   node = type_node_any_new_W (NULL, ftype, name, NULL, type_flags);
448   
449   finfo = type_node_fundamental_info_I (node);
450   finfo->type_flags = type_flags;
451   
452   return node;
453 }
454
455 static TypeNode*
456 type_node_new_W (TypeNode    *pnode,
457                  const gchar *name,
458                  GTypePlugin *plugin)
459      
460 {
461   g_assert (pnode);
462   g_assert (pnode->n_supers < MAX_N_SUPERS);
463   g_assert (pnode->n_children < MAX_N_CHILDREN);
464   
465   return type_node_any_new_W (pnode, NODE_FUNDAMENTAL_TYPE (pnode), name, plugin, 0);
466 }
467
468 static inline IFaceEntry*
469 type_lookup_iface_entry_L (TypeNode *node,
470                            TypeNode *iface_node)
471 {
472   if (NODE_IS_IFACE (iface_node) && CLASSED_NODE_N_IFACES (node))
473     {
474       IFaceEntry *ifaces = CLASSED_NODE_IFACES_ENTRIES (node) - 1;
475       guint n_ifaces = CLASSED_NODE_N_IFACES (node);
476       GType iface_type = NODE_TYPE (iface_node);
477       
478       do
479         {
480           guint i;
481           IFaceEntry *check;
482           
483           i = (n_ifaces + 1) >> 1;
484           check = ifaces + i;
485           if (iface_type == check->iface_type)
486             return check;
487           else if (iface_type > check->iface_type)
488             {
489               n_ifaces -= i;
490               ifaces = check;
491             }
492           else /* if (iface_type < check->iface_type) */
493             n_ifaces = i - 1;
494         }
495       while (n_ifaces);
496     }
497   
498   return NULL;
499 }
500
501 static inline gboolean
502 type_lookup_prerequisite_L (TypeNode *iface,
503                             GType     prerequisite_type)
504 {
505   if (NODE_IS_IFACE (iface) && IFACE_NODE_N_PREREQUISITES (iface))
506     {
507       GType *prerequisites = IFACE_NODE_PREREQUISITES (iface) - 1;
508       guint n_prerequisites = IFACE_NODE_N_PREREQUISITES (iface);
509       
510       do
511         {
512           guint i;
513           GType *check;
514           
515           i = (n_prerequisites + 1) >> 1;
516           check = prerequisites + i;
517           if (prerequisite_type == *check)
518             return TRUE;
519           else if (prerequisite_type > *check)
520             {
521               n_prerequisites -= i;
522               prerequisites = check;
523             }
524           else /* if (prerequisite_type < *check) */
525             n_prerequisites = i - 1;
526         }
527       while (n_prerequisites);
528     }
529   return FALSE;
530 }
531
532 static gchar*
533 type_descriptive_name_I (GType type)
534 {
535   if (type)
536     {
537       TypeNode *node = lookup_type_node_I (type);
538       
539       return node ? NODE_NAME (node) : "<unknown>";
540     }
541   else
542     return "<invalid>";
543 }
544
545
546 /* --- type consistency checks --- */
547 static gboolean
548 check_plugin_U (GTypePlugin *plugin,
549                 gboolean     need_complete_type_info,
550                 gboolean     need_complete_interface_info,
551                 const gchar *type_name)
552 {
553   /* G_IS_TYPE_PLUGIN() and G_TYPE_PLUGIN_GET_CLASS() are external calls: _U 
554    */
555   if (!plugin)
556     {
557       g_warning ("plugin handle for type `%s' is NULL",
558                  type_name);
559       return FALSE;
560     }
561   if (!G_IS_TYPE_PLUGIN (plugin))
562     {
563       g_warning ("plugin pointer (%p) for type `%s' is invalid",
564                  plugin, type_name);
565       return FALSE;
566     }
567   if (need_complete_type_info && !G_TYPE_PLUGIN_GET_CLASS (plugin)->complete_type_info)
568     {
569       g_warning ("plugin for type `%s' has no complete_type_info() implementation",
570                  type_name);
571       return FALSE;
572     }
573   if (need_complete_interface_info && !G_TYPE_PLUGIN_GET_CLASS (plugin)->complete_interface_info)
574     {
575       g_warning ("plugin for type `%s' has no complete_interface_info() implementation",
576                  type_name);
577       return FALSE;
578     }
579   return TRUE;
580 }
581
582 static gboolean
583 check_type_name_I (const gchar *type_name)
584 {
585   static const gchar extra_chars[] = "-_+";
586   const gchar *p = type_name;
587   gboolean name_valid;
588   
589   if (!type_name[0] || !type_name[1] || !type_name[2])
590     {
591       g_warning ("type name `%s' is too short", type_name);
592       return FALSE;
593     }
594   /* check the first letter */
595   name_valid = (p[0] >= 'A' && p[0] <= 'Z') || (p[0] >= 'a' && p[0] <= 'z') || p[0] == '_';
596   for (p = type_name + 1; *p; p++)
597     name_valid &= ((p[0] >= 'A' && p[0] <= 'Z') ||
598                    (p[0] >= 'a' && p[0] <= 'z') ||
599                    (p[0] >= '0' && p[0] <= '9') ||
600                    strchr (extra_chars, p[0]));
601   if (!name_valid)
602     {
603       g_warning ("type name `%s' contains invalid characters", type_name);
604       return FALSE;
605     }
606   if (g_type_from_name (type_name))
607     {
608       g_warning ("cannot register existing type `%s'", type_name);
609       return FALSE;
610     }
611   
612   return TRUE;
613 }
614
615 static gboolean
616 check_derivation_I (GType        parent_type,
617                     const gchar *type_name)
618 {
619   TypeNode *pnode;
620   GTypeFundamentalInfo* finfo;
621   
622   pnode = lookup_type_node_I (parent_type);
623   if (!pnode)
624     {
625       g_warning ("cannot derive type `%s' from invalid parent type `%s'",
626                  type_name,
627                  type_descriptive_name_I (parent_type));
628       return FALSE;
629     }
630   finfo = type_node_fundamental_info_I (pnode);
631   /* ensure flat derivability */
632   if (!(finfo->type_flags & G_TYPE_FLAG_DERIVABLE))
633     {
634       g_warning ("cannot derive `%s' from non-derivable parent type `%s'",
635                  type_name,
636                  NODE_NAME (pnode));
637       return FALSE;
638     }
639   /* ensure deep derivability */
640   if (parent_type != NODE_FUNDAMENTAL_TYPE (pnode) &&
641       !(finfo->type_flags & G_TYPE_FLAG_DEEP_DERIVABLE))
642     {
643       g_warning ("cannot derive `%s' from non-fundamental parent type `%s'",
644                  type_name,
645                  NODE_NAME (pnode));
646       return FALSE;
647     }
648   
649   return TRUE;
650 }
651
652 static gboolean
653 check_collect_format_I (const gchar *collect_format)
654 {
655   const gchar *p = collect_format;
656   gchar valid_format[] = { G_VALUE_COLLECT_INT, G_VALUE_COLLECT_LONG,
657                            G_VALUE_COLLECT_INT64, G_VALUE_COLLECT_DOUBLE,
658                            G_VALUE_COLLECT_POINTER, 0 };
659   
660   while (*p)
661     if (!strchr (valid_format, *p++))
662       return FALSE;
663   return p - collect_format <= G_VALUE_COLLECT_FORMAT_MAX_LENGTH;
664 }
665
666 static gboolean
667 check_value_table_I (const gchar           *type_name,
668                      const GTypeValueTable *value_table)
669 {
670   if (!value_table)
671     return FALSE;
672   else if (value_table->value_init == NULL)
673     {
674       if (value_table->value_free || value_table->value_copy ||
675           value_table->value_peek_pointer ||
676           value_table->collect_format || value_table->collect_value ||
677           value_table->lcopy_format || value_table->lcopy_value)
678         g_warning ("cannot handle uninitializable values of type `%s'",
679                    type_name);
680       return FALSE;
681     }
682   else /* value_table->value_init != NULL */
683     {
684       if (!value_table->value_free)
685         {
686           /* +++ optional +++
687            * g_warning ("missing `value_free()' for type `%s'", type_name);
688            * return FALSE;
689            */
690         }
691       if (!value_table->value_copy)
692         {
693           g_warning ("missing `value_copy()' for type `%s'", type_name);
694           return FALSE;
695         }
696       if ((value_table->collect_format || value_table->collect_value) &&
697           (!value_table->collect_format || !value_table->collect_value))
698         {
699           g_warning ("one of `collect_format' and `collect_value()' is unspecified for type `%s'",
700                      type_name);
701           return FALSE;
702         }
703       if (value_table->collect_format && !check_collect_format_I (value_table->collect_format))
704         {
705           g_warning ("the `%s' specification for type `%s' is too long or invalid",
706                      "collect_format",
707                      type_name);
708           return FALSE;
709         }
710       if ((value_table->lcopy_format || value_table->lcopy_value) &&
711           (!value_table->lcopy_format || !value_table->lcopy_value))
712         {
713           g_warning ("one of `lcopy_format' and `lcopy_value()' is unspecified for type `%s'",
714                      type_name);
715           return FALSE;
716         }
717       if (value_table->lcopy_format && !check_collect_format_I (value_table->lcopy_format))
718         {
719           g_warning ("the `%s' specification for type `%s' is too long or invalid",
720                      "lcopy_format",
721                      type_name);
722           return FALSE;
723         }
724     }
725   return TRUE;
726 }
727
728 static gboolean
729 check_type_info_I (TypeNode        *pnode,
730                    GType            ftype,
731                    const gchar     *type_name,
732                    const GTypeInfo *info)
733 {
734   GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (lookup_type_node_I (ftype));
735   gboolean is_interface = ftype == G_TYPE_INTERFACE;
736   
737   g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX && !(ftype & TYPE_ID_MASK));
738   
739   /* check instance members */
740   if (!(finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE) &&
741       (info->instance_size || info->n_preallocs || info->instance_init))
742     {
743       if (pnode)
744         g_warning ("cannot instantiate `%s', derived from non-instantiatable parent type `%s'",
745                    type_name,
746                    NODE_NAME (pnode));
747       else
748         g_warning ("cannot instantiate `%s' as non-instantiatable fundamental",
749                    type_name);
750       return FALSE;
751     }
752   /* check class & interface members */
753   if (!((finfo->type_flags & G_TYPE_FLAG_CLASSED) || is_interface) &&
754       (info->class_init || info->class_finalize || info->class_data ||
755        info->class_size || info->base_init || info->base_finalize))
756     {
757       if (pnode)
758         g_warning ("cannot create class for `%s', derived from non-classed parent type `%s'",
759                    type_name,
760                    NODE_NAME (pnode));
761       else
762         g_warning ("cannot create class for `%s' as non-classed fundamental",
763                    type_name);
764       return FALSE;
765     }
766   /* check interface size */
767   if (is_interface && info->class_size < sizeof (GTypeInterface))
768     {
769       g_warning ("specified interface size for type `%s' is smaller than `GTypeInterface' size",
770                  type_name);
771       return FALSE;
772     }
773   /* check class size */
774   if (finfo->type_flags & G_TYPE_FLAG_CLASSED)
775     {
776       if (info->class_size < sizeof (GTypeClass))
777         {
778           g_warning ("specified class size for type `%s' is smaller than `GTypeClass' size",
779                      type_name);
780           return FALSE;
781         }
782       if (pnode && info->class_size < pnode->data->class.class_size)
783         {
784           g_warning ("specified class size for type `%s' is smaller "
785                      "than the parent type's `%s' class size",
786                      type_name,
787                      NODE_NAME (pnode));
788           return FALSE;
789         }
790     }
791   /* check instance size */
792   if (finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE)
793     {
794       if (info->instance_size < sizeof (GTypeInstance))
795         {
796           g_warning ("specified instance size for type `%s' is smaller than `GTypeInstance' size",
797                      type_name);
798           return FALSE;
799         }
800       if (pnode && info->instance_size < pnode->data->instance.instance_size)
801         {
802           g_warning ("specified instance size for type `%s' is smaller "
803                      "than the parent type's `%s' instance size",
804                      type_name,
805                      NODE_NAME (pnode));
806           return FALSE;
807         }
808     }
809   
810   return TRUE;
811 }
812
813 static TypeNode*
814 find_conforming_child_type_L (TypeNode *pnode,
815                               TypeNode *iface)
816 {
817   TypeNode *node = NULL;
818   guint i;
819   
820   if (type_lookup_iface_entry_L (pnode, iface))
821     return pnode;
822   
823   for (i = 0; i < pnode->n_children && !node; i++)
824     node = find_conforming_child_type_L (lookup_type_node_I (pnode->children[i]), iface);
825   
826   return node;
827 }
828
829 static gboolean
830 check_add_interface_L (GType instance_type,
831                        GType iface_type)
832 {
833   TypeNode *node = lookup_type_node_I (instance_type);
834   TypeNode *iface = lookup_type_node_I (iface_type);
835   IFaceEntry *entry;
836   TypeNode *tnode;
837   GType *prerequisites;
838   guint i;
839
840   
841   if (!node || !node->is_instantiatable)
842     {
843       g_warning ("cannot add interfaces to invalid (non-instantiatable) type `%s'",
844                  type_descriptive_name_I (instance_type));
845       return FALSE;
846     }
847   if (!iface || !NODE_IS_IFACE (iface))
848     {
849       g_warning ("cannot add invalid (non-interface) type `%s' to type `%s'",
850                  type_descriptive_name_I (iface_type),
851                  NODE_NAME (node));
852       return FALSE;
853     }
854   tnode = lookup_type_node_I (NODE_PARENT_TYPE (iface));
855   if (NODE_PARENT_TYPE (tnode) && !type_lookup_iface_entry_L (node, tnode))
856     {
857       /* 2001/7/31:timj: erk, i guess this warning is junk as interface derivation is flat */
858       g_warning ("cannot add sub-interface `%s' to type `%s' which does not conform to super-interface `%s'",
859                  NODE_NAME (iface),
860                  NODE_NAME (node),
861                  NODE_NAME (tnode));
862       return FALSE;
863     }
864   /* allow overriding of interface type introduced for parent type */
865   entry = type_lookup_iface_entry_L (node, iface);
866   if (entry && entry->vtable == NULL && !type_iface_peek_holder_L (iface, NODE_TYPE (node)))
867     {
868       /* ok, we do conform to this interface already, but the interface vtable was not
869        * yet intialized, and we just conform to the interface because it got added to
870        * one of our parents. so we allow overriding of holder info here.
871        */
872       return TRUE;
873     }
874   /* check whether one of our children already conforms (or whether the interface
875    * got added to this node already)
876    */
877   tnode = find_conforming_child_type_L (node, iface);  /* tnode is_a node */
878   if (tnode)
879     {
880       g_warning ("cannot add interface type `%s' to type `%s', since type `%s' already conforms to interface",
881                  NODE_NAME (iface),
882                  NODE_NAME (node),
883                  NODE_NAME (tnode));
884       return FALSE;
885     }
886   prerequisites = IFACE_NODE_PREREQUISITES (iface);
887   for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
888     {
889       tnode = lookup_type_node_I (prerequisites[i]);
890       if (!type_node_is_a_L (node, tnode))
891         {
892           g_warning ("cannot add interface type `%s' to type `%s' which does not conform to prerequisite `%s'",
893                      NODE_NAME (iface),
894                      NODE_NAME (node),
895                      NODE_NAME (tnode));
896           return FALSE;
897         }
898     }
899   return TRUE;
900 }
901
902 static gboolean
903 check_interface_info_I (TypeNode             *iface,
904                         GType                 instance_type,
905                         const GInterfaceInfo *info)
906 {
907   if ((info->interface_finalize || info->interface_data) && !info->interface_init)
908     {
909       g_warning ("interface type `%s' for type `%s' comes without initializer",
910                  NODE_NAME (iface),
911                  type_descriptive_name_I (instance_type));
912       return FALSE;
913     }
914   
915   return TRUE;
916 }
917
918 /* --- type info (type node data) --- */
919 static void
920 type_data_make_W (TypeNode              *node,
921                   const GTypeInfo       *info,
922                   const GTypeValueTable *value_table)
923 {
924   TypeData *data;
925   GTypeValueTable *vtable = NULL;
926   guint vtable_size = 0;
927   
928   g_assert (node->data == NULL && info != NULL);
929   
930   if (!value_table)
931     {
932       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
933       
934       if (pnode)
935         vtable = pnode->data->common.value_table;
936       else
937         {
938           static const GTypeValueTable zero_vtable = { NULL, };
939           
940           value_table = &zero_vtable;
941         }
942     }
943   if (value_table)
944     {
945       /* need to setup vtable_size since we have to allocate it with data in one chunk */
946       vtable_size = sizeof (GTypeValueTable);
947       if (value_table->collect_format)
948         vtable_size += strlen (value_table->collect_format);
949       if (value_table->lcopy_format)
950         vtable_size += strlen (value_table->lcopy_format);
951       vtable_size += 2;
952     }
953    
954   if (node->is_instantiatable) /* carefull, is_instantiatable is also is_classed */
955     {
956       data = g_malloc0 (sizeof (InstanceData) + vtable_size);
957       if (vtable_size)
958         vtable = G_STRUCT_MEMBER_P (data, sizeof (InstanceData));
959       data->instance.class_size = info->class_size;
960       data->instance.class_init_base = info->base_init;
961       data->instance.class_finalize_base = info->base_finalize;
962       data->instance.class_init = info->class_init;
963       data->instance.class_finalize = info->class_finalize;
964       data->instance.class_data = info->class_data;
965       data->instance.class = NULL;
966       data->instance.init_state = UNINITIALIZED;
967       data->instance.instance_size = info->instance_size;
968       /* We'll set the final value for data->instance.private size
969        * after the parent class has been initialized
970        */
971       data->instance.private_size = 0;
972 #ifdef  DISABLE_MEM_POOLS
973       data->instance.n_preallocs = 0;
974 #else   /* !DISABLE_MEM_POOLS */
975       data->instance.n_preallocs = MIN (info->n_preallocs, 1024);
976 #endif  /* !DISABLE_MEM_POOLS */
977       data->instance.instance_init = info->instance_init;
978     }
979   else if (node->is_classed) /* only classed */
980     {
981       data = g_malloc0 (sizeof (ClassData) + vtable_size);
982       if (vtable_size)
983         vtable = G_STRUCT_MEMBER_P (data, sizeof (ClassData));
984       data->class.class_size = info->class_size;
985       data->class.class_init_base = info->base_init;
986       data->class.class_finalize_base = info->base_finalize;
987       data->class.class_init = info->class_init;
988       data->class.class_finalize = info->class_finalize;
989       data->class.class_data = info->class_data;
990       data->class.class = NULL;
991       data->class.init_state = UNINITIALIZED;
992     }
993   else if (NODE_IS_IFACE (node))
994     {
995       data = g_malloc0 (sizeof (IFaceData) + vtable_size);
996       if (vtable_size)
997         vtable = G_STRUCT_MEMBER_P (data, sizeof (IFaceData));
998       data->iface.vtable_size = info->class_size;
999       data->iface.vtable_init_base = info->base_init;
1000       data->iface.vtable_finalize_base = info->base_finalize;
1001       data->iface.dflt_init = info->class_init;
1002       data->iface.dflt_finalize = info->class_finalize;
1003       data->iface.dflt_data = info->class_data;
1004       data->iface.dflt_vtable = NULL;
1005     }
1006   else
1007     {
1008       data = g_malloc0 (sizeof (CommonData) + vtable_size);
1009       if (vtable_size)
1010         vtable = G_STRUCT_MEMBER_P (data, sizeof (CommonData));
1011     }
1012   
1013   node->data = data;
1014   node->data->common.ref_count = 1;
1015   
1016   if (vtable_size)
1017     {
1018       gchar *p;
1019       
1020       /* we allocate the vtable and its strings together with the type data, so
1021        * children can take over their parent's vtable pointer, and we don't
1022        * need to worry freeing it or not when the child data is destroyed
1023        */
1024       *vtable = *value_table;
1025       p = G_STRUCT_MEMBER_P (vtable, sizeof (*vtable));
1026       p[0] = 0;
1027       vtable->collect_format = p;
1028       if (value_table->collect_format)
1029         {
1030           strcat (p, value_table->collect_format);
1031           p += strlen (value_table->collect_format);
1032         }
1033       p++;
1034       p[0] = 0;
1035       vtable->lcopy_format = p;
1036       if (value_table->lcopy_format)
1037         strcat  (p, value_table->lcopy_format);
1038     }
1039   node->data->common.value_table = vtable;
1040   node->mutatable_check_cache = (node->data->common.value_table->value_init != NULL &&
1041                                  !((G_TYPE_FLAG_VALUE_ABSTRACT | G_TYPE_FLAG_ABSTRACT) &
1042                                    GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))));
1043   
1044   g_assert (node->data->common.value_table != NULL); /* paranoid */
1045 }
1046
1047 static inline void
1048 type_data_ref_Wm (TypeNode *node)
1049 {
1050   if (!node->data)
1051     {
1052       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1053       GTypeInfo tmp_info;
1054       GTypeValueTable tmp_value_table;
1055       
1056       g_assert (node->plugin != NULL);
1057       
1058       if (pnode)
1059         {
1060           type_data_ref_Wm (pnode);
1061           if (node->data)
1062             INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
1063         }
1064       
1065       memset (&tmp_info, 0, sizeof (tmp_info));
1066       memset (&tmp_value_table, 0, sizeof (tmp_value_table));
1067       
1068       G_WRITE_UNLOCK (&type_rw_lock);
1069       g_type_plugin_use (node->plugin);
1070       g_type_plugin_complete_type_info (node->plugin, NODE_TYPE (node), &tmp_info, &tmp_value_table);
1071       G_WRITE_LOCK (&type_rw_lock);
1072       if (node->data)
1073         INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
1074       
1075       check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (node), NODE_NAME (node), &tmp_info);
1076       type_data_make_W (node, &tmp_info,
1077                         check_value_table_I (NODE_NAME (node),
1078                                              &tmp_value_table) ? &tmp_value_table : NULL);
1079     }
1080   else
1081     {
1082       g_assert (node->data->common.ref_count > 0);
1083       
1084       node->data->common.ref_count += 1;
1085     }
1086 }
1087
1088 static inline void
1089 type_data_unref_Wm (TypeNode *node,
1090                     gboolean  uncached)
1091 {
1092   g_assert (node->data && node->data->common.ref_count);
1093   
1094   if (node->data->common.ref_count > 1)
1095     node->data->common.ref_count -= 1;
1096   else
1097     {
1098       if (!node->plugin)
1099         {
1100           g_warning ("static type `%s' unreferenced too often",
1101                      NODE_NAME (node));
1102           return;
1103         }
1104       
1105       type_data_last_unref_Wm (NODE_TYPE (node), uncached);
1106     }
1107 }
1108
1109 static void
1110 type_node_add_iface_entry_W (TypeNode   *node,
1111                              GType       iface_type,
1112                              IFaceEntry *parent_entry)
1113 {
1114   IFaceEntry *entries;
1115   guint i;
1116   
1117   g_assert (node->is_instantiatable && CLASSED_NODE_N_IFACES (node) < MAX_N_IFACES);
1118   
1119   entries = CLASSED_NODE_IFACES_ENTRIES (node);
1120   for (i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
1121     if (entries[i].iface_type == iface_type)
1122       {
1123         /* this can happen in two cases:
1124          * - our parent type already conformed to iface_type and node
1125          *   got it's own holder info. here, our children already have
1126          *   entries and NULL vtables, since this will only work for
1127          *   uninitialized classes.
1128          * - an interface type is added to an ancestor after it was
1129          *   added to a child type.
1130          */
1131         if (!parent_entry)
1132           g_assert (entries[i].vtable == NULL && entries[i].init_state == UNINITIALIZED);
1133         else
1134           {
1135             /* sick, interface is added to ancestor *after* child type;
1136              * nothing todo, the entry and our children were already setup correctly
1137              */
1138           }
1139         return;
1140       }
1141     else if (entries[i].iface_type > iface_type)
1142       break;
1143   CLASSED_NODE_N_IFACES (node) += 1;
1144   CLASSED_NODE_IFACES_ENTRIES (node) = g_renew (IFaceEntry,
1145                                                 CLASSED_NODE_IFACES_ENTRIES (node),
1146                                                 CLASSED_NODE_N_IFACES (node));
1147   entries = CLASSED_NODE_IFACES_ENTRIES (node);
1148   g_memmove (entries + i + 1, entries + i, sizeof (entries[0]) * (CLASSED_NODE_N_IFACES (node) - i - 1));
1149   entries[i].iface_type = iface_type;
1150   entries[i].vtable = NULL;
1151   entries[i].init_state = UNINITIALIZED;
1152
1153   if (parent_entry)
1154     {
1155       if (node->data && node->data->class.init_state >= BASE_IFACE_INIT)
1156         {
1157           entries[i].init_state = INITIALIZED;
1158           entries[i].vtable = parent_entry->vtable;
1159         }
1160       for (i = 0; i < node->n_children; i++)
1161         type_node_add_iface_entry_W (lookup_type_node_I (node->children[i]), iface_type, &entries[i]);
1162     }
1163 }
1164
1165 static void
1166 type_add_interface_Wm (TypeNode             *node,
1167                        TypeNode             *iface,
1168                        const GInterfaceInfo *info,
1169                        GTypePlugin          *plugin)
1170 {
1171   IFaceHolder *iholder = g_new0 (IFaceHolder, 1);
1172   IFaceEntry *entry;
1173   guint i;
1174   
1175   g_assert (node->is_instantiatable && NODE_IS_IFACE (iface) && ((info && !plugin) || (!info && plugin)));
1176   
1177   iholder->next = iface_node_get_holders_L (iface);
1178   iface_node_set_holders_W (iface, iholder);
1179   iholder->instance_type = NODE_TYPE (node);
1180   iholder->info = info ? g_memdup (info, sizeof (*info)) : NULL;
1181   iholder->plugin = plugin;
1182
1183   /* create an iface entry for this type */
1184   type_node_add_iface_entry_W (node, NODE_TYPE (iface), NULL);
1185   
1186   /* if the class is already (partly) initialized, we may need to base
1187    * initalize and/or initialize the new interface.
1188    */
1189   if (node->data)
1190     {
1191       InitState class_state = node->data->class.init_state;
1192       
1193       if (class_state >= BASE_IFACE_INIT)
1194         type_iface_vtable_base_init_Wm (iface, node);
1195       
1196       if (class_state >= IFACE_INIT)
1197         type_iface_vtable_iface_init_Wm (iface, node);
1198     }
1199   
1200   /* create iface entries for children of this type */
1201   entry = type_lookup_iface_entry_L (node, iface);
1202   for (i = 0; i < node->n_children; i++)
1203     type_node_add_iface_entry_W (lookup_type_node_I (node->children[i]), NODE_TYPE (iface), entry);
1204 }
1205
1206 static void
1207 type_iface_add_prerequisite_W (TypeNode *iface,
1208                                TypeNode *prerequisite_node)
1209 {
1210   GType prerequisite_type = NODE_TYPE (prerequisite_node);
1211   GType *prerequisites, *dependants;
1212   guint n_dependants, i;
1213   
1214   g_assert (NODE_IS_IFACE (iface) &&
1215             IFACE_NODE_N_PREREQUISITES (iface) < MAX_N_PREREQUISITES &&
1216             (prerequisite_node->is_instantiatable || NODE_IS_IFACE (prerequisite_node)));
1217   
1218   prerequisites = IFACE_NODE_PREREQUISITES (iface);
1219   for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1220     if (prerequisites[i] == prerequisite_type)
1221       return;                   /* we already have that prerequisiste */
1222     else if (prerequisites[i] > prerequisite_type)
1223       break;
1224   IFACE_NODE_N_PREREQUISITES (iface) += 1;
1225   IFACE_NODE_PREREQUISITES (iface) = g_renew (GType,
1226                                               IFACE_NODE_PREREQUISITES (iface),
1227                                               IFACE_NODE_N_PREREQUISITES (iface));
1228   prerequisites = IFACE_NODE_PREREQUISITES (iface);
1229   g_memmove (prerequisites + i + 1, prerequisites + i,
1230              sizeof (prerequisites[0]) * (IFACE_NODE_N_PREREQUISITES (iface) - i - 1));
1231   prerequisites[i] = prerequisite_type;
1232   
1233   /* we want to get notified when prerequisites get added to prerequisite_node */
1234   if (NODE_IS_IFACE (prerequisite_node))
1235     {
1236       dependants = iface_node_get_dependants_array_L (prerequisite_node);
1237       n_dependants = dependants ? dependants[0] : 0;
1238       n_dependants += 1;
1239       dependants = g_renew (GType, dependants, n_dependants + 1);
1240       dependants[n_dependants] = NODE_TYPE (iface);
1241       dependants[0] = n_dependants;
1242       iface_node_set_dependants_array_W (prerequisite_node, dependants);
1243     }
1244   
1245   /* we need to notify all dependants */
1246   dependants = iface_node_get_dependants_array_L (iface);
1247   n_dependants = dependants ? dependants[0] : 0;
1248   for (i = 1; i <= n_dependants; i++)
1249     type_iface_add_prerequisite_W (lookup_type_node_I (dependants[i]), prerequisite_node);
1250 }
1251
1252 void
1253 g_type_interface_add_prerequisite (GType interface_type,
1254                                    GType prerequisite_type)
1255 {
1256   TypeNode *iface, *prerequisite_node;
1257   IFaceHolder *holders;
1258   
1259   g_return_if_fail (G_TYPE_IS_INTERFACE (interface_type));      /* G_TYPE_IS_INTERFACE() is an external call: _U */
1260   g_return_if_fail (!g_type_is_a (interface_type, prerequisite_type));
1261   g_return_if_fail (!g_type_is_a (prerequisite_type, interface_type));
1262   
1263   iface = lookup_type_node_I (interface_type);
1264   prerequisite_node = lookup_type_node_I (prerequisite_type);
1265   if (!iface || !prerequisite_node || !NODE_IS_IFACE (iface))
1266     {
1267       g_warning ("interface type `%s' or prerequisite type `%s' invalid",
1268                  type_descriptive_name_I (interface_type),
1269                  type_descriptive_name_I (prerequisite_type));
1270       return;
1271     }
1272   G_WRITE_LOCK (&type_rw_lock);
1273   holders = iface_node_get_holders_L (iface);
1274   if (holders)
1275     {
1276       G_WRITE_UNLOCK (&type_rw_lock);
1277       g_warning ("unable to add prerequisite `%s' to interface `%s' which is already in use for `%s'",
1278                  type_descriptive_name_I (prerequisite_type),
1279                  type_descriptive_name_I (interface_type),
1280                  type_descriptive_name_I (holders->instance_type));
1281       return;
1282     }
1283   if (prerequisite_node->is_instantiatable)
1284     {
1285       guint i;
1286       
1287       /* can have at most one publically installable instantiatable prerequisite */
1288       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1289         {
1290           TypeNode *prnode = lookup_type_node_I (IFACE_NODE_PREREQUISITES (iface)[i]);
1291           
1292           if (prnode->is_instantiatable)
1293             {
1294               G_WRITE_UNLOCK (&type_rw_lock);
1295               g_warning ("adding prerequisite `%s' to interface `%s' conflicts with existing prerequisite `%s'",
1296                          type_descriptive_name_I (prerequisite_type),
1297                          type_descriptive_name_I (interface_type),
1298                          type_descriptive_name_I (NODE_TYPE (prnode)));
1299               return;
1300             }
1301         }
1302       
1303       for (i = 0; i < prerequisite_node->n_supers + 1; i++)
1304         type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisite_node->supers[i]));
1305       G_WRITE_UNLOCK (&type_rw_lock);
1306     }
1307   else if (NODE_IS_IFACE (prerequisite_node))
1308     {
1309       GType *prerequisites;
1310       guint i;
1311       
1312       prerequisites = IFACE_NODE_PREREQUISITES (prerequisite_node);
1313       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (prerequisite_node); i++)
1314         type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisites[i]));
1315       type_iface_add_prerequisite_W (iface, prerequisite_node);
1316       G_WRITE_UNLOCK (&type_rw_lock);
1317     }
1318   else
1319     {
1320       G_WRITE_UNLOCK (&type_rw_lock);
1321       g_warning ("prerequisite `%s' for interface `%s' is neither instantiatable nor interface",
1322                  type_descriptive_name_I (prerequisite_type),
1323                  type_descriptive_name_I (interface_type));
1324     }
1325 }
1326
1327 GType* /* free result */
1328 g_type_interface_prerequisites (GType  interface_type,
1329                                 guint *n_prerequisites)
1330 {
1331   TypeNode *iface;
1332   
1333   g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);
1334
1335   iface = lookup_type_node_I (interface_type);
1336   if (iface)
1337     {
1338       GType *types;
1339       TypeNode *inode = NULL;
1340       guint i, n = 0;
1341       
1342       G_READ_LOCK (&type_rw_lock);
1343       types = g_new0 (GType, IFACE_NODE_N_PREREQUISITES (iface) + 1);
1344       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1345         {
1346           GType prerequisite = IFACE_NODE_PREREQUISITES (iface)[i];
1347           TypeNode *node = lookup_type_node_I (prerequisite);
1348           if (node->is_instantiatable &&
1349               (!inode || type_node_is_a_L (node, inode)))
1350             inode = node;
1351           else
1352             types[n++] = NODE_TYPE (node);
1353         }
1354       if (inode)
1355         types[n++] = NODE_TYPE (inode);
1356       
1357       if (n_prerequisites)
1358         *n_prerequisites = n;
1359       G_READ_UNLOCK (&type_rw_lock);
1360       
1361       return types;
1362     }
1363   else
1364     {
1365       if (n_prerequisites)
1366         *n_prerequisites = 0;
1367       
1368       return NULL;
1369     }
1370 }
1371
1372
1373 static IFaceHolder*
1374 type_iface_peek_holder_L (TypeNode *iface,
1375                           GType     instance_type)
1376 {
1377   IFaceHolder *iholder;
1378   
1379   g_assert (NODE_IS_IFACE (iface));
1380   
1381   iholder = iface_node_get_holders_L (iface);
1382   while (iholder && iholder->instance_type != instance_type)
1383     iholder = iholder->next;
1384   return iholder;
1385 }
1386
1387 static IFaceHolder*
1388 type_iface_retrieve_holder_info_Wm (TypeNode *iface,
1389                                     GType     instance_type,
1390                                     gboolean  need_info)
1391 {
1392   IFaceHolder *iholder = type_iface_peek_holder_L (iface, instance_type);
1393   
1394   if (iholder && !iholder->info && need_info)
1395     {
1396       GInterfaceInfo tmp_info;
1397       
1398       g_assert (iholder->plugin != NULL);
1399       
1400       type_data_ref_Wm (iface);
1401       if (iholder->info)
1402         INVALID_RECURSION ("g_type_plugin_*", iface->plugin, NODE_NAME (iface));
1403       
1404       memset (&tmp_info, 0, sizeof (tmp_info));
1405       
1406       G_WRITE_UNLOCK (&type_rw_lock);
1407       g_type_plugin_use (iholder->plugin);
1408       g_type_plugin_complete_interface_info (iholder->plugin, instance_type, NODE_TYPE (iface), &tmp_info);
1409       G_WRITE_LOCK (&type_rw_lock);
1410       if (iholder->info)
1411         INVALID_RECURSION ("g_type_plugin_*", iholder->plugin, NODE_NAME (iface));
1412       
1413       check_interface_info_I (iface, instance_type, &tmp_info);
1414       iholder->info = g_memdup (&tmp_info, sizeof (tmp_info));
1415     }
1416   
1417   return iholder;       /* we don't modify write lock upon returning NULL */
1418 }
1419
1420 static void
1421 type_iface_blow_holder_info_Wm (TypeNode *iface,
1422                                 GType     instance_type)
1423 {
1424   IFaceHolder *iholder = iface_node_get_holders_L (iface);
1425   
1426   g_assert (NODE_IS_IFACE (iface));
1427   
1428   while (iholder->instance_type != instance_type)
1429     iholder = iholder->next;
1430   
1431   if (iholder->info && iholder->plugin)
1432     {
1433       g_free (iholder->info);
1434       iholder->info = NULL;
1435       
1436       G_WRITE_UNLOCK (&type_rw_lock);
1437       g_type_plugin_unuse (iholder->plugin);
1438       G_WRITE_LOCK (&type_rw_lock);
1439       
1440       type_data_unref_Wm (iface, FALSE);
1441     }
1442 }
1443
1444 /* Assumes type's class already exists
1445  */
1446 static inline size_t
1447 type_total_instance_size_I (TypeNode *node)
1448 {
1449   gsize total_instance_size;
1450
1451   total_instance_size = node->data->instance.instance_size;
1452   if (node->data->instance.private_size != 0)
1453     total_instance_size = ALIGN_STRUCT (total_instance_size) + node->data->instance.private_size;
1454
1455   return total_instance_size;
1456 }
1457
1458 /* --- type structure creation/destruction --- */
1459 typedef struct {
1460   gpointer instance;
1461   gpointer class;
1462 } InstanceRealClass;
1463 static gint
1464 instance_real_class_cmp (gconstpointer p1,
1465                          gconstpointer p2)
1466 {
1467   const InstanceRealClass *irc1 = p1;
1468   const InstanceRealClass *irc2 = p2;
1469   guint8 *i1 = irc1->instance;
1470   guint8 *i2 = irc2->instance;
1471   return G_BSEARCH_ARRAY_CMP (i1, i2);
1472 }
1473 G_LOCK_DEFINE_STATIC (instance_real_class);
1474 static GBSearchArray *instance_real_class_bsa = NULL;
1475 static GBSearchConfig instance_real_class_bconfig = {
1476   sizeof (InstanceRealClass),
1477   instance_real_class_cmp,
1478   0,
1479 };
1480 static inline void
1481 instance_real_class_set (gpointer    instance,
1482                          GTypeClass *class)
1483 {
1484   InstanceRealClass key;
1485   key.instance = instance;
1486   key.class = class;
1487   G_LOCK (instance_real_class);
1488   if (!instance_real_class_bsa)
1489     instance_real_class_bsa = g_bsearch_array_create (&instance_real_class_bconfig);
1490   instance_real_class_bsa = g_bsearch_array_replace (instance_real_class_bsa, &instance_real_class_bconfig, &key);
1491   G_UNLOCK (instance_real_class);
1492 }
1493 static inline void
1494 instance_real_class_remove (gpointer instance)
1495 {
1496   InstanceRealClass key, *node;
1497   guint index;
1498   key.instance = instance;
1499   G_LOCK (instance_real_class);
1500   node = g_bsearch_array_lookup (instance_real_class_bsa, &instance_real_class_bconfig, &key);
1501   index = g_bsearch_array_get_index (instance_real_class_bsa, &instance_real_class_bconfig, node);
1502   instance_real_class_bsa = g_bsearch_array_remove (instance_real_class_bsa, &instance_real_class_bconfig, index);
1503   if (!g_bsearch_array_get_n_nodes (instance_real_class_bsa))
1504     {
1505       g_bsearch_array_free (instance_real_class_bsa, &instance_real_class_bconfig);
1506       instance_real_class_bsa = NULL;
1507     }
1508   G_UNLOCK (instance_real_class);
1509 }
1510 static inline GTypeClass*
1511 instance_real_class_get (gpointer instance)
1512 {
1513   InstanceRealClass key, *node;
1514   key.instance = instance;
1515   G_LOCK (instance_real_class);
1516   node = instance_real_class_bsa ? g_bsearch_array_lookup (instance_real_class_bsa, &instance_real_class_bconfig, &key) : NULL;
1517   G_UNLOCK (instance_real_class);
1518   return node ? node->class : NULL;
1519 }
1520
1521 GTypeInstance*
1522 g_type_create_instance (GType type)
1523 {
1524   TypeNode *node;
1525   GTypeInstance *instance;
1526   GTypeClass *class;
1527   guint i, total_size;
1528   
1529   node = lookup_type_node_I (type);
1530   if (!node || !node->is_instantiatable)
1531     {
1532       g_warning ("cannot create new instance of invalid (non-instantiatable) type `%s'",
1533                  type_descriptive_name_I (type));
1534       return NULL;
1535     }
1536   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
1537   if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (type))
1538     {
1539       g_warning ("cannot create instance of abstract (non-instantiatable) type `%s'",
1540                  type_descriptive_name_I (type));
1541       return NULL;
1542     }
1543   
1544   class = g_type_class_ref (type);
1545   total_size = type_total_instance_size_I (node);
1546
1547   if (node->data->instance.n_preallocs)
1548     instance = g_slice_alloc0 (total_size);
1549   else
1550     instance = g_malloc0 (total_size);
1551
1552   if (node->data->instance.private_size)
1553     instance_real_class_set (instance, class);
1554   for (i = node->n_supers; i > 0; i--)
1555     {
1556       TypeNode *pnode;
1557       
1558       pnode = lookup_type_node_I (node->supers[i]);
1559       if (pnode->data->instance.instance_init)
1560         {
1561           instance->g_class = pnode->data->instance.class;
1562           pnode->data->instance.instance_init (instance, class);
1563         }
1564     }
1565   if (node->data->instance.private_size)
1566     instance_real_class_remove (instance);
1567
1568   instance->g_class = class;
1569   if (node->data->instance.instance_init)
1570     node->data->instance.instance_init (instance, class);
1571   
1572   return instance;
1573 }
1574
1575 void
1576 g_type_free_instance (GTypeInstance *instance)
1577 {
1578   TypeNode *node;
1579   GTypeClass *class;
1580   
1581   g_return_if_fail (instance != NULL && instance->g_class != NULL);
1582   
1583   class = instance->g_class;
1584   node = lookup_type_node_I (class->g_type);
1585   if (!node || !node->is_instantiatable || !node->data || node->data->class.class != (gpointer) class)
1586     {
1587       g_warning ("cannot free instance of invalid (non-instantiatable) type `%s'",
1588                  type_descriptive_name_I (class->g_type));
1589       return;
1590     }
1591   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
1592   if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (NODE_TYPE (node)))
1593     {
1594       g_warning ("cannot free instance of abstract (non-instantiatable) type `%s'",
1595                  NODE_NAME (node));
1596       return;
1597     }
1598   
1599   instance->g_class = NULL;
1600 #ifdef G_ENABLE_DEBUG  
1601   memset (instance, 0xaa, type_total_instance_size_I (node));
1602 #endif
1603   if (node->data->instance.n_preallocs)
1604     g_slice_free1 (type_total_instance_size_I (node), instance);
1605   else
1606     g_free (instance);
1607
1608   g_type_class_unref (class);
1609 }
1610
1611 static void
1612 type_iface_ensure_dflt_vtable_Wm (TypeNode *iface)
1613 {
1614   g_assert (iface->data);
1615
1616   if (!iface->data->iface.dflt_vtable)
1617     {
1618       GTypeInterface *vtable = g_malloc0 (iface->data->iface.vtable_size);
1619       iface->data->iface.dflt_vtable = vtable;
1620       vtable->g_type = NODE_TYPE (iface);
1621       vtable->g_instance_type = 0;
1622       if (iface->data->iface.vtable_init_base ||
1623           iface->data->iface.dflt_init)
1624         {
1625           G_WRITE_UNLOCK (&type_rw_lock);
1626           if (iface->data->iface.vtable_init_base)
1627             iface->data->iface.vtable_init_base (vtable);
1628           if (iface->data->iface.dflt_init)
1629             iface->data->iface.dflt_init (vtable, (gpointer) iface->data->iface.dflt_data);
1630           G_WRITE_LOCK (&type_rw_lock);
1631         }
1632     }
1633 }
1634
1635
1636 /* This is called to allocate and do the first part of initializing
1637  * the interface vtable; type_iface_vtable_iface_init_Wm() does the remainder.
1638  *
1639  * A FALSE return indicates that we didn't find an init function for
1640  * this type/iface pair, so the vtable from the parent type should
1641  * be used. Note that the write lock is not modified upon a FALSE
1642  * return.
1643  */
1644 static gboolean
1645 type_iface_vtable_base_init_Wm (TypeNode *iface,
1646                                 TypeNode *node)
1647 {
1648   IFaceEntry *entry;
1649   IFaceHolder *iholder;
1650   GTypeInterface *vtable = NULL;
1651   TypeNode *pnode;
1652   
1653   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
1654   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), TRUE);
1655   if (!iholder)
1656     return FALSE;       /* we don't modify write lock upon FALSE */
1657
1658   type_iface_ensure_dflt_vtable_Wm (iface);
1659
1660   entry = type_lookup_iface_entry_L (node, iface);
1661
1662   g_assert (iface->data && entry && entry->vtable == NULL && iholder && iholder->info);
1663   
1664   entry->init_state = IFACE_INIT;
1665
1666   pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1667   if (pnode)    /* want to copy over parent iface contents */
1668     {
1669       IFaceEntry *pentry = type_lookup_iface_entry_L (pnode, iface);
1670       
1671       if (pentry)
1672         vtable = g_memdup (pentry->vtable, iface->data->iface.vtable_size);
1673     }
1674   if (!vtable)
1675     vtable = g_memdup (iface->data->iface.dflt_vtable, iface->data->iface.vtable_size);
1676   entry->vtable = vtable;
1677   vtable->g_type = NODE_TYPE (iface);
1678   vtable->g_instance_type = NODE_TYPE (node);
1679   
1680   if (iface->data->iface.vtable_init_base)
1681     {
1682       G_WRITE_UNLOCK (&type_rw_lock);
1683       iface->data->iface.vtable_init_base (vtable);
1684       G_WRITE_LOCK (&type_rw_lock);
1685     }
1686   return TRUE;  /* initialized the vtable */
1687 }
1688
1689 /* Finishes what type_iface_vtable_base_init_Wm started by
1690  * calling the interface init function.
1691  * this function may only be called for types with their
1692  * own interface holder info, i.e. types for which
1693  * g_type_add_interface*() was called and not children thereof.
1694  */
1695 static void
1696 type_iface_vtable_iface_init_Wm (TypeNode *iface,
1697                                  TypeNode *node)
1698 {
1699   IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
1700   IFaceHolder *iholder = type_iface_peek_holder_L (iface, NODE_TYPE (node));
1701   GTypeInterface *vtable = NULL;
1702   guint i;
1703   
1704   /* iholder->info should have been filled in by type_iface_vtable_base_init_Wm() */
1705   g_assert (iface->data && entry && iholder && iholder->info);
1706   g_assert (entry->init_state == IFACE_INIT); /* assert prior base_init() */
1707   
1708   entry->init_state = INITIALIZED;
1709       
1710   vtable = entry->vtable;
1711
1712   if (iholder->info->interface_init)
1713     {
1714       G_WRITE_UNLOCK (&type_rw_lock);
1715       if (iholder->info->interface_init)
1716         iholder->info->interface_init (vtable, iholder->info->interface_data);
1717       G_WRITE_LOCK (&type_rw_lock);
1718     }
1719   
1720   for (i = 0; i < static_n_iface_check_funcs; i++)
1721     {
1722       GTypeInterfaceCheckFunc check_func = static_iface_check_funcs[i].check_func;
1723       gpointer check_data = static_iface_check_funcs[i].check_data;
1724
1725       G_WRITE_UNLOCK (&type_rw_lock);
1726       check_func (check_data, (gpointer)vtable);
1727       G_WRITE_LOCK (&type_rw_lock);      
1728     }
1729 }
1730
1731 static gboolean
1732 type_iface_vtable_finalize_Wm (TypeNode       *iface,
1733                                TypeNode       *node,
1734                                GTypeInterface *vtable)
1735 {
1736   IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
1737   IFaceHolder *iholder;
1738   
1739   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
1740   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), FALSE);
1741   if (!iholder)
1742     return FALSE;       /* we don't modify write lock upon FALSE */
1743   
1744   g_assert (entry && entry->vtable == vtable && iholder->info);
1745   
1746   entry->vtable = NULL;
1747   entry->init_state = UNINITIALIZED;
1748   if (iholder->info->interface_finalize || iface->data->iface.vtable_finalize_base)
1749     {
1750       G_WRITE_UNLOCK (&type_rw_lock);
1751       if (iholder->info->interface_finalize)
1752         iholder->info->interface_finalize (vtable, iholder->info->interface_data);
1753       if (iface->data->iface.vtable_finalize_base)
1754         iface->data->iface.vtable_finalize_base (vtable);
1755       G_WRITE_LOCK (&type_rw_lock);
1756     }
1757   vtable->g_type = 0;
1758   vtable->g_instance_type = 0;
1759   g_free (vtable);
1760   
1761   type_iface_blow_holder_info_Wm (iface, NODE_TYPE (node));
1762   
1763   return TRUE;  /* write lock modified */
1764 }
1765
1766 static void
1767 type_class_init_Wm (TypeNode   *node,
1768                     GTypeClass *pclass)
1769 {
1770   GSList *slist, *init_slist = NULL;
1771   GTypeClass *class;
1772   IFaceEntry *entry;
1773   TypeNode *bnode, *pnode;
1774   guint i;
1775   
1776   g_assert (node->is_classed && node->data &&
1777             node->data->class.class_size &&
1778             !node->data->class.class &&
1779             node->data->class.init_state == UNINITIALIZED);
1780
1781   class = g_malloc0 (node->data->class.class_size);
1782   node->data->class.class = class;
1783   node->data->class.init_state = BASE_CLASS_INIT;
1784   
1785   if (pclass)
1786     {
1787       TypeNode *pnode = lookup_type_node_I (pclass->g_type);
1788       
1789       memcpy (class, pclass, pnode->data->class.class_size);
1790
1791       if (node->is_instantiatable)
1792         {
1793           /* We need to initialize the private_size here rather than in
1794            * type_data_make_W() since the class init for the parent
1795            * class may have changed pnode->data->instance.private_size.
1796            */
1797           node->data->instance.private_size = pnode->data->instance.private_size;
1798         }
1799     }
1800   class->g_type = NODE_TYPE (node);
1801   
1802   G_WRITE_UNLOCK (&type_rw_lock);
1803   
1804   /* stack all base class initialization functions, so we
1805    * call them in ascending order.
1806    */
1807   for (bnode = node; bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
1808     if (bnode->data->class.class_init_base)
1809       init_slist = g_slist_prepend (init_slist, (gpointer) bnode->data->class.class_init_base);
1810   for (slist = init_slist; slist; slist = slist->next)
1811     {
1812       GBaseInitFunc class_init_base = (GBaseInitFunc) slist->data;
1813       
1814       class_init_base (class);
1815     }
1816   g_slist_free (init_slist);
1817   
1818   G_WRITE_LOCK (&type_rw_lock);
1819
1820   node->data->class.init_state = BASE_IFACE_INIT;
1821   
1822   /* Before we initialize the class, base initialize all interfaces, either
1823    * from parent, or through our holder info
1824    */
1825   pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1826
1827   i = 0;
1828   while (i < CLASSED_NODE_N_IFACES (node))
1829     {
1830       entry = &CLASSED_NODE_IFACES_ENTRIES (node)[i];
1831       while (i < CLASSED_NODE_N_IFACES (node) &&
1832              entry->init_state == IFACE_INIT)
1833         {
1834           entry++;
1835           i++;
1836         }
1837
1838       if (i == CLASSED_NODE_N_IFACES (node))
1839         break;
1840
1841       if (!type_iface_vtable_base_init_Wm (lookup_type_node_I (entry->iface_type), node))
1842         {
1843           guint j;
1844           
1845           /* need to get this interface from parent, type_iface_vtable_base_init_Wm()
1846            * doesn't modify write lock upon FALSE, so entry is still valid; 
1847            */
1848           g_assert (pnode != NULL);
1849           
1850           for (j = 0; j < CLASSED_NODE_N_IFACES (pnode); j++)
1851             {
1852               IFaceEntry *pentry = CLASSED_NODE_IFACES_ENTRIES (pnode) + j;
1853               
1854               if (pentry->iface_type == entry->iface_type)
1855                 {
1856                   entry->vtable = pentry->vtable;
1857                   entry->init_state = INITIALIZED;
1858                   break;
1859                 }
1860             }
1861           g_assert (entry->vtable != NULL);
1862         }
1863
1864       /* If the write lock was released, additional interface entries might
1865        * have been inserted into CLASSED_NODE_IFACES_ENTRIES (node); they'll
1866        * be base-initialized when inserted, so we don't have to worry that
1867        * we might miss them. Uninitialized entries can only be moved higher
1868        * when new ones are inserted.
1869        */
1870       i++;
1871     }
1872   
1873   node->data->class.init_state = CLASS_INIT;
1874   
1875   G_WRITE_UNLOCK (&type_rw_lock);
1876
1877   if (node->data->class.class_init)
1878     node->data->class.class_init (class, (gpointer) node->data->class.class_data);
1879   
1880   G_WRITE_LOCK (&type_rw_lock);
1881   
1882   node->data->class.init_state = IFACE_INIT;
1883   
1884   /* finish initializing the interfaces through our holder info.
1885    * inherited interfaces are already init_state == INITIALIZED, because
1886    * they either got setup in the above base_init loop, or during
1887    * class_init from within type_add_interface_Wm() for this or
1888    * an anchestor type.
1889    */
1890   i = 0;
1891   while (TRUE)
1892     {
1893       entry = &CLASSED_NODE_IFACES_ENTRIES (node)[i];
1894       while (i < CLASSED_NODE_N_IFACES (node) &&
1895              entry->init_state == INITIALIZED)
1896         {
1897           entry++;
1898           i++;
1899         }
1900
1901       if (i == CLASSED_NODE_N_IFACES (node))
1902         break;
1903
1904       type_iface_vtable_iface_init_Wm (lookup_type_node_I (entry->iface_type), node);
1905       
1906       /* As in the loop above, additional initialized entries might be inserted
1907        * if the write lock is released, but that's harmless because the entries
1908        * we need to initialize only move higher in the list.
1909        */
1910       i++;
1911     }
1912   
1913   node->data->class.init_state = INITIALIZED;
1914 }
1915
1916 static void
1917 type_data_finalize_class_ifaces_Wm (TypeNode *node)
1918 {
1919   guint i;
1920
1921   g_assert (node->is_instantiatable && node->data && node->data->class.class && node->data->common.ref_count == 0);
1922
1923  reiterate:
1924   for (i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
1925     {
1926       IFaceEntry *entry = CLASSED_NODE_IFACES_ENTRIES (node) + i;
1927       if (entry->vtable)
1928         {
1929           if (type_iface_vtable_finalize_Wm (lookup_type_node_I (entry->iface_type), node, entry->vtable))
1930             {
1931               /* refetch entries, IFACES_ENTRIES might be modified */
1932               goto reiterate;
1933             }
1934           else
1935             {
1936               /* type_iface_vtable_finalize_Wm() doesn't modify write lock upon FALSE,
1937                * iface vtable came from parent
1938                */
1939               entry->vtable = NULL;
1940               entry->init_state = UNINITIALIZED;
1941             }
1942         }
1943     }
1944 }
1945
1946 static void
1947 type_data_finalize_class_U (TypeNode  *node,
1948                             ClassData *cdata)
1949 {
1950   GTypeClass *class = cdata->class;
1951   TypeNode *bnode;
1952   
1953   g_assert (cdata->class && cdata->common.ref_count == 0);
1954   
1955   if (cdata->class_finalize)
1956     cdata->class_finalize (class, (gpointer) cdata->class_data);
1957   
1958   /* call all base class destruction functions in descending order
1959    */
1960   if (cdata->class_finalize_base)
1961     cdata->class_finalize_base (class);
1962   for (bnode = lookup_type_node_I (NODE_PARENT_TYPE (node)); bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
1963     if (bnode->data->class.class_finalize_base)
1964       bnode->data->class.class_finalize_base (class);
1965   
1966   g_free (cdata->class);
1967 }
1968
1969 static void
1970 type_data_last_unref_Wm (GType    type,
1971                          gboolean uncached)
1972 {
1973   TypeNode *node = lookup_type_node_I (type);
1974   
1975   g_return_if_fail (node != NULL && node->plugin != NULL);
1976   
1977   if (!node->data || node->data->common.ref_count == 0)
1978     {
1979       g_warning ("cannot drop last reference to unreferenced type `%s'",
1980                  type_descriptive_name_I (type));
1981       return;
1982     }
1983
1984   /* call class cache hooks */
1985   if (node->is_classed && node->data && node->data->class.class && static_n_class_cache_funcs && !uncached)
1986     {
1987       guint i;
1988       
1989       G_WRITE_UNLOCK (&type_rw_lock);
1990       G_READ_LOCK (&type_rw_lock);
1991       for (i = 0; i < static_n_class_cache_funcs; i++)
1992         {
1993           GTypeClassCacheFunc cache_func = static_class_cache_funcs[i].cache_func;
1994           gpointer cache_data = static_class_cache_funcs[i].cache_data;
1995           gboolean need_break;
1996           
1997           G_READ_UNLOCK (&type_rw_lock);
1998           need_break = cache_func (cache_data, node->data->class.class);
1999           G_READ_LOCK (&type_rw_lock);
2000           if (!node->data || node->data->common.ref_count == 0)
2001             INVALID_RECURSION ("GType class cache function ", cache_func, NODE_NAME (node));
2002           if (need_break)
2003             break;
2004         }
2005       G_READ_UNLOCK (&type_rw_lock);
2006       G_WRITE_LOCK (&type_rw_lock);
2007     }
2008   
2009   if (node->data->common.ref_count > 1) /* may have been re-referenced meanwhile */
2010     node->data->common.ref_count -= 1;
2011   else
2012     {
2013       GType ptype = NODE_PARENT_TYPE (node);
2014       TypeData *tdata;
2015       
2016       node->data->common.ref_count = 0;
2017       
2018       if (node->is_instantiatable)
2019         {
2020           /* destroy node->data->instance.mem_chunk */
2021         }
2022       
2023       tdata = node->data;
2024       if (node->is_classed && tdata->class.class)
2025         {
2026           if (CLASSED_NODE_N_IFACES (node))
2027             type_data_finalize_class_ifaces_Wm (node);
2028           node->mutatable_check_cache = FALSE;
2029           node->data = NULL;
2030           G_WRITE_UNLOCK (&type_rw_lock);
2031           type_data_finalize_class_U (node, &tdata->class);
2032           G_WRITE_LOCK (&type_rw_lock);
2033         }
2034       else if (NODE_IS_IFACE (node) && tdata->iface.dflt_vtable)
2035         {
2036           node->mutatable_check_cache = FALSE;
2037           node->data = NULL;
2038           if (tdata->iface.dflt_finalize || tdata->iface.vtable_finalize_base)
2039             {
2040               G_WRITE_UNLOCK (&type_rw_lock);
2041               if (tdata->iface.dflt_finalize)
2042                 tdata->iface.dflt_finalize (tdata->iface.dflt_vtable, (gpointer) tdata->iface.dflt_data);
2043               if (tdata->iface.vtable_finalize_base)
2044                 tdata->iface.vtable_finalize_base (tdata->iface.dflt_vtable);
2045               G_WRITE_LOCK (&type_rw_lock);
2046             }
2047           g_free (tdata->iface.dflt_vtable);
2048         }
2049       else
2050         {
2051           node->mutatable_check_cache = FALSE;
2052           node->data = NULL;
2053         }
2054
2055       /* freeing tdata->common.value_table and its contents is taken care of
2056        * by allocating it in one chunk with tdata
2057        */
2058       g_free (tdata);
2059       
2060       G_WRITE_UNLOCK (&type_rw_lock);
2061       g_type_plugin_unuse (node->plugin);
2062       G_WRITE_LOCK (&type_rw_lock);
2063       if (ptype)
2064         type_data_unref_Wm (lookup_type_node_I (ptype), FALSE);
2065     }
2066 }
2067
2068 void
2069 g_type_add_class_cache_func (gpointer            cache_data,
2070                              GTypeClassCacheFunc cache_func)
2071 {
2072   guint i;
2073   
2074   g_return_if_fail (cache_func != NULL);
2075   
2076   G_WRITE_LOCK (&type_rw_lock);
2077   i = static_n_class_cache_funcs++;
2078   static_class_cache_funcs = g_renew (ClassCacheFunc, static_class_cache_funcs, static_n_class_cache_funcs);
2079   static_class_cache_funcs[i].cache_data = cache_data;
2080   static_class_cache_funcs[i].cache_func = cache_func;
2081   G_WRITE_UNLOCK (&type_rw_lock);
2082 }
2083
2084 void
2085 g_type_remove_class_cache_func (gpointer            cache_data,
2086                                 GTypeClassCacheFunc cache_func)
2087 {
2088   gboolean found_it = FALSE;
2089   guint i;
2090   
2091   g_return_if_fail (cache_func != NULL);
2092   
2093   G_WRITE_LOCK (&type_rw_lock);
2094   for (i = 0; i < static_n_class_cache_funcs; i++)
2095     if (static_class_cache_funcs[i].cache_data == cache_data &&
2096         static_class_cache_funcs[i].cache_func == cache_func)
2097       {
2098         static_n_class_cache_funcs--;
2099         g_memmove (static_class_cache_funcs + i,
2100                    static_class_cache_funcs + i + 1,
2101                    sizeof (static_class_cache_funcs[0]) * (static_n_class_cache_funcs - i));
2102         static_class_cache_funcs = g_renew (ClassCacheFunc, static_class_cache_funcs, static_n_class_cache_funcs);
2103         found_it = TRUE;
2104         break;
2105       }
2106   G_WRITE_UNLOCK (&type_rw_lock);
2107   
2108   if (!found_it)
2109     g_warning (G_STRLOC ": cannot remove unregistered class cache func %p with data %p",
2110                cache_func, cache_data);
2111 }
2112
2113
2114 void
2115 g_type_add_interface_check (gpointer                check_data,
2116                             GTypeInterfaceCheckFunc check_func)
2117 {
2118   guint i;
2119   
2120   g_return_if_fail (check_func != NULL);
2121   
2122   G_WRITE_LOCK (&type_rw_lock);
2123   i = static_n_iface_check_funcs++;
2124   static_iface_check_funcs = g_renew (IFaceCheckFunc, static_iface_check_funcs, static_n_iface_check_funcs);
2125   static_iface_check_funcs[i].check_data = check_data;
2126   static_iface_check_funcs[i].check_func = check_func;
2127   G_WRITE_UNLOCK (&type_rw_lock);
2128 }
2129
2130 void
2131 g_type_remove_interface_check (gpointer                check_data,
2132                                GTypeInterfaceCheckFunc check_func)
2133 {
2134   gboolean found_it = FALSE;
2135   guint i;
2136   
2137   g_return_if_fail (check_func != NULL);
2138   
2139   G_WRITE_LOCK (&type_rw_lock);
2140   for (i = 0; i < static_n_iface_check_funcs; i++)
2141     if (static_iface_check_funcs[i].check_data == check_data &&
2142         static_iface_check_funcs[i].check_func == check_func)
2143       {
2144         static_n_iface_check_funcs--;
2145         g_memmove (static_iface_check_funcs + i,
2146                    static_iface_check_funcs + i + 1,
2147                    sizeof (static_iface_check_funcs[0]) * (static_n_iface_check_funcs - i));
2148         static_iface_check_funcs = g_renew (IFaceCheckFunc, static_iface_check_funcs, static_n_iface_check_funcs);
2149         found_it = TRUE;
2150         break;
2151       }
2152   G_WRITE_UNLOCK (&type_rw_lock);
2153   
2154   if (!found_it)
2155     g_warning (G_STRLOC ": cannot remove unregistered class check func %p with data %p",
2156                check_func, check_data);
2157 }
2158
2159 /* --- type registration --- */
2160 GType
2161 g_type_register_fundamental (GType                       type_id,
2162                              const gchar                *type_name,
2163                              const GTypeInfo            *info,
2164                              const GTypeFundamentalInfo *finfo,
2165                              GTypeFlags                  flags)
2166 {
2167   TypeNode *node;
2168   
2169   g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
2170   g_return_val_if_fail (type_id > 0, 0);
2171   g_return_val_if_fail (type_name != NULL, 0);
2172   g_return_val_if_fail (info != NULL, 0);
2173   g_return_val_if_fail (finfo != NULL, 0);
2174   
2175   if (!check_type_name_I (type_name))
2176     return 0;
2177   if ((type_id & TYPE_ID_MASK) ||
2178       type_id > G_TYPE_FUNDAMENTAL_MAX)
2179     {
2180       g_warning ("attempt to register fundamental type `%s' with invalid type id (%lu)",
2181                  type_name,
2182                  type_id);
2183       return 0;
2184     }
2185   if ((finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE) &&
2186       !(finfo->type_flags & G_TYPE_FLAG_CLASSED))
2187     {
2188       g_warning ("cannot register instantiatable fundamental type `%s' as non-classed",
2189                  type_name);
2190       return 0;
2191     }
2192   if (lookup_type_node_I (type_id))
2193     {
2194       g_warning ("cannot register existing fundamental type `%s' (as `%s')",
2195                  type_descriptive_name_I (type_id),
2196                  type_name);
2197       return 0;
2198     }
2199   
2200   G_WRITE_LOCK (&type_rw_lock);
2201   node = type_node_fundamental_new_W (type_id, type_name, finfo->type_flags);
2202   type_add_flags_W (node, flags);
2203   
2204   if (check_type_info_I (NULL, NODE_FUNDAMENTAL_TYPE (node), type_name, info))
2205     type_data_make_W (node, info,
2206                       check_value_table_I (type_name, info->value_table) ? info->value_table : NULL);
2207   G_WRITE_UNLOCK (&type_rw_lock);
2208   
2209   return NODE_TYPE (node);
2210 }
2211
2212 GType
2213 g_type_register_static (GType            parent_type,
2214                         const gchar     *type_name,
2215                         const GTypeInfo *info,
2216                         GTypeFlags       flags)
2217 {
2218   TypeNode *pnode, *node;
2219   GType type = 0;
2220   
2221   g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
2222   g_return_val_if_fail (parent_type > 0, 0);
2223   g_return_val_if_fail (type_name != NULL, 0);
2224   g_return_val_if_fail (info != NULL, 0);
2225   
2226   if (!check_type_name_I (type_name) ||
2227       !check_derivation_I (parent_type, type_name))
2228     return 0;
2229   if (info->class_finalize)
2230     {
2231       g_warning ("class finalizer specified for static type `%s'",
2232                  type_name);
2233       return 0;
2234     }
2235   
2236   pnode = lookup_type_node_I (parent_type);
2237   G_WRITE_LOCK (&type_rw_lock);
2238   type_data_ref_Wm (pnode);
2239   if (check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (pnode), type_name, info))
2240     {
2241       node = type_node_new_W (pnode, type_name, NULL);
2242       type_add_flags_W (node, flags);
2243       type = NODE_TYPE (node);
2244       type_data_make_W (node, info,
2245                         check_value_table_I (type_name, info->value_table) ? info->value_table : NULL);
2246     }
2247   G_WRITE_UNLOCK (&type_rw_lock);
2248   
2249   return type;
2250 }
2251
2252 GType
2253 g_type_register_dynamic (GType        parent_type,
2254                          const gchar *type_name,
2255                          GTypePlugin *plugin,
2256                          GTypeFlags   flags)
2257 {
2258   TypeNode *pnode, *node;
2259   GType type;
2260   
2261   g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, 0);
2262   g_return_val_if_fail (parent_type > 0, 0);
2263   g_return_val_if_fail (type_name != NULL, 0);
2264   g_return_val_if_fail (plugin != NULL, 0);
2265   
2266   if (!check_type_name_I (type_name) ||
2267       !check_derivation_I (parent_type, type_name) ||
2268       !check_plugin_U (plugin, TRUE, FALSE, type_name))
2269     return 0;
2270   
2271   G_WRITE_LOCK (&type_rw_lock);
2272   pnode = lookup_type_node_I (parent_type);
2273   node = type_node_new_W (pnode, type_name, plugin);
2274   type_add_flags_W (node, flags);
2275   type = NODE_TYPE (node);
2276   G_WRITE_UNLOCK (&type_rw_lock);
2277   
2278   return type;
2279 }
2280
2281 void
2282 g_type_add_interface_static (GType                 instance_type,
2283                              GType                 interface_type,
2284                              const GInterfaceInfo *info)
2285 {
2286   /* G_TYPE_IS_INSTANTIATABLE() is an external call: _U */
2287   g_return_if_fail (G_TYPE_IS_INSTANTIATABLE (instance_type));
2288   g_return_if_fail (g_type_parent (interface_type) == G_TYPE_INTERFACE);
2289   
2290   G_WRITE_LOCK (&type_rw_lock);
2291   if (check_add_interface_L (instance_type, interface_type))
2292     {
2293       TypeNode *node = lookup_type_node_I (instance_type);
2294       TypeNode *iface = lookup_type_node_I (interface_type);
2295       
2296       if (check_interface_info_I (iface, NODE_TYPE (node), info))
2297         type_add_interface_Wm (node, iface, info, NULL);
2298     }
2299   G_WRITE_UNLOCK (&type_rw_lock);
2300 }
2301
2302 void
2303 g_type_add_interface_dynamic (GType        instance_type,
2304                               GType        interface_type,
2305                               GTypePlugin *plugin)
2306 {
2307   TypeNode *node;
2308   
2309   /* G_TYPE_IS_INSTANTIATABLE() is an external call: _U */
2310   g_return_if_fail (G_TYPE_IS_INSTANTIATABLE (instance_type));
2311   g_return_if_fail (g_type_parent (interface_type) == G_TYPE_INTERFACE);
2312   
2313   node = lookup_type_node_I (instance_type);
2314   if (!check_plugin_U (plugin, FALSE, TRUE, NODE_NAME (node)))
2315     return;
2316   
2317   G_WRITE_LOCK (&type_rw_lock);
2318   if (check_add_interface_L (instance_type, interface_type))
2319     {
2320       TypeNode *iface = lookup_type_node_I (interface_type);
2321       
2322       type_add_interface_Wm (node, iface, NULL, plugin);
2323     }
2324   G_WRITE_UNLOCK (&type_rw_lock);
2325 }
2326
2327
2328 /* --- public API functions --- */
2329 gpointer
2330 g_type_class_ref (GType type)
2331 {
2332   TypeNode *node;
2333   
2334   /* optimize for common code path
2335    */
2336   G_WRITE_LOCK (&type_rw_lock);
2337   node = lookup_type_node_I (type);
2338   if (node && node->is_classed && node->data &&
2339       node->data->class.class && node->data->common.ref_count > 0)
2340     {
2341       type_data_ref_Wm (node);
2342       G_WRITE_UNLOCK (&type_rw_lock);
2343       
2344       return node->data->class.class;
2345     }
2346   
2347   if (!node || !node->is_classed ||
2348       (node->data && node->data->common.ref_count < 1))
2349     {
2350       G_WRITE_UNLOCK (&type_rw_lock);
2351       g_warning ("cannot retrieve class for invalid (unclassed) type `%s'",
2352                  type_descriptive_name_I (type));
2353       return NULL;
2354     }
2355   
2356   type_data_ref_Wm (node);
2357   
2358   if (!node->data->class.class)
2359     {
2360       GType ptype = NODE_PARENT_TYPE (node);
2361       GTypeClass *pclass = NULL;
2362       
2363       if (ptype)
2364         {
2365           G_WRITE_UNLOCK (&type_rw_lock);
2366           pclass = g_type_class_ref (ptype);
2367           if (node->data->class.class)
2368             INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
2369           G_WRITE_LOCK (&type_rw_lock);
2370         }
2371       
2372       type_class_init_Wm (node, pclass);
2373     }
2374   G_WRITE_UNLOCK (&type_rw_lock);
2375   
2376   return node->data->class.class;
2377 }
2378
2379 void
2380 g_type_class_unref (gpointer g_class)
2381 {
2382   TypeNode *node;
2383   GTypeClass *class = g_class;
2384   
2385   g_return_if_fail (g_class != NULL);
2386   
2387   node = lookup_type_node_I (class->g_type);
2388   G_WRITE_LOCK (&type_rw_lock);
2389   if (node && node->is_classed && node->data &&
2390       node->data->class.class == class && node->data->common.ref_count > 0)
2391     type_data_unref_Wm (node, FALSE);
2392   else
2393     g_warning ("cannot unreference class of invalid (unclassed) type `%s'",
2394                type_descriptive_name_I (class->g_type));
2395   G_WRITE_UNLOCK (&type_rw_lock);
2396 }
2397
2398 void
2399 g_type_class_unref_uncached (gpointer g_class)
2400 {
2401   TypeNode *node;
2402   GTypeClass *class = g_class;
2403   
2404   g_return_if_fail (g_class != NULL);
2405   
2406   G_WRITE_LOCK (&type_rw_lock);
2407   node = lookup_type_node_I (class->g_type);
2408   if (node && node->is_classed && node->data &&
2409       node->data->class.class == class && node->data->common.ref_count > 0)
2410     type_data_unref_Wm (node, TRUE);
2411   else
2412     g_warning ("cannot unreference class of invalid (unclassed) type `%s'",
2413                type_descriptive_name_I (class->g_type));
2414   G_WRITE_UNLOCK (&type_rw_lock);
2415 }
2416
2417 gpointer
2418 g_type_class_peek (GType type)
2419 {
2420   TypeNode *node;
2421   gpointer class;
2422   
2423   node = lookup_type_node_I (type);
2424   G_READ_LOCK (&type_rw_lock);
2425   if (node && node->is_classed && node->data && node->data->class.class) /* common.ref_count _may_ be 0 */
2426     class = node->data->class.class;
2427   else
2428     class = NULL;
2429   G_READ_UNLOCK (&type_rw_lock);
2430   
2431   return class;
2432 }
2433
2434 gpointer
2435 g_type_class_peek_static (GType type)
2436 {
2437   TypeNode *node;
2438   gpointer class;
2439   
2440   node = lookup_type_node_I (type);
2441   G_READ_LOCK (&type_rw_lock);
2442   if (node && node->is_classed && node->data &&
2443       /* peek only static types: */ node->plugin == NULL &&
2444       node->data->class.class) /* common.ref_count _may_ be 0 */
2445     class = node->data->class.class;
2446   else
2447     class = NULL;
2448   G_READ_UNLOCK (&type_rw_lock);
2449   
2450   return class;
2451 }
2452
2453 gpointer
2454 g_type_class_peek_parent (gpointer g_class)
2455 {
2456   TypeNode *node;
2457   gpointer class = NULL;
2458   
2459   g_return_val_if_fail (g_class != NULL, NULL);
2460   
2461   node = lookup_type_node_I (G_TYPE_FROM_CLASS (g_class));
2462   /* We used to acquire a read lock here. That is not necessary, since 
2463    * parent->data->class.class is constant as long as the derived class
2464    * exists. 
2465    */
2466   if (node && node->is_classed && node->data && NODE_PARENT_TYPE (node))
2467     {
2468       node = lookup_type_node_I (NODE_PARENT_TYPE (node));
2469       class = node->data->class.class;
2470     }
2471   else if (NODE_PARENT_TYPE (node))
2472     g_warning (G_STRLOC ": invalid class pointer `%p'", g_class);
2473   
2474   return class;
2475 }
2476
2477 gpointer
2478 g_type_interface_peek (gpointer instance_class,
2479                        GType    iface_type)
2480 {
2481   TypeNode *node;
2482   TypeNode *iface;
2483   gpointer vtable = NULL;
2484   GTypeClass *class = instance_class;
2485   
2486   g_return_val_if_fail (instance_class != NULL, NULL);
2487   
2488   node = lookup_type_node_I (class->g_type);
2489   iface = lookup_type_node_I (iface_type);
2490   if (node && node->is_instantiatable && iface)
2491     {
2492       IFaceEntry *entry;
2493       
2494       G_READ_LOCK (&type_rw_lock);
2495       
2496       entry = type_lookup_iface_entry_L (node, iface);
2497       if (entry && entry->vtable)       /* entry is relocatable */
2498         vtable = entry->vtable;
2499       
2500       G_READ_UNLOCK (&type_rw_lock);
2501     }
2502   else
2503     g_warning (G_STRLOC ": invalid class pointer `%p'", class);
2504   
2505   return vtable;
2506 }
2507
2508 gpointer
2509 g_type_interface_peek_parent (gpointer g_iface)
2510 {
2511   TypeNode *node;
2512   TypeNode *iface;
2513   gpointer vtable = NULL;
2514   GTypeInterface *iface_class = g_iface;
2515   
2516   g_return_val_if_fail (g_iface != NULL, NULL);
2517   
2518   iface = lookup_type_node_I (iface_class->g_type);
2519   node = lookup_type_node_I (iface_class->g_instance_type);
2520   if (node)
2521     node = lookup_type_node_I (NODE_PARENT_TYPE (node));
2522   if (node && node->is_instantiatable && iface)
2523     {
2524       IFaceEntry *entry;
2525       
2526       G_READ_LOCK (&type_rw_lock);
2527       
2528       entry = type_lookup_iface_entry_L (node, iface);
2529       if (entry && entry->vtable)       /* entry is relocatable */
2530         vtable = entry->vtable;
2531       
2532       G_READ_UNLOCK (&type_rw_lock);
2533     }
2534   else if (node)
2535     g_warning (G_STRLOC ": invalid interface pointer `%p'", g_iface);
2536   
2537   return vtable;
2538 }
2539
2540 gpointer
2541 g_type_default_interface_ref (GType g_type)
2542 {
2543   TypeNode *node;
2544   
2545   G_WRITE_LOCK (&type_rw_lock);
2546   
2547   node = lookup_type_node_I (g_type);
2548   if (!node || !NODE_IS_IFACE (node) ||
2549       (node->data && node->data->common.ref_count < 1))
2550     {
2551       G_WRITE_UNLOCK (&type_rw_lock);
2552       g_warning ("cannot retrieve default vtable for invalid or non-interface type '%s'",
2553                  type_descriptive_name_I (g_type));
2554       return NULL;
2555     }
2556   
2557   type_data_ref_Wm (node);
2558
2559   type_iface_ensure_dflt_vtable_Wm (node);
2560
2561   G_WRITE_UNLOCK (&type_rw_lock);
2562   
2563   return node->data->iface.dflt_vtable;
2564 }
2565
2566 gpointer
2567 g_type_default_interface_peek (GType g_type)
2568 {
2569   TypeNode *node;
2570   gpointer vtable;
2571   
2572   node = lookup_type_node_I (g_type);
2573   G_READ_LOCK (&type_rw_lock);
2574   if (node && NODE_IS_IFACE (node) && node->data && node->data->iface.dflt_vtable)
2575     vtable = node->data->iface.dflt_vtable;
2576   else
2577     vtable = NULL;
2578   G_READ_UNLOCK (&type_rw_lock);
2579   
2580   return vtable;
2581 }
2582
2583 void
2584 g_type_default_interface_unref (gpointer g_iface)
2585 {
2586   TypeNode *node;
2587   GTypeInterface *vtable = g_iface;
2588   
2589   g_return_if_fail (g_iface != NULL);
2590   
2591   node = lookup_type_node_I (vtable->g_type);
2592   G_WRITE_LOCK (&type_rw_lock);
2593   if (node && NODE_IS_IFACE (node) &&
2594       node->data->iface.dflt_vtable == g_iface &&
2595       node->data->common.ref_count > 0)
2596     type_data_unref_Wm (node, FALSE);
2597   else
2598     g_warning ("cannot unreference invalid interface default vtable for '%s'",
2599                type_descriptive_name_I (vtable->g_type));
2600   G_WRITE_UNLOCK (&type_rw_lock);
2601 }
2602
2603 G_CONST_RETURN gchar*
2604 g_type_name (GType type)
2605 {
2606   TypeNode *node;
2607   
2608   g_return_val_if_uninitialized (static_quark_type_flags, g_type_init, NULL);
2609   
2610   node = lookup_type_node_I (type);
2611   
2612   return node ? NODE_NAME (node) : NULL;
2613 }
2614
2615 GQuark
2616 g_type_qname (GType type)
2617 {
2618   TypeNode *node;
2619   
2620   node = lookup_type_node_I (type);
2621   
2622   return node ? node->qname : 0;
2623 }
2624
2625 GType
2626 g_type_from_name (const gchar *name)
2627 {
2628   GType type = 0;
2629   GQuark quark;
2630   
2631   g_return_val_if_fail (name != NULL, 0);
2632   
2633   quark = g_quark_try_string (name);
2634   if (quark)
2635     {
2636       G_READ_LOCK (&type_rw_lock);
2637       type = (GType) g_hash_table_lookup (static_type_nodes_ht, GUINT_TO_POINTER (quark));
2638       G_READ_UNLOCK (&type_rw_lock);
2639     }
2640   
2641   return type;
2642 }
2643
2644 GType
2645 g_type_parent (GType type)
2646 {
2647   TypeNode *node;
2648   
2649   node = lookup_type_node_I (type);
2650   
2651   return node ? NODE_PARENT_TYPE (node) : 0;
2652 }
2653
2654 guint
2655 g_type_depth (GType type)
2656 {
2657   TypeNode *node;
2658   
2659   node = lookup_type_node_I (type);
2660   
2661   return node ? node->n_supers + 1 : 0;
2662 }
2663
2664 GType
2665 g_type_next_base (GType type,
2666                   GType base_type)
2667 {
2668   GType atype = 0;
2669   TypeNode *node;
2670   
2671   node = lookup_type_node_I (type);
2672   if (node)
2673     {
2674       TypeNode *base_node = lookup_type_node_I (base_type);
2675       
2676       if (base_node && base_node->n_supers < node->n_supers)
2677         {
2678           guint n = node->n_supers - base_node->n_supers;
2679           
2680           if (node->supers[n] == base_type)
2681             atype = node->supers[n - 1];
2682         }
2683     }
2684   
2685   return atype;
2686 }
2687
2688 static inline gboolean
2689 type_node_check_conformities_UorL (TypeNode *node,
2690                                    TypeNode *iface_node,
2691                                    /*        support_inheritance */
2692                                    gboolean  support_interfaces,
2693                                    gboolean  support_prerequisites,
2694                                    gboolean  have_lock)
2695 {
2696   gboolean match;
2697   
2698   if (/* support_inheritance && */
2699       NODE_IS_ANCESTOR (iface_node, node))
2700     return TRUE;
2701   
2702   support_interfaces = support_interfaces && node->is_instantiatable && NODE_IS_IFACE (iface_node);
2703   support_prerequisites = support_prerequisites && NODE_IS_IFACE (node);
2704   match = FALSE;
2705   if (support_interfaces || support_prerequisites)
2706     {
2707       if (!have_lock)
2708         G_READ_LOCK (&type_rw_lock);
2709       if (support_interfaces && type_lookup_iface_entry_L (node, iface_node))
2710         match = TRUE;
2711       else if (support_prerequisites && type_lookup_prerequisite_L (node, NODE_TYPE (iface_node)))
2712         match = TRUE;
2713       if (!have_lock)
2714         G_READ_UNLOCK (&type_rw_lock);
2715     }
2716   return match;
2717 }
2718
2719 static gboolean
2720 type_node_is_a_L (TypeNode *node,
2721                   TypeNode *iface_node)
2722 {
2723   return type_node_check_conformities_UorL (node, iface_node, TRUE, TRUE, TRUE);
2724 }
2725
2726 static inline gboolean
2727 type_node_conforms_to_U (TypeNode *node,
2728                          TypeNode *iface_node,
2729                          gboolean  support_interfaces,
2730                          gboolean  support_prerequisites)
2731 {
2732   return type_node_check_conformities_UorL (node, iface_node, support_interfaces, support_prerequisites, FALSE);
2733 }
2734
2735 gboolean
2736 g_type_is_a (GType type,
2737              GType iface_type)
2738 {
2739   TypeNode *node, *iface_node;
2740   gboolean is_a;
2741   
2742   node = lookup_type_node_I (type);
2743   iface_node = lookup_type_node_I (iface_type);
2744   is_a = node && iface_node && type_node_conforms_to_U (node, iface_node, TRUE, TRUE);
2745   
2746   return is_a;
2747 }
2748
2749 GType* /* free result */
2750 g_type_children (GType  type,
2751                  guint *n_children)
2752 {
2753   TypeNode *node;
2754   
2755   node = lookup_type_node_I (type);
2756   if (node)
2757     {
2758       GType *children;
2759       
2760       G_READ_LOCK (&type_rw_lock);      /* ->children is relocatable */
2761       children = g_new (GType, node->n_children + 1);
2762       memcpy (children, node->children, sizeof (GType) * node->n_children);
2763       children[node->n_children] = 0;
2764       
2765       if (n_children)
2766         *n_children = node->n_children;
2767       G_READ_UNLOCK (&type_rw_lock);
2768       
2769       return children;
2770     }
2771   else
2772     {
2773       if (n_children)
2774         *n_children = 0;
2775       
2776       return NULL;
2777     }
2778 }
2779
2780 GType* /* free result */
2781 g_type_interfaces (GType  type,
2782                    guint *n_interfaces)
2783 {
2784   TypeNode *node;
2785   
2786   node = lookup_type_node_I (type);
2787   if (node && node->is_instantiatable)
2788     {
2789       GType *ifaces;
2790       guint i;
2791       
2792       G_READ_LOCK (&type_rw_lock);
2793       ifaces = g_new (GType, CLASSED_NODE_N_IFACES (node) + 1);
2794       for (i = 0; i < CLASSED_NODE_N_IFACES (node); i++)
2795         ifaces[i] = CLASSED_NODE_IFACES_ENTRIES (node)[i].iface_type;
2796       ifaces[i] = 0;
2797       
2798       if (n_interfaces)
2799         *n_interfaces = CLASSED_NODE_N_IFACES (node);
2800       G_READ_UNLOCK (&type_rw_lock);
2801       
2802       return ifaces;
2803     }
2804   else
2805     {
2806       if (n_interfaces)
2807         *n_interfaces = 0;
2808       
2809       return NULL;
2810     }
2811 }
2812
2813 typedef struct _QData QData;
2814 struct _GData
2815 {
2816   guint  n_qdatas;
2817   QData *qdatas;
2818 };
2819 struct _QData
2820 {
2821   GQuark   quark;
2822   gpointer data;
2823 };
2824
2825 static inline gpointer
2826 type_get_qdata_L (TypeNode *node,
2827                   GQuark    quark)
2828 {
2829   GData *gdata = node->global_gdata;
2830   
2831   if (quark && gdata && gdata->n_qdatas)
2832     {
2833       QData *qdatas = gdata->qdatas - 1;
2834       guint n_qdatas = gdata->n_qdatas;
2835       
2836       do
2837         {
2838           guint i;
2839           QData *check;
2840           
2841           i = (n_qdatas + 1) / 2;
2842           check = qdatas + i;
2843           if (quark == check->quark)
2844             return check->data;
2845           else if (quark > check->quark)
2846             {
2847               n_qdatas -= i;
2848               qdatas = check;
2849             }
2850           else /* if (quark < check->quark) */
2851             n_qdatas = i - 1;
2852         }
2853       while (n_qdatas);
2854     }
2855   return NULL;
2856 }
2857
2858 gpointer
2859 g_type_get_qdata (GType  type,
2860                   GQuark quark)
2861 {
2862   TypeNode *node;
2863   gpointer data;
2864   
2865   node = lookup_type_node_I (type);
2866   if (node)
2867     {
2868       G_READ_LOCK (&type_rw_lock);
2869       data = type_get_qdata_L (node, quark);
2870       G_READ_UNLOCK (&type_rw_lock);
2871     }
2872   else
2873     {
2874       g_return_val_if_fail (node != NULL, NULL);
2875       data = NULL;
2876     }
2877   return data;
2878 }
2879
2880 static inline void
2881 type_set_qdata_W (TypeNode *node,
2882                   GQuark    quark,
2883                   gpointer  data)
2884 {
2885   GData *gdata;
2886   QData *qdata;
2887   guint i;
2888   
2889   /* setup qdata list if necessary */
2890   if (!node->global_gdata)
2891     node->global_gdata = g_new0 (GData, 1);
2892   gdata = node->global_gdata;
2893   
2894   /* try resetting old data */
2895   qdata = gdata->qdatas;
2896   for (i = 0; i < gdata->n_qdatas; i++)
2897     if (qdata[i].quark == quark)
2898       {
2899         qdata[i].data = data;
2900         return;
2901       }
2902   
2903   /* add new entry */
2904   gdata->n_qdatas++;
2905   gdata->qdatas = g_renew (QData, gdata->qdatas, gdata->n_qdatas);
2906   qdata = gdata->qdatas;
2907   for (i = 0; i < gdata->n_qdatas - 1; i++)
2908     if (qdata[i].quark > quark)
2909       break;
2910   g_memmove (qdata + i + 1, qdata + i, sizeof (qdata[0]) * (gdata->n_qdatas - i - 1));
2911   qdata[i].quark = quark;
2912   qdata[i].data = data;
2913 }
2914
2915 void
2916 g_type_set_qdata (GType    type,
2917                   GQuark   quark,
2918                   gpointer data)
2919 {
2920   TypeNode *node;
2921   
2922   g_return_if_fail (quark != 0);
2923   
2924   node = lookup_type_node_I (type);
2925   if (node)
2926     {
2927       G_WRITE_LOCK (&type_rw_lock);
2928       type_set_qdata_W (node, quark, data);
2929       G_WRITE_UNLOCK (&type_rw_lock);
2930     }
2931   else
2932     g_return_if_fail (node != NULL);
2933 }
2934
2935 static void
2936 type_add_flags_W (TypeNode  *node,
2937                   GTypeFlags flags)
2938 {
2939   guint dflags;
2940   
2941   g_return_if_fail ((flags & ~TYPE_FLAG_MASK) == 0);
2942   g_return_if_fail (node != NULL);
2943   
2944   if ((flags & TYPE_FLAG_MASK) && node->is_classed && node->data && node->data->class.class)
2945     g_warning ("tagging type `%s' as abstract after class initialization", NODE_NAME (node));
2946   dflags = GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags));
2947   dflags |= flags;
2948   type_set_qdata_W (node, static_quark_type_flags, GUINT_TO_POINTER (dflags));
2949 }
2950
2951 void
2952 g_type_query (GType       type,
2953               GTypeQuery *query)
2954 {
2955   TypeNode *node;
2956   
2957   g_return_if_fail (query != NULL);
2958   
2959   /* if node is not static and classed, we won't allow query */
2960   query->type = 0;
2961   node = lookup_type_node_I (type);
2962   if (node && node->is_classed && !node->plugin)
2963     {
2964       /* type is classed and probably even instantiatable */
2965       G_READ_LOCK (&type_rw_lock);
2966       if (node->data)   /* type is static or referenced */
2967         {
2968           query->type = NODE_TYPE (node);
2969           query->type_name = NODE_NAME (node);
2970           query->class_size = node->data->class.class_size;
2971           query->instance_size = node->is_instantiatable ? node->data->instance.instance_size : 0;
2972         }
2973       G_READ_UNLOCK (&type_rw_lock);
2974     }
2975 }
2976
2977
2978 /* --- implementation details --- */
2979 gboolean
2980 g_type_test_flags (GType type,
2981                    guint flags)
2982 {
2983   TypeNode *node;
2984   gboolean result = FALSE;
2985   
2986   node = lookup_type_node_I (type);
2987   if (node)
2988     {
2989       guint fflags = flags & TYPE_FUNDAMENTAL_FLAG_MASK;
2990       guint tflags = flags & TYPE_FLAG_MASK;
2991       
2992       if (fflags)
2993         {
2994           GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (node);
2995           
2996           fflags = (finfo->type_flags & fflags) == fflags;
2997         }
2998       else
2999         fflags = TRUE;
3000       
3001       if (tflags)
3002         {
3003           G_READ_LOCK (&type_rw_lock);
3004           tflags = (tflags & GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))) == tflags;
3005           G_READ_UNLOCK (&type_rw_lock);
3006         }
3007       else
3008         tflags = TRUE;
3009       
3010       result = tflags && fflags;
3011     }
3012   
3013   return result;
3014 }
3015
3016 GTypePlugin*
3017 g_type_get_plugin (GType type)
3018 {
3019   TypeNode *node;
3020   
3021   node = lookup_type_node_I (type);
3022   
3023   return node ? node->plugin : NULL;
3024 }
3025
3026 GTypePlugin*
3027 g_type_interface_get_plugin (GType instance_type,
3028                              GType interface_type)
3029 {
3030   TypeNode *node;
3031   TypeNode *iface;
3032   
3033   g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);    /* G_TYPE_IS_INTERFACE() is an external call: _U */
3034   
3035   node = lookup_type_node_I (instance_type);  
3036   iface = lookup_type_node_I (interface_type);
3037   if (node && iface)
3038     {
3039       IFaceHolder *iholder;
3040       GTypePlugin *plugin;
3041       
3042       G_READ_LOCK (&type_rw_lock);
3043       
3044       iholder = iface_node_get_holders_L (iface);
3045       while (iholder && iholder->instance_type != instance_type)
3046         iholder = iholder->next;
3047       plugin = iholder ? iholder->plugin : NULL;
3048       
3049       G_READ_UNLOCK (&type_rw_lock);
3050       
3051       return plugin;
3052     }
3053   
3054   g_return_val_if_fail (node == NULL, NULL);
3055   g_return_val_if_fail (iface == NULL, NULL);
3056   
3057   g_warning (G_STRLOC ": attempt to look up plugin for invalid instance/interface type pair.");
3058   
3059   return NULL;
3060 }
3061
3062 GType
3063 g_type_fundamental_next (void)
3064 {
3065   GType type;
3066   
3067   G_READ_LOCK (&type_rw_lock);
3068   type = static_fundamental_next;
3069   G_READ_UNLOCK (&type_rw_lock);
3070   type = G_TYPE_MAKE_FUNDAMENTAL (type);
3071   return type <= G_TYPE_FUNDAMENTAL_MAX ? type : 0;
3072 }
3073
3074 GType
3075 g_type_fundamental (GType type_id)
3076 {
3077   TypeNode *node = lookup_type_node_I (type_id);
3078   
3079   return node ? NODE_FUNDAMENTAL_TYPE (node) : 0;
3080 }
3081
3082 gboolean
3083 g_type_check_instance_is_a (GTypeInstance *type_instance,
3084                             GType          iface_type)
3085 {
3086   TypeNode *node, *iface;
3087   gboolean check;
3088   
3089   if (!type_instance || !type_instance->g_class)
3090     return FALSE;
3091   
3092   node = lookup_type_node_I (type_instance->g_class->g_type);
3093   iface = lookup_type_node_I (iface_type);
3094   check = node && node->is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
3095   
3096   return check;
3097 }
3098
3099 gboolean
3100 g_type_check_class_is_a (GTypeClass *type_class,
3101                          GType       is_a_type)
3102 {
3103   TypeNode *node, *iface;
3104   gboolean check;
3105   
3106   if (!type_class)
3107     return FALSE;
3108   
3109   node = lookup_type_node_I (type_class->g_type);
3110   iface = lookup_type_node_I (is_a_type);
3111   check = node && node->is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
3112   
3113   return check;
3114 }
3115
3116 GTypeInstance*
3117 g_type_check_instance_cast (GTypeInstance *type_instance,
3118                             GType          iface_type)
3119 {
3120   if (type_instance)
3121     {
3122       if (type_instance->g_class)
3123         {
3124           TypeNode *node, *iface;
3125           gboolean is_instantiatable, check;
3126           
3127           node = lookup_type_node_I (type_instance->g_class->g_type);
3128           is_instantiatable = node && node->is_instantiatable;
3129           iface = lookup_type_node_I (iface_type);
3130           check = is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
3131           if (check)
3132             return type_instance;
3133           
3134           if (is_instantiatable)
3135             g_warning ("invalid cast from `%s' to `%s'",
3136                        type_descriptive_name_I (type_instance->g_class->g_type),
3137                        type_descriptive_name_I (iface_type));
3138           else
3139             g_warning ("invalid uninstantiatable type `%s' in cast to `%s'",
3140                        type_descriptive_name_I (type_instance->g_class->g_type),
3141                        type_descriptive_name_I (iface_type));
3142         }
3143       else
3144         g_warning ("invalid unclassed pointer in cast to `%s'",
3145                    type_descriptive_name_I (iface_type));
3146     }
3147   
3148   return type_instance;
3149 }
3150
3151 GTypeClass*
3152 g_type_check_class_cast (GTypeClass *type_class,
3153                          GType       is_a_type)
3154 {
3155   if (type_class)
3156     {
3157       TypeNode *node, *iface;
3158       gboolean is_classed, check;
3159       
3160       node = lookup_type_node_I (type_class->g_type);
3161       is_classed = node && node->is_classed;
3162       iface = lookup_type_node_I (is_a_type);
3163       check = is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
3164       if (check)
3165         return type_class;
3166       
3167       if (is_classed)
3168         g_warning ("invalid class cast from `%s' to `%s'",
3169                    type_descriptive_name_I (type_class->g_type),
3170                    type_descriptive_name_I (is_a_type));
3171       else
3172         g_warning ("invalid unclassed type `%s' in class cast to `%s'",
3173                    type_descriptive_name_I (type_class->g_type),
3174                    type_descriptive_name_I (is_a_type));
3175     }
3176   else
3177     g_warning ("invalid class cast from (NULL) pointer to `%s'",
3178                type_descriptive_name_I (is_a_type));
3179   return type_class;
3180 }
3181
3182 gboolean
3183 g_type_check_instance (GTypeInstance *type_instance)
3184 {
3185   /* this function is just here to make the signal system
3186    * conveniently elaborated on instance checks
3187    */
3188   if (type_instance)
3189     {
3190       if (type_instance->g_class)
3191         {
3192           TypeNode *node = lookup_type_node_I (type_instance->g_class->g_type);
3193           
3194           if (node && node->is_instantiatable)
3195             return TRUE;
3196           
3197           g_warning ("instance of invalid non-instantiatable type `%s'",
3198                      type_descriptive_name_I (type_instance->g_class->g_type));
3199         }
3200       else
3201         g_warning ("instance with invalid (NULL) class pointer");
3202     }
3203   else
3204     g_warning ("invalid (NULL) pointer instance");
3205   
3206   return FALSE;
3207 }
3208
3209 static inline gboolean
3210 type_check_is_value_type_U (GType type)
3211 {
3212   GTypeFlags tflags = G_TYPE_FLAG_VALUE_ABSTRACT;
3213   TypeNode *node;
3214   
3215   /* common path speed up */
3216   node = lookup_type_node_I (type);
3217   if (node && node->mutatable_check_cache)
3218     return TRUE;
3219   
3220   G_READ_LOCK (&type_rw_lock);
3221  restart_check:
3222   if (node)
3223     {
3224       if (node->data && node->data->common.ref_count > 0 &&
3225           node->data->common.value_table->value_init)
3226         tflags = GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags));
3227       else if (NODE_IS_IFACE (node))
3228         {
3229           guint i;
3230           
3231           for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
3232             {
3233               GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
3234               TypeNode *prnode = lookup_type_node_I (prtype);
3235               
3236               if (prnode->is_instantiatable)
3237                 {
3238                   type = prtype;
3239                   node = lookup_type_node_I (type);
3240                   goto restart_check;
3241                 }
3242             }
3243         }
3244     }
3245   G_READ_UNLOCK (&type_rw_lock);
3246   
3247   return !(tflags & G_TYPE_FLAG_VALUE_ABSTRACT);
3248 }
3249
3250 gboolean
3251 g_type_check_is_value_type (GType type)
3252 {
3253   return type_check_is_value_type_U (type);
3254 }
3255
3256 gboolean
3257 g_type_check_value (GValue *value)
3258 {
3259   return value && type_check_is_value_type_U (value->g_type);
3260 }
3261
3262 gboolean
3263 g_type_check_value_holds (GValue *value,
3264                           GType   type)
3265 {
3266   return value && type_check_is_value_type_U (value->g_type) && g_type_is_a (value->g_type, type);
3267 }
3268
3269 GTypeValueTable*
3270 g_type_value_table_peek (GType type)
3271 {
3272   GTypeValueTable *vtable = NULL;
3273   TypeNode *node = lookup_type_node_I (type);
3274   gboolean has_refed_data, has_table;
3275   TypeData *data;
3276
3277   /* speed up common code path, we're not 100% safe here,
3278    * but we should only get called with referenced types anyway
3279    */
3280   data = node ? node->data : NULL;
3281   if (node && node->mutatable_check_cache)
3282     return data->common.value_table;
3283
3284   G_READ_LOCK (&type_rw_lock);
3285   
3286  restart_table_peek:
3287   has_refed_data = node && node->data && node->data->common.ref_count;
3288   has_table = has_refed_data && node->data->common.value_table->value_init;
3289   if (has_refed_data)
3290     {
3291       if (has_table)
3292         vtable = node->data->common.value_table;
3293       else if (NODE_IS_IFACE (node))
3294         {
3295           guint i;
3296           
3297           for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
3298             {
3299               GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
3300               TypeNode *prnode = lookup_type_node_I (prtype);
3301               
3302               if (prnode->is_instantiatable)
3303                 {
3304                   type = prtype;
3305                   node = lookup_type_node_I (type);
3306                   goto restart_table_peek;
3307                 }
3308             }
3309         }
3310     }
3311   
3312   G_READ_UNLOCK (&type_rw_lock);
3313   
3314   if (vtable)
3315     return vtable;
3316   
3317   if (!node)
3318     g_warning (G_STRLOC ": type id `%lu' is invalid", type);
3319   if (!has_refed_data)
3320     g_warning ("can't peek value table for type `%s' which is not currently referenced",
3321                type_descriptive_name_I (type));
3322   
3323   return NULL;
3324 }
3325
3326 G_CONST_RETURN gchar*
3327 g_type_name_from_instance (GTypeInstance *instance)
3328 {
3329   if (!instance)
3330     return "<NULL-instance>";
3331   else
3332     return g_type_name_from_class (instance->g_class);
3333 }
3334
3335 G_CONST_RETURN gchar*
3336 g_type_name_from_class (GTypeClass *g_class)
3337 {
3338   if (!g_class)
3339     return "<NULL-class>";
3340   else
3341     return g_type_name (g_class->g_type);
3342 }
3343
3344
3345 /* --- initialization --- */
3346 void
3347 g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
3348 {
3349   G_LOCK_DEFINE_STATIC (type_init_lock);
3350   const gchar *env_string;
3351   GTypeInfo info;
3352   TypeNode *node;
3353   GType type;
3354   
3355   G_LOCK (type_init_lock);
3356   
3357   G_WRITE_LOCK (&type_rw_lock);
3358   
3359   if (static_quark_type_flags)
3360     {
3361       G_WRITE_UNLOCK (&type_rw_lock);
3362       G_UNLOCK (type_init_lock);
3363       return;
3364     }
3365   
3366   /* setup GObject library wide debugging flags */
3367   _g_type_debug_flags = debug_flags & G_TYPE_DEBUG_MASK;
3368   env_string = g_getenv ("GOBJECT_DEBUG");
3369   if (env_string != NULL)
3370     {
3371       static GDebugKey debug_keys[] = {
3372         { "objects", G_TYPE_DEBUG_OBJECTS },
3373         { "signals", G_TYPE_DEBUG_SIGNALS },
3374       };
3375       
3376       _g_type_debug_flags |= g_parse_debug_string (env_string,
3377                                                    debug_keys,
3378                                                    sizeof (debug_keys) / sizeof (debug_keys[0]));
3379       env_string = NULL;
3380     }
3381   
3382   /* quarks */
3383   static_quark_type_flags = g_quark_from_static_string ("-g-type-private--GTypeFlags");
3384   static_quark_iface_holder = g_quark_from_static_string ("-g-type-private--IFaceHolder");
3385   static_quark_dependants_array = g_quark_from_static_string ("-g-type-private--dependants-array");
3386   
3387   /* type qname hash table */
3388   static_type_nodes_ht = g_hash_table_new (g_direct_hash, g_direct_equal);
3389   
3390   /* invalid type G_TYPE_INVALID (0)
3391    */
3392   static_fundamental_type_nodes[0] = NULL;
3393   
3394   /* void type G_TYPE_NONE
3395    */
3396   node = type_node_fundamental_new_W (G_TYPE_NONE, g_intern_static_string ("void"), 0);
3397   type = NODE_TYPE (node);
3398   g_assert (type == G_TYPE_NONE);
3399   
3400   /* interface fundamental type G_TYPE_INTERFACE (!classed)
3401    */
3402   memset (&info, 0, sizeof (info));
3403   node = type_node_fundamental_new_W (G_TYPE_INTERFACE, g_intern_static_string ("GInterface"), G_TYPE_FLAG_DERIVABLE);
3404   type = NODE_TYPE (node);
3405   type_data_make_W (node, &info, NULL);
3406   g_assert (type == G_TYPE_INTERFACE);
3407   
3408   G_WRITE_UNLOCK (&type_rw_lock);
3409   
3410   g_value_c_init ();
3411
3412   /* G_TYPE_TYPE_PLUGIN
3413    */
3414   g_type_plugin_get_type ();
3415   
3416   /* G_TYPE_* value types
3417    */
3418   g_value_types_init ();
3419   
3420   /* G_TYPE_ENUM & G_TYPE_FLAGS
3421    */
3422   g_enum_types_init ();
3423   
3424   /* G_TYPE_BOXED
3425    */
3426   g_boxed_type_init ();
3427   
3428   /* G_TYPE_PARAM
3429    */
3430   g_param_type_init ();
3431   
3432   /* G_TYPE_OBJECT
3433    */
3434   g_object_type_init ();
3435   
3436   /* G_TYPE_PARAM_* pspec types
3437    */
3438   g_param_spec_types_init ();
3439   
3440   /* Value Transformations
3441    */
3442   g_value_transforms_init ();
3443   
3444   /* Signal system
3445    */
3446   g_signal_init ();
3447   
3448   G_UNLOCK (type_init_lock);
3449 }
3450
3451 void 
3452 g_type_init (void)
3453 {
3454   g_type_init_with_debug_flags (0);
3455 }
3456
3457 void
3458 g_type_class_add_private (gpointer g_class,
3459                           gsize    private_size)
3460 {
3461   GType instance_type = ((GTypeClass *)g_class)->g_type;
3462   TypeNode *node = lookup_type_node_I (instance_type);
3463   gsize offset;
3464
3465   if (!node || !node->is_instantiatable || !node->data || node->data->class.class != g_class)
3466     {
3467       g_warning ("cannot add private field to invalid (non-instantiatable) type '%s'",
3468                  type_descriptive_name_I (instance_type));
3469       return;
3470     }
3471
3472   if (NODE_PARENT_TYPE (node))
3473     {
3474       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
3475       if (node->data->instance.private_size != pnode->data->instance.private_size)
3476         {
3477           g_warning ("g_type_add_private() called multiple times for the same type");
3478           return;
3479         }
3480     }
3481   
3482   G_WRITE_LOCK (&type_rw_lock);
3483
3484   offset = ALIGN_STRUCT (node->data->instance.private_size);
3485   node->data->instance.private_size = offset + private_size;
3486   
3487   G_WRITE_UNLOCK (&type_rw_lock);
3488 }
3489
3490 gpointer
3491 g_type_instance_get_private (GTypeInstance *instance,
3492                              GType          private_type)
3493 {
3494   TypeNode *instance_node;
3495   TypeNode *private_node;
3496   TypeNode *parent_node;
3497   GTypeClass *class;
3498   gsize offset;
3499
3500   g_return_val_if_fail (instance != NULL && instance->g_class != NULL, NULL);
3501
3502   /* while instances are initialized, their class pointers change,
3503    * so figure the instances real class first
3504    */
3505   class = instance_real_class_get (instance);
3506   if (!class)
3507     class = instance->g_class;
3508
3509   instance_node = lookup_type_node_I (class->g_type);
3510   if (G_UNLIKELY (!instance_node || !instance_node->is_instantiatable))
3511     {
3512       g_warning ("instance of invalid non-instantiatable type `%s'",
3513                  type_descriptive_name_I (instance->g_class->g_type));
3514       return NULL;
3515     }
3516
3517   private_node = lookup_type_node_I (private_type);
3518   if (G_UNLIKELY (!private_node || !NODE_IS_ANCESTOR (private_node, instance_node)))
3519     {
3520       g_warning ("attempt to retrieve private data for invalid type '%s'",
3521                  type_descriptive_name_I (private_type));
3522       return NULL;
3523     }
3524
3525   /* Note that we don't need a read lock, since instance existing
3526    * means that the instance class and all parent classes
3527    * exist, so the node->data, node->data->instance.instance_size,
3528    * and node->data->instance.private_size are not going to be changed.
3529    * for any of the relevant types.
3530    */
3531
3532   offset = ALIGN_STRUCT (instance_node->data->instance.instance_size);
3533
3534   if (NODE_PARENT_TYPE (private_node))
3535     {
3536       parent_node = lookup_type_node_I (NODE_PARENT_TYPE (private_node));
3537       g_assert (parent_node->data && parent_node->data->common.ref_count);
3538
3539       if (G_UNLIKELY (private_node->data->instance.private_size == parent_node->data->instance.private_size))
3540         {
3541           g_warning ("g_type_get_private() requires a prior call to g_type_add_private()");
3542           return NULL;
3543         }
3544
3545       offset += ALIGN_STRUCT (parent_node->data->instance.private_size);
3546     }
3547
3548   return G_STRUCT_MEMBER_P (instance, offset);
3549 }
3550
3551 #define __G_TYPE_C__
3552 #include "gobjectaliasdef.c"