merge GVariant
authorRyan Lortie <desrt@desrt.ca>
Wed, 10 Feb 2010 16:13:06 +0000 (11:13 -0500)
committerRyan Lortie <desrt@desrt.ca>
Wed, 10 Feb 2010 16:35:01 +0000 (11:35 -0500)
14 files changed:
docs/reference/glib/Makefile.am
docs/reference/glib/glib-docs.sgml
docs/reference/glib/glib-sections.txt
docs/reference/glib/tmpl/.gitignore
docs/reference/gobject/gobject-sections.txt
glib/Makefile.am
glib/glib.h
glib/glib.symbols
glib/gvariant-core.c [new file with mode: 0644]
glib/gvariant-core.h [new file with mode: 0644]
glib/gvariant.h [new file with mode: 0644]
gobject/gboxed.c
gobject/gboxed.h
gobject/gobject.symbols

index 18a8a66876becdcdf4d9ab9df579c3d951a6a8e4..200aa99385a2734f0631f15a8740794bf4ee9c3c 100644 (file)
@@ -42,12 +42,13 @@ IGNORE_HFILES=                      \
        galias.h                \
        gmirroringtable.h       \
        gscripttable.h          \
-       gvariant-serialiser.h   \
-       gvarianttypeinfo.h      \
        glib-mirroring-tab      \
        gnulib                  \
        pcre                    \
-       update-pcre
+       update-pcre             \
+       gvariant-serialiser.h   \
+       gvariant-core.h         \
+       gvarianttypeinfo.h
 
 # Images to copy into HTML directory
 HTML_IMAGES =                                  \
index 23a7ce5c76a92f13ec58e5bbc1f658efbafe4ec5..632540d561f661b07fda7bd2fcaee477c48957ad 100644 (file)
@@ -120,6 +120,7 @@ synchronize their operation.
       <xi:include href="xml/caches.xml" />
       <xi:include href="xml/allocators.xml" />
       <xi:include href="xml/gvarianttype.xml"/>
+      <xi:include href="xml/gvariant.xml"/>
   </chapter>
 
   <chapter id="tools">
index 881eb18bdab5ce7d13c42c22f7832d3e384bcec6..6f3c21c824e866515cdc56e0fab16cb8039e5093 100644 (file)
@@ -2775,6 +2775,24 @@ g_variant_type_key
 g_variant_type_value
 </SECTION>
 
+<SECTION>
+<TITLE>GVariant</TITLE>
+<FILE>gvariant</FILE>
+GVariant
+g_variant_unref
+g_variant_ref
+g_variant_ref_sink
+
+<SUBSECTION>
+g_variant_n_children
+g_variant_get_child_value
+
+<SUBSECTION>
+g_variant_get_size
+g_variant_get_data
+g_variant_store
+</SECTION>
+
 <SECTION>
 <FILE>ghostutils</FILE>
 <TITLE>Hostname Utilities</TITLE>
index c7ecfe96d0e94f81ad459a8dff25a7cbb9a33438..17cf581fbb48edcf9a68587cc45cd32e33597f49 100644 (file)
@@ -11,6 +11,7 @@ datalist.sgml
 ghostutils.sgml
 gurifuncs.sgml
 gvarianttype.sgml
+gvariant.sgml
 hash_tables.sgml
 iochannels.sgml
 linked_lists_double.sgml
index e418f256d9c27ee54298a5a58c57882e7fada6fb..0d4887ab5e4b55a224be3cebf320a7a588249bbe 100644 (file)
@@ -347,6 +347,7 @@ G_TYPE_REGEX
 G_TYPE_ARRAY
 G_TYPE_BYTE_ARRAY
 G_TYPE_PTR_ARRAY
+G_TYPE_VARIANT
 GStrv
 
 <SUBSECTION Standard>
@@ -361,6 +362,7 @@ g_regex_get_type
 g_array_get_type
 g_byte_array_get_type
 g_ptr_array_get_type
+g_variant_get_gtype
 </SECTION>
 
 <SECTION>
index 5bffc9819c1fe833265e360b06a640d984da3558..433bb8522aaf6b3aaecb252d324b23935122c296 100644 (file)
@@ -174,6 +174,8 @@ libglib_2_0_la_SOURCES =    \
        gunicodeprivate.h       \
        gurifuncs.c             \
        gutils.c                \
+       gvariant-core.c         \
+       gvariant-private.h      \
        gvariant-serialiser.h   \
        gvariant-serialiser.c   \
        gvarianttypeinfo.h      \
@@ -183,6 +185,7 @@ libglib_2_0_la_SOURCES =    \
        gprintf.c               \
        gprintfint.h
 
+
 EXTRA_libglib_2_0_la_SOURCES = \
        giounix.c       \
        giowin32.c      \
@@ -258,6 +261,7 @@ glibsubinclude_HEADERS =   \
        gurifuncs.h             \
        gutils.h        \
        gvarianttype.h  \
+       gvariant.h      \
        gwin32.h        \
        gprintf.h
 
