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
  20 /*
  21  * MT safe
  22  */
  23
  24 #include "config.h"
  25
  26 #include "../glib/valgrind.h"
  27 #include <string.h>
  28
  29 #include "gtype.h"
  30 #include "gtype-private.h"
  31 #include "gtypeplugin.h"
  32 #include "gvaluecollector.h"
  33 #include "gbsearcharray.h"
  34 #include "gatomicarray.h"
  35 #include "gobject_trace.h"
  36
  37 #include "gconstructor.h"
  38
  39
  40 /**
  41  * SECTION:gtype
  42  * @short_description: The GLib Runtime type identification and
  43  *     management system
  44  * @title:Type Information
  45  *
  46  * The GType API is the foundation of the GObject system.  It provides the
  47  * facilities for registering and managing all fundamental data types,
  48  * user-defined object and interface types.
  49  *
  50  * For type creation and registration purposes, all types fall into one of
  51  * two categories: static or dynamic.  Static types are never loaded or
  52  * unloaded at run-time as dynamic types may be.  Static types are created
  53  * with g_type_register_static() that gets type specific information passed
  54  * in via a #GTypeInfo structure.
  55  * Dynamic types are created with g_type_register_dynamic() which takes a
  56  * #GTypePlugin structure instead. The remaining type information (the
  57  * #GTypeInfo structure) is retrieved during runtime through #GTypePlugin
  58  * and the g_type_plugin_*() API.
  59  * These registration functions are usually called only once from a
  60  * function whose only purpose is to return the type identifier for a
  61  * specific class.  Once the type (or class or interface) is registered,
  62  * it may be instantiated, inherited, or implemented depending on exactly
  63  * what sort of type it is.
  64  * There is also a third registration function for registering fundamental
  65  * types called g_type_register_fundamental() which requires both a #GTypeInfo
  66  * structure and a #GTypeFundamentalInfo structure but it is seldom used
  67  * since most fundamental types are predefined rather than user-defined.
  68  *
  69  * Type instance and class structs are limited to a total of 64 KiB,
  70  * including all parent types. Similarly, type instances' private data
  71  * (as created by g_type_class_add_private()) are limited to a total of
  72  * 64 KiB. If a type instance needs a large static buffer, allocate it
  73  * separately (typically by using #GArray or #GPtrArray) and put a pointer
  74  * to the buffer in the structure.
  75  *
  76  * A final word about type names.
  77  * Such an identifier needs to be at least three characters long. There is no
  78  * upper length limit. The first character needs to be a letter (a-z or A-Z)
  79  * or an underscore '_'. Subsequent characters can be letters, numbers or
  80  * any of '-_+'.
  81  */
  82
  83
  84 /* NOTE: some functions (some internal variants and exported ones)
  85  * invalidate data portions of the TypeNodes. if external functions/callbacks
  86  * are called, pointers to memory maintained by TypeNodes have to be looked up
  87  * again. this affects most of the struct TypeNode fields, e.g. ->children or
  88  * CLASSED_NODE_IFACES_ENTRIES() respectively IFACE_NODE_PREREQUISITES() (but
  89  * not ->supers[]), as all those memory portions can get realloc()ed during
  90  * callback invocation.
  91  *
  92  * LOCKING:
  93  * lock handling issues when calling static functions are indicated by
  94  * uppercase letter postfixes, all static functions have to have
  95  * one of the below postfixes:
  96  * - _I:        [Indifferent about locking]
  97  *   function doesn't care about locks at all
  98  * - _U:        [Unlocked invocation]
  99  *   no read or write lock has to be held across function invocation
 100  *   (locks may be acquired and released during invocation though)
 101  * - _L:        [Locked invocation]
 102  *   a write lock or more than 0 read locks have to be held across
 103  *   function invocation
 104  * - _W:        [Write-locked invocation]
 105  *   a write lock has to be held across function invocation
 106  * - _Wm:       [Write-locked invocation, mutatable]
 107  *   like _W, but the write lock might be released and reacquired
 108  *   during invocation, watch your pointers
 109  * - _WmREC:    [Write-locked invocation, mutatable, recursive]
 110  *   like _Wm, but also acquires recursive mutex class_init_rec_mutex
 111  */
 112
 113 #ifdef LOCK_DEBUG
 114 #define G_READ_LOCK(rw_lock)    do { g_printerr (G_STRLOC ": readL++\n"); g_rw_lock_reader_lock (rw_lock); } while (0)
 115 #define G_READ_UNLOCK(rw_lock)  do { g_printerr (G_STRLOC ": readL--\n"); g_rw_lock_reader_unlock (rw_lock); } while (0)
 116 #define G_WRITE_LOCK(rw_lock)   do { g_printerr (G_STRLOC ": writeL++\n"); g_rw_lock_writer_lock (rw_lock); } while (0)
 117 #define G_WRITE_UNLOCK(rw_lock) do { g_printerr (G_STRLOC ": writeL--\n"); g_rw_lock_writer_unlock (rw_lock); } while (0)
 118 #else
 119 #define G_READ_LOCK(rw_lock)    g_rw_lock_reader_lock (rw_lock)
 120 #define G_READ_UNLOCK(rw_lock)  g_rw_lock_reader_unlock (rw_lock)
 121 #define G_WRITE_LOCK(rw_lock)   g_rw_lock_writer_lock (rw_lock)
 122 #define G_WRITE_UNLOCK(rw_lock) g_rw_lock_writer_unlock (rw_lock)
 123 #endif
 124 #define INVALID_RECURSION(func, arg, type_name) G_STMT_START{ \
 125     static const gchar _action[] = " invalidly modified type ";  \
 126     gpointer _arg = (gpointer) (arg); const gchar *_tname = (type_name), *_fname = (func); \
 127     if (_arg) \
 128       g_error ("%s(%p)%s'%s'", _fname, _arg, _action, _tname); \
 129     else \
 130       g_error ("%s()%s'%s'", _fname, _action, _tname); \
 131 }G_STMT_END
 132 #define g_assert_type_system_initialized() \
 133   g_assert (static_quark_type_flags)
 134
 135 #ifdef  G_ENABLE_DEBUG
 136 #define DEBUG_CODE(debug_type, code_block)  G_STMT_START {    \
 137     if (_g_type_debug_flags & G_TYPE_DEBUG_ ## debug_type) \
 138       { code_block; }                                     \
 139 } G_STMT_END
 140 #else /* !G_ENABLE_DEBUG */
 141 #define DEBUG_CODE(debug_type, code_block)  /* code_block */
 142 #endif  /* G_ENABLE_DEBUG */
 143
 144 #define TYPE_FUNDAMENTAL_FLAG_MASK (G_TYPE_FLAG_CLASSED | \
 145                                     G_TYPE_FLAG_INSTANTIATABLE | \
 146                                     G_TYPE_FLAG_DERIVABLE | \
 147                                     G_TYPE_FLAG_DEEP_DERIVABLE)
 148 #define TYPE_FLAG_MASK             (G_TYPE_FLAG_ABSTRACT | G_TYPE_FLAG_VALUE_ABSTRACT)
 149 #define SIZEOF_FUNDAMENTAL_INFO    ((gssize) MAX (MAX (sizeof (GTypeFundamentalInfo), \
 150                                                        sizeof (gpointer)), \
 151                                                   sizeof (glong)))
 152
 153 /* The 2*sizeof(size_t) alignment here is borrowed from
 154  * GNU libc, so it should be good most everywhere.
 155  * It is more conservative than is needed on some 64-bit
 156  * platforms, but ia64 does require a 16-byte alignment.
 157  * The SIMD extensions for x86 and ppc32 would want a
 158  * larger alignment than this, but we don't need to
 159  * do better than malloc.
 160  */
 161 #define STRUCT_ALIGNMENT (2 * sizeof (gsize))
 162 #define ALIGN_STRUCT(offset) \
 163       ((offset + (STRUCT_ALIGNMENT - 1)) & -STRUCT_ALIGNMENT)
 164
 165
 166 /* --- typedefs --- */
 167 typedef struct _TypeNode        TypeNode;
 168 typedef struct _CommonData      CommonData;
 169 typedef struct _BoxedData       BoxedData;
 170 typedef struct _IFaceData       IFaceData;
 171 typedef struct _ClassData       ClassData;
 172 typedef struct _InstanceData    InstanceData;
 173 typedef union  _TypeData        TypeData;
 174 typedef struct _IFaceEntries    IFaceEntries;
 175 typedef struct _IFaceEntry      IFaceEntry;
 176 typedef struct _IFaceHolder     IFaceHolder;
 177
 178
 179 /* --- prototypes --- */
 180 static inline GTypeFundamentalInfo*     type_node_fundamental_info_I    (TypeNode               *node);
 181 static        void                      type_add_flags_W                (TypeNode               *node,
 182                                                                          GTypeFlags              flags);
 183 static        void                      type_data_make_W                (TypeNode               *node,
 184                                                                          const GTypeInfo        *info,
 185                                                                          const GTypeValueTable  *value_table);
 186 static inline void                      type_data_ref_Wm                (TypeNode               *node);
 187 static inline void                      type_data_unref_U               (TypeNode               *node,
 188                                                                          gboolean                uncached);
 189 static void                             type_data_last_unref_Wm         (TypeNode *              node,
 190                                                                          gboolean                uncached);
 191 static inline gpointer                  type_get_qdata_L                (TypeNode               *node,
 192                                                                          GQuark                  quark);
 193 static inline void                      type_set_qdata_W                (TypeNode               *node,
 194                                                                          GQuark                  quark,
 195                                                                          gpointer                data);
 196 static IFaceHolder*                     type_iface_peek_holder_L        (TypeNode               *iface,
 197                                                                          GType                   instance_type);
 198 static gboolean                         type_iface_vtable_base_init_Wm  (TypeNode               *iface,
 199                                                                          TypeNode               *node);
 200 static void                             type_iface_vtable_iface_init_Wm (TypeNode               *iface,
 201                                                                          TypeNode               *node);
 202 static gboolean                         type_node_is_a_L                (TypeNode               *node,
 203                                                                          TypeNode               *iface_node);
 204
 205
 206 /* --- enumeration --- */
 207
 208 /* The InitState enumeration is used to track the progress of initializing
 209  * both classes and interface vtables. Keeping the state of initialization
 210  * is necessary to handle new interfaces being added while we are initializing
 211  * the class or other interfaces.
 212  */
 213 typedef enum
 214 {
 215   UNINITIALIZED,
 216   BASE_CLASS_INIT,
 217   BASE_IFACE_INIT,
 218   CLASS_INIT,
 219   IFACE_INIT,
 220   INITIALIZED
 221 } InitState;
 222
 223 /* --- structures --- */
 224 struct _TypeNode
 225 {
 226   guint volatile ref_count;
 227   GTypePlugin *plugin;
 228   guint        n_children; /* writable with lock */
 229   guint        n_supers : 8;
 230   guint        n_prerequisites : 9;
 231   guint        is_classed : 1;
 232   guint        is_instantiatable : 1;
 233   guint        mutatable_check_cache : 1;       /* combines some common path checks */
 234   GType       *children; /* writable with lock */
 235   TypeData * volatile data;
 236   GQuark       qname;
 237   GData       *global_gdata;
 238   union {
 239     GAtomicArray iface_entries;         /* for !iface types */
 240     GAtomicArray offsets;
 241   } _prot;
 242   GType       *prerequisites;
 243   GType        supers[1]; /* flexible array */
 244 };
 245
 246 #define SIZEOF_BASE_TYPE_NODE()                 (G_STRUCT_OFFSET (TypeNode, supers))
 247 #define MAX_N_SUPERS                            (255)
 248 #define MAX_N_CHILDREN                          (4095)
 249 #define MAX_N_INTERFACES                        (255) /* Limited by offsets being 8 bits */
 250 #define MAX_N_PREREQUISITES                     (511)
 251 #define NODE_TYPE(node)                         (node->supers[0])
 252 #define NODE_PARENT_TYPE(node)                  (node->supers[1])
 253 #define NODE_FUNDAMENTAL_TYPE(node)             (node->supers[node->n_supers])
 254 #define NODE_NAME(node)                         (g_quark_to_string (node->qname))
 255 #define NODE_REFCOUNT(node)                     ((guint) g_atomic_int_get ((int *) &(node)->ref_count))
 256 #define NODE_IS_BOXED(node)                     (NODE_FUNDAMENTAL_TYPE (node) == G_TYPE_BOXED)
 257 #define NODE_IS_IFACE(node)                     (NODE_FUNDAMENTAL_TYPE (node) == G_TYPE_INTERFACE)
 258 #define CLASSED_NODE_IFACES_ENTRIES(node)       (&(node)->_prot.iface_entries)
 259 #define CLASSED_NODE_IFACES_ENTRIES_LOCKED(node)(G_ATOMIC_ARRAY_GET_LOCKED(CLASSED_NODE_IFACES_ENTRIES((node)), IFaceEntries))
 260 #define IFACE_NODE_N_PREREQUISITES(node)        ((node)->n_prerequisites)
 261 #define IFACE_NODE_PREREQUISITES(node)          ((node)->prerequisites)
 262 #define iface_node_get_holders_L(node)          ((IFaceHolder*) type_get_qdata_L ((node), static_quark_iface_holder))
 263 #define iface_node_set_holders_W(node, holders) (type_set_qdata_W ((node), static_quark_iface_holder, (holders)))
 264 #define iface_node_get_dependants_array_L(n)    ((GType*) type_get_qdata_L ((n), static_quark_dependants_array))
 265 #define iface_node_set_dependants_array_W(n,d)  (type_set_qdata_W ((n), static_quark_dependants_array, (d)))
 266 #define TYPE_ID_MASK                            ((GType) ((1 << G_TYPE_FUNDAMENTAL_SHIFT) - 1))
 267
 268 #define NODE_IS_ANCESTOR(ancestor, node)                                                    \
 269         ((ancestor)->n_supers <= (node)->n_supers &&                                        \
 270          (node)->supers[(node)->n_supers - (ancestor)->n_supers] == NODE_TYPE (ancestor))
 271
 272 struct _IFaceHolder
 273 {
 274   GType           instance_type;
 275   GInterfaceInfo *info;
 276   GTypePlugin    *plugin;
 277   IFaceHolder    *next;
 278 };
 279
 280 struct _IFaceEntry
 281 {
 282   GType           iface_type;
 283   GTypeInterface *vtable;
 284   InitState       init_state;
 285 };
 286
 287 struct _IFaceEntries {
 288   guint offset_index;
 289   IFaceEntry entry[1];
 290 };
 291
 292 #define IFACE_ENTRIES_HEADER_SIZE (sizeof(IFaceEntries) - sizeof(IFaceEntry))
 293 #define IFACE_ENTRIES_N_ENTRIES(_entries) ( (G_ATOMIC_ARRAY_DATA_SIZE((_entries)) - IFACE_ENTRIES_HEADER_SIZE) / sizeof(IFaceEntry) )
 294
 295 struct _CommonData
 296 {
 297   GTypeValueTable  *value_table;
 298 };
 299
 300 struct _BoxedData
 301 {
 302   CommonData         data;
 303   GBoxedCopyFunc     copy_func;
 304   GBoxedFreeFunc     free_func;
 305 };
 306
 307 struct _IFaceData
 308 {
 309   CommonData         common;
 310   guint16            vtable_size;
 311   GBaseInitFunc      vtable_init_base;
 312   GBaseFinalizeFunc  vtable_finalize_base;
 313   GClassInitFunc     dflt_init;
 314   GClassFinalizeFunc dflt_finalize;
 315   gconstpointer      dflt_data;
 316   gpointer           dflt_vtable;
 317 };
 318
 319 struct _ClassData
 320 {
 321   CommonData         common;
 322   guint16            class_size;
 323   guint16            class_private_size;
 324   int volatile       init_state; /* atomic - g_type_class_ref reads it unlocked */
 325   GBaseInitFunc      class_init_base;
 326   GBaseFinalizeFunc  class_finalize_base;
 327   GClassInitFunc     class_init;
 328   GClassFinalizeFunc class_finalize;
 329   gconstpointer      class_data;
 330   gpointer           class;
 331 };
 332
 333 struct _InstanceData
 334 {
 335   CommonData         common;
 336   guint16            class_size;
 337   guint16            class_private_size;
 338   int volatile       init_state; /* atomic - g_type_class_ref reads it unlocked */
 339   GBaseInitFunc      class_init_base;
 340   GBaseFinalizeFunc  class_finalize_base;
 341   GClassInitFunc     class_init;
 342   GClassFinalizeFunc class_finalize;
 343   gconstpointer      class_data;
 344   gpointer           class;
 345   guint16            instance_size;
 346   guint16            private_size;
 347   guint16            n_preallocs;
 348   GInstanceInitFunc  instance_init;
 349 };
 350
 351 union _TypeData
 352 {
 353   CommonData         common;
 354   BoxedData          boxed;
 355   IFaceData          iface;
 356   ClassData          class;
 357   InstanceData       instance;
 358 };
 359
 360 typedef struct {
 361   gpointer            cache_data;
 362   GTypeClassCacheFunc cache_func;
 363 } ClassCacheFunc;
 364
 365 typedef struct {
 366   gpointer                check_data;
 367   GTypeInterfaceCheckFunc check_func;
 368 } IFaceCheckFunc;
 369
 370
 371 /* --- variables --- */
 372 static GRWLock         type_rw_lock;
 373 static GRecMutex       class_init_rec_mutex;
 374 static guint           static_n_class_cache_funcs = 0;
 375 static ClassCacheFunc *static_class_cache_funcs = NULL;
 376 static guint           static_n_iface_check_funcs = 0;
 377 static IFaceCheckFunc *static_iface_check_funcs = NULL;
 378 static GQuark          static_quark_type_flags = 0;
 379 static GQuark          static_quark_iface_holder = 0;
 380 static GQuark          static_quark_dependants_array = 0;
 381 static guint           type_registration_serial = 0;
 382 GTypeDebugFlags        _g_type_debug_flags = 0;
 383
 384 /* --- type nodes --- */
 385 static GHashTable       *static_type_nodes_ht = NULL;
 386 static TypeNode         *static_fundamental_type_nodes[(G_TYPE_FUNDAMENTAL_MAX >> G_TYPE_FUNDAMENTAL_SHIFT) + 1] = { NULL, };
 387 static GType             static_fundamental_next = G_TYPE_RESERVED_USER_FIRST;
 388
 389 static inline TypeNode*
 390 lookup_type_node_I (register GType utype)
 391 {
 392   if (utype > G_TYPE_FUNDAMENTAL_MAX)
 393     return (TypeNode*) (utype & ~TYPE_ID_MASK);
 394   else
 395     return static_fundamental_type_nodes[utype >> G_TYPE_FUNDAMENTAL_SHIFT];
 396 }
 397
 398 /**
 399  * g_type_get_type_registration_serial:
 400  *
 401  * Returns an opaque serial number that represents the state of the set of
 402  * registered types. Any time a type is registered this serial changes,
 403  * which means you can cache information based on type lookups (such as
 404  * g_type_from_name()) and know if the cache is still valid at a later
 405  * time by comparing the current serial with the one at the type lookup.
 406  *
 407  * Since: 2.36
 408  *
 409  * Returns: An unsigned int, representing the state of type registrations.
 410  */
 411 guint
 412 g_type_get_type_registration_serial (void)
 413 {
 414   return (guint)g_atomic_int_get ((gint *)&type_registration_serial);
 415 }
 416
 417 static TypeNode*
 418 type_node_any_new_W (TypeNode             *pnode,
 419                      GType                 ftype,
 420                      const gchar          *name,
 421                      GTypePlugin          *plugin,
 422                      GTypeFundamentalFlags type_flags)
 423 {
 424   guint n_supers;
 425   GType type;
 426   TypeNode *node;
 427   guint i, node_size = 0;
 428
 429   n_supers = pnode ? pnode->n_supers + 1 : 0;
 430
 431   if (!pnode)
 432     node_size += SIZEOF_FUNDAMENTAL_INFO;             /* fundamental type info */
 433   node_size += SIZEOF_BASE_TYPE_NODE ();              /* TypeNode structure */
 434   node_size += (sizeof (GType) * (1 + n_supers + 1)); /* self + ancestors + (0) for ->supers[] */
 435   node = g_malloc0 (node_size);
 436   if (!pnode)                                         /* offset fundamental types */
 437     {
 438       node = G_STRUCT_MEMBER_P (node, SIZEOF_FUNDAMENTAL_INFO);
 439       static_fundamental_type_nodes[ftype >> G_TYPE_FUNDAMENTAL_SHIFT] = node;
 440       type = ftype;
 441     }
 442   else
 443     type = (GType) node;
 444
 445   g_assert ((type & TYPE_ID_MASK) == 0);
 446
 447   node->n_supers = n_supers;
 448   if (!pnode)
 449     {
 450       node->supers[0] = type;
 451       node->supers[1] = 0;
 452
 453       node->is_classed = (type_flags & G_TYPE_FLAG_CLASSED) != 0;
 454       node->is_instantiatable = (type_flags & G_TYPE_FLAG_INSTANTIATABLE) != 0;
 455
 456       if (NODE_IS_IFACE (node))
 457         {
 458           IFACE_NODE_N_PREREQUISITES (node) = 0;
 459           IFACE_NODE_PREREQUISITES (node) = NULL;
 460         }
 461       else
 462         _g_atomic_array_init (CLASSED_NODE_IFACES_ENTRIES (node));
 463     }
 464   else
 465     {
 466       node->supers[0] = type;
 467       memcpy (node->supers + 1, pnode->supers, sizeof (GType) * (1 + pnode->n_supers + 1));
 468
 469       node->is_classed = pnode->is_classed;
 470       node->is_instantiatable = pnode->is_instantiatable;
 471
 472       if (NODE_IS_IFACE (node))
 473         {
 474           IFACE_NODE_N_PREREQUISITES (node) = 0;
 475           IFACE_NODE_PREREQUISITES (node) = NULL;
 476         }
 477       else
 478         {
 479           guint j;
 480           IFaceEntries *entries;
 481
 482           entries = _g_atomic_array_copy (CLASSED_NODE_IFACES_ENTRIES (pnode),
 483                                           IFACE_ENTRIES_HEADER_SIZE,
 484                                           0);
 485           if (entries)
 486             {
 487               for (j = 0; j < IFACE_ENTRIES_N_ENTRIES (entries); j++)
 488                 {
 489                   entries->entry[j].vtable = NULL;
 490                   entries->entry[j].init_state = UNINITIALIZED;
 491                 }
 492               _g_atomic_array_update (CLASSED_NODE_IFACES_ENTRIES (node),
 493                                       entries);
 494             }
 495         }
 496
 497       i = pnode->n_children++;
 498       pnode->children = g_renew (GType, pnode->children, pnode->n_children);
 499       pnode->children[i] = type;
 500     }
 501
 502   TRACE(GOBJECT_TYPE_NEW(name, node->supers[1], type));
 503
 504   node->plugin = plugin;
 505   node->n_children = 0;
 506   node->children = NULL;
 507   node->data = NULL;
 508   node->qname = g_quark_from_string (name);
 509   node->global_gdata = NULL;
 510
 511   g_hash_table_insert (static_type_nodes_ht,
 512                        (gpointer) g_quark_to_string (node->qname),
 513                        (gpointer) type);
 514
 515   g_atomic_int_inc ((gint *)&type_registration_serial);
 516
 517   return node;
 518 }
 519
 520 static inline GTypeFundamentalInfo*
 521 type_node_fundamental_info_I (TypeNode *node)
 522 {
 523   GType ftype = NODE_FUNDAMENTAL_TYPE (node);
 524
 525   if (ftype != NODE_TYPE (node))
 526     node = lookup_type_node_I (ftype);
 527
 528   return node ? G_STRUCT_MEMBER_P (node, -SIZEOF_FUNDAMENTAL_INFO) : NULL;
 529 }
 530
 531 static TypeNode*
 532 type_node_fundamental_new_W (GType                 ftype,
 533                              const gchar          *name,
 534                              GTypeFundamentalFlags type_flags)
 535 {
 536   GTypeFundamentalInfo *finfo;
 537   TypeNode *node;
 538
 539   g_assert ((ftype & TYPE_ID_MASK) == 0);
 540   g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX);
 541
 542   if (ftype >> G_TYPE_FUNDAMENTAL_SHIFT == static_fundamental_next)
 543     static_fundamental_next++;
 544
 545   type_flags &= TYPE_FUNDAMENTAL_FLAG_MASK;
 546
 547   node = type_node_any_new_W (NULL, ftype, name, NULL, type_flags);
 548
 549   finfo = type_node_fundamental_info_I (node);
 550   finfo->type_flags = type_flags;
 551
 552   return node;
 553 }
 554
 555 static TypeNode*
 556 type_node_new_W (TypeNode    *pnode,
 557                  const gchar *name,
 558                  GTypePlugin *plugin)
 559
 560 {
 561   g_assert (pnode);
 562   g_assert (pnode->n_supers < MAX_N_SUPERS);
 563   g_assert (pnode->n_children < MAX_N_CHILDREN);
 564
 565   return type_node_any_new_W (pnode, NODE_FUNDAMENTAL_TYPE (pnode), name, plugin, 0);
 566 }
 567
 568 static inline IFaceEntry*
 569 lookup_iface_entry_I (volatile IFaceEntries *entries,
 570                       TypeNode *iface_node)
 571 {
 572   guint8 *offsets;
 573   guint offset_index;
 574   IFaceEntry *check;
 575   int index;
 576   IFaceEntry *entry;
 577
 578   if (entries == NULL)
 579     return NULL;
 580
 581   G_ATOMIC_ARRAY_DO_TRANSACTION
 582     (&iface_node->_prot.offsets, guint8,
 583
 584      entry = NULL;
 585      offsets = transaction_data;
 586      offset_index = entries->offset_index;
 587      if (offsets != NULL &&
 588          offset_index < G_ATOMIC_ARRAY_DATA_SIZE(offsets))
 589        {
 590          index = offsets[offset_index];
 591          if (index > 0)
 592            {
 593              /* zero means unset, subtract one to get real index */
 594              index -= 1;
 595
 596              if (index < IFACE_ENTRIES_N_ENTRIES (entries))
 597                {
 598                  check = (IFaceEntry *)&entries->entry[index];
 599                  if (check->iface_type == NODE_TYPE (iface_node))
 600                    entry = check;
 601                }
 602            }
 603        }
 604      );
 605
 606  return entry;
 607 }
 608
 609 static inline IFaceEntry*
 610 type_lookup_iface_entry_L (TypeNode *node,
 611                            TypeNode *iface_node)
 612 {
 613   if (!NODE_IS_IFACE (iface_node))
 614     return NULL;
 615
 616   return lookup_iface_entry_I (CLASSED_NODE_IFACES_ENTRIES_LOCKED (node),
 617                                iface_node);
 618 }
 619
 620
 621 static inline gboolean
 622 type_lookup_iface_vtable_I (TypeNode *node,
 623                             TypeNode *iface_node,
 624                             gpointer *vtable_ptr)
 625 {
 626   IFaceEntry *entry;
 627   gboolean res;
 628
 629   if (!NODE_IS_IFACE (iface_node))
 630     {
 631       if (vtable_ptr)
 632         *vtable_ptr = NULL;
 633       return FALSE;
 634     }
 635
 636   G_ATOMIC_ARRAY_DO_TRANSACTION
 637     (CLASSED_NODE_IFACES_ENTRIES (node), IFaceEntries,
 638
 639      entry = lookup_iface_entry_I (transaction_data, iface_node);
 640      res = entry != NULL;
 641      if (vtable_ptr)
 642        {
 643          if (entry)
 644            *vtable_ptr = entry->vtable;
 645          else
 646            *vtable_ptr = NULL;
 647        }
 648      );
 649
 650   return res;
 651 }
 652
 653 static inline gboolean
 654 type_lookup_prerequisite_L (TypeNode *iface,
 655                             GType     prerequisite_type)
 656 {
 657   if (NODE_IS_IFACE (iface) && IFACE_NODE_N_PREREQUISITES (iface))
 658     {
 659       GType *prerequisites = IFACE_NODE_PREREQUISITES (iface) - 1;
 660       guint n_prerequisites = IFACE_NODE_N_PREREQUISITES (iface);
 661
 662       do
 663         {
 664           guint i;
 665           GType *check;
 666
 667           i = (n_prerequisites + 1) >> 1;
 668           check = prerequisites + i;
 669           if (prerequisite_type == *check)
 670             return TRUE;
 671           else if (prerequisite_type > *check)
 672             {
 673               n_prerequisites -= i;
 674               prerequisites = check;
 675             }
 676           else /* if (prerequisite_type < *check) */
 677             n_prerequisites = i - 1;
 678         }
 679       while (n_prerequisites);
 680     }
 681   return FALSE;
 682 }
 683
 684 static const gchar*
 685 type_descriptive_name_I (GType type)
 686 {
 687   if (type)
 688     {
 689       TypeNode *node = lookup_type_node_I (type);
 690
 691       return node ? NODE_NAME (node) : "<unknown>";
 692     }
 693   else
 694     return "<invalid>";
 695 }
 696
 697
 698 /* --- type consistency checks --- */
 699 static gboolean
 700 check_plugin_U (GTypePlugin *plugin,
 701                 gboolean     need_complete_type_info,
 702                 gboolean     need_complete_interface_info,
 703                 const gchar *type_name)
 704 {
 705   /* G_IS_TYPE_PLUGIN() and G_TYPE_PLUGIN_GET_CLASS() are external calls: _U
 706    */
 707   if (!plugin)
 708     {
 709       g_warning ("plugin handle for type '%s' is NULL",
 710                  type_name);
 711       return FALSE;
 712     }
 713   if (!G_IS_TYPE_PLUGIN (plugin))
 714     {
 715       g_warning ("plugin pointer (%p) for type '%s' is invalid",
 716                  plugin, type_name);
 717       return FALSE;
 718     }
 719   if (need_complete_type_info && !G_TYPE_PLUGIN_GET_CLASS (plugin)->complete_type_info)
 720     {
 721       g_warning ("plugin for type '%s' has no complete_type_info() implementation",
 722                  type_name);
 723       return FALSE;
 724     }
 725   if (need_complete_interface_info && !G_TYPE_PLUGIN_GET_CLASS (plugin)->complete_interface_info)
 726     {
 727       g_warning ("plugin for type '%s' has no complete_interface_info() implementation",
 728                  type_name);
 729       return FALSE;
 730     }
 731   return TRUE;
 732 }
 733
 734 static gboolean
 735 check_type_name_I (const gchar *type_name)
 736 {
 737   static const gchar extra_chars[] = "-_+";
 738   const gchar *p = type_name;
 739   gboolean name_valid;
 740
 741   if (!type_name[0] || !type_name[1] || !type_name[2])
 742     {
 743       g_warning ("type name '%s' is too short", type_name);
 744       return FALSE;
 745     }
 746   /* check the first letter */
 747   name_valid = (p[0] >= 'A' && p[0] <= 'Z') || (p[0] >= 'a' && p[0] <= 'z') || p[0] == '_';
 748   for (p = type_name + 1; *p; p++)
 749     name_valid &= ((p[0] >= 'A' && p[0] <= 'Z') ||
 750                    (p[0] >= 'a' && p[0] <= 'z') ||
 751                    (p[0] >= '0' && p[0] <= '9') ||
 752                    strchr (extra_chars, p[0]));
 753   if (!name_valid)
 754     {
 755       g_warning ("type name '%s' contains invalid characters", type_name);
 756       return FALSE;
 757     }
 758   if (g_type_from_name (type_name))
 759     {
 760       g_warning ("cannot register existing type '%s'", type_name);
 761       return FALSE;
 762     }
 763
 764   return TRUE;
 765 }
 766
 767 static gboolean
 768 check_derivation_I (GType        parent_type,
 769                     const gchar *type_name)
 770 {
 771   TypeNode *pnode;
 772   GTypeFundamentalInfo* finfo;
 773
 774   pnode = lookup_type_node_I (parent_type);
 775   if (!pnode)
 776     {
 777       g_warning ("cannot derive type '%s' from invalid parent type '%s'",
 778                  type_name,
 779                  type_descriptive_name_I (parent_type));
 780       return FALSE;
 781     }
 782   finfo = type_node_fundamental_info_I (pnode);
 783   /* ensure flat derivability */
 784   if (!(finfo->type_flags & G_TYPE_FLAG_DERIVABLE))
 785     {
 786       g_warning ("cannot derive '%s' from non-derivable parent type '%s'",
 787                  type_name,
 788                  NODE_NAME (pnode));
 789       return FALSE;
 790     }
 791   /* ensure deep derivability */
 792   if (parent_type != NODE_FUNDAMENTAL_TYPE (pnode) &&
 793       !(finfo->type_flags & G_TYPE_FLAG_DEEP_DERIVABLE))
 794     {
 795       g_warning ("cannot derive '%s' from non-fundamental parent type '%s'",
 796                  type_name,
 797                  NODE_NAME (pnode));
 798       return FALSE;
 799     }
 800
 801   return TRUE;
 802 }
 803
 804 static gboolean
 805 check_collect_format_I (const gchar *collect_format)
 806 {
 807   const gchar *p = collect_format;
 808   gchar valid_format[] = { G_VALUE_COLLECT_INT, G_VALUE_COLLECT_LONG,
 809                            G_VALUE_COLLECT_INT64, G_VALUE_COLLECT_DOUBLE,
 810                            G_VALUE_COLLECT_POINTER, 0 };
 811
 812   while (*p)
 813     if (!strchr (valid_format, *p++))
 814       return FALSE;
 815   return p - collect_format <= G_VALUE_COLLECT_FORMAT_MAX_LENGTH;
 816 }
 817
 818 static gboolean
 819 check_value_table_I (const gchar           *type_name,
 820                      const GTypeValueTable *value_table)
 821 {
 822   if (!value_table)
 823     return FALSE;
 824   else if (value_table->value_init == NULL)
 825     {
 826       if (value_table->value_free || value_table->value_copy ||
 827           value_table->value_peek_pointer ||
 828           value_table->collect_format || value_table->collect_value ||
 829           value_table->lcopy_format || value_table->lcopy_value)
 830         g_warning ("cannot handle uninitializable values of type '%s'",
 831                    type_name);
 832       return FALSE;
 833     }
 834   else /* value_table->value_init != NULL */
 835     {
 836       if (!value_table->value_free)
 837         {
 838           /* +++ optional +++
 839            * g_warning ("missing 'value_free()' for type '%s'", type_name);
 840            * return FALSE;
 841            */
 842         }
 843       if (!value_table->value_copy)
 844         {
 845           g_warning ("missing 'value_copy()' for type '%s'", type_name);
 846           return FALSE;
 847         }
 848       if ((value_table->collect_format || value_table->collect_value) &&
 849           (!value_table->collect_format || !value_table->collect_value))
 850         {
 851           g_warning ("one of 'collect_format' and 'collect_value()' is unspecified for type '%s'",
 852                      type_name);
 853           return FALSE;
 854         }
 855       if (value_table->collect_format && !check_collect_format_I (value_table->collect_format))
 856         {
 857           g_warning ("the '%s' specification for type '%s' is too long or invalid",
 858                      "collect_format",
 859                      type_name);
 860           return FALSE;
 861         }
 862       if ((value_table->lcopy_format || value_table->lcopy_value) &&
 863           (!value_table->lcopy_format || !value_table->lcopy_value))
 864         {
 865           g_warning ("one of 'lcopy_format' and 'lcopy_value()' is unspecified for type '%s'",
 866                      type_name);
 867           return FALSE;
 868         }
 869       if (value_table->lcopy_format && !check_collect_format_I (value_table->lcopy_format))
 870         {
 871           g_warning ("the '%s' specification for type '%s' is too long or invalid",
 872                      "lcopy_format",
 873                      type_name);
 874           return FALSE;
 875         }
 876     }
 877   return TRUE;
 878 }
 879
 880 static gboolean
 881 check_type_info_I (TypeNode        *pnode,
 882                    GType            ftype,
 883                    const gchar     *type_name,
 884                    const GTypeInfo *info)
 885 {
 886   GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (lookup_type_node_I (ftype));
 887   gboolean is_interface = ftype == G_TYPE_INTERFACE;
 888
 889   g_assert (ftype <= G_TYPE_FUNDAMENTAL_MAX && !(ftype & TYPE_ID_MASK));
 890
 891   /* check instance members */
 892   if (!(finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE) &&
 893       (info->instance_size || info->n_preallocs || info->instance_init))
 894     {
 895       if (pnode)
 896         g_warning ("cannot instantiate '%s', derived from non-instantiatable parent type '%s'",
 897                    type_name,
 898                    NODE_NAME (pnode));
 899       else
 900         g_warning ("cannot instantiate '%s' as non-instantiatable fundamental",
 901                    type_name);
 902       return FALSE;
 903     }
 904   /* check class & interface members */
 905   if (!((finfo->type_flags & G_TYPE_FLAG_CLASSED) || is_interface) &&
 906       (info->class_init || info->class_finalize || info->class_data ||
 907        info->class_size || info->base_init || info->base_finalize))
 908     {
 909       if (pnode)
 910         g_warning ("cannot create class for '%s', derived from non-classed parent type '%s'",
 911                    type_name,
 912                    NODE_NAME (pnode));
 913       else
 914         g_warning ("cannot create class for '%s' as non-classed fundamental",
 915                    type_name);
 916       return FALSE;
 917     }
 918   /* check interface size */
 919   if (is_interface && info->class_size < sizeof (GTypeInterface))
 920     {
 921       g_warning ("specified interface size for type '%s' is smaller than 'GTypeInterface' size",
 922                  type_name);
 923       return FALSE;
 924     }
 925   /* check class size */
 926   if (finfo->type_flags & G_TYPE_FLAG_CLASSED)
 927     {
 928       if (info->class_size < sizeof (GTypeClass))
 929         {
 930           g_warning ("specified class size for type '%s' is smaller than 'GTypeClass' size",
 931                      type_name);
 932           return FALSE;
 933         }
 934       if (pnode && info->class_size < pnode->data->class.class_size)
 935         {
 936           g_warning ("specified class size for type '%s' is smaller "
 937                      "than the parent type's '%s' class size",
 938                      type_name,
 939                      NODE_NAME (pnode));
 940           return FALSE;
 941         }
 942     }
 943   /* check instance size */
 944   if (finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE)
 945     {
 946       if (info->instance_size < sizeof (GTypeInstance))
 947         {
 948           g_warning ("specified instance size for type '%s' is smaller than 'GTypeInstance' size",
 949                      type_name);
 950           return FALSE;
 951         }
 952       if (pnode && info->instance_size < pnode->data->instance.instance_size)
 953         {
 954           g_warning ("specified instance size for type '%s' is smaller "
 955                      "than the parent type's '%s' instance size",
 956                      type_name,
 957                      NODE_NAME (pnode));
 958           return FALSE;
 959         }
 960     }
 961
 962   return TRUE;
 963 }
 964
 965 static TypeNode*
 966 find_conforming_child_type_L (TypeNode *pnode,
 967                               TypeNode *iface)
 968 {
 969   TypeNode *node = NULL;
 970   guint i;
 971
 972   if (type_lookup_iface_entry_L (pnode, iface))
 973     return pnode;
 974
 975   for (i = 0; i < pnode->n_children && !node; i++)
 976     node = find_conforming_child_type_L (lookup_type_node_I (pnode->children[i]), iface);
 977
 978   return node;
 979 }
 980
 981 static gboolean
 982 check_add_interface_L (GType instance_type,
 983                        GType iface_type)
 984 {
 985   TypeNode *node = lookup_type_node_I (instance_type);
 986   TypeNode *iface = lookup_type_node_I (iface_type);
 987   IFaceEntry *entry;
 988   TypeNode *tnode;
 989   GType *prerequisites;
 990   guint i;
 991
 992
 993   if (!node || !node->is_instantiatable)
 994     {
 995       g_warning ("cannot add interfaces to invalid (non-instantiatable) type '%s'",
 996                  type_descriptive_name_I (instance_type));
 997       return FALSE;
 998     }
 999   if (!iface || !NODE_IS_IFACE (iface))
1000     {
1001       g_warning ("cannot add invalid (non-interface) type '%s' to type '%s'",
1002                  type_descriptive_name_I (iface_type),
1003                  NODE_NAME (node));
1004       return FALSE;
1005     }
1006   if (node->data && node->data->class.class)
1007     {
1008       g_warning ("attempting to add an interface (%s) to class (%s) after class_init",
1009                  NODE_NAME (iface), NODE_NAME (node));
1010
1011       /* See https://bugzilla.gnome.org/show_bug.cgi?id=697229,
1012        * https://bugzilla.gnome.org/show_bug.cgi?id=687659
1013        */
1014       if (!g_str_has_prefix (NODE_NAME (node), "gtkmm__CustomObject_") && !strstr (NODE_NAME (node), "_gtksharp_"))
1015         return FALSE;
1016     }
1017   tnode = lookup_type_node_I (NODE_PARENT_TYPE (iface));
1018   if (NODE_PARENT_TYPE (tnode) && !type_lookup_iface_entry_L (node, tnode))
1019     {
1020       /* 2001/7/31:timj: erk, i guess this warning is junk as interface derivation is flat */
1021       g_warning ("cannot add sub-interface '%s' to type '%s' which does not conform to super-interface '%s'",
1022                  NODE_NAME (iface),
1023                  NODE_NAME (node),
1024                  NODE_NAME (tnode));
1025       return FALSE;
1026     }
1027   /* allow overriding of interface type introduced for parent type */
1028   entry = type_lookup_iface_entry_L (node, iface);
1029   if (entry && entry->vtable == NULL && !type_iface_peek_holder_L (iface, NODE_TYPE (node)))
1030     {
1031       /* ok, we do conform to this interface already, but the interface vtable was not
1032        * yet intialized, and we just conform to the interface because it got added to
1033        * one of our parents. so we allow overriding of holder info here.
1034        */
1035       return TRUE;
1036     }
1037   /* check whether one of our children already conforms (or whether the interface
1038    * got added to this node already)
1039    */
1040   tnode = find_conforming_child_type_L (node, iface);  /* tnode is_a node */
1041   if (tnode)
1042     {
1043       g_warning ("cannot add interface type '%s' to type '%s', since type '%s' already conforms to interface",
1044                  NODE_NAME (iface),
1045                  NODE_NAME (node),
1046                  NODE_NAME (tnode));
1047       return FALSE;
1048     }
1049   prerequisites = IFACE_NODE_PREREQUISITES (iface);
1050   for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1051     {
1052       tnode = lookup_type_node_I (prerequisites[i]);
1053       if (!type_node_is_a_L (node, tnode))
1054         {
1055           g_warning ("cannot add interface type '%s' to type '%s' which does not conform to prerequisite '%s'",
1056                      NODE_NAME (iface),
1057                      NODE_NAME (node),
1058                      NODE_NAME (tnode));
1059           return FALSE;
1060         }
1061     }
1062   return TRUE;
1063 }
1064
1065 static gboolean
1066 check_interface_info_I (TypeNode             *iface,
1067                         GType                 instance_type,
1068                         const GInterfaceInfo *info)
1069 {
1070   if ((info->interface_finalize || info->interface_data) && !info->interface_init)
1071     {
1072       g_warning ("interface type '%s' for type '%s' comes without initializer",
1073                  NODE_NAME (iface),
1074                  type_descriptive_name_I (instance_type));
1075       return FALSE;
1076     }
1077
1078   return TRUE;
1079 }
1080
1081 /* --- type info (type node data) --- */
1082 static void
1083 type_data_make_W (TypeNode              *node,
1084                   const GTypeInfo       *info,
1085                   const GTypeValueTable *value_table)
1086 {
1087   TypeData *data;
1088   GTypeValueTable *vtable = NULL;
1089   guint vtable_size = 0;
1090
1091   g_assert (node->data == NULL && info != NULL);
1092
1093   if (!value_table)
1094     {
1095       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1096
1097       if (pnode)
1098         vtable = pnode->data->common.value_table;
1099       else
1100         {
1101           static const GTypeValueTable zero_vtable = { NULL, };
1102
1103           value_table = &zero_vtable;
1104         }
1105     }
1106   if (value_table)
1107     {
1108       /* need to setup vtable_size since we have to allocate it with data in one chunk */
1109       vtable_size = sizeof (GTypeValueTable);
1110       if (value_table->collect_format)
1111         vtable_size += strlen (value_table->collect_format);
1112       if (value_table->lcopy_format)
1113         vtable_size += strlen (value_table->lcopy_format);
1114       vtable_size += 2;
1115     }
1116
1117   if (node->is_instantiatable) /* careful, is_instantiatable is also is_classed */
1118     {
1119       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1120
1121       data = g_malloc0 (sizeof (InstanceData) + vtable_size);
1122       if (vtable_size)
1123         vtable = G_STRUCT_MEMBER_P (data, sizeof (InstanceData));
1124       data->instance.class_size = info->class_size;
1125       data->instance.class_init_base = info->base_init;
1126       data->instance.class_finalize_base = info->base_finalize;
1127       data->instance.class_init = info->class_init;
1128       data->instance.class_finalize = info->class_finalize;
1129       data->instance.class_data = info->class_data;
1130       data->instance.class = NULL;
1131       data->instance.init_state = UNINITIALIZED;
1132       data->instance.instance_size = info->instance_size;
1133       /* We'll set the final value for data->instance.private size
1134        * after the parent class has been initialized
1135        */
1136       data->instance.private_size = 0;
1137       data->instance.class_private_size = 0;
1138       if (pnode)
1139         data->instance.class_private_size = pnode->data->instance.class_private_size;
1140 #ifdef  DISABLE_MEM_POOLS
1141       data->instance.n_preallocs = 0;
1142 #else   /* !DISABLE_MEM_POOLS */
1143       data->instance.n_preallocs = MIN (info->n_preallocs, 1024);
1144 #endif  /* !DISABLE_MEM_POOLS */
1145       data->instance.instance_init = info->instance_init;
1146     }
1147   else if (node->is_classed) /* only classed */
1148     {
1149       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1150
1151       data = g_malloc0 (sizeof (ClassData) + vtable_size);
1152       if (vtable_size)
1153         vtable = G_STRUCT_MEMBER_P (data, sizeof (ClassData));
1154       data->class.class_size = info->class_size;
1155       data->class.class_init_base = info->base_init;
1156       data->class.class_finalize_base = info->base_finalize;
1157       data->class.class_init = info->class_init;
1158       data->class.class_finalize = info->class_finalize;
1159       data->class.class_data = info->class_data;
1160       data->class.class = NULL;
1161       data->class.class_private_size = 0;
1162       if (pnode)
1163         data->class.class_private_size = pnode->data->class.class_private_size;
1164       data->class.init_state = UNINITIALIZED;
1165     }
1166   else if (NODE_IS_IFACE (node))
1167     {
1168       data = g_malloc0 (sizeof (IFaceData) + vtable_size);
1169       if (vtable_size)
1170         vtable = G_STRUCT_MEMBER_P (data, sizeof (IFaceData));
1171       data->iface.vtable_size = info->class_size;
1172       data->iface.vtable_init_base = info->base_init;
1173       data->iface.vtable_finalize_base = info->base_finalize;
1174       data->iface.dflt_init = info->class_init;
1175       data->iface.dflt_finalize = info->class_finalize;
1176       data->iface.dflt_data = info->class_data;
1177       data->iface.dflt_vtable = NULL;
1178     }
1179   else if (NODE_IS_BOXED (node))
1180     {
1181       data = g_malloc0 (sizeof (BoxedData) + vtable_size);
1182       if (vtable_size)
1183         vtable = G_STRUCT_MEMBER_P (data, sizeof (BoxedData));
1184     }
1185   else
1186     {
1187       data = g_malloc0 (sizeof (CommonData) + vtable_size);
1188       if (vtable_size)
1189         vtable = G_STRUCT_MEMBER_P (data, sizeof (CommonData));
1190     }
1191
1192   node->data = data;
1193
1194   if (vtable_size)
1195     {
1196       gchar *p;
1197
1198       /* we allocate the vtable and its strings together with the type data, so
1199        * children can take over their parent's vtable pointer, and we don't
1200        * need to worry freeing it or not when the child data is destroyed
1201        */
1202       *vtable = *value_table;
1203       p = G_STRUCT_MEMBER_P (vtable, sizeof (*vtable));
1204       p[0] = 0;
1205       vtable->collect_format = p;
1206       if (value_table->collect_format)
1207         {
1208           strcat (p, value_table->collect_format);
1209           p += strlen (value_table->collect_format);
1210         }
1211       p++;
1212       p[0] = 0;
1213       vtable->lcopy_format = p;
1214       if (value_table->lcopy_format)
1215         strcat  (p, value_table->lcopy_format);
1216     }
1217   node->data->common.value_table = vtable;
1218   node->mutatable_check_cache = (node->data->common.value_table->value_init != NULL &&
1219                                  !((G_TYPE_FLAG_VALUE_ABSTRACT | G_TYPE_FLAG_ABSTRACT) &
1220                                    GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))));
1221
1222   g_assert (node->data->common.value_table != NULL); /* paranoid */
1223
1224   g_atomic_int_set ((int *) &node->ref_count, 1);
1225 }
1226
1227 static inline void
1228 type_data_ref_Wm (TypeNode *node)
1229 {
1230   if (!node->data)
1231     {
1232       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1233       GTypeInfo tmp_info;
1234       GTypeValueTable tmp_value_table;
1235
1236       g_assert (node->plugin != NULL);
1237
1238       if (pnode)
1239         {
1240           type_data_ref_Wm (pnode);
1241           if (node->data)
1242             INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
1243         }
1244
1245       memset (&tmp_info, 0, sizeof (tmp_info));
1246       memset (&tmp_value_table, 0, sizeof (tmp_value_table));
1247
1248       G_WRITE_UNLOCK (&type_rw_lock);
1249       g_type_plugin_use (node->plugin);
1250       g_type_plugin_complete_type_info (node->plugin, NODE_TYPE (node), &tmp_info, &tmp_value_table);
1251       G_WRITE_LOCK (&type_rw_lock);
1252       if (node->data)
1253         INVALID_RECURSION ("g_type_plugin_*", node->plugin, NODE_NAME (node));
1254
1255       check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (node), NODE_NAME (node), &tmp_info);
1256       type_data_make_W (node, &tmp_info,
1257                         check_value_table_I (NODE_NAME (node),
1258                                              &tmp_value_table) ? &tmp_value_table : NULL);
1259     }
1260   else
1261     {
1262       g_assert (NODE_REFCOUNT (node) > 0);
1263
1264       g_atomic_int_inc ((int *) &node->ref_count);
1265     }
1266 }
1267
1268 static inline gboolean
1269 type_data_ref_U (TypeNode *node)
1270 {
1271   guint current;
1272
1273   do {
1274     current = NODE_REFCOUNT (node);
1275
1276     if (current < 1)
1277       return FALSE;
1278   } while (!g_atomic_int_compare_and_exchange ((int *) &node->ref_count, current, current + 1));
1279
1280   return TRUE;
1281 }
1282
1283 static gboolean
1284 iface_node_has_available_offset_L (TypeNode *iface_node,
1285                                    int offset,
1286                                    int for_index)
1287 {
1288   guint8 *offsets;
1289
1290   offsets = G_ATOMIC_ARRAY_GET_LOCKED (&iface_node->_prot.offsets, guint8);
1291   if (offsets == NULL)
1292     return TRUE;
1293
1294   if (G_ATOMIC_ARRAY_DATA_SIZE (offsets) <= offset)
1295     return TRUE;
1296
1297   if (offsets[offset] == 0 ||
1298       offsets[offset] == for_index+1)
1299     return TRUE;
1300
1301   return FALSE;
1302 }
1303
1304 static int
1305 find_free_iface_offset_L (IFaceEntries *entries)
1306 {
1307   IFaceEntry *entry;
1308   TypeNode *iface_node;
1309   int offset;
1310   int i;
1311   int n_entries;
1312
1313   n_entries = IFACE_ENTRIES_N_ENTRIES (entries);
1314   offset = -1;
1315   do
1316     {
1317       offset++;
1318       for (i = 0; i < n_entries; i++)
1319         {
1320           entry = &entries->entry[i];
1321           iface_node = lookup_type_node_I (entry->iface_type);
1322
1323           if (!iface_node_has_available_offset_L (iface_node, offset, i))
1324             break;
1325         }
1326     }
1327   while (i != n_entries);
1328
1329   return offset;
1330 }
1331
1332 static void
1333 iface_node_set_offset_L (TypeNode *iface_node,
1334                          int offset,
1335                          int index)
1336 {
1337   guint8 *offsets, *old_offsets;
1338   int new_size, old_size;
1339   int i;
1340
1341   old_offsets = G_ATOMIC_ARRAY_GET_LOCKED (&iface_node->_prot.offsets, guint8);
1342   if (old_offsets == NULL)
1343     old_size = 0;
1344   else
1345     {
1346       old_size = G_ATOMIC_ARRAY_DATA_SIZE (old_offsets);
1347       if (offset < old_size &&
1348           old_offsets[offset] == index + 1)
1349         return; /* Already set to this index, return */
1350     }
1351   new_size = MAX (old_size, offset + 1);
1352
1353   offsets = _g_atomic_array_copy (&iface_node->_prot.offsets,
1354                                   0, new_size - old_size);
1355
1356   /* Mark new area as unused */
1357   for (i = old_size; i < new_size; i++)
1358     offsets[i] = 0;
1359
1360   offsets[offset] = index + 1;
1361
1362   _g_atomic_array_update (&iface_node->_prot.offsets, offsets);
1363 }
1364
1365 static void
1366 type_node_add_iface_entry_W (TypeNode   *node,
1367                              GType       iface_type,
1368                              IFaceEntry *parent_entry)
1369 {
1370   IFaceEntries *entries;
1371   IFaceEntry *entry;
1372   TypeNode *iface_node;
1373   guint i, j;
1374   int num_entries;
1375
1376   g_assert (node->is_instantiatable);
1377
1378   entries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (node);
1379   if (entries != NULL)
1380     {
1381       num_entries = IFACE_ENTRIES_N_ENTRIES (entries);
1382
1383       g_assert (num_entries < MAX_N_INTERFACES);
1384
1385       for (i = 0; i < num_entries; i++)
1386         {
1387           entry = &entries->entry[i];
1388           if (entry->iface_type == iface_type)
1389             {
1390               /* this can happen in two cases:
1391                * - our parent type already conformed to iface_type and node
1392                *   got its own holder info. here, our children already have
1393                *   entries and NULL vtables, since this will only work for
1394                *   uninitialized classes.
1395                * - an interface type is added to an ancestor after it was
1396                *   added to a child type.
1397                */
1398               if (!parent_entry)
1399                 g_assert (entry->vtable == NULL && entry->init_state == UNINITIALIZED);
1400               else
1401                 {
1402                   /* sick, interface is added to ancestor *after* child type;
1403                    * nothing todo, the entry and our children were already setup correctly
1404                    */
1405                 }
1406               return;
1407             }
1408         }
1409     }
1410
1411   entries = _g_atomic_array_copy (CLASSED_NODE_IFACES_ENTRIES (node),
1412                                   IFACE_ENTRIES_HEADER_SIZE,
1413                                   sizeof (IFaceEntry));
1414   num_entries = IFACE_ENTRIES_N_ENTRIES (entries);
1415   i = num_entries - 1;
1416   if (i == 0)
1417     entries->offset_index = 0;
1418   entries->entry[i].iface_type = iface_type;
1419   entries->entry[i].vtable = NULL;
1420   entries->entry[i].init_state = UNINITIALIZED;
1421
1422   if (parent_entry)
1423     {
1424       if (node->data && node->data->class.init_state >= BASE_IFACE_INIT)
1425         {
1426           entries->entry[i].init_state = INITIALIZED;
1427           entries->entry[i].vtable = parent_entry->vtable;
1428         }
1429     }
1430
1431   /* Update offsets in iface */
1432   iface_node = lookup_type_node_I (iface_type);
1433
1434   if (iface_node_has_available_offset_L (iface_node,
1435                                          entries->offset_index,
1436                                          i))
1437     {
1438       iface_node_set_offset_L (iface_node,
1439                                entries->offset_index, i);
1440     }
1441   else
1442    {
1443       entries->offset_index =
1444         find_free_iface_offset_L (entries);
1445       for (j = 0; j < IFACE_ENTRIES_N_ENTRIES (entries); j++)
1446         {
1447           entry = &entries->entry[j];
1448           iface_node =
1449             lookup_type_node_I (entry->iface_type);
1450           iface_node_set_offset_L (iface_node,
1451                                    entries->offset_index, j);
1452         }
1453     }
1454
1455   _g_atomic_array_update (CLASSED_NODE_IFACES_ENTRIES (node), entries);
1456
1457   if (parent_entry)
1458     {
1459       for (i = 0; i < node->n_children; i++)
1460         type_node_add_iface_entry_W (lookup_type_node_I (node->children[i]), iface_type, &entries->entry[i]);
1461     }
1462 }
1463
1464 static void
1465 type_add_interface_Wm (TypeNode             *node,
1466                        TypeNode             *iface,
1467                        const GInterfaceInfo *info,
1468                        GTypePlugin          *plugin)
1469 {
1470   IFaceHolder *iholder = g_new0 (IFaceHolder, 1);
1471   IFaceEntry *entry;
1472   guint i;
1473
1474   g_assert (node->is_instantiatable && NODE_IS_IFACE (iface) && ((info && !plugin) || (!info && plugin)));
1475
1476   iholder->next = iface_node_get_holders_L (iface);
1477   iface_node_set_holders_W (iface, iholder);
1478   iholder->instance_type = NODE_TYPE (node);
1479   iholder->info = info ? g_memdup (info, sizeof (*info)) : NULL;
1480   iholder->plugin = plugin;
1481
1482   /* create an iface entry for this type */
1483   type_node_add_iface_entry_W (node, NODE_TYPE (iface), NULL);
1484
1485   /* if the class is already (partly) initialized, we may need to base
1486    * initalize and/or initialize the new interface.
1487    */
1488   if (node->data)
1489     {
1490       InitState class_state = node->data->class.init_state;
1491
1492       if (class_state >= BASE_IFACE_INIT)
1493         type_iface_vtable_base_init_Wm (iface, node);
1494
1495       if (class_state >= IFACE_INIT)
1496         type_iface_vtable_iface_init_Wm (iface, node);
1497     }
1498
1499   /* create iface entries for children of this type */
1500   entry = type_lookup_iface_entry_L (node, iface);
1501   for (i = 0; i < node->n_children; i++)
1502     type_node_add_iface_entry_W (lookup_type_node_I (node->children[i]), NODE_TYPE (iface), entry);
1503 }
1504
1505 static void
1506 type_iface_add_prerequisite_W (TypeNode *iface,
1507                                TypeNode *prerequisite_node)
1508 {
1509   GType prerequisite_type = NODE_TYPE (prerequisite_node);
1510   GType *prerequisites, *dependants;
1511   guint n_dependants, i;
1512
1513   g_assert (NODE_IS_IFACE (iface) &&
1514             IFACE_NODE_N_PREREQUISITES (iface) < MAX_N_PREREQUISITES &&
1515             (prerequisite_node->is_instantiatable || NODE_IS_IFACE (prerequisite_node)));
1516
1517   prerequisites = IFACE_NODE_PREREQUISITES (iface);
1518   for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1519     if (prerequisites[i] == prerequisite_type)
1520       return;                   /* we already have that prerequisiste */
1521     else if (prerequisites[i] > prerequisite_type)
1522       break;
1523   IFACE_NODE_N_PREREQUISITES (iface) += 1;
1524   IFACE_NODE_PREREQUISITES (iface) = g_renew (GType,
1525                                               IFACE_NODE_PREREQUISITES (iface),
1526                                               IFACE_NODE_N_PREREQUISITES (iface));
1527   prerequisites = IFACE_NODE_PREREQUISITES (iface);
1528   memmove (prerequisites + i + 1, prerequisites + i,
1529            sizeof (prerequisites[0]) * (IFACE_NODE_N_PREREQUISITES (iface) - i - 1));
1530   prerequisites[i] = prerequisite_type;
1531
1532   /* we want to get notified when prerequisites get added to prerequisite_node */
1533   if (NODE_IS_IFACE (prerequisite_node))
1534     {
1535       dependants = iface_node_get_dependants_array_L (prerequisite_node);
1536       n_dependants = dependants ? dependants[0] : 0;
1537       n_dependants += 1;
1538       dependants = g_renew (GType, dependants, n_dependants + 1);
1539       dependants[n_dependants] = NODE_TYPE (iface);
1540       dependants[0] = n_dependants;
1541       iface_node_set_dependants_array_W (prerequisite_node, dependants);
1542     }
1543
1544   /* we need to notify all dependants */
1545   dependants = iface_node_get_dependants_array_L (iface);
1546   n_dependants = dependants ? dependants[0] : 0;
1547   for (i = 1; i <= n_dependants; i++)
1548     type_iface_add_prerequisite_W (lookup_type_node_I (dependants[i]), prerequisite_node);
1549 }
1550
1551 /**
1552  * g_type_interface_add_prerequisite:
1553  * @interface_type: #GType value of an interface type.
1554  * @prerequisite_type: #GType value of an interface or instantiatable type.
1555  *
1556  * Adds @prerequisite_type to the list of prerequisites of @interface_type.
1557  * This means that any type implementing @interface_type must also implement
1558  * @prerequisite_type. Prerequisites can be thought of as an alternative to
1559  * interface derivation (which GType doesn't support). An interface can have
1560  * at most one instantiatable prerequisite type.
1561  */
1562 void
1563 g_type_interface_add_prerequisite (GType interface_type,
1564                                    GType prerequisite_type)
1565 {
1566   TypeNode *iface, *prerequisite_node;
1567   IFaceHolder *holders;
1568
1569   g_return_if_fail (G_TYPE_IS_INTERFACE (interface_type));      /* G_TYPE_IS_INTERFACE() is an external call: _U */
1570   g_return_if_fail (!g_type_is_a (interface_type, prerequisite_type));
1571   g_return_if_fail (!g_type_is_a (prerequisite_type, interface_type));
1572
1573   iface = lookup_type_node_I (interface_type);
1574   prerequisite_node = lookup_type_node_I (prerequisite_type);
1575   if (!iface || !prerequisite_node || !NODE_IS_IFACE (iface))
1576     {
1577       g_warning ("interface type '%s' or prerequisite type '%s' invalid",
1578                  type_descriptive_name_I (interface_type),
1579                  type_descriptive_name_I (prerequisite_type));
1580       return;
1581     }
1582   G_WRITE_LOCK (&type_rw_lock);
1583   holders = iface_node_get_holders_L (iface);
1584   if (holders)
1585     {
1586       G_WRITE_UNLOCK (&type_rw_lock);
1587       g_warning ("unable to add prerequisite '%s' to interface '%s' which is already in use for '%s'",
1588                  type_descriptive_name_I (prerequisite_type),
1589                  type_descriptive_name_I (interface_type),
1590                  type_descriptive_name_I (holders->instance_type));
1591       return;
1592     }
1593   if (prerequisite_node->is_instantiatable)
1594     {
1595       guint i;
1596
1597       /* can have at most one publicly installable instantiatable prerequisite */
1598       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1599         {
1600           TypeNode *prnode = lookup_type_node_I (IFACE_NODE_PREREQUISITES (iface)[i]);
1601
1602           if (prnode->is_instantiatable)
1603             {
1604               G_WRITE_UNLOCK (&type_rw_lock);
1605               g_warning ("adding prerequisite '%s' to interface '%s' conflicts with existing prerequisite '%s'",
1606                          type_descriptive_name_I (prerequisite_type),
1607                          type_descriptive_name_I (interface_type),
1608                          type_descriptive_name_I (NODE_TYPE (prnode)));
1609               return;
1610             }
1611         }
1612
1613       for (i = 0; i < prerequisite_node->n_supers + 1; i++)
1614         type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisite_node->supers[i]));
1615       G_WRITE_UNLOCK (&type_rw_lock);
1616     }
1617   else if (NODE_IS_IFACE (prerequisite_node))
1618     {
1619       GType *prerequisites;
1620       guint i;
1621
1622       prerequisites = IFACE_NODE_PREREQUISITES (prerequisite_node);
1623       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (prerequisite_node); i++)
1624         type_iface_add_prerequisite_W (iface, lookup_type_node_I (prerequisites[i]));
1625       type_iface_add_prerequisite_W (iface, prerequisite_node);
1626       G_WRITE_UNLOCK (&type_rw_lock);
1627     }
1628   else
1629     {
1630       G_WRITE_UNLOCK (&type_rw_lock);
1631       g_warning ("prerequisite '%s' for interface '%s' is neither instantiatable nor interface",
1632                  type_descriptive_name_I (prerequisite_type),
1633                  type_descriptive_name_I (interface_type));
1634     }
1635 }
1636
1637 /**
1638  * g_type_interface_prerequisites:
1639  * @interface_type: an interface type
1640  * @n_prerequisites: (out) (allow-none): location to return the number
1641  *                   of prerequisites, or %NULL
1642  *
1643  * Returns the prerequisites of an interfaces type.
1644  *
1645  * Since: 2.2
1646  *
1647  * Returns: (array length=n_prerequisites) (transfer full): a
1648  *          newly-allocated zero-terminated array of #GType containing
1649  *          the prerequisites of @interface_type
1650  */
1651 GType*
1652 g_type_interface_prerequisites (GType  interface_type,
1653                                 guint *n_prerequisites)
1654 {
1655   TypeNode *iface;
1656
1657   g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);
1658
1659   iface = lookup_type_node_I (interface_type);
1660   if (iface)
1661     {
1662       GType *types;
1663       TypeNode *inode = NULL;
1664       guint i, n = 0;
1665
1666       G_READ_LOCK (&type_rw_lock);
1667       types = g_new0 (GType, IFACE_NODE_N_PREREQUISITES (iface) + 1);
1668       for (i = 0; i < IFACE_NODE_N_PREREQUISITES (iface); i++)
1669         {
1670           GType prerequisite = IFACE_NODE_PREREQUISITES (iface)[i];
1671           TypeNode *node = lookup_type_node_I (prerequisite);
1672           if (node->is_instantiatable)
1673             {
1674               if (!inode || type_node_is_a_L (node, inode))
1675                 inode = node;
1676             }
1677           else
1678             types[n++] = NODE_TYPE (node);
1679         }
1680       if (inode)
1681         types[n++] = NODE_TYPE (inode);
1682
1683       if (n_prerequisites)
1684         *n_prerequisites = n;
1685       G_READ_UNLOCK (&type_rw_lock);
1686
1687       return types;
1688     }
1689   else
1690     {
1691       if (n_prerequisites)
1692         *n_prerequisites = 0;
1693
1694       return NULL;
1695     }
1696 }
1697
1698
1699 static IFaceHolder*
1700 type_iface_peek_holder_L (TypeNode *iface,
1701                           GType     instance_type)
1702 {
1703   IFaceHolder *iholder;
1704
1705   g_assert (NODE_IS_IFACE (iface));
1706
1707   iholder = iface_node_get_holders_L (iface);
1708   while (iholder && iholder->instance_type != instance_type)
1709     iholder = iholder->next;
1710   return iholder;
1711 }
1712
1713 static IFaceHolder*
1714 type_iface_retrieve_holder_info_Wm (TypeNode *iface,
1715                                     GType     instance_type,
1716                                     gboolean  need_info)
1717 {
1718   IFaceHolder *iholder = type_iface_peek_holder_L (iface, instance_type);
1719
1720   if (iholder && !iholder->info && need_info)
1721     {
1722       GInterfaceInfo tmp_info;
1723
1724       g_assert (iholder->plugin != NULL);
1725
1726       type_data_ref_Wm (iface);
1727       if (iholder->info)
1728         INVALID_RECURSION ("g_type_plugin_*", iface->plugin, NODE_NAME (iface));
1729
1730       memset (&tmp_info, 0, sizeof (tmp_info));
1731
1732       G_WRITE_UNLOCK (&type_rw_lock);
1733       g_type_plugin_use (iholder->plugin);
1734       g_type_plugin_complete_interface_info (iholder->plugin, instance_type, NODE_TYPE (iface), &tmp_info);
1735       G_WRITE_LOCK (&type_rw_lock);
1736       if (iholder->info)
1737         INVALID_RECURSION ("g_type_plugin_*", iholder->plugin, NODE_NAME (iface));
1738
1739       check_interface_info_I (iface, instance_type, &tmp_info);
1740       iholder->info = g_memdup (&tmp_info, sizeof (tmp_info));
1741     }
1742
1743   return iholder;       /* we don't modify write lock upon returning NULL */
1744 }
1745
1746 static void
1747 type_iface_blow_holder_info_Wm (TypeNode *iface,
1748                                 GType     instance_type)
1749 {
1750   IFaceHolder *iholder = iface_node_get_holders_L (iface);
1751
1752   g_assert (NODE_IS_IFACE (iface));
1753
1754   while (iholder->instance_type != instance_type)
1755     iholder = iholder->next;
1756
1757   if (iholder->info && iholder->plugin)
1758     {
1759       g_free (iholder->info);
1760       iholder->info = NULL;
1761
1762       G_WRITE_UNLOCK (&type_rw_lock);
1763       g_type_plugin_unuse (iholder->plugin);
1764       type_data_unref_U (iface, FALSE);
1765       G_WRITE_LOCK (&type_rw_lock);
1766     }
1767 }
1768
1769 /**
1770  * g_type_create_instance: (skip)
1771  * @type: An instantiatable type to create an instance for.
1772  *
1773  * Creates and initializes an instance of @type if @type is valid and
1774  * can be instantiated. The type system only performs basic allocation
1775  * and structure setups for instances: actual instance creation should
1776  * happen through functions supplied by the type's fundamental type
1777  * implementation.  So use of g_type_create_instance() is reserved for
1778  * implementators of fundamental types only. E.g. instances of the
1779  * #GObject hierarchy should be created via g_object_new() and
1780  * <emphasis>never</emphasis> directly through
1781  * g_type_create_instance() which doesn't handle things like singleton
1782  * objects or object construction.  Note: Do <emphasis>not</emphasis>
1783  * use this function, unless you're implementing a fundamental
1784  * type. Also language bindings should <emphasis>not</emphasis> use
1785  * this function but g_object_new() instead.
1786  *
1787  * Returns: An allocated and initialized instance, subject to further
1788  *  treatment by the fundamental type implementation.
1789  */
1790 GTypeInstance*
1791 g_type_create_instance (GType type)
1792 {
1793   TypeNode *node;
1794   GTypeInstance *instance;
1795   GTypeClass *class;
1796   gchar *allocated;
1797   gint private_size;
1798   gint ivar_size;
1799   guint i;
1800
1801   node = lookup_type_node_I (type);
1802   if (!node || !node->is_instantiatable)
1803     {
1804       g_error ("cannot create new instance of invalid (non-instantiatable) type '%s'",
1805                  type_descriptive_name_I (type));
1806     }
1807   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
1808   if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (type))
1809     {
1810       g_error ("cannot create instance of abstract (non-instantiatable) type '%s'",
1811                  type_descriptive_name_I (type));
1812     }
1813
1814   class = g_type_class_ref (type);
1815
1816   /* We allocate the 'private' areas before the normal instance data, in
1817    * reverse order.  This allows the private area of a particular class
1818    * to always be at a constant relative address to the instance data.
1819    * If we stored the private data after the instance data this would
1820    * not be the case (since a subclass that added more instance
1821    * variables would push the private data further along).
1822    *
1823    * This presents problems for valgrindability, of course, so we do a
1824    * workaround for that case.  We identify the start of the object to
1825    * valgrind as an allocated block (so that pointers to objects show up
1826    * as 'reachable' instead of 'possibly lost').  We then add an extra
1827    * pointer at the end of the object, after all instance data, back to
1828    * the start of the private area so that it is also recorded as
1829    * reachable.  We also add extra private space at the start because
1830    * valgrind doesn't seem to like us claiming to have allocated an
1831    * address that it saw allocated by malloc().
1832    */
1833   private_size = node->data->instance.private_size;
1834   ivar_size = node->data->instance.instance_size;
1835
1836   if (private_size && RUNNING_ON_VALGRIND)
1837     {
1838       private_size += ALIGN_STRUCT (1);
1839
1840       /* Allocate one extra pointer size... */
1841       allocated = g_slice_alloc0 (private_size + ivar_size + sizeof (gpointer));
1842       /* ... and point it back to the start of the private data. */
1843       *(gpointer *) (allocated + private_size + ivar_size) = allocated + ALIGN_STRUCT (1);
1844
1845       /* Tell valgrind that it should treat the object itself as such */
1846       VALGRIND_MALLOCLIKE_BLOCK (allocated + private_size, ivar_size + sizeof (gpointer), 0, TRUE);
1847       VALGRIND_MALLOCLIKE_BLOCK (allocated + ALIGN_STRUCT (1), private_size - ALIGN_STRUCT (1), 0, TRUE);
1848     }
1849   else
1850     allocated = g_slice_alloc0 (private_size + ivar_size);
1851
1852   instance = (GTypeInstance *) (allocated + private_size);
1853
1854   for (i = node->n_supers; i > 0; i--)
1855     {
1856       TypeNode *pnode;
1857
1858       pnode = lookup_type_node_I (node->supers[i]);
1859       if (pnode->data->instance.instance_init)
1860         {
1861           instance->g_class = pnode->data->instance.class;
1862           pnode->data->instance.instance_init (instance, class);
1863         }
1864     }
1865
1866   instance->g_class = class;
1867   if (node->data->instance.instance_init)
1868     node->data->instance.instance_init (instance, class);
1869
1870   TRACE(GOBJECT_OBJECT_NEW(instance, type));
1871
1872   return instance;
1873 }
1874
1875 /**
1876  * g_type_free_instance:
1877  * @instance: an instance of a type.
1878  *
1879  * Frees an instance of a type, returning it to the instance pool for
1880  * the type, if there is one.
1881  *
1882  * Like g_type_create_instance(), this function is reserved for
1883  * implementors of fundamental types.
1884  */
1885 void
1886 g_type_free_instance (GTypeInstance *instance)
1887 {
1888   TypeNode *node;
1889   GTypeClass *class;
1890   gchar *allocated;
1891   gint private_size;
1892   gint ivar_size;
1893
1894   g_return_if_fail (instance != NULL && instance->g_class != NULL);
1895
1896   class = instance->g_class;
1897   node = lookup_type_node_I (class->g_type);
1898   if (!node || !node->is_instantiatable || !node->data || node->data->class.class != (gpointer) class)
1899     {
1900       g_warning ("cannot free instance of invalid (non-instantiatable) type '%s'",
1901                  type_descriptive_name_I (class->g_type));
1902       return;
1903     }
1904   /* G_TYPE_IS_ABSTRACT() is an external call: _U */
1905   if (!node->mutatable_check_cache && G_TYPE_IS_ABSTRACT (NODE_TYPE (node)))
1906     {
1907       g_warning ("cannot free instance of abstract (non-instantiatable) type '%s'",
1908                  NODE_NAME (node));
1909       return;
1910     }
1911
1912   instance->g_class = NULL;
1913   private_size = node->data->instance.private_size;
1914   ivar_size = node->data->instance.instance_size;
1915   allocated = ((gchar *) instance) - private_size;
1916
1917 #ifdef G_ENABLE_DEBUG
1918   memset (allocated, 0xaa, ivar_size + private_size);
1919 #endif
1920
1921   /* See comment in g_type_create_instance() about what's going on here.
1922    * We're basically unwinding what we put into motion there.
1923    */
1924   if (private_size && RUNNING_ON_VALGRIND)
1925     {
1926       private_size += ALIGN_STRUCT (1);
1927       allocated -= ALIGN_STRUCT (1);
1928
1929       /* Clear out the extra pointer... */
1930       *(gpointer *) (allocated + private_size + ivar_size) = NULL;
1931       /* ... and ensure we include it in the size we free. */
1932       g_slice_free1 (private_size + ivar_size + sizeof (gpointer), allocated);
1933
1934       VALGRIND_FREELIKE_BLOCK (allocated + ALIGN_STRUCT (1), 0);
1935       VALGRIND_FREELIKE_BLOCK (instance, 0);
1936     }
1937   else
1938     g_slice_free1 (private_size + ivar_size, allocated);
1939
1940   g_type_class_unref (class);
1941 }
1942
1943 static void
1944 type_iface_ensure_dflt_vtable_Wm (TypeNode *iface)
1945 {
1946   g_assert (iface->data);
1947
1948   if (!iface->data->iface.dflt_vtable)
1949     {
1950       GTypeInterface *vtable = g_malloc0 (iface->data->iface.vtable_size);
1951       iface->data->iface.dflt_vtable = vtable;
1952       vtable->g_type = NODE_TYPE (iface);
1953       vtable->g_instance_type = 0;
1954       if (iface->data->iface.vtable_init_base ||
1955           iface->data->iface.dflt_init)
1956         {
1957           G_WRITE_UNLOCK (&type_rw_lock);
1958           if (iface->data->iface.vtable_init_base)
1959             iface->data->iface.vtable_init_base (vtable);
1960           if (iface->data->iface.dflt_init)
1961             iface->data->iface.dflt_init (vtable, (gpointer) iface->data->iface.dflt_data);
1962           G_WRITE_LOCK (&type_rw_lock);
1963         }
1964     }
1965 }
1966
1967
1968 /* This is called to allocate and do the first part of initializing
1969  * the interface vtable; type_iface_vtable_iface_init_Wm() does the remainder.
1970  *
1971  * A FALSE return indicates that we didn't find an init function for
1972  * this type/iface pair, so the vtable from the parent type should
1973  * be used. Note that the write lock is not modified upon a FALSE
1974  * return.
1975  */
1976 static gboolean
1977 type_iface_vtable_base_init_Wm (TypeNode *iface,
1978                                 TypeNode *node)
1979 {
1980   IFaceEntry *entry;
1981   IFaceHolder *iholder;
1982   GTypeInterface *vtable = NULL;
1983   TypeNode *pnode;
1984
1985   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
1986   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), TRUE);
1987   if (!iholder)
1988     return FALSE;       /* we don't modify write lock upon FALSE */
1989
1990   type_iface_ensure_dflt_vtable_Wm (iface);
1991
1992   entry = type_lookup_iface_entry_L (node, iface);
1993
1994   g_assert (iface->data && entry && entry->vtable == NULL && iholder && iholder->info);
1995
1996   entry->init_state = IFACE_INIT;
1997
1998   pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
1999   if (pnode)    /* want to copy over parent iface contents */
2000     {
2001       IFaceEntry *pentry = type_lookup_iface_entry_L (pnode, iface);
2002
2003       if (pentry)
2004         vtable = g_memdup (pentry->vtable, iface->data->iface.vtable_size);
2005     }
2006   if (!vtable)
2007     vtable = g_memdup (iface->data->iface.dflt_vtable, iface->data->iface.vtable_size);
2008   entry->vtable = vtable;
2009   vtable->g_type = NODE_TYPE (iface);
2010   vtable->g_instance_type = NODE_TYPE (node);
2011
2012   if (iface->data->iface.vtable_init_base)
2013     {
2014       G_WRITE_UNLOCK (&type_rw_lock);
2015       iface->data->iface.vtable_init_base (vtable);
2016       G_WRITE_LOCK (&type_rw_lock);
2017     }
2018   return TRUE;  /* initialized the vtable */
2019 }
2020
2021 /* Finishes what type_iface_vtable_base_init_Wm started by
2022  * calling the interface init function.
2023  * this function may only be called for types with their
2024  * own interface holder info, i.e. types for which
2025  * g_type_add_interface*() was called and not children thereof.
2026  */
2027 static void
2028 type_iface_vtable_iface_init_Wm (TypeNode *iface,
2029                                  TypeNode *node)
2030 {
2031   IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
2032   IFaceHolder *iholder = type_iface_peek_holder_L (iface, NODE_TYPE (node));
2033   GTypeInterface *vtable = NULL;
2034   guint i;
2035
2036   /* iholder->info should have been filled in by type_iface_vtable_base_init_Wm() */
2037   g_assert (iface->data && entry && iholder && iholder->info);
2038   g_assert (entry->init_state == IFACE_INIT); /* assert prior base_init() */
2039
2040   entry->init_state = INITIALIZED;
2041
2042   vtable = entry->vtable;
2043
2044   if (iholder->info->interface_init)
2045     {
2046       G_WRITE_UNLOCK (&type_rw_lock);
2047       if (iholder->info->interface_init)
2048         iholder->info->interface_init (vtable, iholder->info->interface_data);
2049       G_WRITE_LOCK (&type_rw_lock);
2050     }
2051
2052   for (i = 0; i < static_n_iface_check_funcs; i++)
2053     {
2054       GTypeInterfaceCheckFunc check_func = static_iface_check_funcs[i].check_func;
2055       gpointer check_data = static_iface_check_funcs[i].check_data;
2056
2057       G_WRITE_UNLOCK (&type_rw_lock);
2058       check_func (check_data, (gpointer)vtable);
2059       G_WRITE_LOCK (&type_rw_lock);
2060     }
2061 }
2062
2063 static gboolean
2064 type_iface_vtable_finalize_Wm (TypeNode       *iface,
2065                                TypeNode       *node,
2066                                GTypeInterface *vtable)
2067 {
2068   IFaceEntry *entry = type_lookup_iface_entry_L (node, iface);
2069   IFaceHolder *iholder;
2070
2071   /* type_iface_retrieve_holder_info_Wm() doesn't modify write lock for returning NULL */
2072   iholder = type_iface_retrieve_holder_info_Wm (iface, NODE_TYPE (node), FALSE);
2073   if (!iholder)
2074     return FALSE;       /* we don't modify write lock upon FALSE */
2075
2076   g_assert (entry && entry->vtable == vtable && iholder->info);
2077
2078   entry->vtable = NULL;
2079   entry->init_state = UNINITIALIZED;
2080   if (iholder->info->interface_finalize || iface->data->iface.vtable_finalize_base)
2081     {
2082       G_WRITE_UNLOCK (&type_rw_lock);
2083       if (iholder->info->interface_finalize)
2084         iholder->info->interface_finalize (vtable, iholder->info->interface_data);
2085       if (iface->data->iface.vtable_finalize_base)
2086         iface->data->iface.vtable_finalize_base (vtable);
2087       G_WRITE_LOCK (&type_rw_lock);
2088     }
2089   vtable->g_type = 0;
2090   vtable->g_instance_type = 0;
2091   g_free (vtable);
2092
2093   type_iface_blow_holder_info_Wm (iface, NODE_TYPE (node));
2094
2095   return TRUE;  /* write lock modified */
2096 }
2097
2098 static void
2099 type_class_init_Wm (TypeNode   *node,
2100                     GTypeClass *pclass)
2101 {
2102   GSList *slist, *init_slist = NULL;
2103   GTypeClass *class;
2104   IFaceEntries *entries;
2105   IFaceEntry *entry;
2106   TypeNode *bnode, *pnode;
2107   guint i;
2108
2109   /* Accessing data->class will work for instantiable types
2110    * too because ClassData is a subset of InstanceData
2111    */
2112   g_assert (node->is_classed && node->data &&
2113             node->data->class.class_size &&
2114             !node->data->class.class &&
2115             node->data->class.init_state == UNINITIALIZED);
2116   if (node->data->class.class_private_size)
2117     class = g_malloc0 (ALIGN_STRUCT (node->data->class.class_size) + node->data->class.class_private_size);
2118   else
2119     class = g_malloc0 (node->data->class.class_size);
2120   node->data->class.class = class;
2121   g_atomic_int_set (&node->data->class.init_state, BASE_CLASS_INIT);
2122
2123   if (pclass)
2124     {
2125       TypeNode *pnode = lookup_type_node_I (pclass->g_type);
2126
2127       memcpy (class, pclass, pnode->data->class.class_size);
2128       memcpy (G_STRUCT_MEMBER_P (class, ALIGN_STRUCT (node->data->class.class_size)), G_STRUCT_MEMBER_P (pclass, ALIGN_STRUCT (pnode->data->class.class_size)), pnode->data->class.class_private_size);
2129
2130       if (node->is_instantiatable)
2131         {
2132           /* We need to initialize the private_size here rather than in
2133            * type_data_make_W() since the class init for the parent
2134            * class may have changed pnode->data->instance.private_size.
2135            */
2136           node->data->instance.private_size = pnode->data->instance.private_size;
2137         }
2138     }
2139   class->g_type = NODE_TYPE (node);
2140
2141   G_WRITE_UNLOCK (&type_rw_lock);
2142
2143   /* stack all base class initialization functions, so we
2144    * call them in ascending order.
2145    */
2146   for (bnode = node; bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
2147     if (bnode->data->class.class_init_base)
2148       init_slist = g_slist_prepend (init_slist, (gpointer) bnode->data->class.class_init_base);
2149   for (slist = init_slist; slist; slist = slist->next)
2150     {
2151       GBaseInitFunc class_init_base = (GBaseInitFunc) slist->data;
2152
2153       class_init_base (class);
2154     }
2155   g_slist_free (init_slist);
2156
2157   G_WRITE_LOCK (&type_rw_lock);
2158
2159   g_atomic_int_set (&node->data->class.init_state, BASE_IFACE_INIT);
2160
2161   /* Before we initialize the class, base initialize all interfaces, either
2162    * from parent, or through our holder info
2163    */
2164   pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
2165
2166   i = 0;
2167   while ((entries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (node)) != NULL &&
2168           i < IFACE_ENTRIES_N_ENTRIES (entries))
2169     {
2170       entry = &entries->entry[i];
2171       while (i < IFACE_ENTRIES_N_ENTRIES (entries) &&
2172              entry->init_state == IFACE_INIT)
2173         {
2174           entry++;
2175           i++;
2176         }
2177
2178       if (i == IFACE_ENTRIES_N_ENTRIES (entries))
2179         break;
2180
2181       if (!type_iface_vtable_base_init_Wm (lookup_type_node_I (entry->iface_type), node))
2182         {
2183           guint j;
2184           IFaceEntries *pentries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (pnode);
2185
2186           /* need to get this interface from parent, type_iface_vtable_base_init_Wm()
2187            * doesn't modify write lock upon FALSE, so entry is still valid;
2188            */
2189           g_assert (pnode != NULL);
2190
2191           if (pentries)
2192             for (j = 0; j < IFACE_ENTRIES_N_ENTRIES (pentries); j++)
2193               {
2194                 IFaceEntry *pentry = &pentries->entry[j];
2195
2196                 if (pentry->iface_type == entry->iface_type)
2197                   {
2198                     entry->vtable = pentry->vtable;
2199                     entry->init_state = INITIALIZED;
2200                     break;
2201                   }
2202               }
2203           g_assert (entry->vtable != NULL);
2204         }
2205
2206       /* If the write lock was released, additional interface entries might
2207        * have been inserted into CLASSED_NODE_IFACES_ENTRIES (node); they'll
2208        * be base-initialized when inserted, so we don't have to worry that
2209        * we might miss them. Uninitialized entries can only be moved higher
2210        * when new ones are inserted.
2211        */
2212       i++;
2213     }
2214
2215   g_atomic_int_set (&node->data->class.init_state, CLASS_INIT);
2216
2217   G_WRITE_UNLOCK (&type_rw_lock);
2218
2219   if (node->data->class.class_init)
2220     node->data->class.class_init (class, (gpointer) node->data->class.class_data);
2221
2222   G_WRITE_LOCK (&type_rw_lock);
2223
2224   g_atomic_int_set (&node->data->class.init_state, IFACE_INIT);
2225
2226   /* finish initializing the interfaces through our holder info.
2227    * inherited interfaces are already init_state == INITIALIZED, because
2228    * they either got setup in the above base_init loop, or during
2229    * class_init from within type_add_interface_Wm() for this or
2230    * an anchestor type.
2231    */
2232   i = 0;
2233   while ((entries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (node)) != NULL)
2234     {
2235       entry = &entries->entry[i];
2236       while (i < IFACE_ENTRIES_N_ENTRIES (entries) &&
2237              entry->init_state == INITIALIZED)
2238         {
2239           entry++;
2240           i++;
2241         }
2242
2243       if (i == IFACE_ENTRIES_N_ENTRIES (entries))
2244         break;
2245
2246       type_iface_vtable_iface_init_Wm (lookup_type_node_I (entry->iface_type), node);
2247
2248       /* As in the loop above, additional initialized entries might be inserted
2249        * if the write lock is released, but that's harmless because the entries
2250        * we need to initialize only move higher in the list.
2251        */
2252       i++;
2253     }
2254
2255   g_atomic_int_set (&node->data->class.init_state, INITIALIZED);
2256 }
2257
2258 static void
2259 type_data_finalize_class_ifaces_Wm (TypeNode *node)
2260 {
2261   guint i;
2262   IFaceEntries *entries;
2263
2264   g_assert (node->is_instantiatable && node->data && node->data->class.class && NODE_REFCOUNT (node) == 0);
2265
2266  reiterate:
2267   entries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (node);
2268   for (i = 0; entries != NULL && i < IFACE_ENTRIES_N_ENTRIES (entries); i++)
2269     {
2270       IFaceEntry *entry = &entries->entry[i];
2271       if (entry->vtable)
2272         {
2273           if (type_iface_vtable_finalize_Wm (lookup_type_node_I (entry->iface_type), node, entry->vtable))
2274             {
2275               /* refetch entries, IFACES_ENTRIES might be modified */
2276               goto reiterate;
2277             }
2278           else
2279             {
2280               /* type_iface_vtable_finalize_Wm() doesn't modify write lock upon FALSE,
2281                * iface vtable came from parent
2282                */
2283               entry->vtable = NULL;
2284               entry->init_state = UNINITIALIZED;
2285             }
2286         }
2287     }
2288 }
2289
2290 static void
2291 type_data_finalize_class_U (TypeNode  *node,
2292                             ClassData *cdata)
2293 {
2294   GTypeClass *class = cdata->class;
2295   TypeNode *bnode;
2296
2297   g_assert (cdata->class && NODE_REFCOUNT (node) == 0);
2298
2299   if (cdata->class_finalize)
2300     cdata->class_finalize (class, (gpointer) cdata->class_data);
2301
2302   /* call all base class destruction functions in descending order
2303    */
2304   if (cdata->class_finalize_base)
2305     cdata->class_finalize_base (class);
2306   for (bnode = lookup_type_node_I (NODE_PARENT_TYPE (node)); bnode; bnode = lookup_type_node_I (NODE_PARENT_TYPE (bnode)))
2307     if (bnode->data->class.class_finalize_base)
2308       bnode->data->class.class_finalize_base (class);
2309
2310   g_free (cdata->class);
2311 }
2312
2313 static void
2314 type_data_last_unref_Wm (TypeNode *node,
2315                          gboolean  uncached)
2316 {
2317   g_return_if_fail (node != NULL && node->plugin != NULL);
2318
2319   if (!node->data || NODE_REFCOUNT (node) == 0)
2320     {
2321       g_warning ("cannot drop last reference to unreferenced type '%s'",
2322                  NODE_NAME (node));
2323       return;
2324     }
2325
2326   /* call class cache hooks */
2327   if (node->is_classed && node->data && node->data->class.class && static_n_class_cache_funcs && !uncached)
2328     {
2329       guint i;
2330
2331       G_WRITE_UNLOCK (&type_rw_lock);
2332       G_READ_LOCK (&type_rw_lock);
2333       for (i = 0; i < static_n_class_cache_funcs; i++)
2334         {
2335           GTypeClassCacheFunc cache_func = static_class_cache_funcs[i].cache_func;
2336           gpointer cache_data = static_class_cache_funcs[i].cache_data;
2337           gboolean need_break;
2338
2339           G_READ_UNLOCK (&type_rw_lock);
2340           need_break = cache_func (cache_data, node->data->class.class);
2341           G_READ_LOCK (&type_rw_lock);
2342           if (!node->data || NODE_REFCOUNT (node) == 0)
2343             INVALID_RECURSION ("GType class cache function ", cache_func, NODE_NAME (node));
2344           if (need_break)
2345             break;
2346         }
2347       G_READ_UNLOCK (&type_rw_lock);
2348       G_WRITE_LOCK (&type_rw_lock);
2349     }
2350
2351   /* may have been re-referenced meanwhile */
2352   if (g_atomic_int_dec_and_test ((int *) &node->ref_count))
2353     {
2354       GType ptype = NODE_PARENT_TYPE (node);
2355       TypeData *tdata;
2356
2357       if (node->is_instantiatable)
2358         {
2359           /* destroy node->data->instance.mem_chunk */
2360         }
2361
2362       tdata = node->data;
2363       if (node->is_classed && tdata->class.class)
2364         {
2365           if (CLASSED_NODE_IFACES_ENTRIES_LOCKED (node) != NULL)
2366             type_data_finalize_class_ifaces_Wm (node);
2367           node->mutatable_check_cache = FALSE;
2368           node->data = NULL;
2369           G_WRITE_UNLOCK (&type_rw_lock);
2370           type_data_finalize_class_U (node, &tdata->class);
2371           G_WRITE_LOCK (&type_rw_lock);
2372         }
2373       else if (NODE_IS_IFACE (node) && tdata->iface.dflt_vtable)
2374         {
2375           node->mutatable_check_cache = FALSE;
2376           node->data = NULL;
2377           if (tdata->iface.dflt_finalize || tdata->iface.vtable_finalize_base)
2378             {
2379               G_WRITE_UNLOCK (&type_rw_lock);
2380               if (tdata->iface.dflt_finalize)
2381                 tdata->iface.dflt_finalize (tdata->iface.dflt_vtable, (gpointer) tdata->iface.dflt_data);
2382               if (tdata->iface.vtable_finalize_base)
2383                 tdata->iface.vtable_finalize_base (tdata->iface.dflt_vtable);
2384               G_WRITE_LOCK (&type_rw_lock);
2385             }
2386           g_free (tdata->iface.dflt_vtable);
2387         }
2388       else
2389         {
2390           node->mutatable_check_cache = FALSE;
2391           node->data = NULL;
2392         }
2393
2394       /* freeing tdata->common.value_table and its contents is taken care of
2395        * by allocating it in one chunk with tdata
2396        */
2397       g_free (tdata);
2398
2399       G_WRITE_UNLOCK (&type_rw_lock);
2400       g_type_plugin_unuse (node->plugin);
2401       if (ptype)
2402         type_data_unref_U (lookup_type_node_I (ptype), FALSE);
2403       G_WRITE_LOCK (&type_rw_lock);
2404     }
2405 }
2406
2407 static inline void
2408 type_data_unref_U (TypeNode *node,
2409                    gboolean  uncached)
2410 {
2411   guint current;
2412
2413   do {
2414     current = NODE_REFCOUNT (node);
2415
2416     if (current <= 1)
2417     {
2418       if (!node->plugin)
2419         {
2420           g_warning ("static type '%s' unreferenced too often",
2421                      NODE_NAME (node));
2422           return;
2423         }
2424       else
2425         {
2426           /* This is the last reference of a type from a plugin.  We are
2427            * experimentally disabling support for unloading type
2428            * plugins, so don't allow the last ref to drop.
2429            */
2430           return;
2431         }
2432
2433       g_assert (current > 0);
2434
2435       g_rec_mutex_lock (&class_init_rec_mutex); /* required locking order: 1) class_init_rec_mutex, 2) type_rw_lock */
2436       G_WRITE_LOCK (&type_rw_lock);
2437       type_data_last_unref_Wm (node, uncached);
2438       G_WRITE_UNLOCK (&type_rw_lock);
2439       g_rec_mutex_unlock (&class_init_rec_mutex);
2440       return;
2441     }
2442   } while (!g_atomic_int_compare_and_exchange ((int *) &node->ref_count, current, current - 1));
2443 }
2444
2445 /**
2446  * g_type_add_class_cache_func: (skip)
2447  * @cache_data: data to be passed to @cache_func
2448  * @cache_func: a #GTypeClassCacheFunc
2449  *
2450  * Adds a #GTypeClassCacheFunc to be called before the reference count of a
2451  * class goes from one to zero. This can be used to prevent premature class
2452  * destruction. All installed #GTypeClassCacheFunc functions will be chained
2453  * until one of them returns %TRUE. The functions have to check the class id
2454  * passed in to figure whether they actually want to cache the class of this
2455  * type, since all classes are routed through the same #GTypeClassCacheFunc
2456  * chain.
2457  */
2458 void
2459 g_type_add_class_cache_func (gpointer            cache_data,
2460                              GTypeClassCacheFunc cache_func)
2461 {
2462   guint i;
2463
2464   g_return_if_fail (cache_func != NULL);
2465
2466   G_WRITE_LOCK (&type_rw_lock);
2467   i = static_n_class_cache_funcs++;
2468   static_class_cache_funcs = g_renew (ClassCacheFunc, static_class_cache_funcs, static_n_class_cache_funcs);
2469   static_class_cache_funcs[i].cache_data = cache_data;
2470   static_class_cache_funcs[i].cache_func = cache_func;
2471   G_WRITE_UNLOCK (&type_rw_lock);
2472 }
2473
2474 /**
2475  * g_type_remove_class_cache_func: (skip)
2476  * @cache_data: data that was given when adding @cache_func
2477  * @cache_func: a #GTypeClassCacheFunc
2478  *
2479  * Removes a previously installed #GTypeClassCacheFunc. The cache
2480  * maintained by @cache_func has to be empty when calling
2481  * g_type_remove_class_cache_func() to avoid leaks.
2482  */
2483 void
2484 g_type_remove_class_cache_func (gpointer            cache_data,
2485                                 GTypeClassCacheFunc cache_func)
2486 {
2487   gboolean found_it = FALSE;
2488   guint i;
2489
2490   g_return_if_fail (cache_func != NULL);
2491
2492   G_WRITE_LOCK (&type_rw_lock);
2493   for (i = 0; i < static_n_class_cache_funcs; i++)
2494     if (static_class_cache_funcs[i].cache_data == cache_data &&
2495         static_class_cache_funcs[i].cache_func == cache_func)
2496       {
2497         static_n_class_cache_funcs--;
2498         memmove (static_class_cache_funcs + i,
2499                  static_class_cache_funcs + i + 1,
2500                  sizeof (static_class_cache_funcs[0]) * (static_n_class_cache_funcs - i));
2501         static_class_cache_funcs = g_renew (ClassCacheFunc, static_class_cache_funcs, static_n_class_cache_funcs);
2502         found_it = TRUE;
2503         break;
2504       }
2505   G_WRITE_UNLOCK (&type_rw_lock);
2506
2507   if (!found_it)
2508     g_warning (G_STRLOC ": cannot remove unregistered class cache func %p with data %p",
2509                cache_func, cache_data);
2510 }
2511
2512
2513 /**
2514  * g_type_add_interface_check: (skip)
2515  * @check_data: data to pass to @check_func
2516  * @check_func: function to be called after each interface
2517  *              is initialized.
2518  *
2519  * Adds a function to be called after an interface vtable is
2520  * initialized for any class (i.e. after the @interface_init member of
2521  * #GInterfaceInfo has been called).
2522  *
2523  * This function is useful when you want to check an invariant that
2524  * depends on the interfaces of a class. For instance, the
2525  * implementation of #GObject uses this facility to check that an
2526  * object implements all of the properties that are defined on its
2527  * interfaces.
2528  *
2529  * Since: 2.4
2530  */
2531 void
2532 g_type_add_interface_check (gpointer                check_data,
2533                             GTypeInterfaceCheckFunc check_func)
2534 {
2535   guint i;
2536
2537   g_return_if_fail (check_func != NULL);
2538
2539   G_WRITE_LOCK (&type_rw_lock);
2540   i = static_n_iface_check_funcs++;
2541   static_iface_check_funcs = g_renew (IFaceCheckFunc, static_iface_check_funcs, static_n_iface_check_funcs);
2542   static_iface_check_funcs[i].check_data = check_data;
2543   static_iface_check_funcs[i].check_func = check_func;
2544   G_WRITE_UNLOCK (&type_rw_lock);
2545 }
2546
2547 /**
2548  * g_type_remove_interface_check: (skip)
2549  * @check_data: callback data passed to g_type_add_interface_check()
2550  * @check_func: callback function passed to g_type_add_interface_check()
2551  *
2552  * Removes an interface check function added with
2553  * g_type_add_interface_check().
2554  *
2555  * Since: 2.4
2556  */
2557 void
2558 g_type_remove_interface_check (gpointer                check_data,
2559                                GTypeInterfaceCheckFunc check_func)
2560 {
2561   gboolean found_it = FALSE;
2562   guint i;
2563
2564   g_return_if_fail (check_func != NULL);
2565
2566   G_WRITE_LOCK (&type_rw_lock);
2567   for (i = 0; i < static_n_iface_check_funcs; i++)
2568     if (static_iface_check_funcs[i].check_data == check_data &&
2569         static_iface_check_funcs[i].check_func == check_func)
2570       {
2571         static_n_iface_check_funcs--;
2572         memmove (static_iface_check_funcs + i,
2573                  static_iface_check_funcs + i + 1,
2574                  sizeof (static_iface_check_funcs[0]) * (static_n_iface_check_funcs - i));
2575         static_iface_check_funcs = g_renew (IFaceCheckFunc, static_iface_check_funcs, static_n_iface_check_funcs);
2576         found_it = TRUE;
2577         break;
2578       }
2579   G_WRITE_UNLOCK (&type_rw_lock);
2580
2581   if (!found_it)
2582     g_warning (G_STRLOC ": cannot remove unregistered class check func %p with data %p",
2583                check_func, check_data);
2584 }
2585
2586 /* --- type registration --- */
2587 /**
2588  * g_type_register_fundamental:
2589  * @type_id: A predefined type identifier.
2590  * @type_name: 0-terminated string used as the name of the new type.
2591  * @info: The #GTypeInfo structure for this type.
2592  * @finfo: The #GTypeFundamentalInfo structure for this type.
2593  * @flags: Bitwise combination of #GTypeFlags values.
2594  *
2595  * Registers @type_id as the predefined identifier and @type_name as the
2596  * name of a fundamental type. If @type_id is already registered, or a type
2597  * named @type_name is already registered, the behaviour is undefined. The type
2598  * system uses the information contained in the #GTypeInfo structure pointed to
2599  * by @info and the #GTypeFundamentalInfo structure pointed to by @finfo to
2600  * manage the type and its instances. The value of @flags determines additional
2601  * characteristics of the fundamental type.
2602  *
2603  * Returns: The predefined type identifier.
2604  */
2605 GType
2606 g_type_register_fundamental (GType                       type_id,
2607                              const gchar                *type_name,
2608                              const GTypeInfo            *info,
2609                              const GTypeFundamentalInfo *finfo,
2610                              GTypeFlags                  flags)
2611 {
2612   TypeNode *node;
2613
2614   g_assert_type_system_initialized ();
2615   g_return_val_if_fail (type_id > 0, 0);
2616   g_return_val_if_fail (type_name != NULL, 0);
2617   g_return_val_if_fail (info != NULL, 0);
2618   g_return_val_if_fail (finfo != NULL, 0);
2619
2620   if (!check_type_name_I (type_name))
2621     return 0;
2622   if ((type_id & TYPE_ID_MASK) ||
2623       type_id > G_TYPE_FUNDAMENTAL_MAX)
2624     {
2625       g_warning ("attempt to register fundamental type '%s' with invalid type id (%" G_GSIZE_FORMAT ")",
2626                  type_name,
2627                  type_id);
2628       return 0;
2629     }
2630   if ((finfo->type_flags & G_TYPE_FLAG_INSTANTIATABLE) &&
2631       !(finfo->type_flags & G_TYPE_FLAG_CLASSED))
2632     {
2633       g_warning ("cannot register instantiatable fundamental type '%s' as non-classed",
2634                  type_name);
2635       return 0;
2636     }
2637   if (lookup_type_node_I (type_id))
2638     {
2639       g_warning ("cannot register existing fundamental type '%s' (as '%s')",
2640                  type_descriptive_name_I (type_id),
2641                  type_name);
2642       return 0;
2643     }
2644
2645   G_WRITE_LOCK (&type_rw_lock);
2646   node = type_node_fundamental_new_W (type_id, type_name, finfo->type_flags);
2647   type_add_flags_W (node, flags);
2648
2649   if (check_type_info_I (NULL, NODE_FUNDAMENTAL_TYPE (node), type_name, info))
2650     type_data_make_W (node, info,
2651                       check_value_table_I (type_name, info->value_table) ? info->value_table : NULL);
2652   G_WRITE_UNLOCK (&type_rw_lock);
2653
2654   return NODE_TYPE (node);
2655 }
2656
2657 /**
2658  * g_type_register_static_simple: (skip)
2659  * @parent_type: Type from which this type will be derived.
2660  * @type_name: 0-terminated string used as the name of the new type.
2661  * @class_size: Size of the class structure (see #GTypeInfo)
2662  * @class_init: Location of the class initialization function (see #GTypeInfo)
2663  * @instance_size: Size of the instance structure (see #GTypeInfo)
2664  * @instance_init: Location of the instance initialization function (see #GTypeInfo)
2665  * @flags: Bitwise combination of #GTypeFlags values.
2666  *
2667  * Registers @type_name as the name of a new static type derived from
2668  * @parent_type.  The value of @flags determines the nature (e.g.
2669  * abstract or not) of the type. It works by filling a #GTypeInfo
2670  * struct and calling g_type_register_static().
2671  *
2672  * Since: 2.12
2673  *
2674  * Returns: The new type identifier.
2675  */
2676 GType
2677 g_type_register_static_simple (GType             parent_type,
2678                                const gchar      *type_name,
2679                                guint             class_size,
2680                                GClassInitFunc    class_init,
2681                                guint             instance_size,
2682                                GInstanceInitFunc instance_init,
2683                                GTypeFlags        flags)
2684 {
2685   GTypeInfo info;
2686
2687   /* Instances are not allowed to be larger than this. If you have a big
2688    * fixed-length array or something, point to it instead.
2689    */
2690   g_return_val_if_fail (class_size <= G_MAXUINT16, G_TYPE_INVALID);
2691   g_return_val_if_fail (instance_size <= G_MAXUINT16, G_TYPE_INVALID);
2692
2693   info.class_size = class_size;
2694   info.base_init = NULL;
2695   info.base_finalize = NULL;
2696   info.class_init = class_init;
2697   info.class_finalize = NULL;
2698   info.class_data = NULL;
2699   info.instance_size = instance_size;
2700   info.n_preallocs = 0;
2701   info.instance_init = instance_init;
2702   info.value_table = NULL;
2703
2704   return g_type_register_static (parent_type, type_name, &info, flags);
2705 }
2706
2707 /**
2708  * g_type_register_static:
2709  * @parent_type: Type from which this type will be derived.
2710  * @type_name: 0-terminated string used as the name of the new type.
2711  * @info: The #GTypeInfo structure for this type.
2712  * @flags: Bitwise combination of #GTypeFlags values.
2713  *
2714  * Registers @type_name as the name of a new static type derived from
2715  * @parent_type.  The type system uses the information contained in the
2716  * #GTypeInfo structure pointed to by @info to manage the type and its
2717  * instances (if not abstract).  The value of @flags determines the nature
2718  * (e.g. abstract or not) of the type.
2719  *
2720  * Returns: The new type identifier.
2721  */
2722 GType
2723 g_type_register_static (GType            parent_type,
2724                         const gchar     *type_name,
2725                         const GTypeInfo *info,
2726                         GTypeFlags       flags)
2727 {
2728   TypeNode *pnode, *node;
2729   GType type = 0;
2730
2731   g_assert_type_system_initialized ();
2732   g_return_val_if_fail (parent_type > 0, 0);
2733   g_return_val_if_fail (type_name != NULL, 0);
2734   g_return_val_if_fail (info != NULL, 0);
2735
2736   if (!check_type_name_I (type_name) ||
2737       !check_derivation_I (parent_type, type_name))
2738     return 0;
2739   if (info->class_finalize)
2740     {
2741       g_warning ("class finalizer specified for static type '%s'",
2742                  type_name);
2743       return 0;
2744     }
2745
2746   pnode = lookup_type_node_I (parent_type);
2747   G_WRITE_LOCK (&type_rw_lock);
2748   type_data_ref_Wm (pnode);
2749   if (check_type_info_I (pnode, NODE_FUNDAMENTAL_TYPE (pnode), type_name, info))
2750     {
2751       node = type_node_new_W (pnode, type_name, NULL);
2752       type_add_flags_W (node, flags);
2753       type = NODE_TYPE (node);
2754       type_data_make_W (node, info,
2755                         check_value_table_I (type_name, info->value_table) ? info->value_table : NULL);
2756     }
2757   G_WRITE_UNLOCK (&type_rw_lock);
2758
2759   return type;
2760 }
2761
2762 /**
2763  * g_type_register_dynamic:
2764  * @parent_type: Type from which this type will be derived.
2765  * @type_name: 0-terminated string used as the name of the new type.
2766  * @plugin: The #GTypePlugin structure to retrieve the #GTypeInfo from.
2767  * @flags: Bitwise combination of #GTypeFlags values.
2768  *
2769  * Registers @type_name as the name of a new dynamic type derived from
2770  * @parent_type.  The type system uses the information contained in the
2771  * #GTypePlugin structure pointed to by @plugin to manage the type and its
2772  * instances (if not abstract).  The value of @flags determines the nature
2773  * (e.g. abstract or not) of the type.
2774  *
2775  * Returns: The new type identifier or #G_TYPE_INVALID if registration failed.
2776  */
2777 GType
2778 g_type_register_dynamic (GType        parent_type,
2779                          const gchar *type_name,
2780                          GTypePlugin *plugin,
2781                          GTypeFlags   flags)
2782 {
2783   TypeNode *pnode, *node;
2784   GType type;
2785
2786   g_assert_type_system_initialized ();
2787   g_return_val_if_fail (parent_type > 0, 0);
2788   g_return_val_if_fail (type_name != NULL, 0);
2789   g_return_val_if_fail (plugin != NULL, 0);
2790
2791   if (!check_type_name_I (type_name) ||
2792       !check_derivation_I (parent_type, type_name) ||
2793       !check_plugin_U (plugin, TRUE, FALSE, type_name))
2794     return 0;
2795
2796   G_WRITE_LOCK (&type_rw_lock);
2797   pnode = lookup_type_node_I (parent_type);
2798   node = type_node_new_W (pnode, type_name, plugin);
2799   type_add_flags_W (node, flags);
2800   type = NODE_TYPE (node);
2801   G_WRITE_UNLOCK (&type_rw_lock);
2802
2803   return type;
2804 }
2805
2806 /**
2807  * g_type_add_interface_static:
2808  * @instance_type: #GType value of an instantiable type.
2809  * @interface_type: #GType value of an interface type.
2810  * @info: The #GInterfaceInfo structure for this
2811  *        (@instance_type, @interface_type) combination.
2812  *
2813  * Adds the static @interface_type to @instantiable_type.  The
2814  * information contained in the #GInterfaceInfo structure pointed to by
2815  * @info is used to manage the relationship.
2816  */
2817 void
2818 g_type_add_interface_static (GType                 instance_type,
2819                              GType                 interface_type,
2820                              const GInterfaceInfo *info)
2821 {
2822   /* G_TYPE_IS_INSTANTIATABLE() is an external call: _U */
2823   g_return_if_fail (G_TYPE_IS_INSTANTIATABLE (instance_type));
2824   g_return_if_fail (g_type_parent (interface_type) == G_TYPE_INTERFACE);
2825
2826   /* we only need to lock class_init_rec_mutex if instance_type already has its
2827    * class initialized, however this function is rarely enough called to take
2828    * the simple route and always acquire class_init_rec_mutex.
2829    */
2830   g_rec_mutex_lock (&class_init_rec_mutex); /* required locking order: 1) class_init_rec_mutex, 2) type_rw_lock */
2831   G_WRITE_LOCK (&type_rw_lock);
2832   if (check_add_interface_L (instance_type, interface_type))
2833     {
2834       TypeNode *node = lookup_type_node_I (instance_type);
2835       TypeNode *iface = lookup_type_node_I (interface_type);
2836       if (check_interface_info_I (iface, NODE_TYPE (node), info))
2837         type_add_interface_Wm (node, iface, info, NULL);
2838     }
2839   G_WRITE_UNLOCK (&type_rw_lock);
2840   g_rec_mutex_unlock (&class_init_rec_mutex);
2841 }
2842
2843 /**
2844  * g_type_add_interface_dynamic:
2845  * @instance_type: the #GType value of an instantiable type.
2846  * @interface_type: the #GType value of an interface type.
2847  * @plugin: the #GTypePlugin structure to retrieve the #GInterfaceInfo from.
2848  *
2849  * Adds the dynamic @interface_type to @instantiable_type. The information
2850  * contained in the #GTypePlugin structure pointed to by @plugin
2851  * is used to manage the relationship.
2852  */
2853 void
2854 g_type_add_interface_dynamic (GType        instance_type,
2855                               GType        interface_type,
2856                               GTypePlugin *plugin)
2857 {
2858   TypeNode *node;
2859   /* G_TYPE_IS_INSTANTIATABLE() is an external call: _U */
2860   g_return_if_fail (G_TYPE_IS_INSTANTIATABLE (instance_type));
2861   g_return_if_fail (g_type_parent (interface_type) == G_TYPE_INTERFACE);
2862
2863   node = lookup_type_node_I (instance_type);
2864   if (!check_plugin_U (plugin, FALSE, TRUE, NODE_NAME (node)))
2865     return;
2866
2867   /* see comment in g_type_add_interface_static() about class_init_rec_mutex */
2868   g_rec_mutex_lock (&class_init_rec_mutex); /* required locking order: 1) class_init_rec_mutex, 2) type_rw_lock */
2869   G_WRITE_LOCK (&type_rw_lock);
2870   if (check_add_interface_L (instance_type, interface_type))
2871     {
2872       TypeNode *iface = lookup_type_node_I (interface_type);
2873       type_add_interface_Wm (node, iface, NULL, plugin);
2874     }
2875   G_WRITE_UNLOCK (&type_rw_lock);
2876   g_rec_mutex_unlock (&class_init_rec_mutex);
2877 }
2878
2879
2880 /* --- public API functions --- */
2881 /**
2882  * g_type_class_ref:
2883  * @type: Type ID of a classed type.
2884  *
2885  * Increments the reference count of the class structure belonging to
2886  * @type. This function will demand-create the class if it doesn't
2887  * exist already.
2888  *
2889  * Returns: (type GObject.TypeClass) (transfer none): The #GTypeClass
2890  *  structure for the given type ID.
2891  */
2892 gpointer
2893 g_type_class_ref (GType type)
2894 {
2895   TypeNode *node;
2896   GType ptype;
2897   gboolean holds_ref;
2898   GTypeClass *pclass;
2899
2900   /* optimize for common code path */
2901   node = lookup_type_node_I (type);
2902   if (!node || !node->is_classed)
2903     {
2904       g_warning ("cannot retrieve class for invalid (unclassed) type '%s'",
2905                  type_descriptive_name_I (type));
2906       return NULL;
2907     }
2908
2909   if (G_LIKELY (type_data_ref_U (node)))
2910     {
2911       if (G_LIKELY (g_atomic_int_get (&node->data->class.init_state) == INITIALIZED))
2912         return node->data->class.class;
2913       holds_ref = TRUE;
2914     }
2915   else
2916     holds_ref = FALSE;
2917
2918   /* here, we either have node->data->class.class == NULL, or a recursive
2919    * call to g_type_class_ref() with a partly initialized class, or
2920    * node->data->class.init_state == INITIALIZED, because any
2921    * concurrently running initialization was guarded by class_init_rec_mutex.
2922    */
2923   g_rec_mutex_lock (&class_init_rec_mutex); /* required locking order: 1) class_init_rec_mutex, 2) type_rw_lock */
2924
2925   /* we need an initialized parent class for initializing derived classes */
2926   ptype = NODE_PARENT_TYPE (node);
2927   pclass = ptype ? g_type_class_ref (ptype) : NULL;
2928
2929   G_WRITE_LOCK (&type_rw_lock);
2930
2931   if (!holds_ref)
2932     type_data_ref_Wm (node);
2933
2934   if (!node->data->class.class) /* class uninitialized */
2935     type_class_init_Wm (node, pclass);
2936
2937   G_WRITE_UNLOCK (&type_rw_lock);
2938
2939   if (pclass)
2940     g_type_class_unref (pclass);
2941
2942   g_rec_mutex_unlock (&class_init_rec_mutex);
2943
2944   return node->data->class.class;
2945 }
2946
2947 /**
2948  * g_type_class_unref:
2949  * @g_class: (type GObject.TypeClass): The #GTypeClass structure to
2950  *  unreference.
2951  *
2952  * Decrements the reference count of the class structure being passed in.
2953  * Once the last reference count of a class has been released, classes
2954  * may be finalized by the type system, so further dereferencing of a
2955  * class pointer after g_type_class_unref() are invalid.
2956  */
2957 void
2958 g_type_class_unref (gpointer g_class)
2959 {
2960   TypeNode *node;
2961   GTypeClass *class = g_class;
2962
2963   g_return_if_fail (g_class != NULL);
2964
2965   node = lookup_type_node_I (class->g_type);
2966   if (node && node->is_classed && NODE_REFCOUNT (node))
2967     type_data_unref_U (node, FALSE);
2968   else
2969     g_warning ("cannot unreference class of invalid (unclassed) type '%s'",
2970                type_descriptive_name_I (class->g_type));
2971 }
2972
2973 /**
2974  * g_type_class_unref_uncached: (skip)
2975  * @g_class: (type GObject.TypeClass): The #GTypeClass structure to
2976  *  unreference.
2977  *
2978  * A variant of g_type_class_unref() for use in #GTypeClassCacheFunc
2979  * implementations. It unreferences a class without consulting the chain
2980  * of #GTypeClassCacheFunc<!-- -->s, avoiding the recursion which would occur
2981  * otherwise.
2982  */
2983 void
2984 g_type_class_unref_uncached (gpointer g_class)
2985 {
2986   TypeNode *node;
2987   GTypeClass *class = g_class;
2988
2989   g_return_if_fail (g_class != NULL);
2990
2991   node = lookup_type_node_I (class->g_type);
2992   if (node && node->is_classed && NODE_REFCOUNT (node))
2993     type_data_unref_U (node, TRUE);
2994   else
2995     g_warning ("cannot unreference class of invalid (unclassed) type '%s'",
2996                type_descriptive_name_I (class->g_type));
2997 }
2998
2999 /**
3000  * g_type_class_peek:
3001  * @type: Type ID of a classed type.
3002  *
3003  * This function is essentially the same as g_type_class_ref(), except that
3004  * the classes reference count isn't incremented. As a consequence, this function
3005  * may return %NULL if the class of the type passed in does not currently
3006  * exist (hasn't been referenced before).
3007  *
3008  * Returns: (type GObject.TypeClass) (transfer none): The #GTypeClass
3009  *  structure for the given type ID or %NULL if the class does not
3010  *  currently exist.
3011  */
3012 gpointer
3013 g_type_class_peek (GType type)
3014 {
3015   TypeNode *node;
3016   gpointer class;
3017
3018   node = lookup_type_node_I (type);
3019   if (node && node->is_classed && NODE_REFCOUNT (node) &&
3020       g_atomic_int_get (&node->data->class.init_state) == INITIALIZED)
3021     /* ref_count _may_ be 0 */
3022     class = node->data->class.class;
3023   else
3024     class = NULL;
3025
3026   return class;
3027 }
3028
3029 /**
3030  * g_type_class_peek_static:
3031  * @type: Type ID of a classed type.
3032  *
3033  * A more efficient version of g_type_class_peek() which works only for
3034  * static types.
3035  *
3036  * Since: 2.4
3037  * Returns: (type GObject.TypeClass) (transfer none): The #GTypeClass
3038  *  structure for the given type ID or %NULL if the class does not
3039  *  currently exist or is dynamically loaded.
3040  */
3041 gpointer
3042 g_type_class_peek_static (GType type)
3043 {
3044   TypeNode *node;
3045   gpointer class;
3046
3047   node = lookup_type_node_I (type);
3048   if (node && node->is_classed && NODE_REFCOUNT (node) &&
3049       /* peek only static types: */ node->plugin == NULL &&
3050       g_atomic_int_get (&node->data->class.init_state) == INITIALIZED)
3051     /* ref_count _may_ be 0 */
3052     class = node->data->class.class;
3053   else
3054     class = NULL;
3055
3056   return class;
3057 }
3058
3059 /**
3060  * g_type_class_peek_parent:
3061  * @g_class: (type GObject.TypeClass): The #GTypeClass structure to
3062  *  retrieve the parent class for.
3063  *
3064  * This is a convenience function often needed in class initializers.
3065  * It returns the class structure of the immediate parent type of the
3066  * class passed in.  Since derived classes hold a reference count on
3067  * their parent classes as long as they are instantiated, the returned
3068  * class will always exist. This function is essentially equivalent
3069  * to:
3070  *
3071  * <programlisting>
3072  * g_type_class_peek (g_type_parent (G_TYPE_FROM_CLASS (g_class)));
3073  * </programlisting>
3074  *
3075  * Returns: (type GObject.TypeClass) (transfer none): The parent class
3076  *  of @g_class.
3077  */
3078 gpointer
3079 g_type_class_peek_parent (gpointer g_class)
3080 {
3081   TypeNode *node;
3082   gpointer class = NULL;
3083
3084   g_return_val_if_fail (g_class != NULL, NULL);
3085
3086   node = lookup_type_node_I (G_TYPE_FROM_CLASS (g_class));
3087   /* We used to acquire a read lock here. That is not necessary, since
3088    * parent->data->class.class is constant as long as the derived class
3089    * exists.
3090    */
3091   if (node && node->is_classed && node->data && NODE_PARENT_TYPE (node))
3092     {
3093       node = lookup_type_node_I (NODE_PARENT_TYPE (node));
3094       class = node->data->class.class;
3095     }
3096   else if (NODE_PARENT_TYPE (node))
3097     g_warning (G_STRLOC ": invalid class pointer '%p'", g_class);
3098
3099   return class;
3100 }
3101
3102 /**
3103  * g_type_interface_peek:
3104  * @instance_class: (type GObject.TypeClass): A #GTypeClass structure.
3105  * @iface_type: An interface ID which this class conforms to.
3106  *
3107  * Returns the #GTypeInterface structure of an interface to which the
3108  * passed in class conforms.
3109  *
3110  * Returns: (type GObject.TypeInterface) (transfer none): The GTypeInterface
3111  *  structure of iface_type if implemented by @instance_class, %NULL
3112  *  otherwise
3113  */
3114 gpointer
3115 g_type_interface_peek (gpointer instance_class,
3116                        GType    iface_type)
3117 {
3118   TypeNode *node;
3119   TypeNode *iface;
3120   gpointer vtable = NULL;
3121   GTypeClass *class = instance_class;
3122
3123   g_return_val_if_fail (instance_class != NULL, NULL);
3124
3125   node = lookup_type_node_I (class->g_type);
3126   iface = lookup_type_node_I (iface_type);
3127   if (node && node->is_instantiatable && iface)
3128     type_lookup_iface_vtable_I (node, iface, &vtable);
3129   else
3130     g_warning (G_STRLOC ": invalid class pointer '%p'", class);
3131
3132   return vtable;
3133 }
3134
3135 /**
3136  * g_type_interface_peek_parent:
3137  * @g_iface: (type GObject.TypeInterface): A #GTypeInterface structure.
3138  *
3139  * Returns the corresponding #GTypeInterface structure of the parent type
3140  * of the instance type to which @g_iface belongs. This is useful when
3141  * deriving the implementation of an interface from the parent type and
3142  * then possibly overriding some methods.
3143  *
3144  * Returns: (transfer none) (type GObject.TypeInterface): The
3145  *  corresponding #GTypeInterface structure of the parent type of the
3146  *  instance type to which @g_iface belongs, or %NULL if the parent
3147  *  type doesn't conform to the interface.
3148  */
3149 gpointer
3150 g_type_interface_peek_parent (gpointer g_iface)
3151 {
3152   TypeNode *node;
3153   TypeNode *iface;
3154   gpointer vtable = NULL;
3155   GTypeInterface *iface_class = g_iface;
3156
3157   g_return_val_if_fail (g_iface != NULL, NULL);
3158
3159   iface = lookup_type_node_I (iface_class->g_type);
3160   node = lookup_type_node_I (iface_class->g_instance_type);
3161   if (node)
3162     node = lookup_type_node_I (NODE_PARENT_TYPE (node));
3163   if (node && node->is_instantiatable && iface)
3164     type_lookup_iface_vtable_I (node, iface, &vtable);
3165   else if (node)
3166     g_warning (G_STRLOC ": invalid interface pointer '%p'", g_iface);
3167
3168   return vtable;
3169 }
3170
3171 /**
3172  * g_type_default_interface_ref:
3173  * @g_type: an interface type
3174  *
3175  * Increments the reference count for the interface type @g_type,
3176  * and returns the default interface vtable for the type.
3177  *
3178  * If the type is not currently in use, then the default vtable
3179  * for the type will be created and initalized by calling
3180  * the base interface init and default vtable init functions for
3181  * the type (the @<structfield>base_init</structfield>
3182  * and <structfield>class_init</structfield> members of #GTypeInfo).
3183  * Calling g_type_default_interface_ref() is useful when you
3184  * want to make sure that signals and properties for an interface
3185  * have been installed.
3186  *
3187  * Since: 2.4
3188  *
3189  * Returns: (type GObject.TypeInterface) (transfer none): the default
3190  *  vtable for the interface; call g_type_default_interface_unref()
3191  *  when you are done using the interface.
3192  */
3193 gpointer
3194 g_type_default_interface_ref (GType g_type)
3195 {
3196   TypeNode *node;
3197   gpointer dflt_vtable;
3198
3199   G_WRITE_LOCK (&type_rw_lock);
3200
3201   node = lookup_type_node_I (g_type);
3202   if (!node || !NODE_IS_IFACE (node) ||
3203       (node->data && NODE_REFCOUNT (node) == 0))
3204     {
3205       G_WRITE_UNLOCK (&type_rw_lock);
3206       g_warning ("cannot retrieve default vtable for invalid or non-interface type '%s'",
3207                  type_descriptive_name_I (g_type));
3208       return NULL;
3209     }
3210
3211   if (!node->data || !node->data->iface.dflt_vtable)
3212     {
3213       G_WRITE_UNLOCK (&type_rw_lock);
3214       g_rec_mutex_lock (&class_init_rec_mutex); /* required locking order: 1) class_init_rec_mutex, 2) type_rw_lock */
3215       G_WRITE_LOCK (&type_rw_lock);
3216       node = lookup_type_node_I (g_type);
3217       type_data_ref_Wm (node);
3218       type_iface_ensure_dflt_vtable_Wm (node);
3219       g_rec_mutex_unlock (&class_init_rec_mutex);
3220     }
3221   else
3222     type_data_ref_Wm (node); /* ref_count >= 1 already */
3223
3224   dflt_vtable = node->data->iface.dflt_vtable;
3225   G_WRITE_UNLOCK (&type_rw_lock);
3226
3227   return dflt_vtable;
3228 }
3229
3230 /**
3231  * g_type_default_interface_peek:
3232  * @g_type: an interface type
3233  *
3234  * If the interface type @g_type is currently in use, returns its
3235  * default interface vtable.
3236  *
3237  * Since: 2.4
3238  *
3239  * Returns: (type GObject.TypeInterface) (transfer none): the default
3240  *  vtable for the interface, or %NULL if the type is not currently in
3241  *  use.
3242  */
3243 gpointer
3244 g_type_default_interface_peek (GType g_type)
3245 {
3246   TypeNode *node;
3247   gpointer vtable;
3248
3249   node = lookup_type_node_I (g_type);
3250   if (node && NODE_IS_IFACE (node) && NODE_REFCOUNT (node))
3251     vtable = node->data->iface.dflt_vtable;
3252   else
3253     vtable = NULL;
3254
3255   return vtable;
3256 }
3257
3258 /**
3259  * g_type_default_interface_unref:
3260  * @g_iface: (type GObject.TypeInterface): the default vtable
3261  *  structure for a interface, as returned by
3262  *  g_type_default_interface_ref()
3263  *
3264  * Decrements the reference count for the type corresponding to the
3265  * interface default vtable @g_iface. If the type is dynamic, then
3266  * when no one is using the interface and all references have
3267  * been released, the finalize function for the interface's default
3268  * vtable (the <structfield>class_finalize</structfield> member of
3269  * #GTypeInfo) will be called.
3270  *
3271  * Since: 2.4
3272  */
3273 void
3274 g_type_default_interface_unref (gpointer g_iface)
3275 {
3276   TypeNode *node;
3277   GTypeInterface *vtable = g_iface;
3278
3279   g_return_if_fail (g_iface != NULL);
3280
3281   node = lookup_type_node_I (vtable->g_type);
3282   if (node && NODE_IS_IFACE (node))
3283     type_data_unref_U (node, FALSE);
3284   else
3285     g_warning ("cannot unreference invalid interface default vtable for '%s'",
3286                type_descriptive_name_I (vtable->g_type));
3287 }
3288
3289 /**
3290  * g_type_name:
3291  * @type: Type to return name for.
3292  *
3293  * Get the unique name that is assigned to a type ID.  Note that this
3294  * function (like all other GType API) cannot cope with invalid type
3295  * IDs. %G_TYPE_INVALID may be passed to this function, as may be any
3296  * other validly registered type ID, but randomized type IDs should
3297  * not be passed in and will most likely lead to a crash.
3298  *
3299  * Returns: Static type name or %NULL.
3300  */
3301 const gchar *
3302 g_type_name (GType type)
3303 {
3304   TypeNode *node;
3305
3306   g_assert_type_system_initialized ();
3307
3308   node = lookup_type_node_I (type);
3309
3310   return node ? NODE_NAME (node) : NULL;
3311 }
3312
3313 /**
3314  * g_type_qname:
3315  * @type: Type to return quark of type name for.
3316  *
3317  * Get the corresponding quark of the type IDs name.
3318  *
3319  * Returns: The type names quark or 0.
3320  */
3321 GQuark
3322 g_type_qname (GType type)
3323 {
3324   TypeNode *node;
3325
3326   node = lookup_type_node_I (type);
3327
3328   return node ? node->qname : 0;
3329 }
3330
3331 /**
3332  * g_type_from_name:
3333  * @name: Type name to lookup.
3334  *
3335  * Lookup the type ID from a given type name, returning 0 if no type
3336  * has been registered under this name (this is the preferred method
3337  * to find out by name whether a specific type has been registered
3338  * yet).
3339  *
3340  * Returns: Corresponding type ID or 0.
3341  */
3342 GType
3343 g_type_from_name (const gchar *name)
3344 {
3345   GType type = 0;
3346
3347   g_return_val_if_fail (name != NULL, 0);
3348
3349   G_READ_LOCK (&type_rw_lock);
3350   type = (GType) g_hash_table_lookup (static_type_nodes_ht, name);
3351   G_READ_UNLOCK (&type_rw_lock);
3352
3353   return type;
3354 }
3355
3356 /**
3357  * g_type_parent:
3358  * @type: The derived type.
3359  *
3360  * Return the direct parent type of the passed in type.  If the passed
3361  * in type has no parent, i.e. is a fundamental type, 0 is returned.
3362  *
3363  * Returns: The parent type.
3364  */
3365 GType
3366 g_type_parent (GType type)
3367 {
3368   TypeNode *node;
3369
3370   node = lookup_type_node_I (type);
3371
3372   return node ? NODE_PARENT_TYPE (node) : 0;
3373 }
3374
3375 /**
3376  * g_type_depth:
3377  * @type: A #GType value.
3378  *
3379  * Returns the length of the ancestry of the passed in type. This
3380  * includes the type itself, so that e.g. a fundamental type has depth 1.
3381  *
3382  * Returns: The depth of @type.
3383  */
3384 guint
3385 g_type_depth (GType type)
3386 {
3387   TypeNode *node;
3388
3389   node = lookup_type_node_I (type);
3390
3391   return node ? node->n_supers + 1 : 0;
3392 }
3393
3394 /**
3395  * g_type_next_base:
3396  * @leaf_type: Descendant of @root_type and the type to be returned.
3397  * @root_type: Immediate parent of the returned type.
3398  *
3399  * Given a @leaf_type and a @root_type which is contained in its
3400  * anchestry, return the type that @root_type is the immediate parent
3401  * of.  In other words, this function determines the type that is
3402  * derived directly from @root_type which is also a base class of
3403  * @leaf_type.  Given a root type and a leaf type, this function can
3404  * be used to determine the types and order in which the leaf type is
3405  * descended from the root type.
3406  *
3407  * Returns: Immediate child of @root_type and anchestor of @leaf_type.
3408  */
3409 GType
3410 g_type_next_base (GType type,
3411                   GType base_type)
3412 {
3413   GType atype = 0;
3414   TypeNode *node;
3415
3416   node = lookup_type_node_I (type);
3417   if (node)
3418     {
3419       TypeNode *base_node = lookup_type_node_I (base_type);
3420
3421       if (base_node && base_node->n_supers < node->n_supers)
3422         {
3423           guint n = node->n_supers - base_node->n_supers;
3424
3425           if (node->supers[n] == base_type)
3426             atype = node->supers[n - 1];
3427         }
3428     }
3429
3430   return atype;
3431 }
3432
3433 static inline gboolean
3434 type_node_check_conformities_UorL (TypeNode *node,
3435                                    TypeNode *iface_node,
3436                                    /*        support_inheritance */
3437                                    gboolean  support_interfaces,
3438                                    gboolean  support_prerequisites,
3439                                    gboolean  have_lock)
3440 {
3441   gboolean match;
3442
3443   if (/* support_inheritance && */
3444       NODE_IS_ANCESTOR (iface_node, node))
3445     return TRUE;
3446
3447   support_interfaces = support_interfaces && node->is_instantiatable && NODE_IS_IFACE (iface_node);
3448   support_prerequisites = support_prerequisites && NODE_IS_IFACE (node);
3449   match = FALSE;
3450   if (support_interfaces)
3451     {
3452       if (have_lock)
3453         {
3454           if (type_lookup_iface_entry_L (node, iface_node))
3455             match = TRUE;
3456         }
3457       else
3458         {
3459           if (type_lookup_iface_vtable_I (node, iface_node, NULL))
3460             match = TRUE;
3461         }
3462     }
3463   if (!match &&
3464       support_prerequisites)
3465     {
3466       if (!have_lock)
3467         G_READ_LOCK (&type_rw_lock);
3468       if (support_prerequisites && type_lookup_prerequisite_L (node, NODE_TYPE (iface_node)))
3469         match = TRUE;
3470       if (!have_lock)
3471         G_READ_UNLOCK (&type_rw_lock);
3472     }
3473   return match;
3474 }
3475
3476 static gboolean
3477 type_node_is_a_L (TypeNode *node,
3478                   TypeNode *iface_node)
3479 {
3480   return type_node_check_conformities_UorL (node, iface_node, TRUE, TRUE, TRUE);
3481 }
3482
3483 static inline gboolean
3484 type_node_conforms_to_U (TypeNode *node,
3485                          TypeNode *iface_node,
3486                          gboolean  support_interfaces,
3487                          gboolean  support_prerequisites)
3488 {
3489   return type_node_check_conformities_UorL (node, iface_node, support_interfaces, support_prerequisites, FALSE);
3490 }
3491
3492 /**
3493  * g_type_is_a:
3494  * @type: Type to check anchestry for.
3495  * @is_a_type: Possible anchestor of @type or interface @type could conform to.
3496  *
3497  * If @is_a_type is a derivable type, check whether @type is a
3498  * descendant of @is_a_type.  If @is_a_type is an interface, check
3499  * whether @type conforms to it.
3500  *
3501  * Returns: %TRUE if @type is_a @is_a_type holds true.
3502  */
3503 gboolean
3504 g_type_is_a (GType type,
3505              GType iface_type)
3506 {
3507   TypeNode *node, *iface_node;
3508   gboolean is_a;
3509
3510   node = lookup_type_node_I (type);
3511   iface_node = lookup_type_node_I (iface_type);
3512   is_a = node && iface_node && type_node_conforms_to_U (node, iface_node, TRUE, TRUE);
3513
3514   return is_a;
3515 }
3516
3517 /**
3518  * g_type_children:
3519  * @type: The parent type.
3520  * @n_children: (out) (allow-none): Optional #guint pointer to contain
3521  *              the number of child types.
3522  *
3523  * Return a newly allocated and 0-terminated array of type IDs, listing the
3524  * child types of @type. The return value has to be g_free()ed after use.
3525  *
3526  * Returns: (array length=n_children) (transfer full): Newly allocated
3527  *          and 0-terminated array of child types.
3528  */
3529 GType*
3530 g_type_children (GType  type,
3531                  guint *n_children)
3532 {
3533   TypeNode *node;
3534
3535   node = lookup_type_node_I (type);
3536   if (node)
3537     {
3538       GType *children;
3539
3540       G_READ_LOCK (&type_rw_lock);      /* ->children is relocatable */
3541       children = g_new (GType, node->n_children + 1);
3542       memcpy (children, node->children, sizeof (GType) * node->n_children);
3543       children[node->n_children] = 0;
3544
3545       if (n_children)
3546         *n_children = node->n_children;
3547       G_READ_UNLOCK (&type_rw_lock);
3548
3549       return children;
3550     }
3551   else
3552     {
3553       if (n_children)
3554         *n_children = 0;
3555
3556       return NULL;
3557     }
3558 }
3559
3560 /**
3561  * g_type_interfaces:
3562  * @type: The type to list interface types for.
3563  * @n_interfaces: (out) (allow-none): Optional #guint pointer to
3564  *                contain the number of interface types.
3565  *
3566  * Return a newly allocated and 0-terminated array of type IDs, listing the
3567  * interface types that @type conforms to. The return value has to be
3568  * g_free()ed after use.
3569  *
3570  * Returns: (array length=n_interfaces) (transfer full): Newly
3571  *          allocated and 0-terminated array of interface types.
3572  */
3573 GType*
3574 g_type_interfaces (GType  type,
3575                    guint *n_interfaces)
3576 {
3577   TypeNode *node;
3578
3579   node = lookup_type_node_I (type);
3580   if (node && node->is_instantiatable)
3581     {
3582       IFaceEntries *entries;
3583       GType *ifaces;
3584       guint i;
3585
3586       G_READ_LOCK (&type_rw_lock);
3587       entries = CLASSED_NODE_IFACES_ENTRIES_LOCKED (node);
3588       if (entries)
3589         {
3590           ifaces = g_new (GType, IFACE_ENTRIES_N_ENTRIES (entries) + 1);
3591           for (i = 0; i < IFACE_ENTRIES_N_ENTRIES (entries); i++)
3592             ifaces[i] = entries->entry[i].iface_type;
3593         }
3594       else
3595         {
3596           ifaces = g_new (GType, 1);
3597           i = 0;
3598         }
3599       ifaces[i] = 0;
3600
3601       if (n_interfaces)
3602         *n_interfaces = i;
3603       G_READ_UNLOCK (&type_rw_lock);
3604
3605       return ifaces;
3606     }
3607   else
3608     {
3609       if (n_interfaces)
3610         *n_interfaces = 0;
3611
3612       return NULL;
3613     }
3614 }
3615
3616 typedef struct _QData QData;
3617 struct _GData
3618 {
3619   guint  n_qdatas;
3620   QData *qdatas;
3621 };
3622 struct _QData
3623 {
3624   GQuark   quark;
3625   gpointer data;
3626 };
3627
3628 static inline gpointer
3629 type_get_qdata_L (TypeNode *node,
3630                   GQuark    quark)
3631 {
3632   GData *gdata = node->global_gdata;
3633
3634   if (quark && gdata && gdata->n_qdatas)
3635     {
3636       QData *qdatas = gdata->qdatas - 1;
3637       guint n_qdatas = gdata->n_qdatas;
3638
3639       do
3640         {
3641           guint i;
3642           QData *check;
3643
3644           i = (n_qdatas + 1) / 2;
3645           check = qdatas + i;
3646           if (quark == check->quark)
3647             return check->data;
3648           else if (quark > check->quark)
3649             {
3650               n_qdatas -= i;
3651               qdatas = check;
3652             }
3653           else /* if (quark < check->quark) */
3654             n_qdatas = i - 1;
3655         }
3656       while (n_qdatas);
3657     }
3658   return NULL;
3659 }
3660
3661 /**
3662  * g_type_get_qdata:
3663  * @type: a #GType
3664  * @quark: a #GQuark id to identify the data
3665  *
3666  * Obtains data which has previously been attached to @type
3667  * with g_type_set_qdata().
3668  *
3669  * Note that this does not take subtyping into account; data
3670  * attached to one type with g_type_set_qdata() cannot
3671  * be retrieved from a subtype using g_type_get_qdata().
3672  *
3673  * Returns: (transfer none): the data, or %NULL if no data was found
3674  */
3675 gpointer
3676 g_type_get_qdata (GType  type,
3677                   GQuark quark)
3678 {
3679   TypeNode *node;
3680   gpointer data;
3681
3682   node = lookup_type_node_I (type);
3683   if (node)
3684     {
3685       G_READ_LOCK (&type_rw_lock);
3686       data = type_get_qdata_L (node, quark);
3687       G_READ_UNLOCK (&type_rw_lock);
3688     }
3689   else
3690     {
3691       g_return_val_if_fail (node != NULL, NULL);
3692       data = NULL;
3693     }
3694   return data;
3695 }
3696
3697 static inline void
3698 type_set_qdata_W (TypeNode *node,
3699                   GQuark    quark,
3700                   gpointer  data)
3701 {
3702   GData *gdata;
3703   QData *qdata;
3704   guint i;
3705
3706   /* setup qdata list if necessary */
3707   if (!node->global_gdata)
3708     node->global_gdata = g_new0 (GData, 1);
3709   gdata = node->global_gdata;
3710
3711   /* try resetting old data */
3712   qdata = gdata->qdatas;
3713   for (i = 0; i < gdata->n_qdatas; i++)
3714     if (qdata[i].quark == quark)
3715       {
3716         qdata[i].data = data;
3717         return;
3718       }
3719
3720   /* add new entry */
3721   gdata->n_qdatas++;
3722   gdata->qdatas = g_renew (QData, gdata->qdatas, gdata->n_qdatas);
3723   qdata = gdata->qdatas;
3724   for (i = 0; i < gdata->n_qdatas - 1; i++)
3725     if (qdata[i].quark > quark)
3726       break;
3727   memmove (qdata + i + 1, qdata + i, sizeof (qdata[0]) * (gdata->n_qdatas - i - 1));
3728   qdata[i].quark = quark;
3729   qdata[i].data = data;
3730 }
3731
3732 /**
3733  * g_type_set_qdata:
3734  * @type: a #GType
3735  * @quark: a #GQuark id to identify the data
3736  * @data: the data
3737  *
3738  * Attaches arbitrary data to a type.
3739  */
3740 void
3741 g_type_set_qdata (GType    type,
3742                   GQuark   quark,
3743                   gpointer data)
3744 {
3745   TypeNode *node;
3746
3747   g_return_if_fail (quark != 0);
3748
3749   node = lookup_type_node_I (type);
3750   if (node)
3751     {
3752       G_WRITE_LOCK (&type_rw_lock);
3753       type_set_qdata_W (node, quark, data);
3754       G_WRITE_UNLOCK (&type_rw_lock);
3755     }
3756   else
3757     g_return_if_fail (node != NULL);
3758 }
3759
3760 static void
3761 type_add_flags_W (TypeNode  *node,
3762                   GTypeFlags flags)
3763 {
3764   guint dflags;
3765
3766   g_return_if_fail ((flags & ~TYPE_FLAG_MASK) == 0);
3767   g_return_if_fail (node != NULL);
3768
3769   if ((flags & TYPE_FLAG_MASK) && node->is_classed && node->data && node->data->class.class)
3770     g_warning ("tagging type '%s' as abstract after class initialization", NODE_NAME (node));
3771   dflags = GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags));
3772   dflags |= flags;
3773   type_set_qdata_W (node, static_quark_type_flags, GUINT_TO_POINTER (dflags));
3774 }
3775
3776 /**
3777  * g_type_query:
3778  * @type: the #GType value of a static, classed type.
3779  * @query: (out caller-allocates): A user provided structure that is
3780  *         filled in with constant values upon success.
3781  *
3782  * Queries the type system for information about a specific type.
3783  * This function will fill in a user-provided structure to hold
3784  * type-specific information. If an invalid #GType is passed in, the
3785  * @type member of the #GTypeQuery is 0. All members filled into the
3786  * #GTypeQuery structure should be considered constant and have to be
3787  * left untouched.
3788  */
3789 void
3790 g_type_query (GType       type,
3791               GTypeQuery *query)
3792 {
3793   TypeNode *node;
3794
3795   g_return_if_fail (query != NULL);
3796
3797   /* if node is not static and classed, we won't allow query */
3798   query->type = 0;
3799   node = lookup_type_node_I (type);
3800   if (node && node->is_classed && !node->plugin)
3801     {
3802       /* type is classed and probably even instantiatable */
3803       G_READ_LOCK (&type_rw_lock);
3804       if (node->data)   /* type is static or referenced */
3805         {
3806           query->type = NODE_TYPE (node);
3807           query->type_name = NODE_NAME (node);
3808           query->class_size = node->data->class.class_size;
3809           query->instance_size = node->is_instantiatable ? node->data->instance.instance_size : 0;
3810         }
3811       G_READ_UNLOCK (&type_rw_lock);
3812     }
3813 }
3814
3815
3816 /* --- implementation details --- */
3817 gboolean
3818 g_type_test_flags (GType type,
3819                    guint flags)
3820 {
3821   TypeNode *node;
3822   gboolean result = FALSE;
3823
3824   node = lookup_type_node_I (type);
3825   if (node)
3826     {
3827       guint fflags = flags & TYPE_FUNDAMENTAL_FLAG_MASK;
3828       guint tflags = flags & TYPE_FLAG_MASK;
3829
3830       if (fflags)
3831         {
3832           GTypeFundamentalInfo *finfo = type_node_fundamental_info_I (node);
3833
3834           fflags = (finfo->type_flags & fflags) == fflags;
3835         }
3836       else
3837         fflags = TRUE;
3838
3839       if (tflags)
3840         {
3841           G_READ_LOCK (&type_rw_lock);
3842           tflags = (tflags & GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags))) == tflags;
3843           G_READ_UNLOCK (&type_rw_lock);
3844         }
3845       else
3846         tflags = TRUE;
3847
3848       result = tflags && fflags;
3849     }
3850
3851   return result;
3852 }
3853
3854 /**
3855  * g_type_get_plugin:
3856  * @type: The #GType to retrieve the plugin for.
3857  *
3858  * Returns the #GTypePlugin structure for @type or
3859  * %NULL if @type does not have a #GTypePlugin structure.
3860  *
3861  * Returns: (transfer none): The corresponding plugin if @type is a
3862  *          dynamic type, %NULL otherwise.
3863  */
3864 GTypePlugin*
3865 g_type_get_plugin (GType type)
3866 {
3867   TypeNode *node;
3868
3869   node = lookup_type_node_I (type);
3870
3871   return node ? node->plugin : NULL;
3872 }
3873
3874 /**
3875  * g_type_interface_get_plugin:
3876  * @instance_type: the #GType value of an instantiatable type.
3877  * @interface_type: the #GType value of an interface type.
3878  *
3879  * Returns the #GTypePlugin structure for the dynamic interface
3880  * @interface_type which has been added to @instance_type, or %NULL if
3881  * @interface_type has not been added to @instance_type or does not
3882  * have a #GTypePlugin structure. See g_type_add_interface_dynamic().
3883  *
3884  * Returns: (transfer none): the #GTypePlugin for the dynamic
3885  *          interface @interface_type of @instance_type.
3886  */
3887 GTypePlugin*
3888 g_type_interface_get_plugin (GType instance_type,
3889                              GType interface_type)
3890 {
3891   TypeNode *node;
3892   TypeNode *iface;
3893
3894   g_return_val_if_fail (G_TYPE_IS_INTERFACE (interface_type), NULL);    /* G_TYPE_IS_INTERFACE() is an external call: _U */
3895
3896   node = lookup_type_node_I (instance_type);
3897   iface = lookup_type_node_I (interface_type);
3898   if (node && iface)
3899     {
3900       IFaceHolder *iholder;
3901       GTypePlugin *plugin;
3902
3903       G_READ_LOCK (&type_rw_lock);
3904
3905       iholder = iface_node_get_holders_L (iface);
3906       while (iholder && iholder->instance_type != instance_type)
3907         iholder = iholder->next;
3908       plugin = iholder ? iholder->plugin : NULL;
3909
3910       G_READ_UNLOCK (&type_rw_lock);
3911
3912       return plugin;
3913     }
3914
3915   g_return_val_if_fail (node == NULL, NULL);
3916   g_return_val_if_fail (iface == NULL, NULL);
3917
3918   g_warning (G_STRLOC ": attempt to look up plugin for invalid instance/interface type pair.");
3919
3920   return NULL;
3921 }
3922
3923 /**
3924  * g_type_fundamental_next:
3925  *
3926  * Returns the next free fundamental type id which can be used to
3927  * register a new fundamental type with g_type_register_fundamental().
3928  * The returned type ID represents the highest currently registered
3929  * fundamental type identifier.
3930  *
3931  * Returns: The nextmost fundamental type ID to be registered,
3932  *          or 0 if the type system ran out of fundamental type IDs.
3933  */
3934 GType
3935 g_type_fundamental_next (void)
3936 {
3937   GType type;
3938
3939   G_READ_LOCK (&type_rw_lock);
3940   type = static_fundamental_next;
3941   G_READ_UNLOCK (&type_rw_lock);
3942   type = G_TYPE_MAKE_FUNDAMENTAL (type);
3943   return type <= G_TYPE_FUNDAMENTAL_MAX ? type : 0;
3944 }
3945
3946 /**
3947  * g_type_fundamental:
3948  * @type_id: valid type ID
3949  *
3950  * Internal function, used to extract the fundamental type ID portion.
3951  * use G_TYPE_FUNDAMENTAL() instead.
3952  *
3953  * Returns: fundamental type ID
3954  */
3955 GType
3956 g_type_fundamental (GType type_id)
3957 {
3958   TypeNode *node = lookup_type_node_I (type_id);
3959
3960   return node ? NODE_FUNDAMENTAL_TYPE (node) : 0;
3961 }
3962
3963 gboolean
3964 g_type_check_instance_is_a (GTypeInstance *type_instance,
3965                             GType          iface_type)
3966 {
3967   TypeNode *node, *iface;
3968   gboolean check;
3969
3970   if (!type_instance || !type_instance->g_class)
3971     return FALSE;
3972
3973   node = lookup_type_node_I (type_instance->g_class->g_type);
3974   iface = lookup_type_node_I (iface_type);
3975   check = node && node->is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
3976
3977   return check;
3978 }
3979
3980 gboolean
3981 g_type_check_class_is_a (GTypeClass *type_class,
3982                          GType       is_a_type)
3983 {
3984   TypeNode *node, *iface;
3985   gboolean check;
3986
3987   if (!type_class)
3988     return FALSE;
3989
3990   node = lookup_type_node_I (type_class->g_type);
3991   iface = lookup_type_node_I (is_a_type);
3992   check = node && node->is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
3993
3994   return check;
3995 }
3996
3997 GTypeInstance*
3998 g_type_check_instance_cast (GTypeInstance *type_instance,
3999                             GType          iface_type)
4000 {
4001   if (type_instance)
4002     {
4003       if (type_instance->g_class)
4004         {
4005           TypeNode *node, *iface;
4006           gboolean is_instantiatable, check;
4007
4008           node = lookup_type_node_I (type_instance->g_class->g_type);
4009           is_instantiatable = node && node->is_instantiatable;
4010           iface = lookup_type_node_I (iface_type);
4011           check = is_instantiatable && iface && type_node_conforms_to_U (node, iface, TRUE, FALSE);
4012           if (check)
4013             return type_instance;
4014
4015           if (is_instantiatable)
4016             g_warning ("invalid cast from '%s' to '%s'",
4017                        type_descriptive_name_I (type_instance->g_class->g_type),
4018                        type_descriptive_name_I (iface_type));
4019           else
4020             g_warning ("invalid uninstantiatable type '%s' in cast to '%s'",
4021                        type_descriptive_name_I (type_instance->g_class->g_type),
4022                        type_descriptive_name_I (iface_type));
4023         }
4024       else
4025         g_warning ("invalid unclassed pointer in cast to '%s'",
4026                    type_descriptive_name_I (iface_type));
4027     }
4028
4029   return type_instance;
4030 }
4031
4032 GTypeClass*
4033 g_type_check_class_cast (GTypeClass *type_class,
4034                          GType       is_a_type)
4035 {
4036   if (type_class)
4037     {
4038       TypeNode *node, *iface;
4039       gboolean is_classed, check;
4040
4041       node = lookup_type_node_I (type_class->g_type);
4042       is_classed = node && node->is_classed;
4043       iface = lookup_type_node_I (is_a_type);
4044       check = is_classed && iface && type_node_conforms_to_U (node, iface, FALSE, FALSE);
4045       if (check)
4046         return type_class;
4047
4048       if (is_classed)
4049         g_warning ("invalid class cast from '%s' to '%s'",
4050                    type_descriptive_name_I (type_class->g_type),
4051                    type_descriptive_name_I (is_a_type));
4052       else
4053         g_warning ("invalid unclassed type '%s' in class cast to '%s'",
4054                    type_descriptive_name_I (type_class->g_type),
4055                    type_descriptive_name_I (is_a_type));
4056     }
4057   else
4058     g_warning ("invalid class cast from (NULL) pointer to '%s'",
4059                type_descriptive_name_I (is_a_type));
4060   return type_class;
4061 }
4062
4063 /**
4064  * g_type_check_instance:
4065  * @instance: A valid #GTypeInstance structure.
4066  *
4067  * Private helper function to aid implementation of the G_TYPE_CHECK_INSTANCE()
4068  * macro.
4069  *
4070  * Returns: %TRUE if @instance is valid, %FALSE otherwise.
4071  */
4072 gboolean
4073 g_type_check_instance (GTypeInstance *type_instance)
4074 {
4075   /* this function is just here to make the signal system
4076    * conveniently elaborated on instance checks
4077    */
4078   if (type_instance)
4079     {
4080       if (type_instance->g_class)
4081         {
4082           TypeNode *node = lookup_type_node_I (type_instance->g_class->g_type);
4083
4084           if (node && node->is_instantiatable)
4085             return TRUE;
4086
4087           g_warning ("instance of invalid non-instantiatable type '%s'",
4088                      type_descriptive_name_I (type_instance->g_class->g_type));
4089         }
4090       else
4091         g_warning ("instance with invalid (NULL) class pointer");
4092     }
4093   else
4094     g_warning ("invalid (NULL) pointer instance");
4095
4096   return FALSE;
4097 }
4098
4099 static inline gboolean
4100 type_check_is_value_type_U (GType type)
4101 {
4102   GTypeFlags tflags = G_TYPE_FLAG_VALUE_ABSTRACT;
4103   TypeNode *node;
4104
4105   /* common path speed up */
4106   node = lookup_type_node_I (type);
4107   if (node && node->mutatable_check_cache)
4108     return TRUE;
4109
4110   G_READ_LOCK (&type_rw_lock);
4111  restart_check:
4112   if (node)
4113     {
4114       if (node->data && NODE_REFCOUNT (node) > 0 &&
4115           node->data->common.value_table->value_init)
4116         tflags = GPOINTER_TO_UINT (type_get_qdata_L (node, static_quark_type_flags));
4117       else if (NODE_IS_IFACE (node))
4118         {
4119           guint i;
4120
4121           for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
4122             {
4123               GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
4124               TypeNode *prnode = lookup_type_node_I (prtype);
4125
4126               if (prnode->is_instantiatable)
4127                 {
4128                   type = prtype;
4129                   node = lookup_type_node_I (type);
4130                   goto restart_check;
4131                 }
4132             }
4133         }
4134     }
4135   G_READ_UNLOCK (&type_rw_lock);
4136
4137   return !(tflags & G_TYPE_FLAG_VALUE_ABSTRACT);
4138 }
4139
4140 gboolean
4141 g_type_check_is_value_type (GType type)
4142 {
4143   return type_check_is_value_type_U (type);
4144 }
4145
4146 gboolean
4147 g_type_check_value (GValue *value)
4148 {
4149   return value && type_check_is_value_type_U (value->g_type);
4150 }
4151
4152 gboolean
4153 g_type_check_value_holds (GValue *value,
4154                           GType   type)
4155 {
4156   return value && type_check_is_value_type_U (value->g_type) && g_type_is_a (value->g_type, type);
4157 }
4158
4159 /**
4160  * g_type_value_table_peek: (skip)
4161  * @type: A #GType value.
4162  *
4163  * Returns the location of the #GTypeValueTable associated with @type.
4164  * <emphasis>Note that this function should only be used from source code
4165  * that implements or has internal knowledge of the implementation of
4166  * @type.</emphasis>
4167  *
4168  * Returns: Location of the #GTypeValueTable associated with @type or
4169  *  %NULL if there is no #GTypeValueTable associated with @type.
4170  */
4171 GTypeValueTable*
4172 g_type_value_table_peek (GType type)
4173 {
4174   GTypeValueTable *vtable = NULL;
4175   TypeNode *node = lookup_type_node_I (type);
4176   gboolean has_refed_data, has_table;
4177
4178   if (node && NODE_REFCOUNT (node) && node->mutatable_check_cache)
4179     return node->data->common.value_table;
4180
4181   G_READ_LOCK (&type_rw_lock);
4182
4183  restart_table_peek:
4184   has_refed_data = node && node->data && NODE_REFCOUNT (node) > 0;
4185   has_table = has_refed_data && node->data->common.value_table->value_init;
4186   if (has_refed_data)
4187     {
4188       if (has_table)
4189         vtable = node->data->common.value_table;
4190       else if (NODE_IS_IFACE (node))
4191         {
4192           guint i;
4193
4194           for (i = 0; i < IFACE_NODE_N_PREREQUISITES (node); i++)
4195             {
4196               GType prtype = IFACE_NODE_PREREQUISITES (node)[i];
4197               TypeNode *prnode = lookup_type_node_I (prtype);
4198
4199               if (prnode->is_instantiatable)
4200                 {
4201                   type = prtype;
4202                   node = lookup_type_node_I (type);
4203                   goto restart_table_peek;
4204                 }
4205             }
4206         }
4207     }
4208
4209   G_READ_UNLOCK (&type_rw_lock);
4210
4211   if (vtable)
4212     return vtable;
4213
4214   if (!node)
4215     g_warning (G_STRLOC ": type id '%" G_GSIZE_FORMAT "' is invalid", type);
4216   if (!has_refed_data)
4217     g_warning ("can't peek value table for type '%s' which is not currently referenced",
4218                type_descriptive_name_I (type));
4219
4220   return NULL;
4221 }
4222
4223 const gchar *
4224 g_type_name_from_instance (GTypeInstance *instance)
4225 {
4226   if (!instance)
4227     return "<NULL-instance>";
4228   else
4229     return g_type_name_from_class (instance->g_class);
4230 }
4231
4232 const gchar *
4233 g_type_name_from_class (GTypeClass *g_class)
4234 {
4235   if (!g_class)
4236     return "<NULL-class>";
4237   else
4238     return g_type_name (g_class->g_type);
4239 }
4240
4241
4242 /* --- private api for gboxed.c --- */
4243 gpointer
4244 _g_type_boxed_copy (GType type, gpointer value)
4245 {
4246   TypeNode *node = lookup_type_node_I (type);
4247
4248   return node->data->boxed.copy_func (value);
4249 }
4250
4251 void
4252 _g_type_boxed_free (GType type, gpointer value)
4253 {
4254   TypeNode *node = lookup_type_node_I (type);
4255
4256   node->data->boxed.free_func (value);
4257 }
4258
4259 void
4260 _g_type_boxed_init (GType          type,
4261                     GBoxedCopyFunc copy_func,
4262                     GBoxedFreeFunc free_func)
4263 {
4264   TypeNode *node = lookup_type_node_I (type);
4265
4266   node->data->boxed.copy_func = copy_func;
4267   node->data->boxed.free_func = free_func;
4268 }
4269
4270 /* --- initialization --- */
4271 /**
4272  * g_type_init_with_debug_flags:
4273  * @debug_flags: Bitwise combination of #GTypeDebugFlags values for
4274  *               debugging purposes.
4275  *
4276  * This function used to initialise the type system with debugging
4277  * flags.  Since GLib 2.36, the type system is initialised automatically
4278  * and this function does nothing.
4279  *
4280  * If you need to enable debugging features, use the GOBJECT_DEBUG
4281  * environment variable.
4282  *
4283  * Deprecated: 2.36: the type system is now initialised automatically
4284  */
4285 void
4286 g_type_init_with_debug_flags (GTypeDebugFlags debug_flags)
4287 {
4288   g_assert_type_system_initialized ();
4289
4290   if (debug_flags)
4291     g_message ("g_type_init_with_debug_flags() is no longer supported.  Use the GOBJECT_DEBUG environment variable.");
4292 }
4293
4294 /**
4295  * g_type_init:
4296  *
4297  * This function used to initialise the type system.  Since GLib 2.36,
4298  * the type system is initialised automatically and this function does
4299  * nothing.
4300  *
4301  * Deprecated: 2.36: the type system is now initialised automatically
4302  */
4303 void
4304 g_type_init (void)
4305 {
4306   g_assert_type_system_initialized ();
4307 }
4308
4309 #if defined (G_HAS_CONSTRUCTORS)
4310 #ifdef G_DEFINE_CONSTRUCTOR_NEEDS_PRAGMA
4311 #pragma G_DEFINE_CONSTRUCTOR_PRAGMA_ARGS(gobject_init_ctor)
4312 #endif
4313 G_DEFINE_CONSTRUCTOR(gobject_init_ctor)
4314 #else
4315 # error Your platform/compiler is missing constructor support
4316 #endif
4317
4318 static void
4319 gobject_init_ctor (void)
4320 {
4321   const gchar *env_string;
4322   GTypeInfo info;
4323   TypeNode *node;
4324   GType type;
4325
4326   G_WRITE_LOCK (&type_rw_lock);
4327
4328   /* setup GObject library wide debugging flags */
4329   env_string = g_getenv ("GOBJECT_DEBUG");
4330   if (env_string != NULL)
4331     {
4332       GDebugKey debug_keys[] = {
4333         { "objects", G_TYPE_DEBUG_OBJECTS },
4334         { "signals", G_TYPE_DEBUG_SIGNALS },
4335       };
4336
4337       _g_type_debug_flags = g_parse_debug_string (env_string, debug_keys, G_N_ELEMENTS (debug_keys));
4338     }
4339
4340   /* quarks */
4341   static_quark_type_flags = g_quark_from_static_string ("-g-type-private--GTypeFlags");
4342   static_quark_iface_holder = g_quark_from_static_string ("-g-type-private--IFaceHolder");
4343   static_quark_dependants_array = g_quark_from_static_string ("-g-type-private--dependants-array");
4344
4345   /* type qname hash table */
4346   static_type_nodes_ht = g_hash_table_new (g_str_hash, g_str_equal);
4347
4348   /* invalid type G_TYPE_INVALID (0)
4349    */
4350   static_fundamental_type_nodes[0] = NULL;
4351
4352   /* void type G_TYPE_NONE
4353    */
4354   node = type_node_fundamental_new_W (G_TYPE_NONE, g_intern_static_string ("void"), 0);
4355   type = NODE_TYPE (node);
4356   g_assert (type == G_TYPE_NONE);
4357
4358   /* interface fundamental type G_TYPE_INTERFACE (!classed)
4359    */
4360   memset (&info, 0, sizeof (info));
4361   node = type_node_fundamental_new_W (G_TYPE_INTERFACE, g_intern_static_string ("GInterface"), G_TYPE_FLAG_DERIVABLE);
4362   type = NODE_TYPE (node);
4363   type_data_make_W (node, &info, NULL);
4364   g_assert (type == G_TYPE_INTERFACE);
4365
4366   G_WRITE_UNLOCK (&type_rw_lock);
4367
4368   _g_value_c_init ();
4369
4370   /* G_TYPE_TYPE_PLUGIN
4371    */
4372   g_type_ensure (g_type_plugin_get_type ());
4373
4374   /* G_TYPE_* value types
4375    */
4376   _g_value_types_init ();
4377
4378   /* G_TYPE_ENUM & G_TYPE_FLAGS
4379    */
4380   _g_enum_types_init ();
4381
4382   /* G_TYPE_BOXED
4383    */
4384   _g_boxed_type_init ();
4385
4386   /* G_TYPE_PARAM
4387    */
4388   _g_param_type_init ();
4389
4390   /* G_TYPE_OBJECT
4391    */
4392   _g_object_type_init ();
4393
4394   /* G_TYPE_PARAM_* pspec types
4395    */
4396   _g_param_spec_types_init ();
4397
4398   /* Value Transformations
4399    */
4400   _g_value_transforms_init ();
4401
4402   /* Signal system
4403    */
4404   _g_signal_init ();
4405 }
4406
4407 /**
4408  * g_type_class_add_private:
4409  * @g_class: class structure for an instantiatable type
4410  * @private_size: size of private structure.
4411  *
4412  * Registers a private structure for an instantiatable type.
4413  *
4414  * When an object is allocated, the private structures for
4415  * the type and all of its parent types are allocated
4416  * sequentially in the same memory block as the public
4417  * structures.
4418  *
4419  * Note that the accumulated size of the private structures of
4420  * a type and all its parent types cannot exceed 64 KiB.
4421  *
4422  * This function should be called in the type's class_init() function.
4423  * The private structure can be retrieved using the
4424  * G_TYPE_INSTANCE_GET_PRIVATE() macro.
4425  *
4426  * The following example shows attaching a private structure
4427  * <structname>MyObjectPrivate</structname> to an object
4428  * <structname>MyObject</structname> defined in the standard GObject
4429  * fashion.
4430  * type's class_init() function.
4431  * Note the use of a structure member "priv" to avoid the overhead
4432  * of repeatedly calling MY_OBJECT_GET_PRIVATE().
4433  *
4434  * |[
4435  * typedef struct _MyObject        MyObject;
4436  * typedef struct _MyObjectPrivate MyObjectPrivate;
4437  *
4438  * struct _MyObject {
4439  *  GObject parent;
4440  *
4441  *  MyObjectPrivate *priv;
4442  * };
4443  *
4444  * struct _MyObjectPrivate {
4445  *   int some_field;
4446  * };
4447  *
4448  * static void
4449  * my_object_class_init (MyObjectClass *klass)
4450  * {
4451  *   g_type_class_add_private (klass, sizeof (MyObjectPrivate));
4452  * }
4453  *
4454  * static void
4455  * my_object_init (MyObject *my_object)
4456  * {
4457  *   my_object->priv = G_TYPE_INSTANCE_GET_PRIVATE (my_object,
4458  *                                                  MY_TYPE_OBJECT,
4459  *                                                  MyObjectPrivate);
4460  * }
4461  *
4462  * static int
4463  * my_object_get_some_field (MyObject *my_object)
4464  * {
4465  *   MyObjectPrivate *priv;
4466  *
4467  *   g_return_val_if_fail (MY_IS_OBJECT (my_object), 0);
4468  *
4469  *   priv = my_object->priv;
4470  *
4471  *   return priv->some_field;
4472  * }
4473  * ]|
4474  *
4475  * Since: 2.4
4476  */
4477 void
4478 g_type_class_add_private (gpointer g_class,
4479                           gsize    private_size)
4480 {
4481   GType instance_type = ((GTypeClass *)g_class)->g_type;
4482   TypeNode *node = lookup_type_node_I (instance_type);
4483
4484   g_return_if_fail (private_size > 0);
4485   g_return_if_fail (private_size <= 0xffff);
4486
4487   if (!node || !node->is_instantiatable || !node->data || node->data->class.class != g_class)
4488     {
4489       g_warning ("cannot add private field to invalid (non-instantiatable) type '%s'",
4490                  type_descriptive_name_I (instance_type));
4491       return;
4492     }
4493
4494   if (NODE_PARENT_TYPE (node))
4495     {
4496       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
4497       if (node->data->instance.private_size != pnode->data->instance.private_size)
4498         {
4499           g_warning ("g_type_class_add_private() called multiple times for the same type");
4500           return;
4501         }
4502     }
4503
4504   G_WRITE_LOCK (&type_rw_lock);
4505
4506   private_size = ALIGN_STRUCT (node->data->instance.private_size + private_size);
4507   g_assert (private_size <= 0xffff);
4508   node->data->instance.private_size = private_size;
4509
4510   G_WRITE_UNLOCK (&type_rw_lock);
4511 }
4512
4513 /* semi-private, called only by the G_ADD_PRIVATE macro */
4514 gint
4515 g_type_add_instance_private (GType class_gtype,
4516                              gsize private_size)
4517 {
4518   TypeNode *node = lookup_type_node_I (class_gtype);
4519
4520   g_return_val_if_fail (private_size > 0, 0);
4521   g_return_val_if_fail (private_size <= 0xffff, 0);
4522
4523   if (!node || !node->is_classed || !node->is_instantiatable || !node->data)
4524     {
4525       g_warning ("cannot add private field to invalid (non-instantiatable) type '%s'",
4526                  type_descriptive_name_I (class_gtype));
4527       return 0;
4528     }
4529
4530   if (node->plugin != NULL)
4531     {
4532       g_warning ("cannot use g_type_add_instance_private() with dynamic type '%s'",
4533                  type_descriptive_name_I (class_gtype));
4534       return 0;
4535     }
4536
4537   /* in the future, we want to register the private data size of a type
4538    * directly from the get_type() implementation so that we can take full
4539    * advantage of the type definition macros that we already have.
4540    *
4541    * unfortunately, this does not behave correctly if a class in the middle
4542    * of the type hierarchy uses the "old style" of private data registration
4543    * from the class_init() implementation, as the private data offset is not
4544    * going to be known until the full class hierarchy is initialized.
4545    *
4546    * in order to transition our code to the Glorious New Future™, we proceed
4547    * with a two-step implementation: first, we provide this new function to
4548    * register the private data size in the get_type() implementation and we
4549    * hide it behind a macro. the function will return the private size, instead
4550    * of the offset, which will be stored inside a static variable defined by
4551    * the G_DEFINE_TYPE_EXTENDED macro. the G_DEFINE_TYPE_EXTENDED macro will
4552    * check the variable and call g_type_class_add_instance_private(), which
4553    * will use the data size and actually register the private data, then
4554    * return the computed offset of the private data, which will be stored
4555    * inside the static variable, so we can use it to retrieve the pointer
4556    * to the private data structure.
4557    *
4558    * once all our code has been migrated to the new idiomatic form of private
4559    * data registration, we will change the g_type_add_instance_private()
4560    * function to actually perform the registration and return the offset
4561    * of the private data; g_type_class_add_instance_private() already checks
4562    * if the passed argument is negative (meaning that it's an offset in the
4563    * GTypeInstance allocation) and becomes a no-op if that's the case. this
4564    * should make the migration fully transparent even if we're effectively
4565    * copying this macro into everybody's code.
4566    */
4567   return private_size;
4568 }
4569
4570 /* semi-private function, should only be used by G_DEFINE_TYPE_EXTENDED */
4571 void
4572 g_type_class_adjust_private_offset (gpointer  g_class,
4573                                     gint     *private_size_or_offset)
4574 {
4575   GType class_gtype = ((GTypeClass *) g_class)->g_type;
4576   TypeNode *node = lookup_type_node_I (class_gtype);
4577   gssize private_size;
4578
4579   g_return_if_fail (private_size_or_offset != NULL);
4580
4581   /* if we have been passed the offset instead of the private data size,
4582    * then we consider this as a no-op, and just return the value. see the
4583    * comment in g_type_add_instance_private() for the full explanation.
4584    */
4585   if (*private_size_or_offset > 0)
4586     g_return_if_fail (*private_size_or_offset <= 0xffff);
4587   else
4588     return;
4589
4590   if (!node || !node->is_classed || !node->is_instantiatable || !node->data)
4591     {
4592       g_warning ("cannot add private field to invalid (non-instantiatable) type '%s'",
4593                  type_descriptive_name_I (class_gtype));
4594       *private_size_or_offset = 0;
4595       return;
4596     }
4597
4598   if (NODE_PARENT_TYPE (node))
4599     {
4600       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
4601       if (node->data->instance.private_size != pnode->data->instance.private_size)
4602         {
4603           g_warning ("g_type_add_instance_private() called multiple times for the same type");
4604           *private_size_or_offset = 0;
4605           return;
4606         }
4607     }
4608
4609   G_WRITE_LOCK (&type_rw_lock);
4610
4611   private_size = ALIGN_STRUCT (node->data->instance.private_size + *private_size_or_offset);
4612   g_assert (private_size <= 0xffff);
4613   node->data->instance.private_size = private_size;
4614
4615   *private_size_or_offset = -(gint) node->data->instance.private_size;
4616
4617   G_WRITE_UNLOCK (&type_rw_lock);
4618 }
4619
4620 gpointer
4621 g_type_instance_get_private (GTypeInstance *instance,
4622                              GType          private_type)
4623 {
4624   TypeNode *node;
4625
4626   g_return_val_if_fail (instance != NULL && instance->g_class != NULL, NULL);
4627
4628   node = lookup_type_node_I (private_type);
4629   if (G_UNLIKELY (!node || !node->is_instantiatable))
4630     {
4631       g_warning ("instance of invalid non-instantiatable type '%s'",
4632                  type_descriptive_name_I (instance->g_class->g_type));
4633       return NULL;
4634     }
4635
4636   return ((gchar *) instance) - node->data->instance.private_size;
4637 }
4638
4639 /**
4640  * g_type_class_get_instance_private_offset: (skip)
4641  * @g_class: a #GTypeClass
4642  *
4643  * Gets the offset of the private data for instances of @g_class.
4644  *
4645  * This is how many bytes you should add to the instance pointer of a
4646  * class in order to get the private data for the type represented by
4647  * @g_class.
4648  *
4649  * You can only call this function after you have registered a private
4650  * data area for @g_class using g_type_class_add_private().
4651  *
4652  * Returns: the offset, in bytes
4653  *
4654  * Since: 2.38
4655  **/
4656 gint
4657 g_type_class_get_instance_private_offset (gpointer g_class)
4658 {
4659   GType instance_type;
4660   guint16 parent_size;
4661   TypeNode *node;
4662
4663   g_assert (g_class != NULL);
4664
4665   instance_type = ((GTypeClass *) g_class)->g_type;
4666   node = lookup_type_node_I (instance_type);
4667
4668   g_assert (node != NULL);
4669   g_assert (node->is_instantiatable);
4670
4671   if (NODE_PARENT_TYPE (node))
4672     {
4673       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
4674
4675       parent_size = pnode->data->instance.private_size;
4676     }
4677   else
4678     parent_size = 0;
4679
4680   if (node->data->instance.private_size == parent_size)
4681     g_error ("g_type_class_get_instance_private_offset() called on class %s but it has no private data",
4682              g_type_name (instance_type));
4683
4684   return -(gint) node->data->instance.private_size;
4685 }
4686
4687 /**
4688  * g_type_add_class_private:
4689  * @class_type: GType of an classed type.
4690  * @private_size: size of private structure.
4691  *
4692  * Registers a private class structure for a classed type;
4693  * when the class is allocated, the private structures for
4694  * the class and all of its parent types are allocated
4695  * sequentially in the same memory block as the public
4696  * structures. This function should be called in the
4697  * type's get_type() function after the type is registered.
4698  * The private structure can be retrieved using the
4699  * G_TYPE_CLASS_GET_PRIVATE() macro.
4700  *
4701  * Since: 2.24
4702  */
4703 void
4704 g_type_add_class_private (GType    class_type,
4705                           gsize    private_size)
4706 {
4707   TypeNode *node = lookup_type_node_I (class_type);
4708   gsize offset;
4709
4710   g_return_if_fail (private_size > 0);
4711
4712   if (!node || !node->is_classed || !node->data)
4713     {
4714       g_warning ("cannot add class private field to invalid type '%s'",
4715                  type_descriptive_name_I (class_type));
4716       return;
4717     }
4718
4719   if (NODE_PARENT_TYPE (node))
4720     {
4721       TypeNode *pnode = lookup_type_node_I (NODE_PARENT_TYPE (node));
4722       if (node->data->class.class_private_size != pnode->data->class.class_private_size)
4723         {
4724           g_warning ("g_type_add_class_private() called multiple times for the same type");
4725           return;
4726         }
4727     }
4728
4729   G_WRITE_LOCK (&type_rw_lock);
4730
4731   offset = ALIGN_STRUCT (node->data->class.class_private_size);
4732   node->data->class.class_private_size = offset + private_size;
4733
4734   G_WRITE_UNLOCK (&type_rw_lock);
4735 }
4736
4737 gpointer
4738 g_type_class_get_private (GTypeClass *klass,
4739                           GType       private_type)
4740 {
4741   TypeNode *class_node;
4742   TypeNode *private_node;
4743   TypeNode *parent_node;
4744   gsize offset;
4745
4746   g_return_val_if_fail (klass != NULL, NULL);
4747
4748   class_node = lookup_type_node_I (klass->g_type);
4749   if (G_UNLIKELY (!class_node || !class_node->is_classed))
4750     {
4751       g_warning ("class of invalid type '%s'",
4752                  type_descriptive_name_I (klass->g_type));
4753       return NULL;
4754     }
4755
4756   private_node = lookup_type_node_I (private_type);
4757   if (G_UNLIKELY (!private_node || !NODE_IS_ANCESTOR (private_node, class_node)))
4758     {
4759       g_warning ("attempt to retrieve private data for invalid type '%s'",
4760                  type_descriptive_name_I (private_type));
4761       return NULL;
4762     }
4763
4764   offset = ALIGN_STRUCT (class_node->data->class.class_size);
4765
4766   if (NODE_PARENT_TYPE (private_node))
4767     {
4768       parent_node = lookup_type_node_I (NODE_PARENT_TYPE (private_node));
4769       g_assert (parent_node->data && NODE_REFCOUNT (parent_node) > 0);
4770
4771       if (G_UNLIKELY (private_node->data->class.class_private_size == parent_node->data->class.class_private_size))
4772         {
4773           g_warning ("g_type_instance_get_class_private() requires a prior call to g_type_add_class_private()");
4774           return NULL;
4775         }
4776
4777       offset += ALIGN_STRUCT (parent_node->data->class.class_private_size);
4778     }
4779
4780   return G_STRUCT_MEMBER_P (klass, offset);
4781 }
4782
4783 /**
4784  * g_type_ensure:
4785  * @type: a #GType.
4786  *
4787  * Ensures that the indicated @type has been registered with the
4788  * type system, and its _class_init() method has been run.
4789  *
4790  * In theory, simply calling the type's _get_type() method (or using
4791  * the corresponding macro) is supposed take care of this. However,
4792  * _get_type() methods are often marked %G_GNUC_CONST for performance
4793  * reasons, even though this is technically incorrect (since
4794  * %G_GNUC_CONST requires that the function not have side effects,
4795  * which _get_type() methods do on the first call). As a result, if
4796  * you write a bare call to a _get_type() macro, it may get optimized
4797  * out by the compiler. Using g_type_ensure() guarantees that the
4798  * type's _get_type() method is called.
4799  *
4800  * Since: 2.34
4801  */
4802 void
4803 g_type_ensure (GType type)
4804 {
4805   /* In theory, @type has already been resolved and so there's nothing
4806    * to do here. But this protects us in the case where the function
4807    * gets inlined (as it might in gobject_init_ctor() above).
4808    */
4809   if (G_UNLIKELY (type == (GType)-1))
4810     g_error ("can't happen");
4811 }
4812
4813 gboolean
4814 g_type_is_in_init (GType type)
4815 {
4816   TypeNode *node;
4817
4818   node = lookup_type_node_I (type);
4819
4820   return node->data->class.init_state != INITIALIZED;
4821 }