index 35f161797aa4a503f7099d49c567787ae1cffac1..e07ec8232e177f3b6dcae515a760ab9ce16ab6e0 100644 (file)
@@ -87,6 +87,7 @@
 #include <glib/gurifuncs.h>
 #include <glib/gutils.h>
 #include <glib/gvarianttype.h>
+#include <glib/gvariant.h>
 #ifdef G_PLATFORM_WIN32
 #include <glib/gwin32.h>
 #endif
index 63b2b7b4544eb458fdc7a63f749962493db134bd..39665f23d44ce96bacb9fa32a3991e475dd171a7 100644 (file)
@@ -1688,6 +1688,19 @@ g_variant_type_checked_
 #endif
 #endif
 
+#if IN_HEADER(__G_VARIANT_H__)
+#if IN_FILE(__G_VARIANT_CORE_C__)
+g_variant_unref
+g_variant_ref
+g_variant_ref_sink
+g_variant_n_children
+g_variant_get_child_value
+g_variant_get_size
+g_variant_get_data
+g_variant_store
+#endif
+#endif
+
 #if IN_HEADER(__G_WIN32_H__)
 #if IN_FILE(__G_WIN32_H__)
 #ifdef G_OS_WIN32
diff --git a/glib/gvariant-core.c b/glib/gvariant-core.c
new file mode 100644 (file)
index 0000000..f8d1713
--- /dev/null
@@ -0,0 +1,855 @@
+/*
+ * Copyright © 2007, 2008 Ryan Lortie
+ * Copyright © 2010 Codethink Limited
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the
+ * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+ * Boston, MA 02111-1307, USA.
+ */
+
+#include <glib/gvariant-core.h>
+
+#include <glib/gvariant-serialiser.h>
+#include <glib/gtestutils.h>
+#include <glib/gbitlock.h>
+#include <glib/gatomic.h>
+#include <glib/gbuffer.h>
+#include <glib/gslice.h>
+#include <glib/gmem.h>
+#include <string.h>
+
+#include "galias.h"
+
+/*
+ * This file includes the structure definition for GVariant and a small
+ * set of functions that are allowed to access the structure directly.
+ *
+ * This minimises the amount of code that can possibly touch a GVariant
+ * structure directly to a few simple fundamental operations.  These few
+ * operations are written to be completely threadsafe with respect to
+ * all possible outside access.  This means that we only need to be
+ * concerned about thread safety issues in this one small file.
+ *
+ * Most GVariant API functions are in gvariant.c.
+ */
+
+/**
+ * GVariant:
+ *
+ * #GVariant is an opaque data structure and can only be accessed
+ * using the following functions.
+ **/
+struct _GVariant
+/* see below for field member documentation */
+{
+  GVariantTypeInfo *type_info;
+  gsize size;
+
+  union
+  {
+    struct
+    {
+      GBuffer *buffer;
+      gconstpointer data;
+    } serialised;
+
+    struct
+    {
+      GVariant **children;
+      gsize n_children;
+    } tree;
+  } contents;
+
+  gint state;
+  gint ref_count;
+};
+
+/* struct GVariant:
+ *
+ * There are two primary forms of GVariant instances: "serialised form"
+ * and "tree form".
+ *
+ * "serialised form": A serialised GVariant instance stores its value in
+ *                    the GVariant serialisation format.  All
+ *                    basic-typed instances (ie: non-containers) are in
+ *                    serialised format, as are some containers.
+ *
+ * "tree form": Some containers are in "tree form".  In this case,
+ *              instead of containing the serialised data for the
+ *              container, the instance contains an array of pointers to
+ *              the child values of the container (thus forming a tree).
+ *
+ * It is possible for an instance to transition from tree form to
+ * serialised form.  This happens, implicitly, if the serialised data is
+ * requested (eg: via g_variant_get_data()).  Serialised form instances
+ * never transition into tree form.
+ *
+ *
+ * The fields of the structure are documented here:
+ *
+ * type_info: this is a reference to a GVariantTypeInfo describing the
+ *            type of the instance.  When the instance is freed, this
+ *            reference must be released with g_variant_type_info_unref().
+ *
+ *            The type_info field never changes during the life of the
+ *            instance, so it can be accessed without a lock.
+ *
+ * size: this is the size of the serialised form for the instance, if it
+ *       is known.  If the instance is in serialised form then it is, by
+ *       definition, known.  If the instance is in tree form then it may
+ *       be unknown (in which case it is -1).  It is possible for the
+ *       size to be known when in tree form if, for example, the user
+ *       has called g_variant_get_size() without calling
+ *       g_variant_get_data().  Additionally, even when the user calls
+ *       g_variant_get_data() the size of the data must first be
+ *       determined so that a large enough buffer can be allocated for
+ *       the data.
+ *
+ *       Once the size is known, it can never become unknown again.
+ *       g_variant_ensure_size() is used to ensure that the size is in
+ *       the known state -- it calculates the size if needed.  After
+ *       that, the size field can be accessed without a lock.
+ *
+ * contents: a union containing either the information associated with
+ *           holding a value in serialised form or holding a value in
+ *           tree form.
+ *
+ *   .serialised: Only valid when the instance is in serialised form.
+ *
+ *                Since an instance can never transition away from
+ *                serialised form, once these fields are set, they will
+ *                never be changed.  It is therefore valid to access
+ *                them without holding a lock.
+ *
+ *     .buffer: the #GBuffer that contains the memory pointed to by
+ *              .data, or %NULL if .data is %NULL.  In the event that
+ *              the instance was deserialised from another instance,
+ *              then the buffer will be shared by both of them.  When
+ *              the instance is freed, this reference must be released
+ *              with g_buffer_unref().
+ *
+ *     .data: the serialised data (of size 'size') of the instance.
+ *            This pointer should not be freed or modified in any way.
+ *            #GBuffer is responsible for memory management.
+ *
+ *            This pointer may be %NULL in two cases:
+ *
+ *              - if the serialised size of the instance is 0
+ *
+ *              - if the instance is of a fixed-sized type and was
+ *                deserialised out of a corrupted container such that
+ *                the container contains too few bytes to point to the
+ *                entire proper fixed-size of this instance.  In this
+ *                case, 'size' will still be equal to the proper fixed
+ *                size, but this pointer will be %NULL.  This is exactly
+ *                the reason that g_variant_get_data() sometimes returns
+ *                %NULL.  For all other calls, the effect should be as
+ *                if .data pointed to the appropriate number of nul
+ *                bytes.
+ *
+ *   .tree: Only valid when the instance is in tree form.
+ *
+ *          Note that accesses from other threads could result in
+ *          conversion of the instance from tree form to serialised form
+ *          at any time.  For this reason, the instance lock must always
+ *          be held while performing any operations on 'contents.tree'.
+ *
+ *     .children: the array of the child instances of this instance.
+ *                When the instance is freed (or converted to serialised
+ *                form) then each child must have g_variant_unref()
+ *                called on it and the array must be freed using
+ *                g_free().
+ *
+ *     .n_children: the number of items in the .children array.
+ *
+ * state: a bitfield describing the state of the instance.  It is a
+ *        bitwise-or of the following STATE_* constants:
+ *
+ *    STATE_LOCKED: the instance lock is held.  This is the bit used by
+ *                  g_bit_lock().
+ *
+ *    STATE_SERIALISED: the instance is in serialised form.  If this
+ *                      flag is not set then the instance is in tree
+ *                      form.
+ *
+ *    STATE_TRUSTED: for serialised form instances, this means that the
+ *                   serialised data is known to be in normal form (ie:
+ *                   not corrupted).
+ *
+ *                   For tree form instances, this means that all of the
+ *                   child instances in the contents.tree.children array
+ *                   are trusted.  This means that if the container is
+ *                   serialised then the resulting data will be in
+ *                   normal form.
+ *
+ *                   If this flag is unset it does not imply that the
+ *                   data is corrupted.  It merely means that we're not
+ *                   sure that it's valid.  See g_variant_is_trusted().
+ *
+ *    STATE_FLOATING: if this flag is set then the object has a floating
+ *                    reference.  See g_variant_ref_sink().
+ *
+ * ref_count: the reference count of the instance
+ */
+#define STATE_LOCKED     1
+#define STATE_SERIALISED 2
+#define STATE_TRUSTED    4
+#define STATE_FLOATING   8
+
+/* -- private -- */
+/* < private >
+ * g_variant_lock:
+ * @value: a #GVariant
+ *
+ * Locks @value for performing sensitive operations.
+ */
+static void
+g_variant_lock (GVariant *value)
+{
+  g_bit_lock (&value->state, 0);
+}
+
+/* < private >
+ * g_variant_unlock:
+ * @value: a #GVariant
+ *
+ * Unlocks @value after performing sensitive operations.
+ */
+static void
+g_variant_unlock (GVariant *value)
+{
+  g_bit_unlock (&value->state, 0);
+}
+
+/* < private >
+ * g_variant_release_children:
+ * @value: a #GVariant
+ *
+ * Releases the reference held on each child in the 'children' array of
+ * @value and frees the array itself.  @value must be in tree form.
+ *
+ * This is done when freeing a tree-form instance or converting it to
+ * serialised form.
+ *
+ * The current thread must hold the lock on @value.
+ */
+static void
+g_variant_release_children (GVariant *value)
+{
+  gsize i;
+
+  g_assert (value->state & STATE_LOCKED);
+  g_assert (~value->state & STATE_SERIALISED);
+
+  for (i = 0; i < value->contents.tree.n_children; i++)
+    g_variant_unref (value->contents.tree.children[i]);
+
+  g_free (value->contents.tree.children);
+}
+
+/* This begins the main body of the recursive serialiser.
+ *
+ * There are 3 functions here that work as a team with the serialiser to
+ * get things done.  g_variant_store() has a trivial role, but as a
+ * public API function, it has its definition elsewhere.
+ *
+ * Note that "serialisation" of an instance does not mean that the
+ * instance is converted to serialised form -- it means that the
+ * serialised form of an instance is written to an external buffer.
+ * g_variant_ensure_serialised() (which is not part of this set of
+ * functions) is the function that is responsible for converting an
+ * instance to serialised form.
+ *
+ * We are only concerned here with container types since non-container
+ * instances are always in serialised form.  For these instances,
+ * storing their serialised form merely involves a memcpy().
+ *
+ * Serialisation is a two-step process.  First, the size of the
+ * serialised data must be calculated so that an appropriately-sized
+ * buffer can be allocated.  Second, the data is written into the
+ * buffer.
+ *
+ * Determining the size:
+ *   The process of determining the size is triggered by a call to
+ *   g_variant_ensure_size() on a container.  This invokes the
+ *   serialiser code to determine the size.  The serialiser is passed
+ *   g_variant_fill_gvs() as a callback.
+ *
+ *   g_variant_fill_gvs() is called by the serialiser on each child of
+ *   the container which, in turn, calls g_variant_ensure_size() on
+ *   itself and fills in the result of its own size calculation.
+ *
+ *   The serialiser uses the size information from the children to
+ *   calculate the size needed for the entire container.
+ *
+ * Writing the data:
+ *   After the buffer has been allocated, g_variant_serialise() is
+ *   called on the container.  This invokes the serialiser code to write
+ *   the bytes to the container.  The serialiser is, again, passed
+ *   g_variant_fill_gvs() as a callback.
+ *
+ *   This time, when g_variant_fill_gvs() is called for each child, the
+ *   child is given a pointer to a sub-region of the allocated buffer
+ *   where it should write its data.  This is done by calling
+ *   g_variant_store().  In the event that the instance is in serialised
+ *   form this means a memcpy() of the serialised data into the
+ *   allocated buffer.  In the event that the instance is in tree form
+ *   this means a recursive call back into g_variant_serialise().
+ *
+ *
+ * The forward declaration here allows corecursion via callback:
+ */
+static void g_variant_fill_gvs (GVariantSerialised *, gpointer);
+
+/* < private >
+ * g_variant_ensure_size:
+ * @value: a #GVariant
+ *
+ * Ensures that the ->size field of @value is filled in properly.  This
+ * must be done as a precursor to any serialisation of the value in
+ * order to know how large of a buffer is needed to store the data.
+ *
+ * The current thread must hold the lock on @value.
+ */
+static void
+g_variant_ensure_size (GVariant *value)
+{
+  g_assert (value->state & STATE_LOCKED);
+
+  if (value->size == (gssize) -1)
+    {
+      gpointer *children;
+      gsize n_children;
+
+      children = (gpointer *) value->contents.tree.children;
+      n_children = value->contents.tree.n_children;
+      value->size = g_variant_serialiser_needed_size (value->type_info,
+                                                      g_variant_fill_gvs,
+                                                      children, n_children);
+    }
+}
+
+/* < private >
+ * g_variant_serialise:
+ * @value: a #GVariant
+ * @data: an appropriately-sized buffer
+ *
+ * Serialises @value into @data.  @value must be in tree form.
+ *
+ * No change is made to @value.
+ *
+ * The current thread must hold the lock on @value.
+ */
+static void
+g_variant_serialise (GVariant *value,
+                     gpointer  data)
+{
+  GVariantSerialised serialised = {  };
+  gpointer *children;
+  gsize n_children;
+
+  g_assert (~value->state & STATE_SERIALISED);
+  g_assert (value->state & STATE_LOCKED);
+
+  serialised.type_info = value->type_info;
+  serialised.size = value->size;
+  serialised.data = data;
+
+  children = (gpointer *) value->contents.tree.children;
+  n_children = value->contents.tree.n_children;
+
+  g_variant_serialiser_serialise (serialised, g_variant_fill_gvs,
+                                  children, n_children);
+}
+
+/* < private >
+ * g_variant_fill_gvs:
+ * @serialised: a pointer to a #GVariantSerialised
+ * @data: a #GVariant instance
+ *
+ * This is the callback that is passed by a tree-form container instance
+ * to the serialiser.  This callback gets called on each child of the
+ * container.  Each child is responsible for performing the following
+ * actions:
+ *
+ *  - reporting its type
+ *
+ *  - reporting its serialised size (requires knowing the size first)
+ *
+ *  - possibly storing its serialised form into the provided buffer
+ */
+static void
+g_variant_fill_gvs (GVariantSerialised *serialised,
+                    gpointer            data)
+{
+  GVariant *value = data;
+
+  g_variant_lock (value);
+  g_variant_ensure_size (value);
+  g_variant_unlock (value);
+
+  if (serialised->type_info == NULL)
+    serialised->type_info = value->type_info;
+  g_assert (serialised->type_info == value->type_info);
+
+  if (serialised->size == 0)
+    serialised->size = value->size;
+  g_assert (serialised->size == value->size);
+
+  if (serialised->data)
+    /* g_variant_store() is a public API, so it
+     * it will reacquire the lock if it needs to.
+     */
+    g_variant_store (value, serialised->data);
+}
+
+/* this ends the main body of the recursive serialiser */
+
+/* < private >
+ * g_variant_ensure_serialised:
+ * @value: a #GVariant
+ *
+ * Ensures that @value is in serialised form.
+ *
+ * If @value is in tree form then this function ensures that the
+ * serialised size is known and then allocates a buffer of that size and
+ * serialises the instance into the buffer.  The 'children' array is
+ * then released and the instance is set to serialised form based on the
+ * contents of the buffer.
+ *
+ * The current thread must hold the lock on @value.
+ */
+static void
+g_variant_ensure_serialised (GVariant *value)
+{
+  g_assert (value->state & STATE_LOCKED);
+
+  if (~value->state & STATE_SERIALISED)
+    {
+      GBuffer *buffer;
+      gpointer data;
+
+      g_variant_ensure_size (value);
+      data = g_malloc (value->size);
+      g_variant_serialise (value, data);
+
+      g_variant_release_children (value);
+
+      buffer = g_buffer_new_take_data (data, value->size);
+      value->contents.serialised.data = buffer->data;
+      value->contents.serialised.buffer = buffer;
+      value->state |= STATE_SERIALISED;
+    }
+}
+
+/* < private >
+ * g_variant_alloc:
+ * @type: the type of the new instance
+ * @serialised: if the instance will be in serialised form
+ * @trusted: if the instance will be trusted
+ * @returns: a new #GVariant with a floating reference
+ *
+ * Allocates a #GVariant instance and does some common work (such as
+ * looking up and filling in the type info), setting the state field,
+ * and setting the ref_count to 1.
+ */
+static GVariant *
+g_variant_alloc (const GVariantType *type,
+                 gboolean            serialised,
+                 gboolean            trusted)
+{
+  GVariant *value;
+
+  value = g_slice_new (GVariant);
+  value->type_info = g_variant_type_info_get (type);
+  value->state = (serialised ? STATE_SERIALISED : 0) |
+                 (trusted ? STATE_TRUSTED : 0) |
+                 STATE_FLOATING;
+  value->size = (gssize) -1;
+  value->ref_count = 1;
+
+  return value;
+}
+
+/* -- internal -- */
+/* < internal >
+ * g_variant_new_from_buffer:
+ * @type: a #GVariantType
+ * @buffer: a #GBuffer
+ * @trusted: if the contents of @buffer are trusted
+ * @returns: a new #GVariant with a floating reference
+ *
+ * Constructs a new serialised-mode #GVariant instance.  This is the
+ * inner interface for creation of new serialised values that gets
+ * called from various functions in gvariant.c.
+ *
+ * A reference is taken on @buffer.
+ */
+GVariant *
+g_variant_new_from_buffer (const GVariantType *type,
+                           GBuffer            *buffer,
+                           gboolean            trusted)
+{
+  GVariant *value;
+
+  value = g_variant_alloc (type, TRUE, trusted);
+  value->contents.serialised.buffer = g_buffer_ref (buffer);
+  value->contents.serialised.data = buffer->data;
+  value->size = buffer->size;
+
+  return value;
+}
+
+/* < internal >
+ * g_variant_new_from_children:
+ * @type: a #GVariantType
+ * @children: an array of #GVariant pointers.  Consumed.
+ * @n_children: the length of @children
+ * @trusted: %TRUE if every child in @children in trusted
+ * @returns: a new #GVariant with a floating reference
+ *
+ * Constructs a new tree-mode #GVariant instance.  This is the inner
+ * interface for creation of new serialised values that gets called from
+ * various functions in gvariant.c.
+ *
+ * @children is consumed by this function.  g_free() will be called on
+ * it some time later.
+ */
+GVariant *
+g_variant_new_from_children (const GVariantType  *type,
+                             GVariant           **children,
+                             gsize                n_children,
+                             gboolean             trusted)
+{
+  GVariant *value;
+
+  value = g_variant_alloc (type, FALSE, trusted);
+  value->contents.tree.children = children;
+  value->contents.tree.n_children = n_children;
+
+  return value;
+}
+
+/* < internal >
+ * g_variant_get_type_info:
+ * @value: a #GVariant
+ * @returns: the #GVariantTypeInfo for @value
+ *
+ * Returns the #GVariantTypeInfo corresponding to the type of @value.  A
+ * reference is not added, so the return value is only good for the
+ * duration of the life of @value.
+ */
+GVariantTypeInfo *
+g_variant_get_type_info (GVariant *value)
+{
+  return value->type_info;
+}
+
+/* < internal >
+ * g_variant_is_trusted:
+ * @value: a #GVariant
+ * @returns: if @value is trusted
+ *
+ * Determines if @value is trusted by #GVariant to contain only
+ * fully-valid data.  All values constructed solely via #GVariant APIs
+ * are trusted, but values containing data read in from other sources
+ * are usually not trusted.
+ *
+ * The main advantage of trusted data is that certain checks can be
+ * skipped.  For example, we don't need to check that a string is
+ * properly nul-terminated or that an object path is actually a
+ * properly-formatted object path.
+ */
+gboolean
+g_variant_is_trusted (GVariant *value)
+{
+  return (value->state & STATE_TRUSTED) != 0;
+}
+
+/* -- public -- */
+
+/**
+ * g_variant_unref:
+ * @value: a #GVariant
+ *
+ * Decreases the reference count of @value.  When its reference count
+ * drops to 0, the memory used by the variant is freed.
+ **/
+void
+g_variant_unref (GVariant *value)
+{
+  if (g_atomic_int_dec_and_test (&value->ref_count))
+    {
+      if G_UNLIKELY (value->state & STATE_LOCKED)
+        g_critical ("attempting to free a locked GVariant instance.  "
+                    "This should never happen.");
+
+      g_variant_type_info_unref (value->type_info);
+
+      if (value->state & STATE_SERIALISED)
+        g_buffer_unref (value->contents.serialised.buffer);
+      else
+        g_variant_release_children (value);
+
+      g_slice_free (GVariant, value);
+    }
+}
+
+/**
+ * g_variant_ref:
+ * @value: a #GVariant
+ * @returns: the same @value
+ *
+ * Increases the reference count of @value.
+ **/
+GVariant *
+g_variant_ref (GVariant *value)
+{
+  g_atomic_int_inc (&value->ref_count);
+
+  return value;
+}
+
+/**
+ * g_variant_ref_sink:
+ * @value: a #GVariant
+ * @returns: the same @value
+ *
+ * #GVariant uses a floating reference count system.  All functions with
+ * names starting with <literal>g_variant_new_</literal> return floating
+ * references.
+ *
+ * Calling g_variant_ref_sink() on a #GVariant with a floating reference
+ * will convert the floating reference into a full reference.  Calling
+ * g_variant_ref_sink() on a non-floating #GVariant results in an
+ * additional normal reference being added.
+ *
+ * In other words, if the @value is floating, then this call "assumes
+ * ownership" of the floating reference, converting it to a normal
+ * reference.  If the @value is not floating, then this call adds a
+ * new normal reference increasing the reference count by one.
+ *
+ * All calls that result in a #GVariant instance being inserted into a
+ * container will call g_variant_ref_sink() on the instance.  This means
+ * that if the value was just created (and has only its floating
+ * reference) then the container will assume sole ownership of the value
+ * at that point and the caller will not need to unreference it.  This
+ * makes certain common styles of programming much easier while still
+ * maintaining normal refcounting semantics in situations where values
+ * are not floating.
+ **/
+GVariant *
+g_variant_ref_sink (GVariant *value)
+{
+  g_variant_lock (value);
+
+  if (~value->state & STATE_FLOATING)
+    g_variant_ref (value);
+  else
+    value->state &= ~STATE_FLOATING;
+
+  g_variant_unlock (value);
+
+  return value;
+}
+
+/**
+ * g_variant_get_size:
+ * @value: a #GVariant instance
+ * @returns: the serialised size of @value
+ *
+ * Determines the number of bytes that would be required to store @value
+ * with g_variant_store().
+ *
+ * If @value has a fixed-sized type then this function always returned
+ * that fixed size.
+ *
+ * In the case that @value is already in serialised form or the size has
+ * already been calculated (ie: this function has been called before)
+ * then this function is O(1).  Otherwise, the size is calculated, an
+ * operation which is approximately O(n) in the number of values
+ * involved.
+ **/
+gsize
+g_variant_get_size (GVariant *value)
+{
+  g_variant_lock (value);
+  g_variant_ensure_size (value);
+  g_variant_unlock (value);
+
+  return value->size;
+}
+
+/**
+ * g_variant_get_data:
+ * @value: a #GVariant instance
+ * @returns: the serialised form of @value, or %NULL
+ *
+ * Returns a pointer to the serialised form of a #GVariant instance.
+ * The returned data is in machine native byte order but may not be in
+ * fully-normalised form if read from an untrusted source.  The returned
+ * data must not be freed; it remains valid for as long as @value
+ * exists.
+ *
+ * If @value is a fixed-sized value that was deserialised from a
+ * corrupted serialised container then %NULL may be returned.  In this
+ * case, the proper thing to do is typically to use the appropriate
+ * number of nul bytes in place of @value.  If @value is not fixed-sized
+ * then %NULL is never returned.
+ *
+ * In the case that @value is already in serialised form, this function
+ * is O(1).  If the value is not already in serialised form,
+ * serialisation occurs implicitly and is approximately O(n) in the size
+ * of the result.
+ **/
+gconstpointer
+g_variant_get_data (GVariant *value)
+{
+  g_variant_lock (value);
+  g_variant_ensure_serialised (value);
+  g_variant_unlock (value);
+
+  return value->contents.serialised.data;
+}
+
+/**
+ * g_variant_n_children:
+ * @value: a container #GVariant
+ * @returns: the number of children in the container
+ *
+ * Determines the number of children in a container #GVariant instance.
+ * This includes variants, maybes, arrays, tuples and dictionary
+ * entries.  It is an error to call this function on any other type of
+ * #GVariant.
+ *
+ * For variants, the return value is always 1.  For values with maybe
+ * types, it is always zero or one.  For arrays, it is the length of the
+ * array.  For tuples it is the number of tuple items (which depends
+ * only on the type).  For dictionary entries, it is always 2
+ *
+ * This function is O(1).
+ **/
+gsize
+g_variant_n_children (GVariant *value)
+{
+  gsize n_children;
+
+  g_variant_lock (value);
+
+  if (value->state & STATE_SERIALISED)
+    {
+      GVariantSerialised serialised = {
+        value->type_info,
+        (gpointer) value->contents.serialised.data,
+        value->size
+      };
+
+      n_children = g_variant_serialised_n_children (serialised);
+    }
+  else
+    n_children = value->contents.tree.n_children;
+
+  g_variant_unlock (value);
+
+  return n_children;
+}
+
+/**
+ * g_variant_get_child_value:
+ * @value: a container #GVariant
+ * @index_: the index of the child to fetch
+ * @returns: the child at the specified index
+ *
+ * Reads a child item out of a container #GVariant instance.  This
+ * includes variants, maybes, arrays, tuples and dictionary
+ * entries.  It is an error to call this function on any other type of
+ * #GVariant.
+ *
+ * It is an error if @index_ is greater than the number of child items
+ * in the container.  See g_variant_n_children().
+ *
+ * This function is O(1).
+ **/
+GVariant *
+g_variant_get_child_value (GVariant *value,
+                           gsize     index_)
+{
+  GVariant *child = NULL;
+
+  g_variant_lock (value);
+
+  if (value->state & STATE_SERIALISED)
+    {
+      GVariantSerialised serialised = {
+        value->type_info,
+        (gpointer) value->contents.serialised.data,
+        value->size
+      };
+      GVariantSerialised s_child;
+
+      s_child = g_variant_serialised_get_child (serialised, index_);
+
+      child = g_slice_new (GVariant);
+      child->type_info = s_child.type_info;
+      child->state = (value->state & STATE_TRUSTED) |
+                     STATE_SERIALISED;
+      child->size = serialised.size;
+      child->ref_count = 1;
+      child->contents.serialised.buffer =
+        g_buffer_ref (value->contents.serialised.buffer);
+      child->contents.serialised.data = serialised.data;
+     }
+  else
+    child = g_variant_ref (value->contents.tree.children[index_]);
+
+  g_variant_unlock (value);
+
+  return child;
+}
+
+/**
+ * g_variant_store:
+ * @value: the #GVariant to store
+ * @data: the location to store the serialised data at
+ *
+ * Stores the serialised form of @value at @data.  @data should be
+ * large enough.  See g_variant_get_size().
+ *
+ * The stored data is in machine native byte order but may not be in
+ * fully-normalised form if read from an untrusted source.  See
+ * g_variant_normalise() for a solution.
+ *
+ * This function is approximately O(n) in the size of @data.
+ **/
+void
+g_variant_store (GVariant *value,
+                 gpointer  data)
+{
+  g_variant_lock (value);
+
+  if (value->state & STATE_SERIALISED)
+    {
+      if (value->contents.serialised.data != NULL)
+        memcpy (data, value->contents.serialised.data, value->size);
+      else
+        memset (data, 0, value->size);
+    }
+  else
+    g_variant_serialise (value, data);
+
+  g_variant_unlock (value);
+}
+
+#define __G_VARIANT_CORE_C__
+#include "galiasdef.c"
diff --git a/glib/gvariant-core.h b/glib/gvariant-core.h
new file mode 100644 (file)
index 0000000..33c0ef3
--- /dev/null
@@ -0,0 +1,46 @@
+/*
+ * Copyright © 2007, 2008 Ryan Lortie
+ * Copyright © 2010 Codethink Limited
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the
+ * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+ * Boston, MA 02111-1307, USA.
+ */
+
+#ifndef __G_VARIANT_CORE_H__
+#define __G_VARIANT_CORE_H__
+
+#include <glib/gvarianttypeinfo.h>
+#include <glib/gvariant.h>
+#include <glib/gbuffer.h>
+
+/* gvariant-core.c */
+G_GNUC_INTERNAL
+GVariant *              g_variant_new_from_buffer                       (const GVariantType *type,
+                                                                         GBuffer            *buffer,
+                                                                         gboolean            trusted);
+
+G_GNUC_INTERNAL
+GVariant *              g_variant_new_from_children                     (const GVariantType  *type,
+                                                                         GVariant           **children,
+                                                                         gsize                n_children,
+                                                                         gboolean             trusted);
+
+G_GNUC_INTERNAL
+gboolean                g_variant_is_trusted                            (GVariant            *value);
+
+G_GNUC_INTERNAL
+GVariantTypeInfo *      g_variant_get_type_info                         (GVariant            *value);
+
+#endif /* __G_VARIANT_CORE_H__ */
diff --git a/glib/gvariant.h b/glib/gvariant.h
new file mode 100644 (file)
index 0000000..be9c5f3
--- /dev/null
@@ -0,0 +1,47 @@
+/*
+ * Copyright © 2007, 2008 Ryan Lortie
+ * Copyright © 2009, 2010 Codethink Limited
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the licence, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the
+ * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+ * Boston, MA 02111-1307, USA.
+ *
+ * Author: Ryan Lortie <desrt@desrt.ca>
+ */
+
+#ifndef __G_VARIANT_H__
+#define __G_VARIANT_H__
+
+#include <glib/gvarianttype.h>
+
+G_BEGIN_DECLS
+
+typedef struct _GVariant        GVariant;
+
+void                            g_variant_unref                         (GVariant             *value);
+GVariant *                      g_variant_ref                           (GVariant             *value);
+GVariant *                      g_variant_ref_sink                      (GVariant             *value);
+
+gsize                           g_variant_n_children                    (GVariant             *value);
+GVariant *                      g_variant_get_child_value               (GVariant             *value,
+                                                                         gsize                 index);
+
+gsize                           g_variant_get_size                      (GVariant             *value);
+gconstpointer                   g_variant_get_data                      (GVariant             *value);
+void                            g_variant_store                         (GVariant             *value,
+                                                                         gpointer              data);
+
+G_END_DECLS
+
+#endif /* __G_VARIANT_H__ */
index 4425b3b648a2260f94d49855af4dfedceebd6bf7..8b515ade996279ba9fe5430ac6c29ec3c4d6c4c2 100644 (file)
@@ -269,6 +269,33 @@ g_byte_array_get_type (void)
     type_id = g_boxed_type_register_static (g_intern_static_string ("GByteArray"),
                                            (GBoxedCopyFunc) g_byte_array_ref,
                                             (GBoxedFreeFunc) g_byte_array_unref);
+
+  return type_id;
+}
+
+GType
+g_variant_type_get_gtype (void)
+{
+  static GType type_id = 0;
+
+  if (!type_id)
+    type_id = g_boxed_type_register_static (g_intern_static_string ("GVariantType"),
+                                            (GBoxedCopyFunc) g_variant_type_copy,
+                                            (GBoxedFreeFunc) g_variant_type_free);
+
+  return type_id;
+}
+
+GType
+g_variant_get_gtype (void)
+{
+  static GType type_id = 0;
+
+  if (!type_id)
+    type_id = g_boxed_type_register_static (g_intern_static_string ("GVariant"),
+                                            (GBoxedCopyFunc) g_variant_ref,
+                                            (GBoxedFreeFunc) g_variant_unref);
+
   return type_id;
 }
 
index 82e27227634b53087f9573b28ec1503ef90911dd..10e293f4293bf8dd850f802b42dd569ca97c4b88 100644 (file)
@@ -186,6 +186,22 @@ GType      g_boxed_type_register_static            (const gchar    *name,
  * Since: 2.22
  */
 #define        G_TYPE_PTR_ARRAY (g_ptr_array_get_type ())
+/**
+ * G_TYPE_VARIANT_TYPE:
+ * 
+ * The #GType for a boxed type holding a #GVariantType.
+ * 
+ * Since: 2.24
+ */
+#define        G_TYPE_VARIANT_TYPE (g_variant_type_get_gtype ())
+/**
+ * G_TYPE_VARIANT:
+ * 
+ * The #GType for a boxed type holding a #GVariant reference.
+ * 
+ * Since: 2.24
+ */
+#define        G_TYPE_VARIANT (g_variant_get_gtype ())
 
 
 void    g_value_take_boxed      (GValue                *value,
@@ -204,6 +220,8 @@ GType   g_hash_table_get_type   (void)  G_GNUC_CONST;
 GType   g_array_get_type        (void)  G_GNUC_CONST;
 GType   g_byte_array_get_type   (void)  G_GNUC_CONST;
 GType   g_ptr_array_get_type    (void)  G_GNUC_CONST;
+GType   g_variant_type_get_gtype(void)  G_GNUC_CONST;
+GType   g_variant_get_gtype     (void)  G_GNUC_CONST;
 GType   g_regex_get_type        (void)  G_GNUC_CONST;
 
 /**
index a43dd083b7c0e7ed209557fdc4234778b1525626..80202843ba01cbe83ffb3a6a3bd26068c3e4ff6e 100644 (file)
@@ -24,6 +24,8 @@ g_array_get_type G_GNUC_CONST
 g_byte_array_get_type G_GNUC_CONST
 g_ptr_array_get_type G_GNUC_CONST
 g_regex_get_type G_GNUC_CONST
+g_variant_type_get_gtype G_GNUC_CONST
+g_variant_get_gtype G_GNUC_CONST
 g_closure_get_type G_GNUC_CONST
 g_value_get_type G_GNUC_CONST
 g_value_array_get_type G_GNUC_CONST